Z

Z3

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed 32 minutes ago. based on code collected about 1 hour ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 19, 2024 — Aug 19, 2025 Showing page 619 of 663 Search / Filter on:
fix header information	Nikolaj Bjorner	More...				over 12 years ago
add simple bounded CLP backend	Nikolaj Bjorner	More...				over 12 years ago
add simple bounded CLP backend	Nikolaj Bjorner	More...				over 12 years ago
optimize rule preprocessing	Nikolaj Bjorner	More...				over 12 years ago
optimize rule processing	Nikolaj Bjorner	More...				over 12 years ago
optimize rule processing	Nikolaj Bjorner	More...				over 12 years ago
fix bugs reported by Filip Konecny <[email protected]> in PDR	Nikolaj Bjorner	More...				over 12 years ago
fix seg-fault caused by neglecting to inherit output predicate in slice	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
fix the build	Nuno Lopes	More...				over 12 years ago
[datalog] improve performance of smt2 frontend - delay calls to make_annotations and process_costs untill needed - remove debug exception handler in join()	Nuno Lopes	More...				over 12 years ago
delete garbage	Nuno Lopes	More...				over 12 years ago
[datalog] restore the old (linear) cycle breaker force the compiler to use all preds as global deltas for correctness. This is a temporary fix.	Nuno Lopes	More...				over 12 years ago
minor cleanup	Nuno Lopes	More...				over 12 years ago
resolved conflicts	Nikolaj Bjorner	More...				over 12 years ago
resolved conflicts	Nikolaj Bjorner	More...				over 12 years ago
missing else	Nikolaj Bjorner	More...				over 12 years ago
simplify result from tactics, remove unused features from difference logic solver	Nikolaj Bjorner	More...				over 12 years ago
remove pointer comparisons/hash	Nikolaj Bjorner	More...				over 12 years ago
[datalog] merge changes from the hassel branch	Nuno Lopes	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Nikolaj Bjorner	More...				over 12 years ago
working on horn difference logic	Nikolaj Bjorner	More...				over 12 years ago
fix a few compilation warnings - remove unused variables and class fields - add support for gcc 4.5 & clang's __builtin_unreachable - fix 2 bugs related to strict aliasing - remove a few unused function parameters	Nuno Lopes	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Nikolaj Bjorner	More...				over 12 years ago
first commit of duality	Kenneth McMillan as Ken McMillan	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Nuno Lopes	More...				over 12 years ago
[datalog] improve compilation to reuse total tables, and to reduce cloning/deallocs. this gives up to 40% in memory reduction and 10% speedup in test cases with many rules	Nuno Lopes	More...				over 12 years ago
remove reference count debugging, add substitution to C++ header	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
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Nuno Lopes	More...				over 12 years ago

←
1
2
…
615
616
617
618
619
620
621
622
623
…
662
663
→