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