Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• 71495a7fc8 A flan held between two parentheses, which is the whole joke Joseph Ferano 2026-09-14 07:10:26 +07:00
• 682cb745ac Merge branch 'worktree-agent-a4f73ab1c6726fdc2' into dev-loop Joseph Ferano 2026-09-14 06:55:39 +07:00
• 4c46a56827 Merge branch 'worktree-agent-a123a91f32f4c9779' into dev-loop Joseph Ferano 2026-09-14 06:55:39 +07:00
• ddaebf2516 Merge branch 'worktree-agent-affdbb9fef702b34d' into dev-loop Joseph Ferano 2026-09-14 06:55:39 +07:00
• 2b68262249 Merge branch 'worktree-agent-ab7f6288f142b05df' into dev-loop Joseph Ferano 2026-09-14 06:55:39 +07:00
• 70e95119e9 Merge branch 'worktree-agent-a03eb07b90913c874' into dev-loop Joseph Ferano 2026-09-14 06:55:39 +07:00
• 9486bc0ac0 The reprint header names a signature, not a count, so it is true on every path Joseph Ferano 2026-09-13 23:44:42 +07:00
• a9c5cf0c26 A frame with no line does not get the wrong line Joseph Ferano 2026-09-13 23:43:41 +07:00
• ae1b113ad4 Re-measured after the rebase onto the arithmetic-condition lane Joseph Ferano 2026-09-13 23:42:37 +07:00
• 3eb53d0f85 The measured baselines, and why a survey that says 143 is not a regression Joseph Ferano 2026-09-13 23:41:52 +07:00
• ce72f03a0d The offset the walk never reaches, and a stat that was running sixty times a second Joseph Ferano 2026-09-13 23:36:03 +07:00
• c8464abc18 The handoff, with every number in it measured on this tree Joseph Ferano 2026-09-13 23:32:26 +07:00
• 78368811c0 The x86 backend's DWARF is checked by a debugger, not by a transcript Joseph Ferano 2026-09-13 23:30:42 +07:00
• c9c23c5079 Call frame information, which is the thing the assembler gets right Joseph Ferano 2026-09-13 23:27:36 +07:00
• 201cd87bc9 Debug information for --x86, written out as bytes Joseph Ferano 2026-09-13 23:23:52 +07:00
• 853bc35be7 A release build stops calling into a registry that is switched off Joseph Ferano 2026-09-13 23:14:32 +07:00
• 69e5a777e7 The two ports' findings, and the one arm in the header check that would close them Joseph Ferano 2026-09-13 23:32:04 +07:00
• 4c184e68ce A poem of forty-seven kana, and the one raylib call a Flan string cannot make Joseph Ferano 2026-09-13 23:28:40 +07:00
• acc928a203 The b3 note belongs under the table, not inside it Joseph Ferano 2026-09-13 23:28:39 +07:00
• 35c33c7b8b The idiv in b3 is most of the denominator, and the two b2 numbers now agree Joseph Ferano 2026-09-13 23:28:27 +07:00
• 219a42ed5b The handoff carries the headline and what was left undone Joseph Ferano 2026-09-13 23:27:29 +07:00
• f9f37e524a A note that the old handoff's environment note is now stale Joseph Ferano 2026-09-13 23:27:20 +07:00
• 69129fc29f p2's -O0 build is smaller because nothing unrolled the loop Joseph Ferano 2026-09-13 23:27:07 +07:00
• 65eeb09378 The corpus numbers, and the rows they came from Joseph Ferano 2026-09-13 23:26:48 +07:00
• 1195e90476 The noise is gone and the reporting half is verified by breaking the test on purpose Joseph Ferano 2026-09-13 23:25:48 +07:00
• 3c4ca20fea The robustness fixture says its failure is deliberate, and stops printing a linker's words Joseph Ferano 2026-09-13 23:24:21 +07:00
• fdf7531c37 Nine filters that rewrite the buffer they are handed, and the half of them a headless run can pin Joseph Ferano 2026-09-13 23:22:37 +07:00
• fbaf376281 The linker error in dune test is deliberate, and a plan to stop it looking otherwise Joseph Ferano 2026-09-13 23:21:42 +07:00
• eacf7c489f The arithmetic condition landed without restarts, and why that is a question Joseph Ferano 2026-09-13 23:20:11 +07:00
• c9394a6bcd The mismatch is reachable from flan reload, and the guard does not close it Joseph Ferano 2026-09-13 23:18:25 +07:00
• ed32915501 The two redefinition builders refuse to be crossed Joseph Ferano 2026-09-13 23:15:40 +07:00
• 11474ecbda The benchmark table, filled in Joseph Ferano 2026-09-13 23:15:17 +07:00
• f9f476dc41 COST.md, with the benchmarks measured and the corpus table still to come Joseph Ferano 2026-09-13 23:14:57 +07:00
• 1933295a70 A pixel format is twenty-four names, not an int Joseph Ferano 2026-09-13 23:13:49 +07:00
• 8ae77db92c A redefined function that takes and returns a struct, on both backends Joseph Ferano 2026-09-13 23:12:43 +07:00
• 2a7fcb6001 The plan for the last two ports, and the one question nobody is awake to answer Joseph Ferano 2026-09-13 23:10:14 +07:00
• 385445faa7 Merge branch 'worktree-agent-a1df35fb41dc83276' into dev-loop Joseph Ferano 2026-09-13 23:10:00 +07:00
• 9ee398e817 The two cases that would have passed while being wrong Joseph Ferano 2026-09-13 23:09:08 +07:00
• 188e6bc72f A plan for measuring the aggregate case across the reload boundary Joseph Ferano 2026-09-13 23:07:26 +07:00
• b0f4fb73e1 The x86 backend stops leaving a divide by zero to the hardware Joseph Ferano 2026-09-13 23:07:23 +07:00
• 82c8b38dda The alias is verified in both directions, and the handoff says so Joseph Ferano 2026-09-13 23:07:22 +07:00
• 368866c63d A scratch directory per run, after two of them shared one Joseph Ferano 2026-09-13 23:05:12 +07:00
• 6c15eef5e5 Do not time a program that only waits for the timeout Joseph Ferano 2026-09-13 23:02:04 +07:00
• 957ba076bc Merge branch 'worktree-agent-ab6daf83988bee428' into dev-loop Joseph Ferano 2026-09-13 22:59:11 +07:00
• 921155408e The clean survey: ninety-nine match, and the edit described as it stands Joseph Ferano 2026-09-13 22:56:41 +07:00
• a431cddd3b A divide by zero names the file and the line, and is answerable Joseph Ferano 2026-09-13 22:55:17 +07:00
• 69d10bec4e Arithmetic with no answer is a condition: the plan Joseph Ferano 2026-09-13 22:46:26 +07:00
• 60d4c762e1 Merge branch 'worktree-agent-ab6daf83988bee428' into dev-loop Joseph Ferano 2026-09-13 22:50:40 +07:00
• 54da06d111 An @x86 alias, and the two scripts that ask what the backend costs Joseph Ferano 2026-09-13 22:49:38 +07:00
• dc2b5ed02a The measurements the handoff was missing: the baseline held exactly Joseph Ferano 2026-09-13 22:49:19 +07:00
• 0483ae81e8 What the 98 is and is not Joseph Ferano 2026-09-13 22:48:52 +07:00
• c4e68dcc3c The full survey: 98 match, nothing differs, nothing refused Joseph Ferano 2026-09-13 22:48:18 +07:00
• 4b9a6c0852 The targeted survey: both probes match, and what p10 proves Joseph Ferano 2026-09-13 22:46:55 +07:00
• 624a94af7b A smaller hunk, and the restart-case shape that is not a counterexample Joseph Ferano 2026-09-13 22:46:16 +07:00
• 1e816702b6 The handoff for both guards: one correct, one wrong Joseph Ferano 2026-09-13 22:43:52 +07:00
• 5442c11389 The handoff for the x86 redefinition emitter, as built Joseph Ferano 2026-09-13 22:43:06 +07:00
• 939417446d Item 5's guard dropped, item 4's reached and correct Joseph Ferano 2026-09-13 22:42:42 +07:00
• bd69f684ed An --x86 host reloads an --x86 module, checked by running it Joseph Ferano 2026-09-13 22:40:52 +07:00
• 69ea66deca An x86 redefinition emitter, and GOT addressing for the host's symbols Joseph Ferano 2026-09-13 22:38:48 +07:00
• b0f21ae513 Item 5's guard is reachable in ten lines, and a stub handoff Joseph Ferano 2026-09-13 22:36:14 +07:00
• 8e0e99f439 A stub handoff for the cost lane Joseph Ferano 2026-09-13 22:35:19 +07:00
• dd5eac2821 The plan for an x86 redefinition emitter, written before the work Joseph Ferano 2026-09-13 22:32:55 +07:00
• b1cc67b36f Second handoff: the backend is correct and is not yet the dev backend Joseph Ferano 2026-09-13 21:27:03 +07:00
• e725a5aab4 Merge branch 'worktree-agent-af9064091c0602dc8' into dev-loop Joseph Ferano 2026-09-13 21:24:12 +07:00
• 6363635bae DISCUSS item 18, and the handoff: the aggregate return that was never there Joseph Ferano 2026-09-13 21:23:43 +07:00
• 81f7e464ec The indirection cell on the x86 backend, and --x86 --dev with it Joseph Ferano 2026-09-13 21:17:39 +07:00
• 9534d5c077 The printed form round-trips, and the macro is named before the walk replaces it Joseph Ferano 2026-09-13 21:09:50 +07:00
• 3dd9f61b7d A macro call says what it expands to, and a Form learns to print itself Joseph Ferano 2026-09-13 21:06:58 +07:00
• 9fc04193d9 The refused shape is defmacro at C-x C-e, and the union's boundary is defn's Joseph Ferano 2026-09-13 20:37:32 +07:00
• 8ff8a71de8 The aggregate-return refusal cannot fire, and the reason is in check.ml Joseph Ferano 2026-09-13 20:36:56 +07:00
• b9f5b5c44c A promise the compiler cannot check gets its own refusal, and a session expands its buffer's macros Joseph Ferano 2026-09-13 20:33:47 +07:00
• bdecd2b8f2 slice-from-ptr on the x86 backend, and the check that has to be signed Joseph Ferano 2026-09-13 20:27:44 +07:00
• af3daaabe2 Merge branch 'worktree-agent-a1c682523850eafa6' into dev-loop Joseph Ferano 2026-09-13 19:44:13 +07:00
• 3775aaf6c3 Merge branch 'worktree-agent-a744a6fee4839672c' into dev-loop Joseph Ferano 2026-09-13 19:44:13 +07:00
• fef6ae04f6 A failed build is a refusal, and a refusal leaves the session standing Joseph Ferano 2026-09-13 19:38:40 +07:00
• 801b374c3c What dune test actually says right now, and why Joseph Ferano 2026-09-13 18:43:00 +07:00
• e0e5c1e645 The whole corpus goes through the hand-written backend Joseph Ferano 2026-09-13 18:41:13 +07:00
• d9bc9e4190 The backend's list ends at a whole-program compiler, not a dev one Joseph Ferano 2026-09-13 18:14:49 +07:00
• c291cb7715 The headers file said opt-in three lines above saying it is not Joseph Ferano 2026-09-13 18:09:11 +07:00
• 63d9b87b7a Conditions on the x86 backend, and bounds checks with them Joseph Ferano 2026-09-13 18:05:08 +07:00
• 045b0a46b9 Merge branch 'worktree-agent-a1b90b5d487331391' into dev-loop Joseph Ferano 2026-09-13 18:04:54 +07:00
• 3e181b52b2 The docs described a language that stopped existing today Joseph Ferano 2026-09-13 18:04:24 +07:00
• 91ec235395 Merge branch 'worktree-agent-a788866b56165817f' into dev-loop Joseph Ferano 2026-09-13 18:01:35 +07:00
• 25f56c24a8 A begin/end pair that cannot come apart, and what it still cannot promise Joseph Ferano 2026-09-13 17:58:16 +07:00
• b50f42db15 Merge branch 'worktree-agent-a102fd968fb5e7922' into dev-loop Joseph Ferano 2026-09-13 17:59:04 +07:00
• 8ca63a7717 The pause wrap takes the expanded expression's location Joseph Ferano 2026-09-13 17:58:36 +07:00
• 2c6459ca8d Merge branch 'worktree-agent-a91f53d60aa4fd40d' into dev-loop Joseph Ferano 2026-09-13 17:56:03 +07:00
• d1464ee266 Memcheck is told an arena reset happened, and the agentless session is pinned Joseph Ferano 2026-09-13 17:46:58 +07:00
• 6bc4726ddd C-x C-e expands, and a declaration is not an expression Joseph Ferano 2026-09-13 17:54:36 +07:00
• 970fe8a278 Queue the slice-from-ptr message, which names a range nobody wrote Joseph Ferano 2026-09-13 17:51:36 +07:00
• fbc9d3d314 Merge branch 'worktree-agent-a638cd779b2075b7d' into dev-loop Joseph Ferano 2026-09-13 17:46:24 +07:00
• fd873bb9d7 Mark the queue entry landed, and get the shim's cost right Joseph Ferano 2026-09-13 17:44:59 +07:00
• e903e220fb The temporary package the reload case writes is removed again Joseph Ferano 2026-09-13 17:41:18 +07:00
• 185d162124 A pointer from C can state its length, and then it is a slice Joseph Ferano 2026-09-13 17:40:59 +07:00
• dd3611f97d An edited package macro reloads as its new body, not its old one Joseph Ferano 2026-09-13 17:40:05 +07:00
• 86174531b7 A package's macros survive the reload, and the suite runs them Joseph Ferano 2026-09-13 17:35:04 +07:00
• 1657b87e3d Merge branch 'dev-loop' into worktree-agent-adf9086e00872ff67 Joseph Ferano 2026-09-13 17:24:36 +07:00
• 888915402e The backend first, then a freeze; any and drop are stashed Joseph Ferano 2026-09-13 17:23:05 +07:00
• 3b15501c4f Where this is at the end of the day, and what is not merged Joseph Ferano 2026-09-13 16:11:57 +07:00
• 1898a3157d Macros come from a package now, and the refusal's reason was wrong Joseph Ferano 2026-09-13 15:40:08 +07:00