Brummel/AILang
1
0
Fork 0
Code Issues 29 Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 41804a39fb check: over-strict-mode lint (iter 19a) Brummel 2026-05-08 17:56:58 +02:00
  • caefcf996a codegen rc: tag-conditional partial-drop helper closes 3 carve-outs Brummel 2026-05-08 16:25:40 +02:00
  • 7b65c121ed journal: 2026-05-08 codegen split tidy Brummel 2026-05-08 15:55:22 +02:00
  • bea5c92591 codegen tidy: extract lambda lowering into lambda.rs Brummel 2026-05-08 15:54:20 +02:00
  • 86406aca72 codegen tidy: extract match/ctor/reuse-as lowering into match_lower.rs Brummel 2026-05-08 15:51:53 +02:00
  • 86989a7cb5 codegen tidy: extract drop emission into drop.rs Brummel 2026-05-08 15:47:59 +02:00
  • 84ba83dda3 codegen tidy: extract pure helpers into synth.rs + subst.rs Brummel 2026-05-08 15:41:04 +02:00
  • d823be49df claude.md: switch notification mechanism to notify.sh shell script Brummel 2026-05-08 15:40:50 +02:00
  • ed9d6df52b JOURNAL: 18g tidy follow-ups (stat-of-N + let-alias propagation) Brummel 2026-05-08 15:22:32 +02:00
  • 2e0006029b fix: let-alias-aware mode propagation through Term::Let Brummel 2026-05-08 15:21:40 +02:00
  • c2af5ad3da bench: latency_harness --runs N (stat-of-N, drop-slowest) Brummel 2026-05-08 15:17:53 +02:00
  • f10a77e8e5 DESIGN: re-frame Decision 9 as dual-allocator (not transitional) Brummel 2026-05-08 15:16:05 +02:00
  • 05ec3515f4 JOURNAL: Boehm stays — orchestrator's call Brummel 2026-05-08 15:15:31 +02:00
  • 3113258680 tidy: 18g sub-arc — DESIGN ratification, latency bench, negative coverage Brummel 2026-05-08 14:37:36 +02:00
  • 97e793dd62 JOURNAL: Iter 18g.2 + post-18g.2 re-bench Brummel 2026-05-08 14:27:36 +02:00
  • 88045a485b fix: 18g.2 — let-binder drop for Own-returning App Brummel 2026-05-08 14:25:07 +02:00
  • 0c09093ef9 JOURNAL: Iter 18g.1 — outer-cell shallow-dec at tail-call sites Brummel 2026-05-08 14:19:47 +02:00
  • ae2eb2efac fix: 18g.1 — pre-tail-call shallow-dec for moved-from scrutinee outer cell Brummel 2026-05-08 14:18:30 +02:00
  • fc5f4590f8 rc: opt-in alloc/free stats counter for diagnosing leaks Brummel 2026-05-08 14:18:02 +02:00
  • bb7611f85e JOURNAL: Iter 18f.2 — tail-latency bench, latency-axis SUPPORTED Brummel 2026-05-08 14:06:15 +02:00
  • ac70011352 bench: latency harness + paired latency fixtures Brummel 2026-05-08 14:05:03 +02:00
  • e8c6e99a87 fix: 18d.4 Iter A — gate arm-close pattern-binder dec on scrutinee mode Brummel 2026-05-08 13:56:17 +02:00
  • 7e841ad90e CLAUDE: codify TDD-for-bug-fixes discipline Brummel 2026-05-08 13:55:56 +02:00
  • 6b3ff3bbed tidy: rewrite stale 18b/18c.x doc-headers to match shipped state Brummel 2026-05-08 13:34:32 +02:00
  • 973e075f43 CLAUDE: codify push-notification discipline Brummel 2026-05-08 13:27:54 +02:00
  • 6b1e148b36 agents: add ailang-bencher — hypothesis-driven memory bench agent Brummel 2026-05-08 13:20:26 +02:00
  • 832c325e9d JOURNAL: Iter 18f — RC bench results, Boehm retirement DEFERRED Brummel 2026-05-08 12:57:51 +02:00
  • 234dbb6c5a bench: extend run.sh with --alloc=rc column for Iter 18f Brummel 2026-05-08 12:56:53 +02:00
  • 5b635760b9 JOURNAL: Iter 18e — (drop-iterative) annotation + worklist allocator Brummel 2026-05-08 12:54:23 +02:00
  • ce6ab8ee44 Iter 18e: (drop-iterative) annotation + worklist allocator Brummel 2026-05-08 12:53:09 +02:00
  • 5e401a3520 JOURNAL: Iter 18d.4 — pattern-binder + Own-param dec at scope close Brummel 2026-05-08 12:34:52 +02:00
  • ba63a16366 Iter 18d.4: pattern-binder + Own-param dec at scope close Brummel 2026-05-08 12:33:48 +02:00
  • 8e415dd4b4 JOURNAL: Iter 18d.3 — move-aware pattern bindings (static tracking) Brummel 2026-05-08 12:19:17 +02:00
  • c96940ea96 Iter 18d.3: move-aware pattern bindings via codegen-side bookkeeping Brummel 2026-05-08 12:18:12 +02:00
  • 509c9700bf JOURNAL: Iter 18d.2 — codegen reuse-as in-place rewrite Brummel 2026-05-08 11:22:21 +02:00
  • 73545ab086 Iter 18d.2: codegen reuse-as in-place rewrite under --alloc=rc Brummel 2026-05-08 11:21:02 +02:00
  • 0bf1a2fa1c JOURNAL: Iter 18d.1 — Term::ReuseAs schema + linearity check Brummel 2026-05-08 10:56:30 +02:00
  • 74379b29e5 Iter 18d.1: Term::ReuseAs schema + linearity check Brummel 2026-05-08 10:55:31 +02:00
  • 8f40e8c31f DESIGN: substantive rationale for Term::ReuseAs wrapper form Brummel 2026-05-08 10:40:35 +02:00
  • 6511838b58 JOURNAL: Iter 18c.4 — per-type drop fn + recursive dec cascade Brummel 2026-05-08 10:37:34 +02:00
  • 298dcaf0f7 Iter 18c.4: per-type drop fn + recursive dec cascade Brummel 2026-05-08 10:37:25 +02:00
  • b4cddd830e JOURNAL: Iter 18c.3 — uniqueness inference + non-recursive RC inc/dec Brummel 2026-05-08 10:25:30 +02:00
  • 307a3ea848 Iter 18c.3: uniqueness inference + non-recursive RC inc/dec Brummel 2026-05-08 10:25:22 +02:00
  • 7099af0a3a JOURNAL: Iter 18c.2 — linearity check + suggested_rewrites Brummel 2026-05-08 10:06:28 +02:00
  • 09fb5bb113 Iter 18c.2: linearity check + suggested_rewrites Brummel 2026-05-08 10:06:14 +02:00
  • 8d704cd9b5 CLAUDE: codify iter-cycle and JOURNAL/DESIGN roles Brummel 2026-05-08 10:05:59 +02:00
  • a91c3ffd94 CLAUDE/DESIGN/JOURNAL: design rationale ≠ implementation effort Brummel 2026-05-08 09:29:33 +02:00
  • 3d22dc13bf JOURNAL: Iter 18c.1 — Term::Clone schema Brummel 2026-05-08 02:27:08 +02:00
  • 7dfc88a4f3 Iter 18c.1: Term::Clone schema (no inc emission yet) Brummel 2026-05-08 02:26:12 +02:00
  • 5cd0a3400a JOURNAL: Iter 18b — RC runtime + --alloc=rc routing Brummel 2026-05-08 02:14:40 +02:00
  • 1eed78c41e Iter 18b: RC runtime + --alloc=rc routing Brummel 2026-05-08 02:13:08 +02:00
  • 1e3697926b JOURNAL: Iter 18a — borrow/own annotations on fn signatures Brummel 2026-05-08 02:08:27 +02:00
  • b9ca8894a5 Iter 18a: (borrow T) / (own T) mode annotations on fn signatures Brummel 2026-05-08 02:07:07 +02:00
  • 52b129f558 DESIGN: clarify Iter 18a schema — modes are Type::Fn metadata, not Type variants Brummel 2026-05-08 01:55:15 +02:00
  • e3ecf4f0cd DESIGN/JOURNAL: Decision 10 reframed — RC + LLM-author annotations Brummel 2026-05-08 01:52:40 +02:00
  • 65e280bb70 Bench: GC overhead via bump-allocator comparison Brummel 2026-05-08 00:06:20 +02:00
  • aee6e9d3bf Iter 17a: per-fn arena via alloca for non-escaping allocations Brummel 2026-05-07 23:31:35 +02:00
  • 937782e36d Iter 16e: == polymorphic over Int / Bool / Str / Unit Brummel 2026-05-07 23:12:24 +02:00
  • af35612c1d Iter 16d: chain-terminator via __unreachable__ builtin Brummel 2026-05-07 23:00:23 +02:00
  • e5f9828a04 Iter 16b.7: nested LetRec mutual capture (params, not name) Brummel 2026-05-07 22:48:14 +02:00
  • 76d61aeced Iter 16b.6: LetRec inside polymorphic enclosing fn Brummel 2026-05-07 22:39:28 +02:00
  • ca507c9f52 Iter 16b.5: LetRec name as value (in_term only) via eta-Lam wrapper Brummel 2026-05-07 22:27:21 +02:00
  • c0668178bb Iter 16b.4: LetRec captures of match-arm pattern bindings Brummel 2026-05-07 22:16:12 +02:00
  • ca30606aec Iter 16b.3: post-typecheck lift for LetRec with Let-bound captures Brummel 2026-05-07 22:07:05 +02:00
  • d5f63bc3e5 Iter 16b.2 — LetRec captures of fn-params (path-1 safe subset) Brummel 2026-05-07 21:00:49 +02:00
  • 3bee7d4c44 JOURNAL — 16b.2 planning entry (LetRec capture) Brummel 2026-05-07 20:51:38 +02:00
  • 4683af6114 Iter 16c — literal patterns via desugar Brummel 2026-05-07 20:47:21 +02:00
  • 8860600e37 Iter 16b.1 — local recursive let (no-capture) Brummel 2026-05-07 20:33:48 +02:00
  • ee5807d73c Iter 15h — std_list extension: take, drop Brummel 2026-05-07 20:05:45 +02:00
  • de674c4d0b Iter 15g-aux — symmetric $u early-return in unify_for_subst Brummel 2026-05-07 19:59:42 +02:00
  • e1587ebdae Iter 15g — std_either_list: first 3-way cross-module stdlib fn Brummel 2026-05-07 19:57:06 +02:00
  • 20b412342d Iter 16a-aux — DESIGN.md drift audit (post-15f) Brummel 2026-05-07 19:39:44 +02:00
  • 689c445d25 Iter 15f: std_pair — 2-type-var product, no recursion Brummel 2026-05-07 19:12:23 +02:00
  • 0e90709a94 Iter 16a: nested constructor patterns via AST desugaring Brummel 2026-05-07 19:10:01 +02:00
  • 0b1b39f829 Iter 15e: render is the exact inverse of parse — CLI hygiene Brummel 2026-05-07 18:54:07 +02:00
  • df5b76bd65 Iter 15d: std_either ships — 2-type-var ADT + 3-type-var eliminator Brummel 2026-05-07 18:48:43 +02:00
  • bd19fee673 Iter 15c: empirical TCO + stack-budget validation at N=1000 Brummel 2026-05-07 18:39:16 +02:00
  • 92f4b4f8c7 Iter 15b: std_list ships, three more compiler gaps closed Brummel 2026-05-07 18:34:49 +02:00
  • 12e9a9c0cc Iter 14h: cross-module parameterised-ADT import (15a unblocked) Brummel 2026-05-07 18:08:56 +02:00
  • 41d406bcbb Iter 14g: Term::If restored (revert of 14d) Brummel 2026-05-07 17:45:33 +02:00
  • ba516b8b39 Iter 14f: Boehm conservative GC Brummel 2026-05-07 17:25:07 +02:00
  • d64031c234 Iter 14e: explicit, verified tail calls Brummel 2026-05-07 17:16:28 +02:00
  • 8d97a924de Iter 14d: remove Term::If as a redundancy Brummel 2026-05-07 16:56:02 +02:00
  • 706f90bacd Iter 14c: ailang-surface ships — form (A) parser + pretty-printer Brummel 2026-05-07 16:22:14 +02:00
  • 5e8342df02 DESIGN.md: tighten Decision 6 framing per user redirect Brummel 2026-05-07 16:07:31 +02:00
  • 2bce825b69 Iter 14b: design pass for the authoring surface Brummel 2026-05-07 15:57:24 +02:00
  • 747b7cd05c Iter 14a: polymorphic List a end-to-end + monomorphisation fix Brummel 2026-05-07 15:32:48 +02:00
  • 1918fbee7f Iter 13f: rustdoc polish for ailang-codegen + ail CLI Brummel 2026-05-07 15:20:17 +02:00
  • d8727d5bdb Iter 13e: rustdoc polish for ailang-check Brummel 2026-05-07 15:13:03 +02:00
  • c90926dbba Iter 13d: rustdoc polish for ailang-core + new docwriter agent Brummel 2026-05-07 15:02:35 +02:00
  • 3d9fbc68c6 Iter 13c: docs for parameterised ADTs Brummel 2026-05-07 14:47:41 +02:00
  • 1631f6065c Iter 13b: codegen for parameterised ADTs Brummel 2026-05-07 14:45:35 +02:00
  • 3df943d17f CLAUDE.md: pin orchestrator role + agent authority Brummel 2026-05-07 14:32:00 +02:00
  • 078262271a Iter 13a: parameterised ADT schema + checker Brummel 2026-05-07 14:25:58 +02:00
  • 705a5037ab Iter 12c: docs for polymorphism Brummel 2026-05-07 14:12:49 +02:00
  • 1fd4763fad Iter 12b: codegen monomorphisation for polymorphic defs Brummel 2026-05-07 14:10:51 +02:00
  • 1c8c1a0441 Iter 12a: typechecker polymorphism via Forall instantiation Brummel 2026-05-07 13:32:03 +02:00
  • b357a1dc4a chore: clear remaining clippy warnings Brummel 2026-05-07 13:19:16 +02:00
  • 1d24907f84 Iter 11: deeper dogfood — insertion sort Brummel 2026-05-07 13:17:07 +02:00
  • c75517ac79 Iter 10: Term::Seq sequencing operator Brummel 2026-05-07 13:14:28 +02:00