mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-30 11:12:28 +00:00
Code Activity
16066 commits 49 branches 53 tags 181 MiB
Commit graph

16066 commits

This branch
This branch
All branches
Author SHA1 Message Date
Nikolaj Bjorner
7869cdbbc8 #5259 - the Ranjit 2s shave 
shave a couple of seconds from the Ranjit regression
 2021-05-12 10:43:16 -07:00
Nikolaj Bjorner
cd82205b06 nit 2021-05-10 19:14:18 -07:00
Nikolaj Bjorner
d27d09f87a #5261 2021-05-10 13:35:25 -07:00
Nikolaj Bjorner
897a2d6470 #5261 2021-05-10 13:33:37 -07:00
Nikolaj Bjorner
f02fbb49bb fix #5253 2021-05-10 13:00:52 -07:00
Nikolaj Bjorner
2ea4b0f4e0 #5260 2021-05-10 11:42:11 -07:00
Nikolaj Bjorner
e2a52ed6ee #5259 again 2021-05-10 11:15:19 -07:00
Nikolaj Bjorner
987099c765 Hoist creation of m_rep for #5259 2021-05-10 10:54:21 -07:00
Nikolaj Bjorner
a61e9d6b49 #5260 2021-05-10 10:33:43 -07:00
Nikolaj Bjorner
28328e63fd fix #5255 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-05-09 20:48:11 -07:00
Nikolaj Bjorner
31a5bd7fd7 regression from July 4 2020 tweeted by Dr. RJ and crowd profiled - let's submit this somwhere? 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-05-09 20:33:43 -07:00
Philipp Schröer
7373946d67
julia: fix duplicate method (#5251) 
Resulted in "Double registration for method" errors when loading Z3.jl
with a current build of Z3.
 2021-05-07 14:00:33 -07:00
Nikolaj Bjorner
7e7360dd0c #5223 2021-05-05 17:40:42 -07:00
Nikolaj Bjorner
7e330c15e7 #5223 2021-05-05 16:57:06 -07:00
Nikolaj Bjorner
87c0a8136f #5223 2021-05-05 16:11:21 -07:00
Nikolaj Bjorner
2b1b10be69 fix #5236 2021-05-05 13:50:53 -07:00
Nikolaj Bjorner
85bd4b5242 #5223 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-05-05 13:10:53 -07:00
Lev Nachmanson
179988e161
support recursive terms (#5246) 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
 2021-05-05 12:53:20 -07:00
Murphy Berzish
466269ee13
theory_str iterator refactoring and dead code removal (#5222) 
* z3str3: iterator refactoring

* z3str3: remove old nfa dead code

* z3str3: continued iterator refactoring

* z3str3: remove unroll dead code

* z3str3: ctx_dep_analysis iterator refactoring

* z3str3: continued iterator refactoring

* z3str3: final iterator refactoring
 2021-05-05 10:06:03 -05:00
Nikolaj Bjorner
0c6722f48b na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-05-03 11:47:00 -07:00
Nikolaj Bjorner
60cf482cea fix #5239 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-05-03 11:44:44 -07:00
Nikolaj Bjorner
2c97799564 #5237 
be stingier on stack instead of punting and saying users can set ulimit
 2021-05-02 16:18:55 -07:00
Nikolaj Bjorner
ff480d1183 fix #5238 2021-05-02 16:09:01 -07:00
Nikolaj Bjorner
51a4db862a #5223 2021-05-02 10:40:22 -07:00
Nikolaj Bjorner
0810720267 #5223 2021-05-02 10:30:35 -07:00
Nikolaj Bjorner
323e0e6270 #5223 2021-05-01 16:43:54 -07:00
Nikolaj Bjorner
7835388361 #5223 2021-05-01 15:31:05 -07:00
Nikolaj Bjorner
6de0615779 #5223 2021-05-01 15:18:59 -07:00
Nikolaj Bjorner
aa3975ed87 fix #5235 2021-05-01 10:53:50 -07:00
Zachary Wimer
77dea18f54
Added missing fp conversion methods to C++ API (#5234) 2021-04-30 18:45:28 -07:00
Nikolaj Bjorner
c50e6bdbb1 fix #5229 2021-04-30 02:32:16 -07:00
Nikolaj Bjorner
381e502d30 fix #5224 2021-04-29 20:12:20 -07:00
Zachary Wimer
e4b660321f
Cpp api string const (#5228) 
* string_const added

* typo fixed
 2021-04-29 16:16:48 -07:00
Nikolaj Bjorner
decbf4be11 fix undo record for lblset 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-04-29 14:06:18 -07:00
Nikolaj Bjorner
a8ccbd7103 fix #5226 2021-04-29 13:36:25 -07:00
Nikolaj Bjorner
30e904bfa4 disable threads for extensions 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-04-27 21:46:56 -07:00
Nikolaj Bjorner
007b792e0f #5215 2021-04-27 21:05:02 -07:00
Nikolaj Bjorner
5ecc32e731 #5215 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-04-27 20:46:25 -07:00
Nikolaj Bjorner
308f399224 #5215 converting NYI 2021-04-27 16:19:54 -07:00
Nikolaj Bjorner
89373d5bf9 #5215 2021-04-27 16:02:08 -07:00
Nikolaj Bjorner
4da4591fe7 #5215 2021-04-27 15:40:17 -07:00
Nikolaj Bjorner
e5892e5e97 #5215 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-04-27 15:26:56 -07:00
Nikolaj Bjorner
a71b4fab23 na 2021-04-27 09:31:04 -07:00
Nikolaj Bjorner
78571b9a51 fix #5219 2021-04-27 09:30:10 -07:00
Nikolaj Bjorner
d731ec7cba
Revert "Cpp api fp to bv (#5218)" (#5221) 
This reverts commit fa2d593739.
 2021-04-27 08:44:15 -07:00
Zachary Wimer
fa2d593739
Cpp api fp to bv (#5218) 
* fpa_to_ubv and fpa_to_sbv added to C++ API

* Bug fix

* fpa_fp method added to API

* Adjust types to prefer sort over expr and bug fix
 2021-04-26 17:00:05 -07:00
Nikolaj Bjorner
ecfbc1cc06 trace 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-04-26 15:15:27 -07:00
Nikolaj Bjorner
22a76e4985 fix typos in comments 2021-04-26 15:15:27 -07:00
Nikolaj Bjorner
a1b036a4fa
Update README.md 2021-04-25 17:02:34 -07:00
Nikolaj Bjorner
3ff5d4226a
Update README.md 2021-04-25 16:59:53 -07:00