| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add typed messages and keyed documents to Pure modules | eunhhu | 2026-09-25 | 1 | -40/+59 |
| * | Define Pure module format v1 with a static verifier | eunhhu | 2026-09-25 | 1 | -0/+72 |
| * | Make the local Pi the verification device | eunhhu | 2026-09-25 | 1 | -2/+3 |
| * | Let the runtime own working versions as drafts | eunhhu | 2026-09-25 | 2 | -5/+102 |
| * | Add selected single-file persistent tree store | eunhhu | 2026-09-25 | 1 | -0/+126 |
| * | Verify paged document app under 4 KiB AArch64 kernel | eunhhu | 2026-09-24 | 2 | -0/+33 |
| * | Admit aligned OS pages in selected paged store | eunhhu | 2026-09-24 | 1 | -0/+36 |
| * | Establish native micro runtime checkpoint | eunhhu | 2026-09-24 | 81 | -0/+7091 |
 |
index : pure | |
| Verified execution runtime unifying state, persistence, and replication. | Yeowoo Labs |
| aboutsummaryrefslogtreecommitdiffstats |