Commits

Commit history

1. Commits on Oct 4, 2026

   • Resolve named integer constants in borrow guards (#1764)

     sbillig

     authored
     7bb89adView commit details

     Copy full SHA for 7bb89ad

     Browse repository at this point

   • Reduce short-circuit borrow-checking cost (#1765)

     Show description for 432e315
     sbillig

     authored
     432e315View commit details

     Copy full SHA for 432e315

     Browse repository at this point

   • Preserve recursive pointer field provenance across calls (#1747)

     Show description for 07c8bb8
     sbillig

     authored
     07c8bb8View commit details

     Copy full SHA for 07c8bb8

     Browse repository at this point

   • Enable debug assertions in optimized tests and fix HIR failures (#1749)

     Show description for 2913d39
     sbillig

     authored
     2913d39View commit details

     Copy full SHA for 2913d39

     Browse repository at this point

   • Preserve places projected from returned native references (#1761)

     sbillig

     authored
     7cd6195View commit details

     Copy full SHA for 7cd6195

     Browse repository at this point

   • Fix lowering of references returned from raw memory (#1744)

     Show description for 7de6aeb
     sbillig

     authored
     7de6aebView commit details

     Copy full SHA for 7de6aeb

     Browse repository at this point

   • Reuse clause guard projection during loop feedback (#1742)

     sbillig

     authored
     5107082View commit details

     Copy full SHA for 5107082

     Browse repository at this point

   • Restrict availability to paths that reach block terminators (#1746)

     sbillig

     authored
     598f230View commit details

     Copy full SHA for 598f230

     Browse repository at this point

   • bump sonatina deps to 2643d960 (#1737)

     sbillig

     authored
     2c318f6View commit details

     Copy full SHA for 2c318f6

     Browse repository at this point

   • Reduce borrow checker guard graph overhead (#1743)

     sbillig

     authored
     10f4600View commit details

     Copy full SHA for 10f4600

     Browse repository at this point
2. Commits on Oct 3, 2026

   • Cache layout template folds without root uses (#1739)

     sbillig

     authored
     08eb31eView commit details

     Copy full SHA for 08eb31e

     Browse repository at this point

   • Filter incompatible trait impl self types before instantiation (#1741)

     sbillig

     authored
     0a41bfeView commit details

     Copy full SHA for 0a41bfe

     Browse repository at this point

   • Reject recursive types whose type arguments grow (#1635)

     Show description for 35cd168
     sbillig

     authored
     35cd168View commit details

     Copy full SHA for 35cd168

     Browse repository at this point

   • Fix recursive array capability traversal hang (#1736)

     sbillig

     authored
     63db2cbView commit details

     Copy full SHA for 63db2cb

     Browse repository at this point

   • Reuse cached child type flags (#1735)

     sbillig

     authored
     003e152View commit details

     Copy full SHA for 003e152

     Browse repository at this point

   • Reuse guard renaming across summary components (#1734)

     sbillig

     authored
     9059cc0View commit details

     Copy full SHA for 9059cc0

     Browse repository at this point

   • Project private summary choices before renaming (#1732)

     sbillig

     authored
     72ab391View commit details

     Copy full SHA for 72ab391

     Browse repository at this point

   • Order call branches before observed aggregate fields (#1731)

     sbillig

     authored
     08b8b27View commit details

     Copy full SHA for 08b8b27

     Browse repository at this point

   • Skip layout-root collection without candidate roots (#1733)

     sbillig

     authored
     2aed12cView commit details

     Copy full SHA for 2aed12c

     Browse repository at this point

   • Avoid repeating HIR analysis before ingot MIR diagnostics (#1730)

     sbillig

     authored
     3251e75View commit details

     Copy full SHA for 3251e75

     Browse repository at this point

   • Bump Sonatina dependencies to 3214ce33 (#1729)

     sbillig

     authored
     b9812f5View commit details

     Copy full SHA for b9812f5

     Browse repository at this point

   • Share closed root and ordinary callee proof environments (#1728)

     sbillig

     authored
     a084b86View commit details

     Copy full SHA for a084b86

     Browse repository at this point

   • Reuse workspace analysis across test suites (#1727)

     sbillig

     authored
     23d1645View commit details

     Copy full SHA for 23d1645

     Browse repository at this point

   • Merge pull request #1718 from argotorg/fix/borrowck-unused-call-results

     Show description for e7365f2
     sbillig

     authored
     e7365f2View commit details

     Copy full SHA for e7365f2

     Browse repository at this point

   • Skip type folds without replaceable variables or parameters (#1726)

     Show description for be34cda
     sbillig

     authored
     be34cdaView commit details

     Copy full SHA for be34cda

     Browse repository at this point

   • Stop scalar liveness at constructors and unreachable cell stores

     Show description for 2db9a38
     sbillig

     committed
     2db9a38View commit details

     Copy full SHA for 2db9a38

     Browse repository at this point

   • Follow arguments observed through a result only while it is live

     Show description for cfe41af
     sbillig

     committed
     cfe41afView commit details

     Copy full SHA for cfe41af

     Browse repository at this point
3. Commits on Oct 2, 2026

   • Keep call-result relations by scalar liveness

     Show description for fddbf91
     sbillig

     committed
     fddbf91View commit details

     Copy full SHA for fddbf91

     Browse repository at this point

   • Add std::evm::rlp for RLP encoding and decoding

     Show description for fcbc26e
     cburgdorf

     committed
     fcbc26eView commit details

     Copy full SHA for fcbc26e

     Browse repository at this point

   • Add base58 encoding and decoding to core::text

     Show description for d2c4f20
     cburgdorf

     committed
     d2c4f20View commit details

     Copy full SHA for d2c4f20

     Browse repository at this point

   • Add base64 decoding to core::text

     Show description for 90dacd7
     cburgdorf

     committed
     90dacd7View commit details

     Copy full SHA for 90dacd7

     Browse repository at this point

   • Add string to number and address parsing

     Show description for 910c438
     cburgdorf

     committed
     910c438View commit details

     Copy full SHA for 910c438

     Browse repository at this point

   • Fix exponential checking of nested generic types (#1723)

     Show description for 04d3441
     sbillig

     authored
     04d3441View commit details

     Copy full SHA for 04d3441

     Browse repository at this point

   • Keep relations of call results passed to kept call relations

     Show description for f29d159
     sbillig

     committed
     f29d159View commit details

     Copy full SHA for f29d159

     Browse repository at this point

   • Keep call-result relations that tracked comparisons or cells name

     Show description for 0aa5655
     sbillig

     committed
     0aa5655View commit details

     Copy full SHA for 0aa5655

     Browse repository at this point