Repository navigation

feat!: drop-in Rust runtime for Map2Check develop (2.0.0-rc.1) - #56

Merged

hbgit merged 74 commits into

developfrom

feat/drop-in-runtime

Oct 28, 2026

Merged

feat!: drop-in Rust runtime for Map2Check develop (2.0.0-rc.1)#56
hbgit merged 74 commits into
developfrom
feat/drop-in-runtime

Commits on Oct 17, 2026
- docs: record the Map2Check migration merge commit
  hbgit
  committed
  fbba9a6
Commits on Oct 26, 2026
Commits on Oct 27, 2026
- fix: record the memtrack deltas and tighten the memtrack link test
  hbgit
  committed
  338acb1
- feat: export the memcleanup analysis mode
  hbgit
  committed
  f827309
- fix: exercise the memcleanup leak through map2check_exit
  hbgit
  committed
  24167ee
- feat: call the linked analysis_init and nondet_init from the drop-in core
  hbgit
  committed
  040ff8d
- feat: export the KLEE nondet generator
  hbgit
  committed
  5327968
- fix: keep the drop-in core free of freeze at the source
  hbgit
  committed
  31659a0
- fix: define __VERIFIER_error in the drop-in core and stop the coverage gate from hiding it
  hbgit
  committed
  e63670a
- test: tighten the KLEE generator and init-wiring image tests
  hbgit
  committed
  9f63ae1
- fix: stub std's panic hook to abort in the drop-in core
  hbgit
  committed
  22d6ede
- docs: note the expected KLEE path split in Task 4.1
  hbgit
  committed
  74241a7
- feat: export the AFL++ nondet generator
  hbgit
  committed
  299b7e3
- feat: write the result files atomically under KLEE only
  hbgit
  committed
  304bd53
- docs: carry the AFL++ follow-ups into Tasks 3.1 and 4.1
  hbgit
  committed
  cc5267c
- feat: export the wasm runtime stubs
  hbgit
  committed
  7fb534c
- docs: add the wasm trap confirmation file to Task 3.1
  hbgit
  committed
  3d9cffc
- fix: guard against calls to IR-defined names in the staticlib
  hbgit
  committed
  817199e
- docs: map2check_assume* now land in Task 2.10
  hbgit
  committed
  ace2c39
- refactor!: the C ABI is the Map2Check runtime ABI only
  hbgit
  committed
  f7df4e9
- chore: rename the D7 spike build script so the C-era artifact check passes
  hbgit
  committed
  5ca9e14
- docs: update the plan after the removal of the legacy KLEE route
  hbgit
  committed
  c3cbed6
- test: port the KLEE route checks to the drop-in core
  hbgit
  committed
  04ba054
- docs: point the D7 post-processing note at the drop-in build script
  hbgit
  committed
  ed2abc5
- build: package the runtime as the 21 bitcode modules Map2Check links
  hbgit
  committed
  872037c
- fix: never downgrade map2check_property under KLEE (SD-20)
  hbgit
  committed
  08e2337
- docs: record the drop-in wall-time risk before the gate runs
  hbgit
  committed
  95bd35c
- fix: harden the install overlay and the runtime matrix job
  hbgit
  committed
  4529358
- build: ship the bitcode runtime in the release package
  hbgit
  committed
  c7a4f3c
- docs: document the overlay install and pin the validated commit in the release doc
  hbgit
  committed
  66a2006
- docs: add Task 3.3 to shrink the drop-in core before the gate
  hbgit
  committed
  9bc52b0
- perf: shrink the drop-in core the frontend compiles
  hbgit
  committed
  ee77c56
- docs: record the approved fixed compile allowance in the gate time criterion
  hbgit
  committed
  21f0962
- test: apply the approved compile allowance to the afl and hybrid wall criterion
  hbgit
  committed
  bcbdab3
Commits on Oct 28, 2026

Commits

Commits on Oct 17, 2026

Commits on Oct 26, 2026

Commits on Oct 27, 2026

Commits on Oct 28, 2026