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 24, 2024 — Aug 24, 2025 Showing page 1 of 664 Search / Filter on:
try other dir	Nikolaj Bjorner	More...				3 days ago
try src_dir_repo	Nikolaj Bjorner	More...				3 days ago
try diferennt dirs	Nikolaj Bjorner	More...				3 days ago
add more logging to setup.py	Nikolaj Bjorner	More...				3 days ago
add print for version file	Nikolaj Bjorner	More...				3 days ago
Fix Julia bindings linker errors on Windows MSVC (#7794)	Copilot	More...				3 days ago
Document how to use system-installed Z3 with CMake projects (#7809)	Copilot	More...				3 days ago
remove resources directive again	Nikolaj Bjorner	More...				3 days ago
add resources	Nikolaj Bjorner	More...				3 days ago
Attempt at adding the README to the NuGet package (#7807)	Solal Pirelli	More...				3 days ago
Update nightly.yaml to match release.yml NuGet tool installer changes (#7810)	Copilot	More...				3 days ago
Fix Azure Pipeline PyPI package builds by including VERSION.txt in source distribution (#7808)	Copilot	More...				3 days ago
fix parsing of version	Nikolaj Bjorner	More...				6 days ago
fix version parse	Nikolaj Bjorner	More...				6 days ago
read version from VERSION.txt	Nikolaj Bjorner	More...				6 days ago
Create centralized version management with VERSION.txt (#7802)	Copilot	More...				6 days ago
fix #7796	Nikolaj Bjorner	More...				8 days ago
fix #7753	Nikolaj Bjorner	More...				9 days ago
update version number to 4.15.4	Nikolaj Bjorner	More...				9 days ago
fix #7792	Nikolaj Bjorner	More...				9 days ago
check for internalized in solve_for	Nikolaj Bjorner	More...				9 days ago
update on euf	Nikolaj Bjorner	More...				9 days ago
add option to control epsilon #7791	Nikolaj Bjorner	More...				9 days ago
Fix nullptr dereference in pp_symbol when handling null symbol names (#7790)	Copilot	More...				9 days ago
enable pypi public	Nikolaj Bjorner	More...				11 days ago
Remove NugetPublishNightly stage from nightly.yaml (#7787)	Copilot	More...				11 days ago
Fix compilation warning: add missing is_passive_eq case to switch statement (#7785)	Copilot	More...				11 days ago
remove upload artifact for azure-pipeline	Nikolaj Bjorner	More...				11 days ago
Revert "Parallel solving (#7775)" (#7777)	Nikolaj Bjorner	More...				12 days ago
Use solver factory translate method in Z3_solver_translate (#7782)	Copilot	More...				12 days ago

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