Repository navigation

T-Modeling int-literal magnitude consumer - #897

Merged

briansrls merged 17 commits into

mainfrom

session/quick-stag-803

Apr 26, 2026

Commits on Apr 26, 2026
- WIP: quick-stag-803
  briansrls
  committed
  df6f303
- WIP: quick-stag-803
  briansrls
  committed
  6d32eef
- chore: apply cargo fmt
  briansrls
  committed
  69e9a3f
- Merge remote-tracking branch 'origin/main' into session/quick-stag-803
  briansrls
  committed
  359cbb4
- Merge remote-tracking branch 'origin/main' into session/quick-stag-803
  briansrls
  committed
  97fd617
- Merge remote-tracking branch 'origin/main' into session/quick-stag-803
  briansrls
  committed
  e21df05
- WIP: quick-stag-803
  briansrls
  committed
  923c3cc
- WIP: quick-stag-803
  briansrls
  committed
  f7e3348
- Merge remote-tracking branch 'origin/main' into session/quick-stag-803
  briansrls
  committed
  968288e
- Merge remote-tracking branch 'origin/main' into session/quick-stag-803
  briansrls
  committed
  eff1deb
- WIP: quick-stag-803
  briansrls
  committed
  936ac7c
- WIP: quick-stag-803
  briansrls
  committed
  97d0e90
- Merge remote-tracking branch 'origin/main' into session/quick-stag-803
  briansrls
  committed
  38bd84d
- fix(v3): unblock call-site UInt8 literals in resolve_callable_target
  briansrls
  committed
  9044719
- WIP: quick-stag-803
  briansrls
  committed
  b39a3d0
- WIP: quick-stag-803
  briansrls
  committed
  0e53383
- Merge remote-tracking branch 'origin/main' into session/quick-stag-803
  briansrls
  committed
  1955788