Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
High Activity

Commits : Listings

Analyzed about 11 hours ago. based on code collected about 12 hours ago.
Sep 03, 2024 — Sep 03, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Bugfixes for compilation in Cygwin (WIN32 -> _WINDOWS)
Christoph M. Wintersteiger
More... over 11 years ago
fix(api/python): make sure Z3 compiles using Python3
Leonardo de Moura
More... over 11 years ago
fixing simplex
Nikolaj Bjorner
More... over 11 years ago
merging interpolation and duality changes into unstable
Kenneth McMillan
as Ken McMillan
More... over 11 years ago
duality fix
Kenneth McMillan
as Ken McMillan
More... over 11 years ago
interpolation fix for commutativity
Kenneth McMillan
as Ken McMillan
More... over 11 years ago
interpolation fix for commutativity
Kenneth McMillan
as Ken McMillan
More... over 11 years ago
debugging signs
Nikolaj Bjorner
More... over 11 years ago
some extensions/modifications. versions added.
Andreas Froehlich
More... over 11 years ago
some extensions/modifications. versions added.
Andreas Froehlich
More... over 11 years ago
some extensions/modifications. versions added.
Andreas Froehlich
More... over 11 years ago
duality fixes
Kenneth McMillan
as Ken McMillan
More... over 11 years ago
some interpolation fixes; make duality a bit more persistent in checking interpolant
Kenneth McMillan
as Ken McMillan
More... over 11 years ago
bugfix for sign computation in floating-point FMA
Christoph M. Wintersteiger
More... over 11 years ago
adding simplex
Nikolaj Bjorner
More... over 11 years ago
fixed multiple interpolation bugs
Kenneth McMillan
as Ken McMillan
More... over 11 years ago
improve equality solving in qe-lite
Nikolaj Bjorner
More... over 11 years ago
adding simplex
Nikolaj Bjorner
More... over 11 years ago
adding simplex
Nikolaj Bjorner
More... over 11 years ago
Merge branch 'opt' of https://git01.codeplex.com/z3 into opt
Nikolaj Bjorner
More... over 11 years ago
snapshot adding simplex
Nikolaj Bjorner
More... over 11 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into opt
Nikolaj Bjorner
More... over 11 years ago
sls tactic default
Andreas Froehlich
More... over 11 years ago
sls tactic default
Andreas Froehlich
More... over 11 years ago
sls tactic default
Andreas Froehlich
More... over 11 years ago
disable silly warnings and add needed header for VS
Kenneth McMillan
as Ken McMillan
More... over 11 years ago
some interpolation fixes, plus some options to remove features for testing in duality
Kenneth McMillan
as Ken McMillan
More... over 11 years ago
working on simplex
Nikolaj Bjorner
More... over 11 years ago
testing simplex
Nikolaj Bjorner
More... over 11 years ago
fix a few warnings
Kenneth McMillan
as Ken McMillan
More... over 11 years ago