KERN Code Scanning (SARIF)

Workflow runs for KERN Code Scanning (SARIF)

• Juliet real dataset (#369): first measurement on ACTUAL NIST files, p…

  completed successfully:
  KERN Code Scanning (SARIF)#199:Commit630d1a8pushedbynewmathphys
  main

  Oct 26, 20263m 16s
  More actions for workflow run 199

• Path C (#368): --xray catches overflow INSIDE an expression — SV-COMP…

  completed successfully:
  KERN Code Scanning (SARIF)#198:Commita988003pushedbynewmathphys
  main

  Oct 26, 20263m 36s
  More actions for workflow run 198

• Step 3 (#367): SV-COMP diagnosis recorded in METRICS.md + .en.md (mea…

  completed successfully:
  KERN Code Scanning (SARIF)#197:Commit06196bapushedbynewmathphys
  main

  Oct 26, 20262m 38s
  More actions for workflow run 197

• Step 1: same-file call inlining, with name hygiene, recursion guard, …

  completed successfully:
  KERN Code Scanning (SARIF)#196:Commit745e0c8pushedbynewmathphys
  main

  Oct 26, 20263m 32s
  More actions for workflow run 196

• seal: attestation for v2.7.3 (clean tree, attests HEAD~1)

  completed successfully:
  KERN Code Scanning (SARIF)#195:Commit15088d6pushedbynewmathphys
  main

  Oct 26, 20262m 20s
  More actions for workflow run 195

• Run B step 2: TheAlgorithms/C PR #1596 submitted (math/lcm.c)

  completed successfully:
  KERN Code Scanning (SARIF)#194:Commitb46aa5bpushedbynewmathphys
  main

  Oct 26, 20262m 40s
  More actions for workflow run 194

• Run B step 3 (#364): PR artefacts for TheAlgorithms/C math/lcm.c

  completed successfully:
  KERN Code Scanning (SARIF)#193:Commite369ce8pushedbynewmathphys
  main

  Oct 26, 20263m 4s
  More actions for workflow run 193

• Run B step 1 (#361 CLOSED): --diff-equiv routes C-like input by exten…

  completed successfully:
  KERN Code Scanning (SARIF)#192:Commit14fc4bcpushedbynewmathphys
  main

  Oct 26, 20262m 12s
  More actions for workflow run 192

• docs/METRICS §128: QuixBugs invariants (false_equivalent 0, false_div…

  completed successfully:
  KERN Code Scanning (SARIF)#191:Commitc10a134pushedbynewmathphys
  main

  Oct 26, 20262m 36s
  More actions for workflow run 191

• Stage 4B (#362) + #361: honest QuixBugs via --diff-equiv

  completed successfully:
  KERN Code Scanning (SARIF)#190:Commit5777baapushedbynewmathphys
  main

  Oct 26, 20262m 29s
  More actions for workflow run 190

• Stage 4A (#360): AI-trap firing range - 6/6 caught by EXACT marker, 6…

  completed successfully:
  KERN Code Scanning (SARIF)#189:Commit9fbf191pushedbynewmathphys
  main

  Oct 26, 20263m 25s
  More actions for workflow run 189

• Stage 3 (#359): paired NIST Juliet-style benchmark - Juden 1.00, SV-C…

  completed successfully:
  KERN Code Scanning (SARIF)#188:Commit6084871pushedbynewmathphys
  main

  Oct 26, 20263m 16s
  More actions for workflow run 188

• KERN Code Scanning (SARIF)

  completed successfully:
  KERN Code Scanning (SARIF)#187:Scheduled
  main

  Oct 26, 20263m 5s
  More actions for workflow run 187

• seal: attestation refreshed (final commit of the cycle)

  completed successfully:
  KERN Code Scanning (SARIF)#186:Commitb0bb78cpushedbynewmathphys
  main

  Oct 25, 20262m 33s
  More actions for workflow run 186

• seal: attestation refreshed for the #357 commit

  completed successfully:
  KERN Code Scanning (SARIF)#185:Commit328ac42pushedbynewmathphys
  main

  Oct 25, 20263m 7s
  More actions for workflow run 185

• evidence: core_tests and core_tests_relsafe re-shot (live run is 441,…

  completed successfully:
  KERN Code Scanning (SARIF)#184:Commitc2c4b02pushedbynewmathphys
  main

  Oct 25, 20263m 11s
  More actions for workflow run 184

• #356: a new gate/case was not entered into the project's own accounting

  completed successfully:
  KERN Code Scanning (SARIF)#183:Commita7b3904pushedbynewmathphys
  main

  Oct 25, 20262m 34s
  More actions for workflow run 183

• seal: attestation refreshed after the #355 fix

  completed successfully:
  KERN Code Scanning (SARIF)#182:Commit0b61c93pushedbynewmathphys
  main

  Oct 25, 20263m 13s
  More actions for workflow run 182

• #355: the artifact-check gate could never pass, and record #285 said …

  completed successfully:
  KERN Code Scanning (SARIF)#181:Commit20212e2pushedbynewmathphys
  main

  Oct 25, 20262m 10s
  More actions for workflow run 181

• v2.7.2: attestation regenerated on a CLEAN tree

  completed successfully:
  KERN Code Scanning (SARIF)#180:Commit607825dpushedbynewmathphys
  main

  Oct 25, 20262m 32s
  More actions for workflow run 180

• v2.7.2: release README linked a document that never existed (#354)

  completed successfully:
  KERN Code Scanning (SARIF)#179:Commit4eada12pushedbynewmathphys
  main

  Oct 25, 20262m 30s
  More actions for workflow run 179

• Adversarially verified on z3 5.3.1: trusted:0 holds (evm-proof-check,…

  completed successfully:
  KERN Code Scanning (SARIF)#178:Commit798c706pushedbynewmathphys
  main

  Oct 25, 20263m 14s
  More actions for workflow run 178

• Merge pull request #17 from newmathphys/dependabot/github_actions/act…

  completed successfully:
  KERN Code Scanning (SARIF)#177:Commit8293079pushedbynewmathphys
  main

  Oct 25, 20263m 7s
  More actions for workflow run 177

• Merge pull request #16 from newmathphys/dependabot/github_actions/git…

  completed successfully:
  KERN Code Scanning (SARIF)#176:Commit4361eaapushedbynewmathphys
  main

  Oct 25, 20262m 17s
  More actions for workflow run 176

• @kern:lang evm is a real frontend: the directive overrides the exte…

  completed successfully:
  KERN Code Scanning (SARIF)#175:Commit706b33apushedbynewmathphys
  main

  Oct 25, 20262m 12s
  More actions for workflow run 175