diff options
| author | eunhhu <[email protected]> | 2026-10-19 12:22:24 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-10-19 12:22:24 +0100 |
| commit | 41f66b0ea63c9a75a872727ad2a22d2f22688869 (patch) | |
| tree | cd9b78c0f66c78612f8cf15ad70ab0c66e6867a8 /docs/research/088-sealed-sessions.md | |
| parent | adccf5808be0ed55bcaf7a3303dd7016044893c8 (diff) | |
| download | pure-41f66b0ea63c9a75a872727ad2a22d2f22688869.tar.gz pure-41f66b0ea63c9a75a872727ad2a22d2f22688869.zip | |
045: Pure's answers checked for real (cost.c and where.c compared only the C's with the test before; now Pure's boundaries are read from its view, and a wrong variant is refused with 0 lines right); the executor and the stitched build, rebuilt at adccf58, both answer all 18,672 lines, and the stitched build's numbers stand (40,189 to 28,089 machine instructions a point, 1.43x; cycles 1.32x); 029 says so
Diffstat (limited to 'docs/research/088-sealed-sessions.md')
0 files changed, 0 insertions, 0 deletions