| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Say what views that compute cost the writes beside them (018 stage 3, researc... | eunhhu | 2026-10-04 | 1 | -1/+2 |
| * | Say why stage 3's first isolation criterion could not hold, and what to measu... | eunhhu | 2026-10-04 | 1 | -0/+21 |
| * | 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 b... | eunhhu | 2026-10-04 | 1 | -4/+7 |
| * | 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 |
