Z

Z3

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed 3 days ago. based on code collected 3 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 19, 2024 — Aug 19, 2025 Showing page 611 of 663 Search / Filter on:
debug scale transformer, add model converter	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
working on scale transformation	Nikolaj Bjorner	More...				about 12 years ago
filter query predicates from models	Nikolaj Bjorner	More...				about 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
improve error message when sorts are non-numeric	Nikolaj Bjorner	More...				about 12 years ago
more on polynorm	Nikolaj Bjorner	More...				about 12 years ago
change non-null test	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
add missing detach in coi_filter	Nikolaj Bjorner	More...				about 12 years ago
fix logic for adding cores	Nikolaj Bjorner	More...				about 12 years ago
fix bug masked by default configuration	Nikolaj Bjorner	More...				about 12 years ago
switch between convex and interior hull, add multiple cores	Nikolaj Bjorner	More...				about 12 years ago
fix unused variable warning in unit test	Nikolaj Bjorner	More...				about 12 years ago
add normalizer of monomial coefficients	Nikolaj Bjorner	More...				about 12 years ago
add normalizer of monomial coefficients	Nikolaj Bjorner	More...				about 12 years ago
remove duplicated definition of is_store and is_select	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
add comments to generalizer code	Nikolaj Bjorner	More...				about 12 years ago
fix build warnings	Nikolaj Bjorner	More...				about 12 years ago
fix coi filter to consider 0 cases	Nikolaj Bjorner	More...				about 12 years ago
fix coi filter to consider 0 cases	Nikolaj Bjorner	More...				about 12 years ago
initial test for polynormalization	Nikolaj Bjorner	More...				about 12 years ago
remove tracing	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
add scoped class for controlling Farkas generalization	Nikolaj Bjorner	More...				about 12 years ago
fix bug in get_answer reported by Anvesh	Nikolaj Bjorner	More...				about 12 years ago

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