Skip to content

Actions: hyperpolymath/echidna

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
226 workflow runs
226 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update STATE.a2ml date to 2026-03-23 (48 backends) CodeQL Security Analysis #226: Commit 87bf8ea pushed by hyperpolymath
7m 40s main
main
7m 40s
feat(provers): add 7 backends completing 48/48 target CodeQL Security Analysis #225: Commit 3b38b59 pushed by hyperpolymath
8m 53s main
main
8m 53s
CodeQL Security Analysis CodeQL Security Analysis #224: Scheduled
6m 31s main
main
6m 31s
feat(provers): add 6 SAT/model-checker backends (NuSMV, TLC, Alloy, P… CodeQL Security Analysis #223: Commit 329407e pushed by hyperpolymath
6m 56s main
main
6m 56s
fix(pvs): fix PVSCaseSelection field mismatch in CASES parser CodeQL Security Analysis #222: Commit 3bcab4a pushed by hyperpolymath
6m 34s main
main
6m 34s
chore: add Julia project env for test server, install Vampire 5.0.1 CodeQL Security Analysis #221: Commit 5596b2c pushed by hyperpolymath
17m 14s main
main
17m 14s
Add typed-wasm prover backend + property test regressions CodeQL Security Analysis #220: Commit ac9a379 pushed by hyperpolymath
38m 39s main
main
38m 39s
test: implement 6 agentic integration tests, fix TypedWasm match exha… CodeQL Security Analysis #219: Commit 6e9ab48 pushed by hyperpolymath
45m 11s main
main
45m 11s
docs: add EXPLAINME.adoc — prove-it file backing README claims CodeQL Security Analysis #218: Commit f6db76b pushed by hyperpolymath
18m 46s main
main
18m 46s
chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u… CodeQL Security Analysis #217: Commit e133c4e pushed by hyperpolymath
7m 11s main
main
7m 11s
Add arXiv-style paper: Neurosymbolic Theorem Proving CodeQL Security Analysis #216: Commit 4a597ea pushed by hyperpolymath
6m 35s main
main
6m 35s
feat(ml): training complete — MRR 0.66, Precision@10 0.30, Recall@10 … CodeQL Security Analysis #215: Commit 756b1b3 pushed by hyperpolymath
6m 39s main
main
6m 39s
fix(ml): make training loop Zygote-differentiable and run CodeQL Security Analysis #214: Commit 516a917 pushed by hyperpolymath
6m 44s main
main
6m 44s
fix(ml): resolve all Julia module loading issues CodeQL Security Analysis #213: Commit 4b63238 pushed by hyperpolymath
6m 20s main
main
6m 20s
chore(ml): fix Julia dep UUIDs, add Manifest.toml CodeQL Security Analysis #212: Commit 059538d pushed by hyperpolymath
6m 19s main
main
6m 19s
feat(ml): wire Julia ML pipeline — data loading, training, and serving CodeQL Security Analysis #211: Commit d2c64fd pushed by hyperpolymath
6m 17s main
main
6m 17s
fix(container): install Z3 from official release, simplify to 3 stages CodeQL Security Analysis #210: Commit 2d8c07f pushed by hyperpolymath
6m 54s main
main
6m 54s
fix(container): skip Idris2 in minimal image (no prebuilt binaries) CodeQL Security Analysis #209: Commit 0bb9238 pushed by hyperpolymath
6m 40s main
main
6m 40s
fix(container): remove standalone tar package (bundled in wolfi base) CodeQL Security Analysis #208: Commit 5e2a195 pushed by hyperpolymath
6m 23s main
main
6m 23s
fix(container): remove separate cargo package (included in rust on wo… CodeQL Security Analysis #207: Commit 22230a0 pushed by hyperpolymath
6m 35s main
main
6m 35s
fix: Idris2 ABI type-checks clean, ProverFactory auto-resolves execut… CodeQL Security Analysis #206: Commit e59bfcb pushed by hyperpolymath
6m 46s main
main
6m 46s
chore(deps): update dependencies (fix rustls-webpki CVE) CodeQL Security Analysis #205: Commit 52083c0 pushed by hyperpolymath
6m 20s main
main
6m 20s
chore: eliminate all compiler warnings (0 warnings, 248 tests pass) CodeQL Security Analysis #204: Commit 686b9f7 pushed by hyperpolymath
6m 40s main
main
6m 40s
feat: Chapel 30-prover real dispatch, Idris2 CI, E2E smoke tests, con… CodeQL Security Analysis #203: Commit f2ad141 pushed by hyperpolymath
6m 30s main
main
6m 30s
feat: Expand corpus to 181K+ proofs across 26 prover backends CodeQL Security Analysis #202: Commit 04dc9d2 pushed by hyperpolymath
6m 20s main
main
6m 20s