| Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable |
|
More...
|
over 12 years ago
|
| working on separating horn simplificaiton |
|
More...
|
over 12 years ago
|
| fix compiler warning for unused variable |
|
More...
|
over 12 years ago
|
| fix warning messages for unused variables |
|
More...
|
over 12 years ago
|
| fix definition of bit_vector::empty() |
|
More...
|
over 12 years ago
|
| Fix bug in smt_model_finder, it was producing the incorrect instantiation set. |
|
More...
|
over 12 years ago
|
| Java API build bugfix. Thanks to Fabian Emmes for reporting this. |
|
More...
|
over 12 years ago
|
| Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable |
|
More...
|
over 12 years ago
|
| add Karr linear invariants as transformer |
|
More...
|
over 12 years ago
|
| Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable |
|
More...
|
over 12 years ago
|
| debugging interpolation |
|
More...
|
over 12 years ago
|
| LRA |
|
More...
|
over 12 years ago
|
| LRA tactic |
|
More...
|
over 12 years ago
|
| LRA tactic |
|
More...
|
over 12 years ago
|
| FPA: bugfixes in mul() and abs() |
|
More...
|
over 12 years ago
|
| more work on interpolation |
|
More...
|
over 12 years ago
|
| Fix bug reported at http://stackoverflow.com/questions/15226944/segmentation-fault-in-z3 |
|
More...
|
over 12 years ago
|
| FPA: bugfix for bitblaster. |
|
More...
|
over 12 years ago
|
| FPA: compilation bugfixes |
|
More...
|
over 12 years ago
|
| working on interpolation API |
|
More...
|
over 12 years ago
|
| Merge branch 'interp' of https://git01.codeplex.com/z3 into interp |
|
More...
|
over 12 years ago
|
| minor fixes for OSX |
|
More...
|
over 12 years ago
|
| more work on incorporating iz3 |
|
More...
|
over 12 years ago
|
| FPA: Added conversion operator float -> float. |
|
More...
|
over 12 years ago
|
| fixing file heads to match z3 |
|
More...
|
over 12 years ago
|
| initial commit for interpolation |
|
More...
|
over 12 years ago
|
| fix bugs reported by Arie Gurfinkel |
|
More...
|
over 12 years ago
|
| add slicing |
|
More...
|
over 12 years ago
|
| add default simplifications as tactic |
|
More...
|
over 12 years ago
|
| Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable |
|
More...
|
over 12 years ago
|
