mirror of
https://github.com/saymrwulf/proof-aware-crypto-tooling-agent.git
synced 2026-09-04 20:03:40 +00:00
mrwulf
a83c32447e
The editor-correspondence kit does not belong in the public artifact repo. Path gitignored to prevent re-adding. History purge follows. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
25 lines
431 B
Text
25 lines
431 B
Text
.venv/
|
|
.pacta/
|
|
.pacta-*/
|
|
.pytest_cache/
|
|
.pytest-tmp/
|
|
.tmp/
|
|
artifacts*/
|
|
repos/
|
|
provider/out/
|
|
provider/state/
|
|
__pycache__/
|
|
*.py[cod]
|
|
*.egg-info/
|
|
.lake/
|
|
*.olean
|
|
*.ilean
|
|
dogfood/state/
|
|
dogfood/pacta-verified-verify/target/
|
|
dogfood/pacta-verified-verify/Cargo.toml
|
|
dogfood/pacta-verified-verify/Cargo.lock
|
|
dogfood/quorum/*/Cargo.toml
|
|
dogfood/quorum/*/Cargo.lock
|
|
dogfood/quorum/*/target/
|
|
dogfood/state/quorum/
|
|
paper/eprint-submission.md
|