Z

Z3

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 16, 2024 — Aug 16, 2025 Showing page 610 of 663 Search / Filter on:
Adding overflow checks	Nikolaj Bjorner	More...				almost 12 years ago
refactor closure code	Nikolaj Bjorner	More...				almost 12 years ago
refactor closure code	Nikolaj Bjorner	More...				almost 12 years ago
refactor closure code	Nikolaj Bjorner	More...				almost 12 years ago
generalize mk_convex method to work with scaling	Nikolaj Bjorner	More...				almost 12 years ago
working on generalizer	Nikolaj Bjorner	More...				almost 12 years ago
working on generalizer	Nikolaj Bjorner	More...				almost 12 years ago
update README	Nikolaj Bjorner	More...				almost 12 years ago
re-organization of muz	Nikolaj Bjorner	More...				almost 12 years ago
re-organizing muz	Nikolaj Bjorner	More...				almost 12 years ago
re-organize muz_qe into separate units	Nikolaj Bjorner	More...				almost 12 years ago
re-organize muz_qe into separate units	Nikolaj Bjorner	More...				almost 12 years ago
re-organize muz_qe into separate units	Nikolaj Bjorner	More...				almost 12 years ago
fix reset regression with mk_convex:	Nikolaj Bjorner	More...				almost 12 years ago
split muz_qe into two directories	Nikolaj Bjorner	More...				almost 12 years ago
add API for fixing tests	Nikolaj Bjorner	More...				almost 12 years ago
working on convex lemma gneralization	Nikolaj Bjorner	More...				almost 12 years ago
wworking on generalizing post-image	Nikolaj Bjorner	More...				almost 12 years ago
extend tracing for rule transformations	Nikolaj Bjorner	More...				almost 12 years ago
fix parameter checking on quantifiers (thanks to Esteban Pavese), fix query tracking in rel_context (thanks to Nuno Lopes), fix counter for free variables under quantfiers (thanks to Tomer Weiss)	Nikolaj Bjorner	More...				almost 12 years ago
fix convex converter for multi-arity addition	Nikolaj Bjorner	More...				almost 12 years ago
fix scaling	Nikolaj Bjorner	More...				almost 12 years ago
debug scale transformer, add model converter	Nikolaj Bjorner	More...				almost 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Nikolaj Bjorner	More...				almost 12 years ago
working on scale transformation	Nikolaj Bjorner	More...				almost 12 years ago
filter query predicates from models	Nikolaj Bjorner	More...				almost 12 years ago
some duality fixes	Kenneth McMillan as Ken McMillan	More...				about 12 years ago
updated documentation for finite domain sizes	Nikolaj Bjorner	More...				about 12 years ago
fix bugs reported by Arie Gurfinkel	Nikolaj Bjorner	More...				about 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Nikolaj Bjorner	More...				about 12 years ago

←
1
2
…
606
607
608
609
610
611
612
613
614
…
662
663
→