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

11456 commits

This branch
This branch
All branches
Author SHA1 Message Date
Michał Janiszewski 837651e318 Explicitly add EHsc to MSVC compiler flags 2019-10-24 15:19:53 -07:00
Nikolaj Bjorner 60dde9f3d5 unit test for #2650 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-24 10:32:56 -07:00
Nikolaj Bjorner 8125fb134f na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-23 20:19:06 -07:00
Nikolaj Bjorner 3fcd9e64c7 logging 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-23 20:18:21 -07:00
Nikolaj Bjorner f4fd94747c fix #2652 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-23 09:39:40 -07:00
Nikolaj Bjorner e2a9cb80e2 remove unused random seed parameter on cmd_context 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-22 08:42:18 -07:00
Nikolaj Bjorner 9847675095 fix #2647 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-22 08:26:40 -07:00
Murphy Berzish 76b3198282 z3str3: fixes to str.indexof when axiomatizing constant expressions 2019-10-22 07:53:14 -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 e5504247e9 use propagation filter 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-20 16:00:20 -07:00
Nuno Lopes 423e084cda remove unused var 2019-10-19 17:36:57 +01:00
Nikolaj Bjorner 11736f078e ensure statistics survive cancelation in tactics, fix propagation for smtfd 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-18 19:22:46 -07:00
Nikolaj Bjorner 203ba12abc moving to context reset model 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-18 19:22:46 -07:00
Nikolaj Bjorner 724a42b6f2 fix #2643 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-18 09:48:55 -07:00
philzook58 5eead52cc0 Fixed linkopts -lstdc++ for ocaml bindings 2019-10-17 10:52:38 -07:00
Nikolaj Bjorner c1fa844460 format 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-17 10:01:11 -07:00
Nikolaj Bjorner a82cee6984 add information about supported packages in README, fix #2642 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-17 10:00:41 -07:00
Nikolaj Bjorner 4ce6b53d95 fix #2640 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-16 20:40:03 -07:00
Nikolaj Bjorner ca498e20d1 move value factories to model 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-16 19:48:35 -07:00
Nikolaj Bjorner 5122b2da7e add solver.timeout as another entry point #2354 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-16 09:01:11 -07:00
Nikolaj Bjorner ed149ea449 working on core focused refinement loop 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-15 15:52:41 -07:00
Nicola Mometto 77c3f1fb82 fix ocaml build by moving to Zarith methods 2019-10-14 09:48:51 -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 5a1003f6ed remove platform dependent copy routine 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-13 23:19:41 -07:00
Nikolaj Bjorner 66339b73f4 update setup.py to include redist x64 #2265 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-13 23:09:43 -07:00
Nikolaj Bjorner 71d68b8fe0 fix #2445 fix #2519 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-13 20:24:14 -07:00
Julien Schueller 224cc8f8dd Fix case sensitive fs include Windows.h 
Fixes compilation on case-sensitive filesystems (eg MinGW from Linux)
 2019-10-13 05:28:36 -07:00
Julien Schueller c93a265b0b Install dlls in prefix/bin 
Static/Import libraries usually go to prefix/lib and exe/dlls into prefix/bin
 2019-10-13 05:28:16 -07:00
Nikolaj Bjorner f18b4430c3 fix to_app crash 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-12 18:26:11 -07:00
Nikolaj Bjorner a921b4ff4a fix #2643 - fuzzers are here to get you @lorisdanton 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-12 18:19:13 -07:00
Nikolaj Bjorner cc26d49060 preparations for dealing with #2596 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-12 17:44:52 -07:00
Nikolaj Bjorner 5bdcc737ec remove function name 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-12 11:58:30 -07:00
Nikolaj Bjorner ce06cd0d7a replace iterators by for, looking at @2596 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-12 10:08:30 -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 d0cf1458e3 fix #2630 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-12 04:12:06 -07:00
Nikolaj Bjorner a1b690032a fix #2629 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-12 04:05:03 -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
Xiao Liang a1814bf384 doc.fix(ast/rewriter/poly_rewriter_params.pyg): typo som-of-monomials -> sum-of-monomials 2019-10-11 13:06:46 -07:00
Nikolaj Bjorner 31a6788859 comment 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-11 12:39:57 -07:00
Nikolaj Bjorner a990e7f02e add visitor example, fix double conversion 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-11 12:37:26 -07:00