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.
Jul 29, 2024 — Jul 29, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
add default simplifications as tactic
Nikolaj Bjorner
More... over 12 years ago
FPA: multiple bugfixes for HWF, MPF and a bugfix for FPA2BV (many thanks to Gabriele Paganelli)
Christoph M. Wintersteiger
More... over 12 years ago
FPA bug and leak fixes (thanks to Gabriele Paganelli)
Christoph M. Wintersteiger
More... over 12 years ago
added Karr test
Nikolaj Bjorner
More... over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Nikolaj Bjorner
More... over 12 years ago
update logging for hilbert
Nikolaj Bjorner
More... over 12 years ago
optimizations to Hilbert basis
Nikolaj Bjorner
More... over 12 years ago
Fix compilation problems when using Visual Studio 32 bit compiler
Leonardo de Moura
More... over 12 years ago
ML API: renamed assert_ to add
Christoph M. Wintersteiger
More... over 12 years ago
ML API: renamed assert_ to add
Christoph M. Wintersteiger
More... over 12 years ago
Java API: renamed assert_(...) to add(...) .NET API: added alias Add(...) for Assert(...)
Christoph M. Wintersteiger
More... over 12 years ago
Add enumeration_sort method to C++ API. Add as_expr method to goal class in C++ API. Add enum_sort_example to C++ examples/c++/example.cpp
Leonardo de Moura
More... over 12 years ago
Java API: added automatic detection of jar
Christoph M. Wintersteiger
More... over 12 years ago
Java API: build system bugfixes
Christoph M. Wintersteiger
More... over 12 years ago
Java API: New JDK detection routines.
Christoph M. Wintersteiger
More... over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Nikolaj Bjorner
More... over 12 years ago
faster saturation without backwards subsumption and using SOS-style set
Nikolaj Bjorner
More... over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Leonardo de Moura
More... over 12 years ago
Fix bug reported at http://z3.codeplex.com/workitem/23
Leonardo de Moura
More... over 12 years ago
ML API: bugfix
Christoph M. Wintersteiger
More... over 12 years ago
ML API: bugfix
Christoph M. Wintersteiger
More... over 12 years ago
Java API: build system bugfixes.
Christoph M. Wintersteiger
More... over 12 years ago
Java API: build system fix for OSX
Christoph M. Wintersteiger
More... over 12 years ago
ML API savegame
Christoph M. Wintersteiger
More... over 12 years ago
ML API savegame
Christoph M. Wintersteiger
More... over 12 years ago
ML API: flat & rich layer in place.
Christoph M. Wintersteiger
More... over 12 years ago
ML API: flat & rich layer in place.
Christoph M. Wintersteiger
More... over 12 years ago
Remove dead files
Leonardo de Moura
More... over 12 years ago
ML API: replaced arrays with lists.
Christoph M. Wintersteiger
More... over 12 years ago
ML API: replaced arrays with lists.
Christoph M. Wintersteiger
More... over 12 years ago