mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-25 11:26:21 +00:00
Code Activity
z3/src
History
Exact
copilot-swe-agent[bot] 69b78bf072
Narrow TPTP parser restoration catches 
Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/ca1df142-d992-4e45-a8b3-859fa70a5222

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-05-23 23:19:22 +00:00
..
ackermannization Fix off-by-one vulnerabilities: use range-based for on goals; cache loop bound 2026-02-19 22:37:22 +00:00
api Fix ARM64 nightly build: dotnet NuGet packaging broken under Ninja/cmake (#9589) 2026-05-21 11:18:03 -07:00
ast updates to ho-matcher for lambdas 2026-05-22 14:16:06 -07:00
cmd_context Narrow TPTP parser restoration catches 2026-05-23 23:19:22 +00:00
math Iss9139 fix (#9577) 2026-05-21 06:33:14 -07:00
model Remove redundant default constructors when they're the only constructor (#8461) 2026-02-18 20:58:01 -08:00
muz Refactor sls_euf_plugin.cpp validate_model and add SASSERT in udoc_relation.cpp 2026-03-09 16:57:59 +00:00
nlsat making try-for tactic exception resilient on cancelation 2026-04-26 15:58:24 -07:00
opt fix box mode: reset bounds before each objective 2026-03-19 17:07:21 -10:00
params prepare for lambda unfolding in ho-matcher and selectively enable ho matching 2026-05-22 13:25:01 -07:00
parsers Revert "Refactor find_psort_decl() to return std::optional<psort_decl*> (#8339)" 2026-02-18 20:57:56 -08:00
qe Simplify extract_var_bound via operator normalization (#9062) 2026-03-22 16:01:12 -07:00
sat connect parallel tactical2 as side load 2026-05-13 14:59:05 -07:00
shell benchmark patching 2026-05-20 13:32:23 -07:00
smt enable higher-order matching in mam/smt_quantifier 2026-05-22 17:06:37 -07:00
solver replace struct by class 2026-05-22 14:14:23 -07:00
tactic Throttle lia2card in QF_LIA preamble (mk_preamble_tactic) (#9489) 2026-05-11 12:03:09 -04:00
test Polish TPTP parser diagnostics 2026-05-23 23:17:57 +00:00
util prepare for lambda unfolding in ho-matcher and selectively enable ho matching 2026-05-22 13:25:01 -07:00
CMakeLists.txt git bindings v1.0 2026-02-18 21:02:25 -08:00