Repository navigation

Prepare the library to replace the Map2Check C runtime (1.1.0-rc1) - #41

Merged

hbgit merged 63 commits into

cutover/runtime-rust

Oct 17, 2026

Merged

Prepare the library to replace the Map2Check C runtime (1.1.0-rc1)#41
hbgit merged 63 commits into
developfrom
cutover/runtime-rust

Commits on Oct 15, 2026
Commits on Oct 16, 2026
Commits on Oct 17, 2026
- docs: record D3 and D4 as approved and set the RSS limit to 1.36
  hbgit
  committed
  e52e6db
- docs: add SD-20 and SD-21 for the gate's C-bug deltas and record D2 and D5
  hbgit
  committed
  6094f27
- perf: stub std's backtrace symbolizer out of the KLEE runtime
  hbgit
  committed
  ef166d1
- fix: stop the symbolizer walk only at the backtrace printer's entry
  hbgit
  committed
  94a17ec
- docs: record D2 as approved
  hbgit
  committed
  511fb6e
- build: copy the files the tests read into the Docker test stage
  hbgit
  committed
  3f4f40b