Skip to content

Actions: hyperpolymath/Axiom.jl

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
110 workflow runs
110 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL Security Analysis CodeQL Security Analysis #110: Scheduled
3m 57s main
main
3m 57s
Fix Rust author attribution to Jonathan D.A. Jewell CodeQL Security Analysis #109: Commit 296b648 pushed by hyperpolymath
4m 8s main
main
4m 8s
Fix author attribution to Jonathan D.A. Jewell CodeQL Security Analysis #108: Commit f308117 pushed by hyperpolymath
3m 38s main
main
3m 38s
Add formal proof assistant integration (Lean/Coq/Isabelle) CodeQL Security Analysis #107: Commit 98721b7 pushed by hyperpolymath
3m 47s main
main
3m 47s
Add model metadata schema and verified model zoo templates CodeQL Security Analysis #106: Commit 50ff30e pushed by hyperpolymath
3m 48s main
main
3m 48s
Add comprehensive release engineering pipeline CodeQL Security Analysis #105: Commit cb446bc pushed by hyperpolymath
4m 2s main
main
4m 2s
Add comprehensive benchmark suite and regression tracking CodeQL Security Analysis #104: Commit 8937b7d pushed by hyperpolymath
4m 3s main
main
4m 3s
Add GPU backend abstraction hooks (CUDA/ROCm/Metal) CodeQL Security Analysis #103: Commit 93630eb pushed by hyperpolymath
3m 30s main
main
3m 30s
CI/CD cleanup: Remove bloat, fix SHA pinning, replace Jekyll with cas… CodeQL Security Analysis #102: Commit 2fad94e pushed by hyperpolymath
3m 26s main
main
3m 26s
Integrate containerized SMT solver execution (svalinn/vordr) CodeQL Security Analysis #101: Commit 0fa0c44 pushed by hyperpolymath
3m 23s main
main
3m 23s
Fix #14: HuggingFace import integration with security verification CodeQL Security Analysis #100: Commit 62013e8 pushed by hyperpolymath
3m 24s main
main
3m 24s
Fix #11: Rust backend parity for core ops CodeQL Security Analysis #99: Commit 3dd8313 pushed by hyperpolymath
3m 27s main
main
3m 27s
Fix #9 and #10: Expand @prove coverage and SMT security hardening CodeQL Security Analysis #98: Commit 517f842 pushed by hyperpolymath
3m 37s main
main
3m 37s
feat: add proof certificate verification workflow (issue #18) CodeQL Security Analysis #97: Commit afd2585 pushed by hyperpolymath
3m 27s main
main
3m 27s
docs: add advanced SMT properties guide (issue #17) CodeQL Security Analysis #96: Commit 71519f4 pushed by hyperpolymath
3m 27s main
main
3m 27s
feat: add proof serialization format (issue #8) CodeQL Security Analysis #95: Commit 7042fca pushed by hyperpolymath
3m 27s main
main
3m 27s
feat(verification): expand @prove coverage and add SMT security harde… CodeQL Security Analysis #94: Commit 3f14c53 pushed by hyperpolymath
3m 29s main
main
3m 29s
fix: remove Float32 type annotations from BatchNorm parameters (46/49… CodeQL Security Analysis #93: Commit e84bafb pushed by hyperpolymath
3m 41s main
main
3m 41s
fix: add missing exports and remove infinite recursion in Dense const… CodeQL Security Analysis #92: Commit 10ec849 pushed by hyperpolymath
3m 49s main
main
3m 49s
fix: add Libdl stdlib dependency CodeQL Security Analysis #91: Commit d0e6f19 pushed by hyperpolymath
3m 32s main
main
3m 32s
fix: add SHA stdlib dependency CodeQL Security Analysis #90: Commit a23d38f pushed by hyperpolymath
3m 26s main
main
3m 26s
fix: REGRESSION_PROPERTIES should be single property, not AllOf CodeQL Security Analysis #89: Commit 23d778a pushed by hyperpolymath
3m 26s main
main
3m 26s
fix: disable SMT-dependent prove.jl until extension implemented CodeQL Security Analysis #88: Commit 6cae238 pushed by hyperpolymath
3m 28s main
main
3m 28s
fix: add explicit N parameter to Tensor type to avoid length(TypeVar)… CodeQL Security Analysis #87: Commit 318e032 pushed by hyperpolymath
3m 16s main
main
3m 16s
fix: make SMTLib optional weak dependency CodeQL Security Analysis #86: Commit 7b3f98a pushed by hyperpolymath
3m 18s main
main
3m 18s