Commit 2b3c7b6
chore: update submodule pointers
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>1 parent dc95395 commit 2b3c7b6
4 files changed
Lines changed: 4 additions & 4 deletions
Submodule ephapax updated from 26d5743 to f7ef93a
- .bot_directives+1
- .gitattributes+44-50
- .github/workflows/boj-build.yml+4-2
- .github/workflows/guix-nix-policy.yml+2-1
- .github/workflows/mirror.yml+2-1
- .github/workflows/npm-bun-blocker.yml+2-1
- .github/workflows/quality.yml+1-1
- .github/workflows/rsr-antipattern.yml+2-1
- .github/workflows/scorecard-enforcer.yml+2-1
- .github/workflows/secret-scanner.yml+3-2
- .github/workflows/security-policy.yml+2-1
- .github/workflows/ts-blocker.yml+2-1
- .github/workflows/wellknown-enforcement.yml+2-1
- .github/workflows/workflow-linter.yml+5-3
- .gitignore+5
- .machine_readable/agent_instructions/README.adoc+41
- .machine_readable/agent_instructions/coverage.a2ml+61
- .machine_readable/agent_instructions/debt.a2ml+49
- .machine_readable/agent_instructions/methodology.a2ml+107
- .machine_readable/contractiles/dust/Dustfile.a2ml+22
- .machine_readable/contractiles/trust/Trustfile.a2ml+22
- .machine_readable/integrations/feedback-o-tron.a2ml+13
- .machine_readable/integrations/proven.a2ml+18
- .machine_readable/integrations/verisimdb.a2ml+15
- .machine_readable/integrations/vexometer.a2ml+18
- EXPLAINME.adoc+24
- Justfile+4
- arxiv-consent-aware-programming.tex+1.9k
- docs/proofs/verification/WokeLang.v+624-305
- dune-project+5
- editors/vscode/lib/bs/src/Extension.cmi
- editors/vscode/lib/bs/src/Extension.cmt
- editors/vscode/lib/bs/src/VSCode.cmi
- editors/vscode/lib/bs/src/VSCode.cmt
- editors/vscode/lib/ocaml/Extension.cmi
- editors/vscode/lib/ocaml/Extension.cmt
- editors/vscode/lib/ocaml/VSCode.cmi
- editors/vscode/lib/ocaml/VSCode.cmt
- src/interpreter/mod.rs+16
- tests/fuzz/placeholder.txt+1
- verification/README.adoc+40
- verification/benchmarks+1
- verification/conformance+1
- verification/fuzzing+1
- verification/proofs+1
- verification/tests+1
- wokelang.opam
0 commit comments