Nikolaj Bjorner 59bb444694 include skills

2026-06-07 14:18:21 -07: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

include skills

2026-06-07 14:18:21 -07: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