Logo
Explore Help
Sign In
mirror/BFM-decomp
1
0
Fork 0
You've already forked BFM-decomp
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-29 07:10:32 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
7e1f554a05299c6841be98460dea4ef85c477d13
BFM-decomp/docs/tool-designs
T
History
Drew T 65fe4a81d4 docs(aprop-s59): final numbers — 64 banked exactly; sweep 3 honest 0/9 with the residual hypotheses named
2026-08-24 23:39:16 -06:00
..
aprop-lane-s59.md
docs(aprop-s59): final numbers — 64 banked exactly; sweep 3 honest 0/9 with the residual hypotheses named
2026-08-24 23:39:16 -06:00
jtbl-automation-s59.md
feat(jtbl): the carve→draft→bank pipeline is automated at the gate — byte-proven ×3, one per class (S59)
2026-08-24 12:31:14 -06:00
jtbl-island-split-review.md
fix(jtbl_carve): route asm lookups through asm_dir() — main's tree is the repo root
2026-08-24 10:45:01 -06:00
jtbl-island-split.md
…
main-gate-defects.md
fix(gate_main): read implicit-declaration errors; document the non-idempotent hoist loop
2026-08-24 02:05:16 -06:00
main-lane-fix-s59.md
docs(s59): the proof run — 40 drafts, 32 banked, one rebuild, SHA green (m05 = commit:2717)
2026-08-24 19:23:29 -06:00
o0-cc1-lanes.md
feat(match_one): derive the opt level from the target — the -O0 oracle was never wired up
2026-08-24 11:15:33 -06:00
o0-path-s59.md
docs(S59): o0-path decision study — per-population unlocks, first-compile -O0 bank proof, cookbook §261a reload grammar
2026-08-24 12:11:59 -06:00
tells-lane-s59.md
feat(tells): land the crib, the grep aliases and per-lane budgets
2026-08-24 12:41:41 -06:00
Powered by Gitea Version: 1.26.1 Page: 1724ms Template: 2ms
Auto
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API