mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-09 02:41:52 +00:00
Code Activity
11675 commits 23 branches 48 tags 156 MiB
Commit graph

11675 commits

This branch
This branch
All branches
Author SHA1 Message Date
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 f977e1a3e2 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-20 22:02:01 -08:00
Nikolaj Bjorner 90ca594835 remove unsound use of sat_big reduction 2019-12-20 22:01:18 -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 4389ed0f58 fix #2812 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-20 17:12:44 -08:00
Nikolaj Bjorner 918846a97e fix #2814 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-20 16:35:38 -08:00
Nikolaj Bjorner d2108ad043 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-20 15:42:30 -08:00
Nikolaj Bjorner cb21f70cc3 fix #2813 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-20 15:42:03 -08:00
Nikolaj Bjorner 485ca725de fix #2811 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-20 15:27:38 -08:00
Nikolaj Bjorner fec94d1552 fix #2805 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-20 12:48:19 -08:00
Nikolaj Bjorner feff6a2add fix build, add ZDD reference 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-20 11:49:50 -08:00
Nikolaj Bjorner 1f9aff04df fix 2808 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-20 11:29:08 -08:00
Nikolaj Bjorner 6ad55cc8f6 add tuned implementation 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-19 15:26:55 -08:00
Nikolaj Bjorner 78b022491d comments 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-19 09:26:02 -08:00
Nikolaj Bjorner 49b6d5b6fb rm typedef 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-18 21:20:20 -08:00
Nikolaj Bjorner 036d5c02f4 add typedef 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-18 20:59:56 -08:00
Nikolaj Bjorner a068ee9748 extract generic content from nla_intervals 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-18 20:33:48 -08:00
Nikolaj Bjorner 27b69cf280 updates 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-18 17:03:56 -08:00
Nikolaj Bjorner 1287572f4f add complexity throttle 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-18 14:31:31 -08:00
Nikolaj Bjorner f5164d166b unused / return warnings 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-18 14:25:18 -08:00
Nikolaj Bjorner 13e335f062 fix 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-18 14:14:46 -08:00
Nikolaj Bjorner 98bfbc2d62 tidy 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-18 13:59:45 -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 5e0799225d adding pdd-grobner 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-18 12:03:13 -08:00
Nikolaj Bjorner ca0a52c930 some const qualifiers 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-17 21:59:05 -08:00
Nikolaj Bjorner 1680585827 swap sub with minus 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-17 21:46:55 -08:00
Nikolaj Bjorner a744a465e6 pdd fixes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-17 21:25:18 -08:00
Nikolaj Bjorner f2149fb5a6 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-17 17:14:51 -08:00
Nikolaj Bjorner f7eb5f8840 merge unary minus 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-17 17:10:35 -08:00
Nikolaj Bjorner 9e4a7ae4b8 add pdd 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-17 16:59:33 -08:00
Nikolaj Bjorner f090abce9f add deps 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-17 11:33:16 -08:00
Nikolaj Bjorner 7d65100330 sat -> dd 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-17 10:14:49 -08:00
Nikolaj Bjorner 6fa7e98ff9 cmake 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-17 10:10:14 -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
Nikolaj Bjorner c560ee54e8 fix #2802 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-13 13:02:58 -08:00
Nikolaj Bjorner a069b65669 fix #2797 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-11 01:42:28 -08:00
Nikolaj Bjorner ec39d84f57 remove empty clause feature 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-10 20:19:59 -08:00
Nikolaj Bjorner c839f58276 fix #2796 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-10 15:37:40 -08:00
Nikolaj Bjorner 184f7cedf6 fix #2795 2019-12-10 03:06:45 -08:00
Nikolaj Bjorner 4b22ff2d3b empty clause handling 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-10 02:45:40 -08:00
Nikolaj Bjorner 04df77e89d revert empty clause handling 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-10 02:40:38 -08:00
Nikolaj Bjorner 081001971d fix #2794 2019-12-10 01:45:46 -08:00
Nikolaj Bjorner 5cecd986e2 track empty clause during pop 
If a theory solver creates the empty clause it gets dropped during pop.
By maintaining a variable m_empty_clause, the solver ensures that it retains the information that the search state is inconsistent.
 2019-12-09 11:10:37 +03:00
Nikolaj Bjorner ebb7d60c75 fix #2792 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-09 07:50:57 +03:00
Nikolaj Bjorner 99a91ee116 fix #2793 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-09 07:38:47 +03:00
Nikolaj Bjorner db02328cf3 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-08 13:05:04 +03:00