Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Aug 19, 2024 — Aug 19, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Fix bug in smt_model_finder, it was producing the incorrect instantiation set.
Leonardo de Moura
More... over 12 years ago
Java API build bugfix. Thanks to Fabian Emmes for reporting this.
Christoph M. Wintersteiger
More... over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Christoph M. Wintersteiger
More... over 12 years ago
add Karr linear invariants as transformer
Nikolaj Bjorner
More... over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Christoph M. Wintersteiger
More... over 12 years ago
debugging interpolation
Kenneth McMillan
as Ken McMillan
More... over 12 years ago
LRA
Nikolaj Bjorner
More... over 12 years ago
LRA tactic
Nikolaj Bjorner
More... over 12 years ago
LRA tactic
Nikolaj Bjorner
More... over 12 years ago
FPA: bugfixes in mul() and abs()
Christoph M. Wintersteiger
More... over 12 years ago
more work on interpolation
Kenneth McMillan
as Ken McMillan
More... over 12 years ago
Fix bug reported at http://stackoverflow.com/questions/15226944/segmentation-fault-in-z3
Leonardo de Moura
More... over 12 years ago
FPA: bugfix for bitblaster.
Christoph M. Wintersteiger
More... over 12 years ago
FPA: compilation bugfixes
Christoph M. Wintersteiger
More... over 12 years ago
working on interpolation API
Kenneth McMillan
More... over 12 years ago
Merge branch 'interp' of https://git01.codeplex.com/z3 into interp
Kenneth McMillan
More... over 12 years ago
minor fixes for OSX
Kenneth McMillan
More... over 12 years ago
more work on incorporating iz3
Kenneth McMillan
as Ken McMillan
More... over 12 years ago
FPA: Added conversion operator float -> float.
Christoph M. Wintersteiger
More... over 12 years ago
fixing file heads to match z3
Kenneth McMillan
More... over 12 years ago
initial commit for interpolation
Kenneth McMillan
as Ken McMillan
More... over 12 years ago
fix bugs reported by Arie Gurfinkel
Nikolaj Bjorner
More... over 12 years ago
add slicing
Nikolaj Bjorner
More... over 12 years ago
add default simplifications as tactic
Nikolaj Bjorner
More... over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Nikolaj Bjorner
More... over 12 years ago
add default simplifications as tactic
Nikolaj Bjorner
More... over 12 years ago
FPA: multiple bugfixes for HWF, MPF and a bugfix for FPA2BV (many thanks to Gabriele Paganelli)
Christoph M. Wintersteiger
More... over 12 years ago
FPA bug and leak fixes (thanks to Gabriele Paganelli)
Christoph M. Wintersteiger
More... over 12 years ago
added Karr test
Nikolaj Bjorner
More... over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Nikolaj Bjorner
More... over 12 years ago