Skip to content

Actions: hyperpolymath/echidna

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,197 workflow runs
1,197 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
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
Merge branch 'chore/cicd-optimizations' CodeQL Security Analysis #201: Commit 81d3c63 pushed by hyperpolymath
9m 16s main
main
9m 16s
feat: add extraction scripts for HOL4, HOL Light, SMT-LIB, and TPTP CodeQL Security Analysis #200: Commit b21e56d pushed by hyperpolymath
6m 44s main
main
6m 44s
chore(floor-raise): add foundational tool integrations CodeQL Security Analysis #199: Commit 59b598b pushed by hyperpolymath
8m 38s main
main
8m 38s
feat(vql-ut): Add TypeLL pre-flight validation before query execution CodeQL Security Analysis #198: Commit 7d1c4ba pushed by hyperpolymath
6m 29s main
main
6m 29s
ProTip! You can narrow down the results and go further in time using created:<2026-03-20 or the other filters available.