| 2026-10-31 10:15 | merge impl/darwin: the executable built on darwin | Jared Tobin | 1 | +5 | -0 |
| 2026-10-31 10:15 | cabal: build the executable on darwin | Jared Tobin | 1 | +5 | -0 |
| 2026-10-31 10:09 | misc: bounds, docs badge | Jared Tobin | 2 | +21 | -20 |
| 2026-10-31 09:51 | readme: tweak | Jared Tobin | 1 | +6 | -5 |
| 2026-10-31 09:23 | release: v0.2.0 | Jared Tobin | 2 | +2 | -2 |
| 2026-10-31 09:22 | merge impl/cpu-models: a CPU model for QEMU to emulate | Jared Tobin | 6 | +147 | -29 |
| 2026-10-31 09:22 | merge impl/object-paths: objects resolved to the files they name | Jared Tobin | 5 | +48 | -2 |
| 2026-10-30 18:19 | record: a CPU model for QEMU to emulate | Jared Tobin | 6 | +147 | -29 |
| 2026-10-30 14:35 | read: objects resolved to the files they name | Jared Tobin | 5 | +48 | -2 |
| 2026-10-27 16:31 | readme: update | Jared Tobin | 1 | +91 | -170 |
| 2026-10-27 08:00 | merge impl/watch-once: the watch list made once per comparison | Jared Tobin | 4 | +75 | -30 |
| 2026-10-27 08:00 | watch: list what lies outside the contract once, for every run | Jared Tobin | 4 | +75 | -30 |
| 2026-10-27 07:19 | merge impl/contract: data-independent-timing contracts | Jared Tobin | 14 | +3665 | -83 |
| 2026-10-27 07:19 | readme, changelog: data-independent-timing contracts | Jared Tobin | 2 | +60 | -11 |
| 2026-10-27 07:19 | nix: diffOf under a contract, and the probe's floating-point division | Jared Tobin | 3 | +63 | -16 |
| 2026-10-27 07:19 | record, diff: instructions outside the contract, reported apart | Jared Tobin | 3 | +403 | -50 |
| 2026-10-27 07:19 | plugin: fingerprint the operands of what a watch list names | Jared Tobin | 1 | +216 | -5 |
| 2026-10-27 07:19 | contract: Arm's DIT and Intel's DOITM, and what each makes of an instruction | Jared Tobin | 5 | +2923 | -1 |
| 2026-10-22 04:07 | release: v0.1.0 | Jared Tobin | 1 | +1 | -1 |
| 2026-10-21 07:03 | merge impl/gaps: the gaps a review found, closed | Jared Tobin | 18 | +1971 | -340 |
| 2026-10-21 06:42 | readme, changelog: the gaps closed, and the caveats left | Jared Tobin | 2 | +62 | -45 |
| 2026-10-21 06:41 | diff: each origin with the calls that reached it | Jared Tobin | 8 | +316 | -60 |
| 2026-10-21 06:15 | symbol: LLVM's addr2line, which names what it can and no more | Jared Tobin | 4 | +67 | -8 |
| 2026-10-21 05:47 | spikes: traceOf given its runs | Jared Tobin | 3 | +3 | -3 |
| 2026-10-21 05:46 | trace: taint over every run, merged | Jared Tobin | 8 | +342 | -190 |
| 2026-10-21 05:37 | memcheck: a division's undefined operand reported, at its instruction | Jared Tobin | 7 | +360 | -18 |
| 2026-10-21 05:23 | diff: a division on other operands is an operand origin | Jared Tobin | 7 | +291 | -76 |
| 2026-10-21 05:15 | diff: a return is downstream, never an origin | Jared Tobin | 7 | +126 | -32 |
| 2026-10-21 05:08 | record: QEMU chosen by the harness's architecture | Jared Tobin | 5 | +74 | -40 |
| 2026-10-21 05:03 | record: how a run was made kept in its dump; runs made apart refused | Jared Tobin | 7 | +262 | -49 |
| 2026-10-21 04:56 | plugin: a guest that starts a second thread is stopped, its dump refused | Jared Tobin | 6 | +69 | -4 |
| 2026-10-21 04:53 | plugin: an instruction named by its address in its object | Jared Tobin | 5 | +91 | -16 |
| 2026-10-21 04:44 | checks: a probe harness under both instruments, on Linux | Jared Tobin | 3 | +110 | -1 |
| 2026-10-20 10:44 | merge impl/layout: QEMU's allocations kept off the guest's; runs laid out apart refused | Jared Tobin | 5 | +82 | -7 |
| 2026-10-20 10:25 | record: QEMU's allocations kept off the guest's; runs laid out apart refused | Jared Tobin | 5 | +82 | -7 |
| 2026-10-20 09:21 | merge impl/readme-trim: the README trimmed | Jared Tobin | 1 | +71 | -154 |
| 2026-10-20 09:21 | readme: censor linked | Jared Tobin | 1 | +6 | -6 |
| 2026-10-20 09:18 | readme: trimmed to what a user needs | Jared Tobin | 1 | +69 | -152 |
| 2026-10-20 08:25 | merge impl/objects: a taint run kept to the objects, the version exported | Jared Tobin | 7 | +47 | -15 |
| 2026-10-20 07:53 | objects: a taint run kept to the objects under audit; version exported | Jared Tobin | 7 | +47 | -15 |
| 2026-10-19 10:21 | merge impl/plugin-linux: the plugin on Linux alone | Jared Tobin | 1 | +9 | -3 |
| 2026-10-19 10:21 | flake: the plugin on Linux alone | Jared Tobin | 1 | +9 | -3 |
| 2026-10-19 10:19 | merge impl/sound: outcome order compared, runs that prove nothing refused | Jared Tobin | 9 | +176 | -79 |
| 2026-10-19 10:19 | merge impl/behaviour: each origin names the runs alike at it | Jared Tobin | 7 | +121 | -24 |
| 2026-10-19 10:06 | qemu: getrandom keeps the kernel's flags and length | Jared Tobin | 2 | +17 | -13 |
| 2026-10-19 10:05 | diff: a dump in which nothing ran is refused | Jared Tobin | 2 | +12 | -2 |
| 2026-10-19 09:42 | diff: each origin names the runs alike at it (diff-v2) | Jared Tobin | 7 | +121 | -24 |
| 2026-10-19 09:42 | diff: outcome order compared, and runs that prove nothing refused | Jared Tobin | 9 | +160 | -77 |
| 2026-10-18 08:03 | merge impl/designed: runs designed for a path, compared apart | Jared Tobin | 6 | +101 | -25 |
| 2026-10-18 08:03 | diff: runs designed for a path, compared for control and coverage alone | Jared Tobin | 6 | +101 | -25 |
| 2026-10-18 03:14 | merge impl/executed: diff reports what the runs executed | Jared Tobin | 4 | +44 | -8 |
| 2026-10-18 03:14 | diff: what every run executed, per object | Jared Tobin | 4 | +44 | -8 |
| 2026-10-17 19:43 | marks: a compilation unit that records where each object sits | Jared Tobin | 14 | +191 | -56 |
| 2026-10-17 18:23 | readme: the diff summary as one line | Jared Tobin | 1 | +1 | -2 |
| 2026-10-17 18:23 | diff: controls, seeded entropy, and nix/lib.nix for consumers | Jared Tobin | 11 | +285 | -146 |
| 2026-10-17 17:47 | readme: what vestigia reads, how, and what it cannot | Jared Tobin | 2 | +209 | -5 |
| 2026-10-17 17:32 | spikes: ppad-poly1305 and ppad-secp256k1, and the FFI marks | Jared Tobin | 15 | +755 | -0 |
| 2026-10-17 16:11 | spike: Penumbra results | Jared Tobin | 2 | +88 | -1 |
| 2026-10-17 16:11 | vestigia: differential leakage traces under QEMU, and the Penumbra spike | Jared Tobin | 11 | +867 | -19 |
| 2026-10-17 15:40 | vestigia: memcheck's report of where an execution depended on a secret | Jared Tobin | 19 | +1607 | -0 |
