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.
Sep 03, 2024 — Sep 03, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
working on DL opt
Nikolaj Bjorner
More... over 11 years ago
debugging diff logic simple simplex
Nikolaj Bjorner
More... over 11 years ago
duality fix plus mbqi option
Kenneth McMillan
as Ken McMillan
More... over 11 years ago
fix quotation bug reported by Arie Gurfinkel
Nikolaj Bjorner
More... over 11 years ago
modify offset check to accept linear expressions over numerals. Codeplex issue 81
Nikolaj Bjorner
More... over 11 years ago
remove unsound simplification for rem. Codeplex Issue 76
Nikolaj Bjorner
More... over 11 years ago
fix documnetation to say milli-seconds. Issue 84
Nikolaj Bjorner
More... over 11 years ago
generate error on duplicated data-type accessors. Issue 85
Nikolaj Bjorner
More... over 11 years ago
adding simplex to diff
Nikolaj Bjorner
More... over 11 years ago
use size_t for return values from strlen
Nikolaj Bjorner
More... over 11 years ago
fix ctx solver simplify, remove horn inequalities
Nikolaj Bjorner
More... over 11 years ago
interpolation fix
Kenneth McMillan
as Ken McMillan
More... over 11 years ago
use new hashtable implementation in windows
Kenneth McMillan
as Ken McMillan
More... over 11 years ago
interpolation fixes
Kenneth McMillan
as Ken McMillan
More... over 11 years ago
removig unsound simplification in ctx-solver-simplify tactic
Nikolaj Bjorner
More... over 11 years ago
fix memory smash
Nikolaj Bjorner
More... over 11 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into fpa-api
Christoph M. Wintersteiger
More... over 11 years ago
working on pb
Nikolaj Bjorner
More... over 11 years ago
further tuning pb
Nikolaj Bjorner
More... over 11 years ago
new hastable implementation for interp/duality
Kenneth McMillan
as Ken McMillan
More... over 11 years ago
two interpolation fixes
Kenneth McMillan
as Ken McMillan
More... over 11 years ago
optimize theory pb
Nikolaj Bjorner
More... over 11 years ago
optimizing pb
Nikolaj Bjorner
More... over 11 years ago
FPA probe bugfix
Christoph M. Wintersteiger
More... over 11 years ago
FPA probe bugfixes
Christoph M. Wintersteiger
More... over 11 years ago
interpolation fixes
Kenneth McMillan
as Ken McMillan
More... over 11 years ago
bugfix for FPA
Christoph M. Wintersteiger
More... over 11 years ago
bugfix for FPA
Christoph M. Wintersteiger
More... over 11 years ago
debugging simplex/pb
Nikolaj Bjorner
More... over 11 years ago
Java API bugfixes for cygwin compilation
Christoph M. Wintersteiger
More... over 11 years ago