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

1158 commits

Author SHA1 Message Date
Andrew Helwer 7dbb69ff32 Now consume SNK file in repo instead as build secret 2020-01-02 17:41:12 -08:00
Nikolaj Bjorner 1d0572354b add bit-matrix, avoid flattening and/or after bit-blasting, split pdd_grobner into solver/simplifier, add xlin, add smtfd option for incremental mode logic 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-01-01 20:14:20 -08:00
Nikolaj Bjorner 4a94abe7d7 Update nightly.yaml 
update name
 2019-12-20 23:18:19 -08:00
Nikolaj Bjorner b13e7b9df3 Update nightly.yaml 
again
 2019-12-20 22:29:47 -08:00
Nikolaj Bjorner c8703cbc42 Update nightly.yaml 
try again
 2019-12-20 22:26:14 -08:00
Nikolaj Bjorner 8a75e9090b Update nightly.yaml 
mac -> osx
 2019-12-20 21:16:11 -08:00
Nikolaj Bjorner c5d31be613 Update nightly.yaml 
add Python top zip
 2019-12-20 21:12:13 -08:00
Nikolaj Bjorner 495658e07a try adding macos to nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-20 20:16:28 -08:00
Nikolaj Bjorner 469f618742 build dependencies, invariant annotation 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-18 13:48:27 -08:00
Nikolaj Bjorner 1fdde9e056 move bdd to separate space 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-17 10:03:01 -08:00
Federico Poli 8ebbc094eb Link librt when compiling with --staticbin on Linux 
Fixes issue #2457. The workaround is described here: https://stackoverflow.com/questions/58848694/gcc-whole-archive-recipe-for-static-linking-to-pthread-stopped-working-in-rec
 2019-11-27 09:16:48 -08:00
Nikolaj Bjorner 07dcb0a98b
Merge pull request #2477 from evmaus/master 
MSAN Integration Build
 2019-11-26 09:31:23 -08:00
Nikolaj Bjorner e45bafe9bf increase version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-19 14:17:48 -08:00
Nikolaj Bjorner 30e7c225cd upgrade pip 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-19 12:58:44 -08:00
Nikolaj Bjorner f170e655d5 add importlib_metatada 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-19 10:56:56 -08:00
Nikolaj Bjorner 429fc7c408 rename additional build options #2709 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 23:02:44 -08:00
Nikolaj Bjorner 3729458d14 enable pypi 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 19:20:15 -08:00
Andrew Helwer 37382d22c4 Updated references to Z3 icon 2019-11-18 12:24:39 -08:00
Nikolaj Bjorner dd827cae1c remove IS_GNU 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-08 14:49:35 -08:00
Federico Poli 7eb6731ac2 Link pthread with --whole-archive option on Linux 
This fixes a SIGSEGV on Ubuntu 16.04 when running z3 compiled with `--staticbin` (issue #2457). It seems that without the --whole-archive option the linker does not statically link all pthread symbols.

The fix is described here: https://stackoverflow.com/a/45271521/2491528
 2019-11-06 11:18:32 +01:00
Samuel Thibault da061bbcc3 Add hurd support 
Signed-off-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
 2019-11-03 01:22:44 -08:00
Nikolaj Bjorner 16d4ccd396 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-31 10:06:09 -07:00
philzook58 ed03c1d9e6 Removed incorrect include directories flag in ocaml META file 2019-10-25 18:05:13 -07:00
Nikolaj Bjorner a8049c7feb update nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-24 16:34:41 -07:00
Michał Janiszewski 9ae1a6f061 Add MSVC ARM64 job to Azure Pipelines 2019-10-24 15:19:53 -07:00
Nikolaj Bjorner 9847675095 fix #2647 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-22 08:26:40 -07:00
Nikolaj Bjorner 0acbdffacf update mk_nuget_task 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-21 15:34:05 -07:00
Nikolaj Bjorner bfc30440ac update nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-21 13:57:45 -07:00
Nikolaj Bjorner 9fae4a16e6 update nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-21 12:35:12 -07:00
Nikolaj Bjorner 4051fbd8b2 update nuget packaging 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-21 11:19:28 -07:00
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