CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• Allow HOL Light verify for empty goals

  completed successfully:
  CodeQL Security Analysis#98:Commitd7e7ac0pushedbyhyperpolymath
  main

  Jan 19, 20266m 27s
  More actions for workflow run 98

• Allow Isabelle verify for trivial goals

  completed successfully:
  CodeQL Security Analysis#97:Commit74c0834pushedbyhyperpolymath
  main

  Jan 19, 20266m 41s
  More actions for workflow run 97

• Ignore local prover artifacts

  completed successfully:
  CodeQL Security Analysis#96:Commit3af544apushedbyhyperpolymath
  main

  Jan 19, 20266m 34s
  More actions for workflow run 96

• Fix ACL2 verification input handling

  completed successfully:
  CodeQL Security Analysis#95:Commit611342dpushedbyhyperpolymath
  main

  Jan 19, 20266m 50s
  More actions for workflow run 95

• Fix Agda/CVC5 verification for MVP sweep

  completed successfully:
  CodeQL Security Analysis#94:Commitea05029pushedbyhyperpolymath
  main

  Jan 19, 20266m 31s
  More actions for workflow run 94

• Add MVP missing prover backlog

  completed successfully:
  CodeQL Security Analysis#93:Commit03c9a0dpushedbyhyperpolymath
  main

  Jan 19, 20266m 54s
  More actions for workflow run 93

• Track missing local provers in MVP checklist

  completed successfully:
  CodeQL Security Analysis#92:Commit4d7b84dpushedbyhyperpolymath
  main

  Jan 19, 20267m 11s
  More actions for workflow run 92

• Document local MVP

  completed successfully:
  CodeQL Security Analysis#91:Commitd97d4f1pushedbyhyperpolymath
  main

  Jan 19, 20266m 43s
  More actions for workflow run 91

• Use source file for Mizar

  completed successfully:
  CodeQL Security Analysis#90:Commit9697919pushedbyhyperpolymath
  main

  Jan 19, 20266m 47s
  More actions for workflow run 90

• Stabilize MVP verification for Lean/Z3

  completed successfully:
  CodeQL Security Analysis#89:Commitb196739pushedbyhyperpolymath
  main

  Jan 18, 20266m 41s
  More actions for workflow run 89

• Add MVP dependencies and best-effort CI

  completed successfully:
  CodeQL Security Analysis#88:Commit4d3e9d3pushedbyhyperpolymath
  main

  Jan 18, 20266m 25s
  More actions for workflow run 88

• Add MVP 1.0 checklist and smoke checks

  completed successfully:
  CodeQL Security Analysis#87:Commit7113ba6pushedbyhyperpolymath
  main

  Jan 18, 20266m 30s
  More actions for workflow run 87

• Update echidnabot submodule

  completed successfully:
  CodeQL Security Analysis#86:Commita8fdeb4pushedbyhyperpolymath
  main

  Jan 18, 20266m 18s
  More actions for workflow run 86

• Remove broken echidna-setup gitlink

  completed successfully:
  CodeQL Security Analysis#85:Commitccfdaf2pushedbyhyperpolymath
  main

  Jan 18, 20266m 55s
  More actions for workflow run 85

• chore: sync template files and configuration

  completed successfully:
  CodeQL Security Analysis#84:Commit0ab4218pushedbyhyperpolymath
  main

  Jan 17, 202613m 17s
  More actions for workflow run 84

• fix(version): bump Cargo.toml version to match v1.0.0 tag

  completed successfully:
  CodeQL Security Analysis#83:Commit7e4b260pushedbyhyperpolymath
  main

  Jan 17, 20266m 11s
  More actions for workflow run 83

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#82:Scheduled
  main

  Jan 12, 20266m 21s
  More actions for workflow run 82

• Update README.adoc

  completed successfully:
  CodeQL Security Analysis#81:Commit47050d8pushedbyhyperpolymath
  main

  Jan 12, 20266m 8s
  More actions for workflow run 81

• feat: add CI/CD and Julia integration testing

  completed successfully:
  CodeQL Security Analysis#80:Commitadf748bpushedbyhyperpolymath
  main

  Jan 10, 20266m 1s
  More actions for workflow run 80

• feat: add HOL4 tests and update NEUROSYM.scm with v2 radial network spec

  completed successfully:
  CodeQL Security Analysis#79:Commitcf9dff6pushedbyhyperpolymath
  main

  Jan 10, 20266m 8s
  More actions for workflow run 79

• feat: complete neural integration with Julia ML backend

  completed successfully:
  CodeQL Security Analysis#78:Commitf106963pushedbyhyperpolymath
  main

  Jan 10, 20266m 12s
  More actions for workflow run 78

• feat(provers): implement complete Lean 4 backend

  completed successfully:
  CodeQL Security Analysis#77:Commit30b36ccpushedbyhyperpolymath
  main

  Jan 10, 20265m 55s
  More actions for workflow run 77

• Add SCM metadata files (STATE, META, ECOSYSTEM)

  completed successfully:
  CodeQL Security Analysis#76:Commitf45f06fpushedbyhyperpolymath
  main

  Jan 10, 202654m 48s
  More actions for workflow run 76

• Add ClusterFuzzLite fuzzing infrastructure

  completed successfully:
  CodeQL Security Analysis#75:Commitfc6124epushedbyhyperpolymath
  main

  Jan 10, 20261h 0m 28s
  More actions for workflow run 75

• Update license to Palimpsest-MPL-1.0

  completed successfully:
  CodeQL Security Analysis#74:Commit6037fcepushedbyhyperpolymath
  main

  Jan 10, 202612m 39s
  More actions for workflow run 74