Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• af8d291154 (Vec T) over a type-erased runtime, with StorageExhausted going in beside it Joseph Ferano 2026-09-12 11:07:57 +07:00
• d475e93b0f Five decisions, answered in one sitting, written down before they are built Joseph Ferano 2026-09-12 11:04:10 +07:00
• 4a7b874050 The limits test reads results through the seqlock that replaced the pointer Joseph Ferano 2026-09-12 11:00:01 +07:00
• 4a7eaaa425 The six blind spots a mutation pass found, each watched fail before it passed Joseph Ferano 2026-09-12 10:58:52 +07:00
• 199ab02a2b Say why the watchdog exits the ordinary way Joseph Ferano 2026-09-12 10:57:50 +07:00
• 74c6489020 Allocator is a builtin opaque type, so the arena needs nothing from milestone 5 Joseph Ferano 2026-09-12 10:55:18 +07:00
• e2bafec373 Four runtime defects, and the two buffers that now have evidence Joseph Ferano 2026-09-12 10:55:15 +07:00
• 6f67b7114f The blind spots the mutation pass named are covered Joseph Ferano 2026-09-12 10:54:53 +07:00
• 9b80fc2084 The 4K result cap and the registry's 4096 names, run for the first time Joseph Ferano 2026-09-12 10:54:11 +07:00
• e691512af3 A render thunk that signals never reaches result_end Joseph Ferano 2026-09-12 10:53:09 +07:00
• 33b6a65610 A restart takes arguments, checked against the types the clause declared Joseph Ferano 2026-09-12 10:51:32 +07:00
• aa0b799bb6 Retyping a global across a reload, which nothing had ever done Joseph Ferano 2026-09-12 10:51:14 +07:00
• 7c1fcbff19 A name finds one frame; it does not search for one that fits Joseph Ferano 2026-09-12 10:51:00 +07:00
• 3ace7c262f A hang is a failure the suite never reported Joseph Ferano 2026-09-12 10:49:07 +07:00
• 66dcf30c8a Strike four fixed defects, and say why the dlclose rule has two exceptions Joseph Ferano 2026-09-12 10:49:05 +07:00
• 5184d732c9 Say what a typed restart still cannot do, and who has to do it Joseph Ferano 2026-09-12 10:48:21 +07:00
• e22a8dba82 Two of the four buffers with no evidence now have some Joseph Ferano 2026-09-12 10:47:41 +07:00
• 1ea9456e2c A web target, built by emcc, that a raylib example reaches unedited Joseph Ferano 2026-09-12 10:47:27 +07:00
• a649a42faa A refusal test that passes for the wrong reason is not a test Joseph Ferano 2026-09-12 10:46:50 +07:00
• 468dab6e4c Restarts take parameters, and the check for them is where it has to be Joseph Ferano 2026-09-12 10:46:24 +07:00
• 3e15328acd Where the web target stops, including the one that is a missing include Joseph Ferano 2026-09-12 10:45:42 +07:00
• 8d048123ca What a headless test can honestly say about a page Joseph Ferano 2026-09-12 10:45:42 +07:00
• f51559030a raylib for the browser is built rather than installed Joseph Ferano 2026-09-12 10:45:27 +07:00
• c2dc4d4244 The browser is a third target, and emcc is its driver Joseph Ferano 2026-09-12 10:45:18 +07:00
• bd030c9e51 A type's fields over the wire, keyed by the qualified name that is already an identity Joseph Ferano 2026-09-12 10:43:20 +07:00
• 41025fc0ac A union is not a missing struct either Joseph Ferano 2026-09-12 10:42:50 +07:00
• a1cf44f910 The order Vec and Map get built in, and the milestone-5 escape that shortens it Joseph Ferano 2026-09-12 10:41:39 +07:00
• 79a8142b78 A local shadowing an imported name, in an expression and in a place Joseph Ferano 2026-09-12 10:40:47 +07:00
• b54f24873e The job ring never looked at tail, and the comment described a drop it never did Joseph Ferano 2026-09-12 10:39:46 +07:00
• 651d04496f Vec does not buy the accumulation pattern; capture does not exist yet Joseph Ferano 2026-09-12 10:39:44 +07:00
• 8ce05087c8 flan_dev_result_get was not the seqlock its comment claimed Joseph Ferano 2026-09-12 10:39:28 +07:00
• 404b8559c5 The conditions buffer names and types the fields it used to refuse Joseph Ferano 2026-09-12 10:39:22 +07:00
• a8f08eda6d A struct's fields, answered out of the build, keyed by the name that is an identity Joseph Ferano 2026-09-12 10:39:16 +07:00
• 86d0c14a45 Three edges of Reach's walk that nothing called Joseph Ferano 2026-09-12 10:38:40 +07:00
• c2116a5e71 The four allocator questions are answered; say so, and say what to build Joseph Ferano 2026-09-12 10:37:37 +07:00
• 9549d386a1 A sign and an unknown escape are both the reader's business Joseph Ferano 2026-09-12 10:35:33 +07:00
• 3afce2aeac Never restarting is the thesis; say where the holes in it are Joseph Ferano 2026-09-12 09:38:26 +07:00
• 50ed2cbef0 Merge branch 'sanitize' into dev-loop Joseph Ferano 2026-09-12 09:38:11 +07:00
• 3c7fdfc076 The left-redzone claim was inferred, not measured, and was wrong Joseph Ferano 2026-09-12 09:34:05 +07:00
• c806125742 What the sanitizer sweep found, and what a clean run does not prove Joseph Ferano 2026-09-12 09:31:32 +07:00
• 64ce9ec05b A manual for the Emacs side, in plain language Joseph Ferano 2026-09-12 09:31:27 +07:00
• 5810fa286f A negative slice length read 63 bytes off the end of whatever it pointed at Joseph Ferano 2026-09-12 09:27:46 +07:00
• c41c5812a9 The corpus a second time, under the sanitizers, behind @sanitize Joseph Ferano 2026-09-12 09:25:43 +07:00
• d803078699 Merge branch 'ergonomics' into dev-loop Joseph Ferano 2026-09-12 09:13:25 +07:00
• aa0b98f2e5 Merge branch 'enum-convert' into dev-loop Joseph Ferano 2026-09-12 09:12:49 +07:00
• 9864f41aca Why a typed let binding is a grammar question, written down not guessed Joseph Ferano 2026-09-12 09:11:53 +07:00
• d2bd022094 An enum and an integer convert, both ways, when you say so Joseph Ferano 2026-09-12 09:09:09 +07:00
• 387ceb7a2e Fold the constant folder over as many operands as the checker does Joseph Ferano 2026-09-12 09:11:13 +07:00
• 1898be6cb0 Repin the break banner, which has numbered its restarts since 4a6a8fa Joseph Ferano 2026-09-12 09:08:35 +07:00
• ac5c7e9c2b A --sanitize flag, and the attribute without which it measures nothing Joseph Ferano 2026-09-12 09:08:27 +07:00
• 838548b548 Merge branch 'allocator-decisions' into dev-loop Joseph Ferano 2026-09-12 09:08:15 +07:00
• 86c598773d Say when storage dies, and what dies with it Joseph Ferano 2026-09-12 09:05:50 +07:00
• 255367c6dc (+ a b c) and the rest of the operators that fold Joseph Ferano 2026-09-12 09:07:10 +07:00
• 5d65dcf1c8 sin and cos in the prelude, with the caveat sqrt does not have Joseph Ferano 2026-09-12 09:04:25 +07:00
• 3e3d3b28f0 Merge branch 'print-sweep' into dev-loop Joseph Ferano 2026-09-12 05:42:57 +07:00
• 127aef75f5 Say in plan.org that write-stdout is all that is under print Joseph Ferano 2026-09-12 05:38:57 +07:00
• b8019a96d5 Give the page a section on the two printers it never mentioned Joseph Ferano 2026-09-12 05:37:56 +07:00
• 96ab4c9cf0 Retire the per-type printers, since print says all of it Joseph Ferano 2026-09-12 05:32:25 +07:00
• d1da17ff69 Split the log out of the plan Joseph Ferano 2026-09-12 05:25:52 +07:00
• b23bd8e377 Say that two formatted numbers cannot be held at once Joseph Ferano 2026-09-12 05:22:12 +07:00
• cb47b98100 Merge branch 'string-of-bytes' into dev-loop Joseph Ferano 2026-09-12 05:21:58 +07:00
• 4001c3246c Merge branch 'dwarf-names' into dev-loop Joseph Ferano 2026-09-12 05:19:38 +07:00
• 421e09e0d6 A number can reach draw-text now Joseph Ferano 2026-09-12 05:19:23 +07:00
• 10fcde8ce9 Half of this file is a log; say where it should go Joseph Ferano 2026-09-12 05:17:49 +07:00
• 4723e49e4d Ask the object, not the text, whether the daemon built with -g Joseph Ferano 2026-09-12 05:17:13 +07:00
• c05edef985 Write down that nothing has ever run under a sanitizer Joseph Ferano 2026-09-12 05:15:22 +07:00
• d0a8339bb5 DWARF in a redefinition, and one flag that means it everywhere Joseph Ferano 2026-09-12 05:14:03 +07:00
• afec482722 Ten raylib examples, and what they could not say Joseph Ferano 2026-09-12 05:06:01 +07:00
• e6594fd554 The name the source gave a local, all the way to the debugger Joseph Ferano 2026-09-12 05:05:40 +07:00
• 2f8436018c Merge branch 'restart-at' into dev-loop Joseph Ferano 2026-09-12 05:04:30 +07:00
• 0c9f043bb1 Stamp a choice with the break it was chosen from Joseph Ferano 2026-09-12 05:02:14 +07:00
• 2474397d30 Merge branch 'println' into dev-loop Joseph Ferano 2026-09-12 05:00:19 +07:00
• 91d1368279 Say in the specs what the break loop actually does now Joseph Ferano 2026-09-12 04:58:42 +07:00
• e4db079c57 Pin the escape buffer's bound, and say what it reserves Joseph Ferano 2026-09-12 04:58:16 +07:00
• ac7d4a0e95 The prompt numbers its choices, because a name could not say which Joseph Ferano 2026-09-12 04:56:25 +07:00
• 4a6a8fa0f7 Take a restart by its position, off a list that stopped moving Joseph Ferano 2026-09-12 04:56:18 +07:00
• 93231e8c9e println, the structural printer, shared with the REPL Joseph Ferano 2026-09-12 04:55:42 +07:00
• 000264bb29 Four tracks at once, written down so none of them starts twice Joseph Ferano 2026-09-12 04:51:05 +07:00
• 5ea0bcae84 Remove nth, the alias that was not one Joseph Ferano 2026-09-12 04:46:41 +07:00
• e416f28567 The site's key table, after the keymap moved under it Joseph Ferano 2026-09-12 04:25:58 +07:00
• 692403998b Merge branch 'web-prose' into dev-loop Joseph Ferano 2026-09-12 04:24:46 +07:00
• 4e89987a83 Stop explaining the significance of the sentence just written Joseph Ferano 2026-09-12 04:23:35 +07:00
• 6ed413a232 An inspector and a conditions buffer, and a restart nobody could take Joseph Ferano 2026-09-12 04:17:41 +07:00
• d995094b52 Put the contents beside the text instead of above it Joseph Ferano 2026-09-12 04:17:27 +07:00
• 13e8002d39 Merge branch 'cider-inspect' into dev-loop Joseph Ferano 2026-09-12 04:16:14 +07:00
• b661cd788b The shape of a condition is not the same refusal as its contents Joseph Ferano 2026-09-12 04:14:47 +07:00
• 41a404c230 Live disassembly, transient overlays, and a list of what is left Joseph Ferano 2026-09-12 04:13:01 +07:00
• 403e598145 Catch up with four facts that moved while this page sat on a branch Joseph Ferano 2026-09-12 04:11:22 +07:00
• d336da65e5 Merge branch 'disasm-overlay' into dev-loop Joseph Ferano 2026-09-12 04:10:54 +07:00
• 1315510fc5 Correct the note where the reply was corrected Joseph Ferano 2026-09-12 04:10:20 +07:00
• 940d70b409 Two ways the disassembly said more than it knew Joseph Ferano 2026-09-12 04:10:07 +07:00
• a9a411709c A stopped program should show its choices, not spell them Joseph Ferano 2026-09-12 04:08:39 +07:00
• 94b78a1a83 A value you can walk into, because the walk has a bound Joseph Ferano 2026-09-12 04:08:13 +07:00
• 2c32b9ad62 Both editor notes are answers now, not asks Joseph Ferano 2026-09-12 04:04:46 +07:00
• 0cac22a5ef Record that a write through a string literal fails two ways Joseph Ferano 2026-09-12 04:04:28 +07:00
• ee5abd40fc Merge branch 'strings-odin' into dev-loop Joseph Ferano 2026-09-12 04:03:35 +07:00
• 38004eec3e Drive both new things through the real client Joseph Ferano 2026-09-12 04:03:19 +07:00
• 71bc492cad Merge branch 'dwarf-debug' into dev-loop Joseph Ferano 2026-09-12 04:03:06 +07:00
• c8c3074a27 break and continue say they do not exist Joseph Ferano 2026-09-12 04:02:24 +07:00
• 91185beb7b Also pin the two things SBCL's presentation was worth Joseph Ferano 2026-09-12 04:01:40 +07:00