Z

Z3

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 22 hours ago. based on code collected about 22 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 20, 2024 — Jul 20, 2025 Showing page 627 of 661 Search / Filter on:
Fix issue reported at http://z3.codeplex.com/workitem/14	Leonardo de Moura	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 http://z3.codeplex.com/workitem/19	Leonardo de Moura	More...				over 12 years ago
working on tab-context	Nikolaj Bjorner	More...				over 12 years ago
working on tab-context	Nikolaj Bjorner	More...				over 12 years ago
Fix compilation error when using gcc.	Leonardo de Moura	More...				over 12 years ago
working on tab-context	Nikolaj Bjorner	More...				over 12 years ago
merge	Nikolaj Bjorner	More...				over 12 years ago
stash	Nikolaj Bjorner	More...				over 12 years ago
working on tab-context	Nikolaj Bjorner	More...				over 12 years ago
working on tab context	Nikolaj Bjorner	More...				over 12 years ago
update substitution routines	Nikolaj Bjorner	More...				over 12 years ago
update substitution routines	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
Merge branch 'cade24' into unstable	Leonardo de Moura	More...				over 12 years ago
working on tab_context	Nikolaj Bjorner	More...				over 12 years ago
Fix bug	Leonardo de Moura	More...				over 12 years ago
Replace # with x in the definition of algebraic elements	Leonardo de Moura	More...				over 12 years ago
working on tab_context	Nikolaj Bjorner	More...				over 12 years ago
working on horn tab solver	Nikolaj Bjorner	More...				over 12 years ago
working on tab Horn solver	Nikolaj Bjorner	More...				over 12 years ago
ML API: Added Solver.assert_and_track	Christoph M. Wintersteiger	More...				over 12 years ago
ML API: Added Solver.assert_and_track	Christoph M. Wintersteiger	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Christoph M. Wintersteiger	More...				over 12 years ago
Java API: syntactic adjustments, getters, setters, ... convenience parameters, etc.	Christoph M. Wintersteiger	More...				over 12 years ago
Added Solver.AssertAndTrack Convenience fixes. Renamed Context.Const to Context.ConstProbe	Christoph M. Wintersteiger	More...				over 12 years ago
add back cooperate.h include (not used now, but will be)	Nikolaj Bjorner	More...				over 12 years ago
working on tab	Nikolaj Bjorner	More...				over 12 years ago
add tabulation/subsumption engine	Nikolaj Bjorner	More...				over 12 years ago
Fix problem in inv_rf	Leonardo de Moura	More...				over 12 years ago

←
1
2
…
623
624
625
626
627
628
629
630
631
…
660
661
→