Default Branch

master 59bb444694 · include skills · Updated 2026-06-07 21:18:21 +00:00

ZIP  TAR.GZ

Branches

code-simplifier/skill-scripts-cleanup-4bc53e9e7fe7fe0e 4dec7b1324 · simplify skill scripts: expose find_repo_root, fix split string, simplify label · Updated 2026-06-08 05:59:22 +00:00    admin	0 1		ZIP  TAR.GZ
derive 2738e4317f · tuning · Updated 2026-06-07 16:10:02 +00:00    admin	28 22		ZIP  TAR.GZ
c3 206569c0d6 · fix: negate offset on swap in seq_offset_eq::find (#9722) · Updated 2026-06-06 20:25:16 +00:00    admin	22 514		ZIP  TAR.GZ
copilot/fix-failing-build-and-report-job 2140f76881 · Initial plan · Updated 2026-06-06 20:19:49 +00:00    admin	7 1		ZIP  TAR.GZ
copilot/copilotfix-euf-snode-support 0d26f31ae1 · Add regression coverage for root-aware seq simplifications · Updated 2026-06-06 19:02:45 +00:00    admin	22 516		ZIP  TAR.GZ
copilot/latest-master-z3-fstar-build 7fd2a3b29b · Clarify OCaml snapshot and timeout in fstar-build.md · Updated 2026-06-05 21:16:43 +00:00    admin	13 2		ZIP  TAR.GZ
copilot/zipt-review-sls-seq-plugin-code-quality-improvemen 40c8bf1dcd · Initial plan · Updated 2026-06-05 01:16:42 +00:00    admin	13 1		ZIP  TAR.GZ
copilot/zipt-review-sls-seq-plugin-code-improvements 108ee49bfc · Initial plan · Updated 2026-06-05 01:15:34 +00:00    admin	22 509		ZIP  TAR.GZ
fix/nightly-bench-private-auth d4530b2f0e · ci(nightly): authenticate clone of private Z3Prover/bench repo · Updated 2026-06-04 17:26:01 +00:00    admin	18 1		ZIP  TAR.GZ
code-simplifier/remove-unused-defined-names-fed46dd0fdcfc07b bc4e26233d · Remove unused defined_names and simplify contains return · Updated 2026-06-03 05:59:33 +00:00    admin	24 1		ZIP  TAR.GZ
code-simplifier/model-core-cleanup-53966070efa0376a 156bf81349 · simplify model_core.h: remove unused typedef, fix trailing whitespace, simplify get_some_const_interp · Updated 2026-06-02 05:55:22 +00:00    admin	29 1		ZIP  TAR.GZ
copilot/fix-z3-on-macos-x86-64 767caa8e97 · Add macOS artifact architecture checks in release workflow · Updated 2026-05-29 21:05:47 +00:00    admin	44 2		ZIP  TAR.GZ
simplify/choice-axiom-consistency-e33de7949014eecb 62dd0b223a · simplify: align choice axiom naming and inline literal in theory_array_full · Updated 2026-05-28 05:45:50 +00:00    admin	49 1		ZIP  TAR.GZ
copilot/fix-z3-crash-fstar-example 84803371d4 · Initial plan · Updated 2026-05-27 21:34:29 +00:00    admin	50 1		ZIP  TAR.GZ
copilot/fix-warning-messages a6b5f9be30 · Polish Windows getenv helper portability · Updated 2026-05-27 17:10:43 +00:00    admin	55 5		ZIP  TAR.GZ
code-simplifier/fix-pop-app-frame-indentation-d94e72b433144153 56f4d5a68e · smt2parser: fix indentation in pop_app_frame else block · Updated 2026-05-27 05:50:58 +00:00    admin	60 1		ZIP  TAR.GZ
copilot/run-z3-on-benchmarks 8d2560b25f · Remove benchmark artifacts and add HO parser/source fixes · Updated 2026-05-27 02:45:50 +00:00    admin	60 2		ZIP  TAR.GZ
copilot/fix-z3-sat-unsat-issue 094a40a33b · Fix lambda alpha-equivalence for seq.fold_left and add regression test · Updated 2026-05-27 01:39:23 +00:00    admin	63 2		ZIP  TAR.GZ
code-simplifier/tptp-frontend-2026-05-26-9e0b14ecd2f4620f 560e3c79bf · simplify tptp_frontend: remove nested ternaries and redundant sort checks · Updated 2026-05-26 06:01:07 +00:00    admin	67 1		ZIP  TAR.GZ
copilot/fix-fetchcontent-documentation 5b901d4d5c · docs: clarify FetchContent runtime rpath requirements · Updated 2026-05-25 17:13:07 +00:00    admin	67 2		ZIP  TAR.GZ