Z

Z3

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 19, 2024 — Aug 19, 2025 Showing page 660 of 663 Search / Filter on:
Fixed bug in DLL .def generation	Leonardo de Moura	More...				almost 13 years ago
Extending public API with internal objects	Leonardo de Moura	More...				almost 13 years ago
fixed update_api.py	Leonardo de Moura	More...				almost 13 years ago
Simplified binding and logging support generation. Now, everything is generated by update_api.py script. The binding commands can be included in the .h files (e.g., z3_api.h	Leonardo de Moura	More...				almost 13 years ago
working on expansion	Nikolaj Bjorner	More...				almost 13 years ago
working on symbolic execution trace unfolding	Nikolaj Bjorner	More...				almost 13 years ago
Add coalesce transformer	Nikolaj Bjorner	More...				almost 13 years ago
add rule unfolding transformation	Nikolaj Bjorner	More...				almost 13 years ago
finish (inefficient) BMC for non-linear Horn	Nikolaj Bjorner	More...				almost 13 years ago
finish (inefficient) BMC for non-linear Horn	Nikolaj Bjorner	More...				almost 13 years ago
Merge branch 'working' of //z3-1/z3 into working	Leonardo de Moura	More...				almost 13 years ago
Added support for parsing negative numerals in the SMT 2.0 frontend	Leonardo de Moura	More...				almost 13 years ago
optimize model pruning	Nikolaj Bjorner	More...				almost 13 years ago
optimize model pruning	Nikolaj Bjorner	More...				almost 13 years ago
working on pdr	Nikolaj Bjorner	More...				almost 13 years ago
working on pdr	Nikolaj Bjorner	More...				almost 13 years ago
optimize model pruning	Nikolaj Bjorner	More...				almost 13 years ago
Merge branch 'working' of https://z3-1/gw/git/z3 into working	Nikolaj Bjorner	More...				almost 13 years ago
goodies for gdb	Leonardo de Moura	More...				almost 13 years ago
Merge branch 'working' of https://z3-1/gw/git/z3 into working	Nikolaj Bjorner	More...				almost 13 years ago
optimize model pruning	Nikolaj Bjorner	More...				almost 13 years ago
optimize model pruning	Nikolaj Bjorner	More...				almost 13 years ago
cygwin support	Leonardo de Moura	More...				almost 13 years ago
Merge branch 'working' of ssh://localhost:22/home/leo/projects-bare/z3 into working	Leonardo de Moura	More...				almost 13 years ago
added missing script	Leonardo de Moura	More...				almost 13 years ago
better proof mining for Farkas	Nikolaj Bjorner	More...				almost 13 years ago
Merge branch 'working' of https://z3-1/gw/git/z3 into working	Nikolaj Bjorner	More...				almost 13 years ago
fixed bug in unsat core generation	Leonardo de Moura	More...				almost 13 years ago
Added tactic for qfnra purely based on nlsat	Leonardo de Moura	More...				almost 13 years ago
better proof mining for Farkas	Nikolaj Bjorner	More...				almost 13 years ago

←
1
2
…
655
656
657
658
659
660
661
662
663
→