| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Say what views that compute cost the writes beside them (018 stage 3, ↵ | eunhhu | 2026-10-04 | 1 | -1/+2 |
| | | | | | research 119) | ||||
| * | Say why stage 3's first isolation criterion could not hold, and what to ↵ | eunhhu | 2026-10-04 | 1 | -0/+21 |
| | | | | | measure instead (018) | ||||
| * | Let a view compute in its body, on a reader's own lists (018 stage 3) | eunhhu | 2026-10-04 | 1 | -5/+6 |
| | | |||||
| * | Say what computing in one event costs and finds (018 stage 2, research 118) | eunhhu | 2026-10-04 | 1 | -1/+2 |
| | | |||||
| * | Count in loops that nest, break, and keep an event's own lists, every event ↵ | eunhhu | 2026-10-04 | 1 | -4/+7 |
| | | | | | bounded (018 stage 2) | ||||
| * | Say what a transient state saves a write (018 stage 1, research 117) | eunhhu | 2026-10-04 | 1 | -1/+2 |
| | | |||||
| * | Keep transient states the app's while it runs, never stored (018 stage 1) | eunhhu | 2026-10-04 | 1 | -2/+5 |
| | | |||||
| * | Say how aup chooses what a state outlives, and computes in memory (018) | eunhhu | 2026-10-04 | 1 | -0/+199 |
 |
index : pure | |
| Verified execution runtime unifying state, persistence, and replication. | Yeowoo Labs |
| aboutsummaryrefslogtreecommitdiffstats |