| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 046: 029's principle 2 put to its breaking experiment on one Pi, the tools an... | eunhhu | 26 hours | 13 | -0/+2066 |
| * | 045, 029: a message end to end, the event's border written by hand too (app.c... | eunhhu | 26 hours | 2 | -2/+149 |
| * | 045: UAX #14's whole app emitted by hand, the chain (app.c, app-way.h: on lin... | eunhhu | 27 hours | 4 | -0/+703 |
| * | 045: range() emitted by hand, Pure's meaning kept or dropped where the proof ... | eunhhu | 28 hours | 3 | -0/+297 |
| * | 045: Pure's answers checked for real (cost.c and where.c compared only the C'... | eunhhu | 28 hours | 3 | -23/+33 |
| * | 029: principle 1's break by mechanism (045's samples): dispatch 30.6%, lists ... | eunhhu | 28 hours | 1 | -0/+25 |
| * | 045: where the machine instructions go, by mechanism (where.c samples the add... | eunhhu | 28 hours | 6 | -0/+514 |
| * | 029: principle 1 broken on UAX #14 (045), written as its own rule asks: (a) 2... | eunhhu | 28 hours | 1 | -0/+35 |
| * | 045: 029's principle 1 broken on UAX #14 before any emitter, the tools and th... | eunhhu | 28 hours | 16 | -0/+607 |
| * | 115: the modules replaced are freed (0 bytes a change over 4,000, was 19,284)... | eunhhu | 30 hours | 1 | -0/+4 |
| * | The modules an app ran are freed (research 115's next step): every app's modu... | eunhhu | 30 hours | 7 | -4/+323 |
| * | 140: determinism across builds at 027, 028 and 140's state: record_all.py's 4... | eunhhu | 32 hours | 2 | -0/+972 |
| * | 029's record_all.py: the pure-runs of the checks 027, 028 and 140 added, reco... | eunhhu | 32 hours | 1 | -0/+67 |
| * | 140: LIST_VALUE's copy reviewed before building (measured by spec: UAX #14 ab... | eunhhu | 32 hours | 3 | -0/+32 |
| * | 140: aup's frictions written away and the apps measured again (no core change... | eunhhu | 33 hours | 2 | -2/+13 |
| * | 140's 8, box layout, written in aup with no new opcode (aup's examples/layout... | eunhhu | 34 hours | 8 | -0/+625 |
| * | 140's 10, RFC 6298's retransmission timer, written in aup with no new opcode ... | eunhhu | 34 hours | 3 | -0/+186 |
| * | 140's 5, line breaking (UAX #14, Unicode 16.0), written in aup with no new op... | eunhhu | 34 hours | 4 | -0/+396 |
| * | 140 measured again without the workarounds: the three specs' checks pass on t... | eunhhu | 35 hours | 7 | -7/+30 |
| * | CONCAT with an empty side gives the other as it is, uncopied (values do not c... | eunhhu | 35 hours | 2 | -0/+22 |
| * | 140: small block fns inlined in aup, made and measured, not merged (the patch... | eunhhu | 35 hours | 1 | -0/+276 |
| * | 028's bytes alone as a state, made: module state type 6 read as a text state ... | eunhhu | 35 hours | 2 | -0/+22 |
| * | Bytes compared (140's decision point: DNS and HTTP both met it): TEXT_COMPARE... | eunhhu | 36 hours | 1 | -0/+10 |
| * | 140's 9, HTTP/1.1 requests a packet at a time (RFC 9112), written in aup with... | eunhhu | 37 hours | 4 | -0/+578 |
| * | 140's 1, DNS messages (RFC 1035), written in aup with no new opcode (aup's ex... | eunhhu | 37 hours | 4 | -0/+527 |
| * | 140's 3, inflate (RFC 1951), written in aup with no new opcode (aup's example... | eunhhu | 38 hours | 8 | -8/+458 |
| * | 140 after 027: the ten probes compiled again (run.sh writing to a temporary d... | eunhhu | 38 hours | 12 | -3/+83 |
| * | 027's stage 5 closed: two numbers (number, binary64, the default of literals ... | eunhhu | 38 hours | 10 | -0/+39 |
| * | 027's 5c: money as i64 minor units shown by .Nd: NUM_TEXT's decimal form take... | eunhhu | 38 hours | 2 | -0/+22 |
| * | 027's 5b: an i64 sum exact: its items gathered in a 128-bit integer and only ... | eunhhu | 39 hours | 2 | -0/+22 |
| * | 027's stage 5 designed and 5a made: two numbers (number, binary64, the defaul... | eunhhu | 39 hours | 2 | -0/+22 |
| * | 027's stage 4 closed: 106 opcodes now 95, 7 state kinds 6, 6 input kinds and ... | eunhhu | 39 hours | 8 | -0/+28 |
| * | 027's 4f-4: loops nested to any depth: the load counts a module's deepest nes... | eunhhu | 39 hours | 2 | -0/+22 |
| * | 027's 4f-3b: no fixed count of records or of their fields in all: the header'... | eunhhu | 40 hours | 2 | -0/+22 |
| * | 027's 4f-3a: no fixed count of inputs, views (the load's columns among them, ... | eunhhu | 40 hours | 2 | -0/+16 |
| * | 027's 4f-2: no fixed count of states: the header's u16 alone (PURE_MODULE_STA... | eunhhu | 41 hours | 3 | -0/+32 |
| * | 027's 4f-1: a module's tables sized to it: PureModule's thirty-four tables of... | eunhhu | 42 hours | 7 | -5/+21 |
| * | Module format v7, 027's 4e: a view of any value: a view's and a column's type... | eunhhu | 42 hours | 6 | -0/+47 |
| * | Module format v7, 027's 4d: every input a message: a module's inputs are mess... | eunhhu | 43 hours | 3 | -0/+22 |
| * | Module format v7, 027's 4c: cursors and indices one anchor: a module's state ... | eunhhu | 44 hours | 3 | -0/+22 |
| * | Module format v7, 027's 4b-2: keyed documents gone, a keyed list of records h... | eunhhu | 45 hours | 5 | -4/+28 |
| * | Module format and executor: 027's 4b-1, a record field holding bytes (type 5)... | eunhhu | 45 hours | 3 | -0/+28 |
| * | Module executor and pure-serve: 027's 4a, a message's rows holding lists: row... | eunhhu | 46 hours | 2 | -0/+14 |
| * | Research 140, 027's stage 3 measured: a board of columns of cards of tags (au... | eunhhu | 46 hours | 7 | -0/+82 |
| * | Research 140, 027's stage 2c measured: JSON read into a tree by recursive des... | eunhhu | 47 hours | 6 | -0/+312 |
| * | Research 140: 2b's instruction counts: the workloads' modules the same, batch... | eunhhu | 7 days | 3 | -0/+28 |
| * | Research 140, 027's stage 2b measured: JSON read into a tree (aup's examples/... | eunhhu | 7 days | 3 | -0/+289 |
| * | Research 140: 2a's instruction counts: the workloads' modules the same, the e... | eunhhu | 7 days | 4 | -0/+32 |
| * | Research 140, 027's stage 2a measured: whether bytes are JSON (aup's examples... | eunhhu | 7 days | 3 | -0/+255 |
| * | Research 140: stage 1's instruction counts: the workloads' modules byte for b... | eunhhu | 7 days | 2 | -0/+44 |
