Z

Z3

Settings | Report Duplicate

0

I Use This!

Very High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Sep 12, 2025 — Sep 12, 2026 Showing page 1 of 763 Search / Filter on:
Bump pypa/cibuildwheel from 4.2.0 to 4.2.1 (#10779)	dependabot[bot]	More...				4 days ago
Make NFV audit dispatch advisory (#10777)	Lev Nachmanson	More...				4 days ago
opt: reuse nlsat state across Pareto checks (#10765)	Lev Nachmanson	More...				4 days ago
Author-sign NuGet packages before publishing to NuGet.org (#10773)	Copilot	More...				4 days ago
[WIP] Fix failing GitHub Actions job publish to NuGet.org (#10768)	Copilot	More...				5 days ago
Fix "Publish to NuGet.org" job failing with `mono: not found` (#10767)	Copilot	More...				5 days ago
Rename seq_monadic to seq::monadic	Nikolaj Bjorner	More...				5 days ago
Fix models from regex split refinement (#10766)	Nikolaj Bjorner	More...				5 days ago
Extract sequence view product checker (#10764)	Nikolaj Bjorner	More...				5 days ago
[CMake] Silence redundant status messages (#10751)	Alex Reinking	More...				5 days ago
cross-build: force Ninja generator in ubuntu:noble cross-arch job (#10757)	Copilot	More...				5 days ago
seq::view_vector: use vector<view> instead of svector<view>	Nikolaj Bjorner	More...				6 days ago
Bump js-yaml from 3.15.1 to 3.15.2 in /src/api/js (#10760)	dependabot[bot]	More...				6 days ago
seq::view: use expr_ref for m_state/m_target instead of raw expr*	Nikolaj Bjorner	More...				6 days ago
Use trusted publishing for NuGet releases	Nikolaj Bjorner	More...				6 days ago
Dispatch NFV audits for pull request updates (#10758)	Nikolaj Bjorner	More...				6 days ago
Remove build_z3.bat (#10754)	Copilot	More...				6 days ago
[CMake] Refresh build documentation and invocation style (#10753)	Alex Reinking	More...				7 days ago
Add associative and sequence EUF plugins (#10752)	Nikolaj Bjorner	More...				7 days ago
Add witness_instantiation simplifier and fix TPTP preprocessing pipeline fixpoint (#10679)	Nikolaj Bjorner	More...				8 days ago
Fix access violation in theory_array::internalize_term_core (#10684)	Nikolaj Bjorner	More...				8 days ago
[CMake] Rework the CMake component graph (#10741) TY	Alex Reinking	More...				8 days ago
Fix FP overflow models with relevancy disabled (#10618)	Nikolaj Bjorner	More...				9 days ago
Fix fp.rem truncation with subnormal divisors (#10610)	Copilot	More...				9 days ago
[code-simplifier] Simplify mk_pareto_solver early-return checks in opt_context.cpp (#10744)	Nikolaj Bjorner	More...				9 days ago
Move sequence utilities into ast/seq (#10743)	Nikolaj Bjorner	More...				9 days ago
[CMake] Miscellaneous cleanup (#10740)	Alex Reinking	More...				9 days ago
opt: enumerate Pareto fronts of pure NRA problems over an nlsat-backed solver (#10736)	Lev Nachmanson	More...				9 days ago
[CMake] Make pkg-config metadata relocatable (#10734)	Alex Reinking	More...				10 days ago
[CMake] Use z3::libz3 as the preferred way to consume Z3 (#10733)	Alex Reinking	More...				10 days ago

←
1
2
3
4
5
6
7
8
9
…
762
763
→