| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 029: the facts counted again: two new (N1 whole numbers, N4 unchanged after L... | eunhhu | 26 hours | 1 | -7/+11 |
| * | 029: UAX #14's whole chain and the facts it needs: the handler 38,623 machine... | eunhhu | 26 hours | 1 | -7/+45 |
| * | 045: UAX #14's whole app emitted by hand, the chain (app.c, app-way.h: on lin... | eunhhu | 26 hours | 4 | -0/+703 |
| * | 029: range()'s chain written, and two of its own claims taken back: the execu... | eunhhu | 27 hours | 1 | -14/+47 |
| * | 045: range() emitted by hand, Pure's meaning kept or dropped where the proof ... | eunhhu | 27 hours | 3 | -0/+297 |
| * | 045: Pure's answers checked for real (cost.c and where.c compared only the C'... | eunhhu | 27 hours | 4 | -24/+37 |
| * | 029: principle 1's break by mechanism (045's samples): dispatch 30.6%, lists ... | eunhhu | 27 hours | 2 | -1/+52 |
| * | 045: where the machine instructions go, by mechanism (where.c samples the add... | eunhhu | 27 hours | 6 | -0/+514 |
| * | 029: principle 1 broken on UAX #14 (045), written as its own rule asks: (a) 2... | eunhhu | 27 hours | 3 | -2/+69 |
| * | 045: 029's principle 1 broken on UAX #14 before any emitter, the tools and th... | eunhhu | 27 hours | 16 | -0/+607 |
| * | 029 second draft from a blank page (the first, five techniques listed, reject... | eunhhu | 28 hours | 1 | -189/+95 |
| * | 029: spreading fns at load is a reason to try, not a result (an early return ... | eunhhu | 29 hours | 1 | -1/+3 |
| * | CHECKPOINT: the evidence table rewritten on the app model as it is (aup, Pure... | eunhhu | 29 hours | 1 | -0/+24 |
| * | 029 (draft, not a 1.0 freeze): past one node, outside feedback 007's five gap... | eunhhu | 29 hours | 1 | -0/+194 |
| * | 115: the modules replaced are freed (0 bytes a change over 4,000, was 19,284)... | eunhhu | 29 hours | 3 | -5/+37 |
| * | The modules an app ran are freed (research 115's next step): every app's modu... | eunhhu | 29 hours | 10 | -60/+500 |
| * | CHECKPOINT: UAX #14 against Vega's C from one run (6,423 against 35.1 ns, 183... | eunhhu | 31 hours | 1 | -1/+1 |
| * | CHECKPOINT: the gaps to 1.0 as they stand after 027 and 140 (the contract's r... | eunhhu | 31 hours | 1 | -1/+41 |
| * | 140: determinism across builds at 027, 028 and 140's state: record_all.py's 4... | eunhhu | 31 hours | 3 | -0/+986 |
| * | A save's arrays for many states asked with || (clang's -Wbitwise-instead-of-l... | eunhhu | 31 hours | 1 | -1/+1 |
| * | 029's record_all.py: the pure-runs of the checks 027, 028 and 140 added, reco... | eunhhu | 31 hours | 1 | -0/+67 |
| * | 140: LIST_VALUE's copy reviewed before building (measured by spec: UAX #14 ab... | eunhhu | 31 hours | 4 | -0/+95 |
| * | A list value of numbers copied whole (140's LIST_VALUE review, no new opcode,... | eunhhu | 31 hours | 4 | -3/+105 |
| * | 140: aup's frictions written away and the apps measured again (no core change... | eunhhu | 32 hours | 5 | -7/+56 |
| * | 140: the decision section before 8 and 10 points to their sections; 8's Pytho... | eunhhu | 33 hours | 1 | -1/+3 |
| * | 140's 8, box layout, written in aup with no new opcode (aup's examples/layout... | eunhhu | 33 hours | 13 | -3/+735 |
| * | 140's 10, RFC 6298's retransmission timer, written in aup with no new opcode ... | eunhhu | 33 hours | 7 | -2/+280 |
| * | 028 and 140: list values' copying measured a second time (UAX #14's Text reco... | eunhhu | 34 hours | 2 | -0/+4 |
| * | 140's 5, line breaking (UAX #14, Unicode 16.0), written in aup with no new op... | eunhhu | 34 hours | 10 | -3/+508 |
| * | pure-run MODULE --views: each snapshot without its states, for an app that ho... | eunhhu | 34 hours | 1 | -3/+12 |
| * | 140 measured again without the workarounds: the three specs' checks pass on t... | eunhhu | 34 hours | 9 | -13/+59 |
| * | CONCAT with an empty side gives the other as it is, uncopied (values do not c... | eunhhu | 34 hours | 3 | -0/+24 |
| * | 140: small block fns inlined in aup, made and measured, not merged (the patch... | eunhhu | 34 hours | 2 | -0/+292 |
| * | 028's bytes alone as a state, made: module state type 6 read as a text state ... | eunhhu | 35 hours | 10 | -32/+261 |
| * | 028: bytes alone as a state (140's decision point: inflate and HTTP both met ... | eunhhu | 35 hours | 1 | -0/+77 |
| * | Bytes compared (140's decision point: DNS and HTTP both met it): TEXT_COMPARE... | eunhhu | 35 hours | 5 | -7/+70 |
| * | 140's 9, HTTP/1.1 requests a packet at a time (RFC 9112), written in aup with... | eunhhu | 36 hours | 10 | -4/+714 |
| * | 140's DNS: the compiled path's 11% stated as measured (244 to 218 ns), which ... | eunhhu | 36 hours | 1 | -1/+1 |
| * | 140's 1, DNS messages (RFC 1035), written in aup with no new opcode (aup's ex... | eunhhu | 36 hours | 9 | -4/+639 |
| * | 140's inflate: the three workarounds' owners: a fn taking no bare list and a ... | eunhhu | 37 hours | 1 | -0/+9 |
| * | 140's 3, inflate (RFC 1951), written in aup with no new opcode (aup's example... | eunhhu | 37 hours | 11 | -12/+556 |
| * | 140 after 027: the ten probes compiled again (run.sh writing to a temporary d... | eunhhu | 37 hours | 13 | -16/+130 |
| * | 027's stage 5 closed: two numbers (number, binary64, the default of literals ... | eunhhu | 37 hours | 12 | -3/+55 |
| * | 027's 5d: a replace's rule and 008: the code was already one function (pure_c... | eunhhu | 37 hours | 2 | -6/+18 |
| * | 027's 5c: money as i64 minor units shown by .Nd: NUM_TEXT's decimal form take... | eunhhu | 37 hours | 13 | -66/+124 |
| * | 027's 5b: an i64 sum exact: its items gathered in a 128-bit integer and only ... | eunhhu | 38 hours | 5 | -10/+44 |
| * | 027's stage 5 designed and 5a made: two numbers (number, binary64, the defaul... | eunhhu | 38 hours | 7 | -2/+94 |
| * | 027's stage 4 closed: 106 opcodes now 95, 7 state kinds 6, 6 input kinds and ... | eunhhu | 38 hours | 10 | -2/+40 |
| * | 027's 4f-4: loops nested to any depth: the load counts a module's deepest nes... | eunhhu | 39 hours | 9 | -22/+121 |
| * | 027's 4f-3b: no fixed count of records or of their fields in all: the header'... | eunhhu | 39 hours | 9 | -24/+162 |
