aboutsummaryrefslogtreecommitdiffstats
path: root/tests/check.py
Commit message (Expand)AuthorAgeFilesLines
* Module format v7, 027's 4e: a view of any value: a view's and a column's type...eunhhu2 days1-3/+35
* Module format v7, 027's 4b-2: keyed documents gone, a keyed list of records h...eunhhu2 days1-195/+230
* Module format and executor: 027's 4b-1, a record field holding bytes (type 5)...eunhhu2 days1-3/+7
* Module executor and pure-serve: 027's 4a, a message's rows holding lists: row...eunhhu2 days1-0/+128
* Research 140, 027's stage 2c measured: JSON read into a tree by recursive des...eunhhu2 days1-8/+10
* Research 140, 027's stage 2b measured: JSON read into a tree (aup's examples/...eunhhu8 days1-0/+53
* Research 140, 027's stage 2a measured: whether bytes are JSON (aup's examples...eunhhu8 days1-18/+56
* Research 140, 027's stage 1 measured: SHA-256 written in aup (its examples/sh...eunhhu8 days1-0/+18
* Batch executor, stage 5 of design 025: the sums into cells at once from round...eunhhu11 days1-0/+70
* Batch executor, stage 4 of design 025: a column read at affine rows in memory...eunhhu12 days1-0/+60
* check.py: REDUCE_SOURCE, reductions that start with no lanes (a count, unifor...eunhhu12 days1-0/+68
* Batch: filters, if !L.has(k) { a line appending } in a batch's block or in a ...eunhhu2026-10-061-2/+118
* Batch: a count's loop whose block begins if slot >= L.count { break } (L only...eunhhu2026-10-061-1/+96
* Batch: a batch's appends made at once (pure_list_add_many, a call a chunk of ...eunhhu2026-10-061-0/+60
* Batch: a walk (EACH) whose block has batch forms runs a batch of its items at...eunhhu2026-10-061-3/+25
* Batch: a sum into a cell, L[k].f = L[k].f + e (k computed twice the same and ...eunhhu2026-10-061-3/+12
* Batch executor stage 5 (024): a recurrence (a local a round reads before it s...eunhhu2026-10-061-5/+81
* Batch executor stage 4, first part (024): an item of numbers and bools append...eunhhu2026-10-061-4/+11
* Batch executor stage 2 (024): a loop in the batch's block runs its rounds for...eunhhu2026-10-051-5/+111
* Batch executor stage 1 (024): a count's loop whose block has batch forms (lan...eunhhu2026-10-051-7/+86
* Pointer induction (023): an inner count's access by a key affine in its round...eunhhu2026-10-051-5/+20
* The tier's numbers' arithmetic in a run, each read by the next alone (constan...eunhhu2026-10-051-2/+23
* HASHED (023): an event's list keyed by numbers that came out of order keeps e...eunhhu2026-10-051-5/+13
* The tier's inner loops: a count's work paid for every round as it opens (the ...eunhhu2026-10-051-3/+88
* The tier, first (023): a nest of loops as SSA, its stack, locals and states v...eunhhu2026-10-051-0/+124
* Keep the work an event may still do in a register, x30 among what is kept, sm...eunhhu2026-10-051-10/+43
* Compile each nest of loops twice, the second with whole numbers as integers (...eunhhu2026-10-051-0/+62
* Check a pushed view that computes gets the newest value of writes made meanwh...eunhhu2026-10-041-9/+41
* Compute views with a body on view workers, off the connection threads, asked ...eunhhu2026-10-041-0/+110
* Wake each thread at most once a push, end streams only of stopped apps, and s...eunhhu2026-10-041-0/+8
* Push a view's value to its subscribers over SSE, once per group and interval ...eunhhu2026-10-041-0/+251
* Let a view compute in its body, on a reader's own lists (018 stage 3)eunhhu2026-10-041-0/+69
* Count in loops that nest, break, and keep an event's own lists, every event b...eunhhu2026-10-041-0/+64
* Keep transient states the app's while it runs, never stored (018 stage 1)eunhhu2026-10-041-0/+91
* Take an app's requests only with a token its tokens file grants (017, 3b)eunhhu2026-10-041-0/+196
* Change a running app in place, its states kept in memory (017, stage 3)eunhhu2026-10-041-13/+27
* Start, stop and change apps on a running host on SIGHUP (017, stage 3)eunhhu2026-10-041-0/+253
* Take a timer window again when the wall clock jumped in iteunhhu2026-10-011-9/+17
* Hand sends to another app of the host with no socket (017)eunhhu2026-10-011-17/+67
* Wire each app's sends, and take every app's links on one port (017)eunhhu2026-10-011-0/+75
* Move a connection to its app's home thread at its first request (017)eunhhu2026-10-011-7/+13
* Run many apps on one host, by turns on workers (017)eunhhu2026-10-011-0/+117
* Bound what an event or a view may run: a work budget (017)eunhhu2026-10-011-0/+68
* Pin an i64's meaning on every path (015)eunhhu2026-09-301-44/+85
* Check a bool view's text and a bool argument over HTTPeunhhu2026-09-301-0/+10
* Pin a bool's meaning on every path (015)eunhhu2026-09-301-32/+64
* Give bools their own type in the module format (v6, 016 stage 1)eunhhu2026-09-301-6/+7
* Check that a value comes out the same on every path (108)eunhhu2026-09-301-1/+281
* Take a delivery's fields by name, dropping noneeunhhu2026-09-301-3/+190
* Recast waiting sends by field name when an output's fields changeeunhhu2026-09-301-0/+123