| 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/ | 6c84b333c7 feat(watch): retain changed captures and reset baselines on root changes | 20 days ago | |
| drwxr-xr-x | test/ | 3cec21766d test(xen): inject native failures and verify watch evidence retention | 16 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-- | format.md | 4.0 KiB | 1f6e0491a8 feat(capture): persist bounded table snapshots with atomic writes | 26 days ago |
| -rw-r--r-- | Makefile | 225 bytes | cb7f12d3e8 ci(build): check ocaml versions and xen guest validation | 15 days ago |
| -rw-r--r-- | scope.opam | 393 bytes | b1b249cd6f feat(core): define typed addresses and captured register state | 29 days ago |