CI

Workflow runs for CI

• perf(query): move verification stamps to a lock-free append-only table

  failed:
  CI#191:Commit89d5098pushedby0xA672
  main

  Nov 1, 202614m 19s
  More actions for workflow run 191

• chore(repo): mark generated diagnostic snapshots as linguist-generated

  failed:
  CI#190:Commit7ea0d7bpushedby0xA672
  main

  Nov 1, 202619m 15s
  More actions for workflow run 190

• feat(i18n): add Fluent message catalogs for en/ru/zh diagnostics~ (｡•…

  failed:
  CI#189:Commit6719168pushedby0xA672
  main

  Nov 1, 202618m 17s
  More actions for workflow run 189

• feat(compiler): the "Arena & registry" push — handrolled lexer, arena…

  failed:
  CI#188:Commit62518d0pushedby0xA672
  main

  Nov 1, 202611m 34s
  More actions for workflow run 188

• feat(compiler): the "Iron oxide bloom" push — MIR, parallel loader, h…

  failed:
  CI#187:Commit9d99f3fpushedby0xA672
  main

  Oct 24, 20262m 16s
  More actions for workflow run 187

• refactor(compiler): the “Sync or swim” emergency push — arena, querie…

  failed:
  CI#186:Commit964410epushedby0xA672
  main

  Oct 1, 202619m 59s
  More actions for workflow run 186

• refactor(parser): decompose the 7000-line parser mega-file into a mod…

  failed:
  CI#185:Commitde96885pushedby0xA672
  main

  Aug 27, 20262m 14s
  More actions for workflow run 185

• commit bcce1b7395e524532de3d5503a771c7d0ee0592d

  failed:
  CI#184:Commitb429e42pushedby0xA672
  main

  Aug 27, 20262m 10s
  More actions for workflow run 184

• fix(octagon, sat): corner-domain coherence repair, volatile normal fo…

  failed:
  CI#183:Commitbcce1b7pushedby0xA672
  main

  Aug 27, 20262m 24s
  More actions for workflow run 183

• fix(types): binder scope escape guards, variance shadowing, and kappa…

  failed:
  CI#182:Commit7085827pushedby0xA672
  main

  Aug 27, 20262m 28s
  More actions for workflow run 182

• refactor(types): decompose the 8000-line types.rs mega-file into a mo…

  failed:
  CI#181:Commit88e35f3pushedby0xA672
  main

  Aug 26, 20262m 24s
  More actions for workflow run 181

• fix(infer): fail-closed S-Inst-Copy, ancestor-guarded S-Exists-Lower,…

  failed:
  CI#180:Commitd70579apushedby0xA672
  main

  Aug 26, 20262m 25s
  More actions for workflow run 180

• feat(octagon, bii, loop_ir): precise fixpoint semantics, integer-tigh…

  failed:
  CI#179:Commit6e26770pushedby0xA672
  main

  Aug 26, 20262m 24s
  More actions for workflow run 179

• fix(octagon): overflow-safe transfers, sentinel-correct projections, …

  failed:
  CI#178:Commite32f065pushedby0xA672
  main

  Aug 25, 202615m 53s
  More actions for workflow run 178

• feat(bii, checker): template levels, bounds pruning, property strengt…

  failed:
  CI#177:Commit639f951pushedby0xA672
  main

  Aug 24, 202611m 22s
  More actions for workflow run 177

• docs(bii): remove stale design doc cross-references

  failed:
  CI#176:Commit14979e4pushedby0xA672
  main

  Aug 23, 202615m 26s
  More actions for workflow run 176

• fix(bii): value-preserving BV comparisons — exact mixed rows, ϕ₃ exit…

  failed:
  CI#175:Commit255a1e5pushedby0xA672
  main

  Aug 23, 202615m 0s
  More actions for workflow run 175

• fix(octagon): unconditional assign-add diagonal reset — repair the δ …

  failed:
  CI#174:Commit02d1bc7pushedby0xA672
  main

  Aug 22, 202615m 5s
  More actions for workflow run 174

• refactor(hir): clean up your messy borrows and add basic type hints, …

  failed:
  CI#173:Commit0be845epushedby0xA672
  main

  Aug 22, 202615m 25s
  More actions for workflow run 173

• fix(types): enforce variance preconditions on Yoneda reduction; drop …

  failed:
  CI#172:Commit6bbd26epushedby0xA672
  main

  Aug 22, 202615m 31s
  More actions for workflow run 172

• feat(ast, hir, bii, cfg): arena AST, 5000-line BII synthesis, and th…

  failed:
  CI#171:Commit5c79455pushedby0xA672
  main

  Aug 21, 202616m 19s
  More actions for workflow run 171

• hehe~ u thought this was just a bugfix? ☆ BIG BRAIN UPDATE INCOMING ☆

  completed successfully:
  CI#170:Commit1d583d4pushedby0xA672
  main

  Aug 5, 202616m 15s
  More actions for workflow run 170

• feat(parser, ast): implement const generics and <<=/>>= operators

  completed successfully:
  CI#169:Commit9568023pushedby0xA672
  main

  Jul 27, 20261m 35s
  More actions for workflow run 169

• refactor(traits, solver): replace hash-only canonical cache with stru…

  completed successfully:
  CI#168:Commit09b8ae3pushedby0xA672
  main

  Jul 27, 202616m 2s
  More actions for workflow run 168

• wip(solver, types): TAIT skeleton + canonical cache scaffolding, senp…

  completed successfully:
  CI#167:Commit33018c4pushedby0xA672
  main

  Jul 27, 20261m 13s
  More actions for workflow run 167