mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 10:25:18 +00:00
Code Activity
11444 commits 23 branches 48 tags 156 MiB
Commit graph

1125 commits

Author SHA1 Message Date
Nikolaj Bjorner f086f01ae0 update nuget script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-21 10:09:37 -07:00
Nikolaj Bjorner 928e08f28f update nightly runner 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-21 09:31:28 -07:00
Nikolaj Bjorner af442cf281 update nightly runner 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-21 09:29:43 -07:00
Nikolaj Bjorner 0756581a99 add nuget stage to nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-21 08:22:18 -07:00
Nikolaj Bjorner 5c78f855ad re-add deletion for nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-21 07:49:57 -07:00
Nikolaj Bjorner aef0c19d36 add pdb to distribution components 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-21 07:48:45 -07:00
Nikolaj Bjorner 09523a4bca temporary remove delete from nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-14 01:44:40 -07:00
Nikolaj Bjorner 8d942ed26c sudo the install 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-12 04:13:27 -07:00
Nikolaj Bjorner a90529e3dc add path to python 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-11 13:44:28 -07:00
Nikolaj Bjorner 8c8a8cee7a add build step to generate doc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-11 13:12:14 -07:00
Nikolaj Bjorner 7e174f50c1 use Z3_char_ptr 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-08 09:14:10 -07:00
Nikolaj Bjorner f4b803de95 expose mk_divides over API. Corresponds to a = b (mod m), #723 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-08 08:46:49 -07:00
Nikolaj Bjorner f8469b65d1 enable default 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-07 20:53:44 -07:00
Nikolaj Bjorner 66b38eac9f add back dotnet after adding ;*.cs to path 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-07 20:07:55 -07:00
philzook58 d4c60f5766 Changed makefile generation for ml bindings to use OCAMLFIND variable 2019-10-02 21:05:59 -07:00
Nikolaj Bjorner 98c3887460 fix #2595 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-09-28 17:43:48 -07:00
Nikolaj Bjorner 79d4502771 atomics for #2565 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-09-25 20:22:35 -07:00
Nikolaj Bjorner 6041cb246f --lpthread -> -lpthread 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-09-23 09:32:35 -07:00
Nikolaj Bjorner f3f233cf14 remove link experiment 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-09-23 02:48:22 -07:00
NikolajBjorner 6b117c0b2c move to zarith #2471 
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
 2019-09-23 02:46:11 -07:00
Nikolaj Bjorner 5919bc0531 update for next version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-09-22 09:18:18 -07:00
Nikolaj Bjorner 22b6233e62 increment version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-09-22 08:31:10 -07:00
Nikolaj Bjorner 80636dd35f na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-09-20 08:05:11 -07:00
Nikolaj Bjorner 78ed71b8de update to pypirc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-09-19 16:43:06 -07:00
Nikolaj Bjorner bd26301b80 update to pypirc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-09-19 16:42:03 -07:00
Nikolaj Bjorner 4b96238209 use testpypi 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-09-18 09:57:03 -07:00
Nikolaj Bjorner df2f0416e2 undo atomic 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-09-17 21:56:28 -04:00
Nikolaj Bjorner c68cfe878e #2565 use atomic 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-09-17 18:15:19 -07:00
Nikolaj Bjorner 3b1a73b9e8 add smt to project.py dependencies 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-09-07 18:04:32 +03:00
Audrey Dutcher ec5b148ecc Add python packaging build and deployment with Azure 2019-08-14 22:00:21 -07:00
Nikolaj Bjorner 74631265b9 remove stale assertions due to lambda #2446 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-07-30 14:32:06 +08:00
Nikolaj Bjorner c7fb1e4c9f fix spelling of target folder 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-07-11 09:56:08 +01:00
Nikolaj Bjorner 77df8ebd12 try to copy artifacts 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-07-10 16:23:02 +01:00
Nikolaj Bjorner 8d9a631c5d try to copy artifacts 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-07-10 16:21:14 +01:00
Nikolaj Bjorner 09328d5bec remove unknown option /RELEASE in python build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-07-10 14:52:41 +01:00
Nikolaj Bjorner ee94f8f5ce update release script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-07-10 13:52:41 +01:00
Nikolaj Bjorner 8e2ad4e461 #2379 and #2380 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-07-04 07:08:47 +07:00
Nikolaj Bjorner 90098633ef remove target from nightl' 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-30 08:36:37 +03:00
Nikolaj Bjorner 6f08c0788f put back delete step in nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-29 21:00:41 +03:00
Nikolaj Bjorner 6e994f9279 temporarily disable delete 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-29 20:09:33 +03:00
Nikolaj Bjorner 8a129a3e6f try replace for nightly to address #2362 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-28 21:23:52 -07:00
Nikolaj Bjorner 14e9020f20 more templates 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-12 08:35:34 -07:00
Nikolaj Bjorner 84520a0ffa separate failing java test 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-12 08:13:57 -07:00
Nikolaj Bjorner f9677fdfd2 update pipelines 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-12 01:25:43 -07:00
Kyung Mo Beak 930db75979 Add build options:/GF Enables the compiler to create a single copy of identical strings in the program image and in memory during execution. This is an optimization called string pooling that can create smaller programs /Gy Allows the compiler to package individual functions in the form of packaged functions /profile This informs the linker to emit full fixup information so that Vulcan completely identifies code and data cross-references 2019-06-11 19:37:45 -07:00
Nikolaj Bjorner 0ac462108f templatize regression test 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-11 11:56:05 -07:00
Nikolaj Bjorner 9b68072797 templatize regression test 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-11 11:55:26 -07:00
Nikolaj Bjorner 5005fcc0e0 extract jupyter template 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-11 11:52:42 -07:00
Nikolaj Bjorner 4b782c8c6c Update release.yml for Azure Pipelines 2019-06-11 19:46:47 +02:00
Nikolaj Bjorner d51f8c90f9 release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-11 10:41:51 -07:00