Z

Z3

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 11 hours ago. based on code collected about 12 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 29, 2024 — Aug 29, 2025 Showing page 2 of 664 Search / Filter on:
fix #7792	Nikolaj Bjorner	More...				11 days ago
check for internalized in solve_for	Nikolaj Bjorner	More...				11 days ago
update on euf	Nikolaj Bjorner	More...				11 days ago
add option to control epsilon #7791	Nikolaj Bjorner	More...				11 days ago
Fix nullptr dereference in pp_symbol when handling null symbol names (#7790)	Copilot	More...				12 days ago
enable pypi public	Nikolaj Bjorner	More...				14 days ago
Remove NugetPublishNightly stage from nightly.yaml (#7787)	Copilot	More...				14 days ago
Fix compilation warning: add missing is_passive_eq case to switch statement (#7785)	Copilot	More...				14 days ago
remove upload artifact for azure-pipeline	Nikolaj Bjorner	More...				14 days ago
Revert "Parallel solving (#7775)" (#7777)	Nikolaj Bjorner	More...				14 days ago
Use solver factory translate method in Z3_solver_translate (#7782)	Copilot	More...				14 days ago
fix releaseNotesSource to inline	Nikolaj Bjorner	More...				15 days ago
Add virtual translate method to solver_factory class (#7780)	Copilot	More...				15 days ago
Update seq_rewriter.cpp	Nikolaj Bjorner	More...				15 days ago
updates to euf completion	Nikolaj Bjorner	More...				16 days ago
add > operator as shorthand for Array	Nikolaj Bjorner	More...				16 days ago
fix #7776	Nikolaj Bjorner	More...				16 days ago
Parallel solving (#7775)	Ilana Shapiro	More...				16 days ago
Bump actions/checkout from 4 to 5 (#7773)	dependabot[bot]	More...				17 days ago
Add .github/copilot-instructions.md with comprehensive Z3 development guide (#7766)	Copilot	More...				17 days ago
restore the square-free check	Lev Nachmanson	More...				18 days ago
remove unused square-free check	Lev Nachmanson	More...				18 days ago
Update RELEASE_NOTES.md	Nikolaj Bjorner	More...				19 days ago
rename add_lcs to add_lc	Lev Nachmanson	More...				21 days ago
remove ref to theory_str	Nikolaj Bjorner	More...				21 days ago
remove automata from python build	Nikolaj Bjorner	More...				21 days ago
remove theory_str and classes that are only used by it	Nikolaj Bjorner	More...				21 days ago
get the finest factorizations before project	Lev Nachmanson	More...				22 days ago
avoid interferring side-effects in function calls	Nikolaj Bjorner	More...				22 days ago
fix java build for java bindings	Nikolaj Bjorner	More...				22 days ago

←
1
2
3
4
5
6
7
8
9
…
663
664
→