mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-15 03:25:43 +00:00
Code Activity
z3/.github
History
Exact
github-actions[bot] 4dec7b1324
simplify skill scripts: expose find_repo_root, fix split string, simplify label 
- z3db.py: rename _find_repo_root to find_repo_root (make public) and
  add require_repo_root helper that exits on failure; update docstring
  and internal caller; fix unnecessary string literal split in log()
- memory_safety.py: remove 13-line duplicate find_repo_root function;
  import and use require_repo_root from z3db instead
- static_analysis.py: simplify two-line label assignment in
  print_findings to a single expression using 'or'

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-06-08 05:59:22 +00:00
..
actions Fix coverage report generation with merge-mode-functions=separate 2025-09-16 16:03:11 +00:00
agents include skills 2026-06-07 14:18:21 -07:00
aw Regenerate agentic workflow locks to fix AWF install failures (#9496) 2026-05-10 21:48:54 -04:00
prompts gitignore 2025-03-12 17:18:37 -07:00
scripts fix memory-safety-report to download artifacts via MCP tools (#8979) 2026-03-15 10:12:49 -07:00
skills simplify skill scripts: expose find_repo_root, fix split string, simplify label 2026-06-08 05:59:22 +00:00
workflows Fix build-and-report failure by removing unsupported default FStar HO-matching flag (#9748) 2026-06-06 15:26:49 -07:00
CI_MIGRATION.md Fix workflow compilation errors and relocate documentation files (#8295) 2026-01-22 21:05:05 -08:00
CI_TESTING.md Fix workflow compilation errors and relocate documentation files (#8295) 2026-01-22 21:05:05 -08:00
copilot-instructions.md Add .github/copilot-instructions.md with comprehensive Z3 development guide (#7766) 2025-08-12 15:18:52 -07:00
dependabot.yml Add smtlib-benchmark-finder agentic workflow (#9629) 2026-05-26 15:28:11 -07:00
mcp.json include skills 2026-06-07 14:18:21 -07:00