Commits

Breadcrumbs

History for

onchecked_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

  View code at this pointBrowse repository at this point

• checked arithmetic

  cburgdorf

  committed
  551f711View commit details

  Copy full SHA for 551f711

  View code at this pointBrowse repository at this point

Commits on Jan 19, 2026

• Make Range::len saturating

  micahscopes

  committed
  d0e84a8View commit details

  Copy full SHA for d0e84a8

  View code at this pointBrowse repository at this point

• Fix for-loop pattern binding and drop range fallback

  micahscopes

  committed
  7c072e9View commit details

  Copy full SHA for 7c072e9

  View code at this pointBrowse repository at this point

• Plumb target layout through Yul codegen

  micahscopes

  committed
  929e67cView commit details

  Copy full SHA for 929e67c

  View code at this pointBrowse repository at this point

• Normalize assoc types in storage layout

  micahscopes

  committed
  bce8adfView commit details

  Copy full SHA for bce8adf

  View code at this pointBrowse repository at this point

• Clean up range ZST init and formatting

  micahscopes

  committed
  cc5d079View commit details

  Copy full SHA for cc5d079

  View code at this pointBrowse repository at this point

• Centralize core range type resolution

  micahscopes

  committed
  5f311c1View commit details

  Copy full SHA for 5f311c1

  View code at this pointBrowse repository at this point

• Add target data layout scaffolding

  micahscopes

  committed
  4b0390cView commit details

  Copy full SHA for 4b0390c

  View code at this pointBrowse repository at this point

• Fix range ZST layout and MIR lowering

  micahscopes

  committed
  4508b5cView commit details

  Copy full SHA for 4508b5c

  View code at this pointBrowse repository at this point

• fix clippy warning: remove useless .into()

  micahscopes

  committed
  2b9d149View commit details

  Copy full SHA for 2b9d149

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse repository at this point

• clippy/fmt

  micahscopes

  committed
  e8f63e1View commit details

  Copy full SHA for e8f63e1

  View code at this pointBrowse repository at this point

• additional snapshot test

  micahscopes

  committed
  f94158aView commit details

  Copy full SHA for f94158a

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse repository at this point

• implement for-loop desugaring in MIR

  Show description for 7e9d093
  micahscopes

  committed
  7e9d093View commit details

  Copy full SHA for 7e9d093

  View code at this pointBrowse 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

  View code at this pointBrowse repository at this point

• type range expressions as DynRange

  Show description for 0421187
  micahscopes

  committed
  0421187View commit details

  Copy full SHA for 0421187

  View code at this pointBrowse 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

  View code at this pointBrowse repository at this point

• add range (..) operator parsing

  micahscopes

  committed
  40ee77bView commit details

  Copy full SHA for 40ee77b

  View code at this pointBrowse repository at this point

• Ensure literal cast works if it fits

  cburgdorf

  committed
  fa80ee0View commit details

  Copy full SHA for fa80ee0

  View code at this pointBrowse 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

  View code at this pointBrowse repository at this point

• Replace all 30 extern cast fns with one generic

  cburgdorf

  committed
  96ad22bView commit details

  Copy full SHA for 96ad22b

  View code at this pointBrowse repository at this point

• Implement proper type casting

  cburgdorf

  committed
  d44e5aeView commit details

  Copy full SHA for d44e5ae

  View code at this pointBrowse repository at this point

Commits on Jan 15, 2026

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

  sbillig

  committed
  4f535feView commit details

  Copy full SHA for 4f535fe

  View code at this pointBrowse repository at this point

• use IndexMap for Contract::fields()

  sbillig

  committed
  769ca74View commit details

  Copy full SHA for 769ca74

  View code at this pointBrowse repository at this point

• respect address space of contract field effects provided to functions

  sbillig

  committed
  13d0234View commit details

  Copy full SHA for 13d0234

  View code at this pointBrowse repository at this point

Commits on Jan 14, 2026

• Generate function symbols from a canonical fully-qualified identity

  cburgdorf

  committed
  9a3f50cView commit details

  Copy full SHA for 9a3f50c

  View code at this pointBrowse repository at this point

Commits on Jan 13, 2026

• fix resolution of contract effect params

  sbillig

  committed
  48582a2View commit details

  Copy full SHA for 48582a2

  View code at this pointBrowse repository at this point

Commits on Jan 12, 2026

• msg encode/decode impls, cleanup msg lowering

  sbillig

  committed
  4eb0808View commit details

  Copy full SHA for 4eb0808

  View code at this pointBrowse repository at this point

Commits on Jan 8, 2026

• yul: cleanup store/load emission

  sbillig

  committed
  6b58245View commit details

  Copy full SHA for 6b58245

  View code at this pointBrowse repository at this point

Commits on Jan 3, 2026

• move contract desugaring to mir, effectref cleanup

  sbillig

  committed
  c38eeb7View commit details

  Copy full SHA for c38eeb7

  View code at this pointBrowse repository at this point