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

14814 commits

This branch
This branch
All branches
Author SHA1 Message Date
Nikolaj Bjorner fb48481860 update version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-20 12:51:48 -08:00
Nikolaj Bjorner 517d907567 Update release.yml for Azure Pipelines 2021-01-20 12:06:47 -08:00
Nikolaj Bjorner af914f101e change to macos latest 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-20 10:19:00 -08:00
Nikolaj Bjorner c5432dbd88 merge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-20 09:12:09 -08:00
Nuno Lopes 3a572edb9c fix build 2021-01-20 10:42:29 +00:00
Nikolaj Bjorner 48058e706f fix #4951 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-20 02:21:42 -08:00
Nikolaj Bjorner 3f2349f0f7 update release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-20 01:36:09 -08:00
Saurav Yadav 9dcf44b767
fix git_utils.cmake (#4954) 
The code should refrain from using global parameters such as CMAKE_SOURCE_DIR/CMAKE_BINARY_DIR, especially here which is handling the case of Z3 being a submodule. Instead, use project specific variables like Z3_SOURCE_DIR so that people can incorporate z3 build as part of their build-system.
 2021-01-20 01:33:33 -08:00
Nikolaj Bjorner fa4869e400 fix #4949 - and/or get rewritten depending on parameters for rewriter 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-20 01:08:54 -08:00
Nikolaj Bjorner 3a2ed691f8 fix #4952 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-20 00:49:28 -08:00
Nikolaj Bjorner 80f429c3fb nuget 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-20 00:33:05 -08:00
Nikolaj Bjorner 27ea23289e fix #4955 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-20 00:30:11 -08:00
Nikolaj Bjorner dc4382604b fix #4955 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-20 00:29:09 -08:00
Nikolaj Bjorner 3bc18ab0d1 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-19 23:54:10 -08:00
Nikolaj Bjorner ec5d08ac00 update release script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-19 23:24:17 -08:00
Nikolaj Bjorner 80033a5527 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-19 23:21:47 -08:00
Nikolaj Bjorner 95d98ea8ce throttle equality propagation to shared expressions 2021-01-19 04:51:00 -08:00
Nikolaj Bjorner 7c34a54e8a try different command-line 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-19 04:28:22 -08:00
Nikolaj Bjorner 64ba2a9fc9 fix gc of pb constraints 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-19 03:38:00 -08:00
Nikolaj Bjorner 01418a06a3 better staging of mbi based on generation 2021-01-18 16:55:58 -08:00
Nikolaj Bjorner 990aecceb7 change gc strategy for user-push/pop 2021-01-18 16:55:29 -08:00
Nikolaj Bjorner b87405cc92 tune user-pop 2021-01-18 16:51:34 -08:00
Nikolaj Bjorner 3ed490d4ed tune backtracking 2021-01-18 16:51:01 -08:00
Nikolaj Bjorner 91c54f6c39 na 2021-01-12 14:03:55 -08:00
Nikolaj Bjorner 8abb644378 add xml file to the mix #4578 2021-01-12 00:23:02 -08:00
Nikolaj Bjorner d1dab327cd fix build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-11 23:51:40 -08:00
Nikolaj Bjorner fc3a642876 fix #4948 2021-01-11 19:26:16 -08:00
Nikolaj Bjorner 0aac7e54a9 fix #4942 
Patching model update. Could use a more thorough revision.
 2021-01-11 15:48:49 -08:00
Nikolaj Bjorner 0e429cab33 enable new core for incremental mode 2021-01-11 14:55:31 -08:00
Nikolaj Bjorner 2ead209d40 indentation and updated links to default landing pages 2021-01-11 13:21:52 -08:00
Nikolaj Bjorner bcbda45298 updates to doc 2021-01-11 13:03:55 -08:00
Nikolaj Bjorner 396bfa05f3 fix grouping error 2021-01-11 12:25:53 -08:00
Nikolaj Bjorner 223bffd035 fix #4920 2021-01-09 02:02:50 -08:00
Nikolaj Bjorner 1a71dfac6f play nicebox #4918 2021-01-09 01:39:29 -08:00
Nikolaj Bjorner 96ab9edbfd fix #4923 2021-01-09 01:21:50 -08:00
Nikolaj Bjorner ffd57bef24 #4923 - eq2bv 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-08 16:38:07 -08:00
Nikolaj Bjorner 690bc51b7f fix #4927 2021-01-08 15:40:15 -08:00
Nikolaj Bjorner bb56443e71 more #4932 2021-01-08 15:24:12 -08:00
Nikolaj Bjorner 43eb862374 fix #4932 2021-01-08 12:50:36 -08:00
Nikolaj Bjorner 3d39f37e63 fix #4930 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-08 12:15:02 -08:00
Nikolaj Bjorner e902e1ef13 fix #4931 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-08 12:02:53 -08:00
Nikolaj Bjorner c36355c1e5 fix #4933 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-08 10:57:55 -08:00
Nikolaj Bjorner 0173359a50 debugging/testing mbi 2021-01-07 17:32:05 -08:00
Nikolaj Bjorner 4ca6d6951f use updated C++ features 2021-01-07 17:32:05 -08:00
Nikolaj Bjorner ac7d07ca58 fix #4937 2021-01-07 17:32:05 -08:00
Nikolaj Bjorner 60ef60dff8 euf solver updates 2021-01-07 17:32:04 -08:00
Nikolaj Bjorner 7bf691e1f9 fix bug in tracking qhead 2021-01-07 17:32:04 -08:00
Nuno Lopes 4db41c02cc remove some dead code from fpa2bv converter 2021-01-04 17:06:35 +00:00
Nikolaj Bjorner 5da71dc847 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-30 16:10:11 -08:00
Nikolaj Bjorner 523578e3f6 working on new solver core 2020-12-30 14:38:41 -08:00