~james/scope

scope LogPermalink
109ad18b4a — fix(capture): bound transcript lines before allocating records 14 days ago
drwxr-xr-x .github/ cb7f12d3e8 — ci(build): check ocaml versions and xen guest validation 15 days ago
drwxr-xr-x bin/ e557cd7d08 — feat(cli): expose capture replay and watch commands with regression checks 20 days ago
drwxr-xr-x examples/ e8f5f1b8ca — feat(report): serialise walks and mapping changes with replay fixtures 23 days ago
drwxr-xr-x guest/ 9c94494309 — test(guest): compare predicted faults with executed qemu accesses 18 days ago
drwxr-xr-x lib/ 109ad18b4a — fix(capture): bound transcript lines before allocating records 14 days ago
drwxr-xr-x test/ 109ad18b4a — fix(capture): bound transcript lines before allocating records 14 days ago
-rw-r--r-- .gitignore 44 bytes b1b249cd6f — feat(core): define typed addresses and captured register state 29 days ago
-rw-r--r-- dune-project 186 bytes b1b249cd6f — feat(core): define typed addresses and captured register state 29 days ago
-rw-r--r-- Makefile 225 bytes cb7f12d3e8 — ci(build): check ocaml versions and xen guest validation 15 days ago
-rw-r--r-- meow.mp4 3.0 MiB 109ad18b4a — fix(capture): bound transcript lines before allocating records 14 days ago
-rw-r--r-- README.md 326 bytes 109ad18b4a — fix(capture): bound transcript lines before allocating records 14 days ago
-rw-r--r-- scope.opam 393 bytes b1b249cd6f — feat(core): define typed addresses and captured register state 29 days ago