mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-18 22:59:02 +00:00
Code Activity
z3/src
History
Nikolaj Bjorner 9a49f5f204 Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
2013-07-10 17:21:16 +03:00
..
api Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2013-07-10 17:21:16 +03: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 detect approximate relations to return unknown, fix product relations, fix symbolic magic set transformation 2013-07-10 17:20:44 +03: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