| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Make the local Pi the verification device | eunhhu | 2026-09-25 | 1 | -0/+4 | |
| | | | | | | | | The recorded Raspberry Pi 5 (Linux AArch64, 16 KiB pages, ext4) replaces Apple Silicon macOS as the device whose results decide completion. The macOS CI job stays as an optional portability check; no macOS support is claimed. | |||||
| * | Verify paged document app under 4 KiB AArch64 kernel | eunhhu | 2026-09-24 | 1 | -0/+4 | |
| | | ||||||
| * | Admit aligned OS pages in selected paged store | eunhhu | 2026-09-24 | 1 | -0/+5 | |
| | | ||||||
| * | Establish native micro runtime checkpoint | eunhhu | 2026-09-24 | 1 | -0/+235 | |
 |
index : pure | |
| Fast, lightweight verified computation and deterministic execution runtime. | Yeowoo Labs |
| aboutsummaryrefslogtreecommitdiffstats |
path: root/CHECKPOINT.md