All pull requests

Pull requests

• Scientific statistics and visualization sprint

  documentation
  #3002·agourakis82 opened Oct 20, 2026Contributor·6 of 21 tasks·

  ·
  1

• fix(ir): majority-vote untyped .span so gen3 past the null-handle ud2 (#2966)

  compilersounio
  #3000·agourakis82 opened Oct 20, 2026Contributor·8 tasks done·

  ·
  1

• fix(ir): fill unique Type_method bodies into bare stubs so gen3 can run (#2966)

  compilersounio
  #2999·agourakis82 opened Oct 20, 2026Contributor·8 tasks done·

  ·
  1

• docs(security): list lead maintainer contact for automated vulnerability reports

  #2984·agourakis82 opened Oct 17, 2026Contributor·

  ·
  1

• docs(stdlib): sync inventory pages with the current tree

  documentationstdlib
  #2975·agourakis82 opened Oct 15, 2026Contributor·

  ·
  1

• fix(ir): stop ref-field and inline-array stores from dereferencing handle 0

  compilersounio
  #2971·agourakis82 opened Oct 14, 2026Contributor·

  ·
  3

• fix(native,ir): self-test frame bound + test region; gate madaros --self-test (#1680)

  cicompilersounio
  #2937·agourakis82 opened Oct 13, 2026Contributor·

  ·
  6

• fix(lean_single): outcome/hypothesis statements are code unless they open a study sub-block

  compilersounio
  #2929·agourakis82 opened Oct 13, 2026Contributor·

  ·
  1

• fix(native): one 16-byte-aligned heap ABI with heap_realloc on every engine (#874)

  compilersouniostdlib
  #2920·agourakis82 opened Oct 13, 2026Contributor·8 of 10 tasks·

  ·
  1

  8

• fix(lean_single): correctly rounded float literals, converted at compile time (#2826, #1644)

  compilersounio
  #2904·agourakis82 opened Oct 13, 2026Contributor·

  ·
  2

  9

• ci(madaros): preflight refresh auth and allow gated artifact inspection

  ci
  #2889·agourakis82 opened Oct 12, 2026Contributor·

  ·
  4

• check: affine structs are used at most once on Madaros (#1263)

  compilerdocumentationsounio
  #2852·agourakis82 opened Oct 7, 2026Contributor·

  ·
  1

  5

• fix: two-hop deref place before an index, and named const array lengths (#1495)

  compilersounio
  #2851·agourakis82 opened Oct 7, 2026Contributor·

  ·
  1

  5

• fix(lean_single): refuse an unsized [T] struct field instead of miscompiling it (#2779, lean_single half)

  compilersounio
  #2849·agourakis82 opened Oct 7, 2026Contributor·

  ·
  5

• fix(lean_single): follow pub use re-exports, selectively (#842)

  cicompilersounio
  #2848·agourakis82 opened Oct 7, 2026Contributor·

  ·
  1

  8

• lean_single: local mutation needs no Mut — spec §7.2.1 escape rule (#2834 Mut half, #1157)

  compilerdocumentationsounio
  #2845·agourakis82 opened Oct 7, 2026Contributor·

  ·
  3

• check: a qualified call that resolves to nothing is an error (E266), not W044 (#1568)

  compilerdocumentationsouniostdlib
  #2844·agourakis82 opened Oct 7, 2026Contributor·

  ·
  1

  3

• check: an f32 if/else arm makes a sibling float literal f32 (#830)

  compilersounio
  #2843·agourakis82 opened Oct 7, 2026Contributor·

  ·
  1

  3

• native: one relocation-refusal point for every relocated-image writer (follow-up to #2803)

  cicompilersounio
  #2840·agourakis82 opened Oct 7, 2026Contributor·

  ·
  9

• lean_single: bind field: name struct patterns; refuse the rest (E265)

  compilerdocumentationsounio
  #2837·agourakis82 opened Oct 7, 2026Contributor·

  ·
  4

• fix(stdlib/plot): chemistry::kinetics typechecks under Madaros (pub plot entry points + #2513 print workarounds)

  souniostdlib
  #2811·agourakis82 opened Oct 6, 2026Contributor·

  ·
  2

• Integration (Demokritos merge train), steps 1–3: 16 compiler and correctness PRs verified together

  cicompilerdocumentationsounio
  #2775·agourakis82 opened Oct 6, 2026Contributor·

  ·
  12

• Attribute IO/Panic/Alloc effects to implicit builtins in the Madaros checker (Fixes #2760)

  documentationsounio
  #2762·agourakis82 opened Oct 5, 2026Contributor·14 of 16 tasks·

  ·
  1

  44

• feat(madar): const i64 array images in rodata + refreshed prebuilt

  compilersounio
  #2740·agourakis82 opened Sep 28, 2026Contributor·

  ·
  15

• fix(math::pure): ln(+inf) returns +inf instead of halving forever

  documentationsouniostdlib
  #2732·agourakis82 opened Sep 27, 2026Contributor·13 of 16 tasks·

  ·
  21