mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-05-08 00:05:46 +00:00
Code Activity
z3/src
History
Nikolaj Bjorner 0595fe8cec remove tracing 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2013-08-08 09:36:31 -07:00
..
api add missing case handlers for internal bit-vector operators that leak during simplification 2013-07-16 11:46:29 +04:00
ast Add code for rejecting bitvector constants of size 0 2013-06-28 19:21:27 -07:00
cmd_context remove hassel table from unstable: does not compile under other plantforms 2013-05-31 17:48:19 -07:00
math remove hassel table from unstable: does not compile under other plantforms 2013-05-31 17:48:19 -07:00
model Fix bug reported at http://stackoverflow.com/questions/15226944/segmentation-fault-in-z3 2013-03-05 09:04:03 -08:00
muz_qe remove tracing 2013-08-08 09:36:31 -07:00
nlsat Fix bug reported by Florian <corzilius@cs.rwth-aachen.de> 2013-06-21 10:31:11 -07:00
parsers fix bugs reported by Filip Konecny <filip.konecny@epfl.ch> in PDR 2013-04-25 13:39:11 -07:00
sat Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2013-06-13 13:45:55 -07:00
shell fix substitution bug in qe, working on boogie trace 2013-06-25 13:07:28 -05:00
smt Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2013-06-27 12:00:09 -05:00
solver Fix memout detected in nightly regressions 2012-12-15 13:26:11 -08:00
tactic FPA: avoid compiler warnings. 2013-06-28 12:14:14 +01:00
test fix a few compilation warnings 2013-04-21 14:36:39 -07:00
util MPF conversion bugfix. 2013-06-14 17:22:25 +01:00