Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
High Activity

Commits : Listings

Analyzed about 20 hours ago. based on code collected about 21 hours ago.
Aug 16, 2024 — Aug 16, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable + FPA2BV sqrt fix
Christoph M. Wintersteiger
More... about 12 years ago
FPA: compilation bugfixes
Christoph M. Wintersteiger
More... about 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Christoph M. Wintersteiger
More... about 12 years ago
Move AssemblyInfo.cs AssemblyInfo. Update mk_util.py to generate AssemblyInfo.cs instead of modifying it.
Leonardo de Moura
More... about 12 years ago
Move AssemblyInfo.cs AssemblyInfo. Update mk_util.py to generate AssemblyInfo.cs instead of modifying it.
Leonardo de Moura
More... about 12 years ago
FPA: fpa2bv fma bugfix
Christoph M. Wintersteiger
More... about 12 years ago
FPA: debug output disabled
Christoph M. Wintersteiger
More... about 12 years ago
FPA: FMA bugfixes.
Christoph M. Wintersteiger
More... about 12 years ago
experiment with point-based generalization method
Nikolaj Bjorner
More... about 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Christoph M. Wintersteiger
More... about 12 years ago
FPA2BV: added sqrt function (Currently, there are a few corner cases where it doesn't round correctly.)
Christoph M. Wintersteiger
More... about 12 years ago
Fix bug reported by Florian <[email protected]>
Leonardo de Moura
More... about 12 years ago
Fix compilation errors/warnings when using GCC
Leonardo de Moura
More... about 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Leonardo de Moura
More... about 12 years ago
Fix problem reported at http://stackoverflow.com/questions/17215640/getting-concrete-values-from-a-model-containing-array-ext
Leonardo de Moura
More... about 12 years ago
Add trace msg
Leonardo de Moura
More... about 12 years ago
Merge branch 'interp' of https://git01.codeplex.com/z3 into interp
Kenneth McMillan
as Ken McMillan
More... about 12 years ago
adding timeout to duality
Kenneth McMillan
as Ken McMillan
More... about 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into fpa-api
Christoph M. Wintersteiger
More... about 12 years ago
Merge branch 'interp' of https://git01.codeplex.com/z3 into interp
Kenneth McMillan
as Ken McMillan
More... about 12 years ago
fixed some bugs with quantifiers in rule bodies
Kenneth McMillan
as Ken McMillan
More... about 12 years ago
Merge branch 'interp' of https://git01.codeplex.com/z3 into interp
Kenneth McMillan
as Ken McMillan
More... about 12 years ago
hooked up array.weak and array.extension params
Kenneth McMillan
as Ken McMillan
More... about 12 years ago
Merge branch 'interp' of https://git01.codeplex.com/z3 into interp
Kenneth McMillan
as Ken McMillan
More... about 12 years ago
hooked up array.weak and array.extension params
Kenneth McMillan
as Ken McMillan
More... about 12 years ago
FPA: debug output disabled.
Christoph M. Wintersteiger
More... about 12 years ago
FPA: bugfix for float to float conversion (subnormal numbers). Thanks to Gabriele Paganelli for reporting this bug!
Christoph M. Wintersteiger
More... about 12 years ago
MPF conversion bugfix.
Christoph M. Wintersteiger
More... about 12 years ago
bugfix in .NET example
Christoph M. Wintersteiger
More... about 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into fpa-api
Christoph M. Wintersteiger
More... about 12 years ago