Issues

• [Feature] ANE Support

  maderix/mithril#23 · Filter by author kamisori-daijin opened on Oct 6, 2026

• Unconfirmed findings from source review

  bug
  maderix/mithril#22 · Filter by author maderix opened on Oct 6, 2026

• Metal range launches are slower than the CPU

  metalperformance
  maderix/mithril#21 · Filter by author maderix opened on Oct 6, 2026
  2

• Metal range launches: deep recursion and out-of-bounds faults

  bugmetal
  maderix/mithril#20 · Filter by author maderix opened on Oct 6, 2026

• Split granularity tied to idle capacity on CPU and devices

  cpudeviceperformance
  maderix/mithril#19 · Filter by author maderix opened on Oct 6, 2026

• One rule-table source for the CPU and the devices

  devicemetalproofs
  maderix/mithril#18 · Filter by author maderix opened on Oct 6, 2026

• Lean confluence proof: extensions and the conformance link

  proofs
  maderix/mithril#17 · Filter by author maderix opened on Oct 6, 2026

• tail_inline is a Core-level rewrite with unmarked thresholds

  proofs
  maderix/mithril#16 · Filter by author maderix opened on Oct 6, 2026

• Clone discipline is not enforced

  semantics
  maderix/mithril#15 · Filter by author maderix opened on Oct 6, 2026

• Dup cache keyed by the whole selection duplicates work

  performancesemantics
  maderix/mithril#14 · Filter by author maderix opened on Oct 6, 2026

• Readback ICE: a closure capturing an arm binder applied twice

  bugsemantics
  maderix/mithril#13 · Filter by author maderix opened on Oct 6, 2026

• Out-of-line dives cost a real device call per dive (graph_dfs)

  deviceperformance
  maderix/mithril#12 · Filter by author maderix opened on Oct 6, 2026

• Specializer panics on subsetsum's split fold returning a tuple

  bugsemantics
  maderix/mithril#11 · Filter by author maderix opened on Oct 6, 2026

• Black hole default strip overflows a CPU worker stack

  bugcpu
  maderix/mithril#10 · Filter by author maderix opened on Oct 6, 2026

• Net-native output: fill lanes write the output directly

  cpudeviceenhancement
  maderix/mithril#9 · Filter by author maderix opened on Oct 6, 2026

• Device rc_dec has no fence before the last owner frees

  bugdevice
  maderix/mithril#8 · Filter by author maderix opened on Oct 6, 2026

• Device array teardown is one continuation chain per array

  bugdeviceperformance
  maderix/mithril#7 · Filter by author maderix opened on Oct 6, 2026

• Global snapshots and barriers serialize device rounds

  deviceperformance
  maderix/mithril#6 · Filter by author maderix opened on Oct 6, 2026

• Device startup and result costs

  deviceperformance
  maderix/mithril#5 · Filter by author maderix opened on Oct 6, 2026

• Device work efficiency and divergence

  deviceperformance
  maderix/mithril#4 · Filter by author maderix opened on Oct 6, 2026

• Device scheduling after rule populations stop growing

  deviceperformance
  maderix/mithril#3 · Filter by author maderix opened on Oct 6, 2026

• One portable device engine for CUDA and Metal

  devicemetal
  maderix/mithril#2 · Filter by author maderix opened on Oct 5, 2026
  1

• Generality corpus regressed since ce63d1e (cow_versions 0.91 s -> 1.97 s): bisected to 48b8f29

  cpuperformance
  maderix/mithril#1 · Filter by author maderix opened on Oct 4, 2026
  2