Commits

Branch selector

checked_arithmetic

User selector

All users

Datepicker

All time

Commit history

Commits on Jan 21, 2026

• Implement should_revert for in test runner

  cburgdorf

  committed
  3f68050View commit details

  Copy full SHA for 3f68050

  Browse repository at this point

• checked arithmetic

  cburgdorf

  committed
  551f711View commit details

  Copy full SHA for 551f711

  Browse repository at this point

Commits on Jan 19, 2026

• Merge pull request #1213 from micahscopes/seq-iteration

  Show description for 6cf9ef3
  micahscopes

  authored
  6cf9ef3View commit details

  Copy full SHA for 6cf9ef3

  Browse repository at this point

• Make Range::len saturating

  micahscopes

  committed
  d0e84a8View commit details

  Copy full SHA for d0e84a8

  Browse repository at this point

• Fix for-loop pattern binding and drop range fallback

  micahscopes

  committed
  7c072e9View commit details

  Copy full SHA for 7c072e9

  Browse repository at this point

• Plumb target layout through Yul codegen

  micahscopes

  committed
  929e67cView commit details

  Copy full SHA for 929e67c

  Browse repository at this point

• Normalize assoc types in storage layout

  micahscopes

  committed
  bce8adfView commit details

  Copy full SHA for bce8adf

  Browse repository at this point

• Clean up range ZST init and formatting

  micahscopes

  committed
  cc5d079View commit details

  Copy full SHA for cc5d079

  Browse repository at this point

• Centralize core range type resolution

  micahscopes

  committed
  5f311c1View commit details

  Copy full SHA for 5f311c1

  Browse repository at this point

• Add target data layout scaffolding

  micahscopes

  committed
  4b0390cView commit details

  Copy full SHA for 4b0390c

  Browse repository at this point

• Fix range ZST layout and MIR lowering

  micahscopes

  committed
  4508b5cView commit details

  Copy full SHA for 4508b5c

  Browse repository at this point

• fix clippy warning: remove useless .into()

  micahscopes

  committed
  2b9d149View commit details

  Copy full SHA for 2b9d149

  Browse repository at this point

• implement generic Range type with Known/Unknown bounds

  Show description for 939011f
  micahscopes

  committed
  939011fView commit details

  Copy full SHA for 939011f

  Browse repository at this point

• fix assoc type normalization + record init constraints

  Show description for 5c2b30c
  micahscopes

  committed
  5c2b30cView commit details

  Copy full SHA for 5c2b30c

  Browse repository at this point

• clippy/fmt

  micahscopes

  committed
  e8f63e1View commit details

  Copy full SHA for e8f63e1

  Browse repository at this point

• additional snapshot test

  micahscopes

  committed
  f94158aView commit details

  Copy full SHA for f94158a

  Browse repository at this point

• implement generic Seq-based for-loop iteration

  Show description for e35d225
  micahscopes

  committed
  e35d225View commit details

  Copy full SHA for e35d225

  Browse repository at this point

• fix const generics in impl target array types

  Show description for 12b1756
  micahscopes

  committed
  12b1756View commit details

  Copy full SHA for 12b1756

  Browse repository at this point

• simplify iteration types to match Sean's Seq proposal

  Show description for 1880bf9
  micahscopes

  committed
  1880bf9View commit details

  Copy full SHA for 1880bf9

  Browse repository at this point

• implement for-loop desugaring in MIR

  Show description for 7e9d093
  micahscopes

  committed
  7e9d093View commit details

  Copy full SHA for 7e9d093

  Browse repository at this point

• lower range expressions to DynRange struct construction

  Show description for b3c9540
  micahscopes

  committed
  b3c9540View commit details

  Copy full SHA for b3c9540

  Browse repository at this point

• type range expressions as DynRange

  Show description for 0421187
  micahscopes

  committed
  0421187View commit details

  Copy full SHA for 0421187

  Browse repository at this point

• use Seq trait for for-loop type checking

  Show description for b1c1410
  micahscopes

  committed
  b1c1410View commit details

  Copy full SHA for b1c1410

  Browse repository at this point

• implement Seq for arrays

  micahscopes

  committed
  c15172fView commit details

  Copy full SHA for c15172f

  Browse repository at this point

• implement Seq for Range and DynRange

  micahscopes

  committed
  abc766cView commit details

  Copy full SHA for abc766c

  Browse repository at this point

• add Seq trait and length markers (Const/Dyn)

  micahscopes

  committed
  292ec9fView commit details

  Copy full SHA for 292ec9f

  Browse repository at this point

• add Range and DynRange types to core library

  micahscopes

  committed
  367c562View commit details

  Copy full SHA for 367c562

  Browse repository at this point

• add range (..) operator parsing

  micahscopes

  committed
  40ee77bView commit details

  Copy full SHA for 40ee77b

  Browse repository at this point

• Ensure literal cast works if it fits

  cburgdorf

  committed
  fa80ee0View commit details

  Copy full SHA for fa80ee0

  Browse repository at this point

• Require struct field to be pub for cast to be allowed

  cburgdorf

  committed
  45d85a5View commit details

  Copy full SHA for 45d85a5

  Browse repository at this point

• Replace all 30 extern cast fns with one generic

  cburgdorf

  committed
  96ad22bView commit details

  Copy full SHA for 96ad22b

  Browse repository at this point

• Drop downcast_unchecked() where possible

  cburgdorf

  committed
  72a1917View commit details

  Copy full SHA for 72a1917

  Browse repository at this point

• Implement proper type casting

  cburgdorf

  committed
  d44e5aeView commit details

  Copy full SHA for d44e5ae

  Browse repository at this point

Commits on Jan 15, 2026

• Merge pull request #1210 from sbillig/effect-type-cleanup

  Show description for 37afb72
  sbillig

  authored
  37afb72View commit details

  Copy full SHA for 37afb72

  Browse repository at this point

• remove defunct boilerplate impls from `fe test` test files

  sbillig

  committed
  4f535feView commit details

  Copy full SHA for 4f535fe

  Browse repository at this point