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
generalize ackerman reduction to work with nested terms
Nikolaj Bjorner
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
add control over Farkas parameter for Arie
Nikolaj Bjorner
More... about 12 years ago
add control over Farkas parameter for Arie
Nikolaj Bjorner
More... about 12 years ago
add missing case handlers for internal bit-vector operators that leak during simplification
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
.NET build changes to include /linkresource
Christoph M. Wintersteiger
More... about 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Nikolaj Bjorner
More... about 12 years ago
detect approximate relations to return unknown, fix product relations, fix symbolic magic set transformation
Nikolaj Bjorner
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/54
Leonardo de Moura
More... about 12 years ago
.NET Example: Sudoku example bugfix. Many thanks to Ilya Mironov for reporting this issue.
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
Add code for rejecting bitvector constants of size 0
Leonardo de Moura
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
Christoph M. Wintersteiger
More... about 12 years ago
FPA: avoid compiler warnings.
Christoph M. Wintersteiger
More... about 12 years ago
FPA: avoid compiler warnings
Christoph M. Wintersteiger
More... about 12 years ago
duality abort hack and debugging hacks
Kenneth McMillan
as Ken McMillan
More... about 12 years ago
some debugging stuff
Kenneth McMillan
as Ken McMillan
More... about 12 years ago
some confusion about proof generation
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
fixed bug in range computation
Kenneth McMillan
as Ken McMillan
More... about 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Nikolaj Bjorner
More... about 12 years ago
fix bug in ctx-solver-simplify reported @ http://z3.codeplex.com/workitem/51
Nikolaj Bjorner
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 minor problem
Leonardo de Moura
More... about 12 years ago
Cherry-pick goodies from mcsat branch
Leonardo de Moura
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: precision bugfixes for FMA
Christoph M. Wintersteiger
More... about 12 years ago