| adding simplex to diff |
|
More...
|
over 11 years ago
|
| use size_t for return values from strlen |
|
More...
|
over 11 years ago
|
| fix ctx solver simplify, remove horn inequalities |
|
More...
|
over 11 years ago
|
| interpolation fix |
|
More...
|
over 11 years ago
|
| use new hashtable implementation in windows |
|
More...
|
over 11 years ago
|
| interpolation fixes |
|
More...
|
over 11 years ago
|
| removig unsound simplification in ctx-solver-simplify tactic |
|
More...
|
over 11 years ago
|
| fix memory smash |
|
More...
|
over 11 years ago
|
| Merge branch 'unstable' of https://git01.codeplex.com/z3 into fpa-api |
|
More...
|
over 11 years ago
|
| working on pb |
|
More...
|
over 11 years ago
|
| further tuning pb |
|
More...
|
over 11 years ago
|
| new hastable implementation for interp/duality |
|
More...
|
over 11 years ago
|
| two interpolation fixes |
|
More...
|
over 11 years ago
|
| optimize theory pb |
|
More...
|
over 11 years ago
|
| optimizing pb |
|
More...
|
over 11 years ago
|
| FPA probe bugfix |
|
More...
|
over 11 years ago
|
| FPA probe bugfixes |
|
More...
|
over 11 years ago
|
| interpolation fixes |
|
More...
|
over 11 years ago
|
| bugfix for FPA |
|
More...
|
over 11 years ago
|
| bugfix for FPA |
|
More...
|
over 11 years ago
|
| debugging simplex/pb |
|
More...
|
over 11 years ago
|
| Java API bugfixes for cygwin compilation |
|
More...
|
over 11 years ago
|
| Bugfixes for compilation in Cygwin (WIN32 -> _WINDOWS) |
|
More...
|
over 11 years ago
|
| fix(api/python): make sure Z3 compiles using Python3 |
|
More...
|
over 11 years ago
|
| fixing simplex |
|
More...
|
over 11 years ago
|
| merging interpolation and duality changes into unstable |
|
More...
|
over 11 years ago
|
| duality fix |
|
More...
|
over 11 years ago
|
| interpolation fix for commutativity |
|
More...
|
over 11 years ago
|
| interpolation fix for commutativity |
|
More...
|
over 11 years ago
|
| debugging signs |
|
More...
|
over 11 years ago
|
