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.
Aug 19, 2024 — Aug 19, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
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
.NET API: bugfix
Christoph M. Wintersteiger
More... about 12 years ago
Extended FPA dotnet example
Christoph M. Wintersteiger
More... about 12 years ago
Numeral API: added floating-point numeral cases.
Christoph M. Wintersteiger
More... about 12 years ago
FPA API: dotnet bugfixes
Christoph M. Wintersteiger
More... about 12 years ago
FPA API: made FPA functions public
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
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Leonardo de Moura
More... about 12 years ago
Fix issue https://z3.codeplex.com/workitem/47
Leonardo de Moura
More... about 12 years ago
Fix issue https://z3.codeplex.com/workitem/48
Leonardo de Moura
More... about 12 years ago
reorder attibutes to match initialization order
Nikolaj Bjorner
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 problem with nullary background constants in 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
FPA API: Tied into rest of the API; added numeral/value handling through existing functions; added trivial .NET example.
Christoph M. Wintersteiger
More... about 12 years ago
FPA: Added .NET API calls
Christoph M. Wintersteiger
More... about 12 years ago
FPA API: minor fixes
Christoph M. Wintersteiger
More... about 12 years ago
doc bugfix
Christoph M. Wintersteiger
More... about 12 years ago
add convex interior generalizer
Nikolaj Bjorner
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 model completion problem in duality
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
small fixes in duality
Kenneth McMillan
as Ken McMillan
More... about 12 years ago