Commits

Commit history

1. Commits on Oct 2, 2026

   • Converge recursive buffer poststates through one fresh output (#1693)

     sbillig

     authored
     f6c1164View commit details

     Copy full SHA for f6c1164

     View code at this pointBrowse repository at this point

   • Converge recursive receiver authority without widening permission (#1689)

     Show description for 9074ff2
     sbillig

     authored
     9074ff2View commit details

     Copy full SHA for 9074ff2

     View code at this pointBrowse repository at this point

   • Use callee separation preconditions to exclude impossible call effects

     sbillig

     committed
     8570a22View commit details

     Copy full SHA for 8570a22

     View code at this pointBrowse repository at this point

   • Normalize separation preconditions before applying summary budgets (#1685)

     sbillig

     authored
     3eb35bbView commit details

     Copy full SHA for 3eb35bb

     View code at this pointBrowse repository at this point

   • Forward input-backed reborrow separation to concrete callers (#1683)

     sbillig

     authored
     2f2548eView commit details

     Copy full SHA for 2f2548e

     View code at this pointBrowse repository at this point

   • Separate distinct allocated contract fields physically

     Show description for 6d24d12
     sbillig

     committed
     6d24d12View commit details

     Copy full SHA for 6d24d12

     View code at this pointBrowse repository at this point

   • Document separation requirements in the borrow checker architecture

     sbillig

     committed
     9ecc2a5View commit details

     Copy full SHA for 9ecc2a5

     View code at this pointBrowse repository at this point

   • Group HIR integration tests into four suites

     sbillig

     committed
     288a030View commit details

     Copy full SHA for 288a030

     View code at this pointBrowse repository at this point
2. Commits on Oct 1, 2026

   • Separate StorageMap slots from contract fields in borrow checking

     Show description for cf8e5d2
     sbillig

     committed
     cf8e5d2View commit details

     Copy full SHA for cf8e5d2

     View code at this pointBrowse repository at this point
3. Commits on Sep 30, 2026

   • Keep the comma after a final braced where condition when formatting

     Show description for 5dab95f
     micahscopes

     committed
     5dab95fView commit details

     Copy full SHA for 5dab95f

     View code at this pointBrowse repository at this point

   • Keep a braced where condition a condition when it has a syntax error

     Show description for 41bd988
     micahscopes

     committed
     41bd988View commit details

     Copy full SHA for 41bd988

     View code at this pointBrowse repository at this point

   • Read a block in an extern function's where clause as a condition

     Show description for 6a0d22a
     micahscopes

     committed
     6a0d22aView commit details

     Copy full SHA for 6a0d22a

     View code at this pointBrowse repository at this point

   • Drop a comparison with master from the const requirements doc

     Show description for 9124431
     micahscopes

     committed
     9124431View commit details

     Copy full SHA for 9124431

     View code at this pointBrowse repository at this point

   • Say where segment arguments and default constants are checked

     Show description for 3739c9f
     micahscopes

     committed
     3739c9fView commit details

     Copy full SHA for 3739c9f

     View code at this pointBrowse repository at this point

   • Describe the self type premises and the checked path positions

     Show description for 9dcb43d
     micahscopes

     committed
     9dcb43dView commit details

     Copy full SHA for 9dcb43d

     View code at this pointBrowse repository at this point

   • Check an alias argument that the alias drops

     Show description for 3278731
     micahscopes

     committed
     3278731View commit details

     Copy full SHA for 3278731

     View code at this pointBrowse repository at this point

   • Check every constrained type that path resolution passes through

     Show description for bf79215
     micahscopes

     committed
     bf79215View commit details

     Copy full SHA for bf79215

     View code at this pointBrowse repository at this point

   • Describe how often const requirement failures are reported

     Show description for 5813615
     micahscopes

     committed
     5813615View commit details

     Copy full SHA for 5813615

     View code at this pointBrowse repository at this point

   • Accept braces for multiline const where predicates

     Show description for a954866
     micahscopes

     committed
     a954866View commit details

     Copy full SHA for a954866

     View code at this pointBrowse repository at this point

   • Check const requirements on inherent methods

     Show description for 2643842
     micahscopes

     committed
     2643842View commit details

     Copy full SHA for 2643842

     View code at this pointBrowse repository at this point

   • Check const requirements on generic enum uses

     Show description for 4d8ec20
     micahscopes

     committed
     4d8ec20View commit details

     Copy full SHA for 4d8ec20

     View code at this pointBrowse repository at this point

   • Check const requirements on generic record uses

     Show description for 8f42094
     micahscopes

     committed
     8f42094View commit details

     Copy full SHA for 8f42094

     View code at this pointBrowse repository at this point

   • Forward function const requirements into anonymous constants

     Show description for 5f6c5f3
     micahscopes

     committed
     5f6c5f3View commit details

     Copy full SHA for 5f6c5f3

     View code at this pointBrowse repository at this point

   • Check generic function const requirements after inference

     Show description for 931e24a
     micahscopes

     committed
     931e24aView commit details

     Copy full SHA for 931e24a

     View code at this pointBrowse repository at this point

   • Check ground const where predicates at declarations

     Show description for ae8a176
     micahscopes

     committed
     ae8a176View commit details

     Copy full SHA for ae8a176

     View code at this pointBrowse repository at this point
4. Commits on Sep 29, 2026

   • Borrow-check an operation-preserving semantic body

     Show description for 82de342
     sbillig

     committed
     82de342View commit details

     Copy full SHA for 82de342

     View code at this pointBrowse repository at this point

   • Document that providers keep generic array lengths opaque

     Show description for 9a036ba
     micahscopes

     committed
     9a036baView commit details

     Copy full SHA for 9a036ba

     View code at this pointBrowse repository at this point
5. Commits on Sep 28, 2026

   • Allow borrows of admitted providers during constant evaluation

     Show description for 86e3f30
     sbillig

     committed
     86e3f30View commit details

     Copy full SHA for 86e3f30

     View code at this pointBrowse repository at this point
6. Commits on Sep 27, 2026

   • Support frame-local borrows during constant evaluation

     Show description for b72a0a6
     micahscopes

     committed
     b72a0a6View commit details

     Copy full SHA for b72a0a6

     View code at this pointBrowse repository at this point
7. Commits on Sep 25, 2026

   • Document review fixes in the borrow checker architecture

     Show description for 5ef1f4f
     sbillig

     committed
     5ef1f4fView commit details

     Copy full SHA for 5ef1f4f

     View code at this pointBrowse repository at this point

   • Converge recursive fresh allocation summaries

     Show description for 52e72dc
     sbillig

     committed
     52e72dcView commit details

     Copy full SHA for 52e72dc

     View code at this pointBrowse repository at this point

   • Unify structural input transport across entry and calls

     Show description for 09ca75f
     sbillig

     committed
     09ca75fView commit details

     Copy full SHA for 09ca75f

     View code at this pointBrowse repository at this point

   • Track scalar facts and certify loop-initialized contents

     Show description for a57e9c1
     sbillig

     committed
     a57e9c1View commit details

     Copy full SHA for a57e9c1

     View code at this pointBrowse repository at this point

   • Correlate boolean choices through borrow summaries

     Show description for b5a5512
     sbillig

     committed
     b5a5512View commit details

     Copy full SHA for b5a5512

     View code at this pointBrowse repository at this point

   • Model structural typed storage and preserve cell-specific contents

     Show description for 6ba5b3e
     sbillig

     committed
     6ba5b3eView commit details

     Copy full SHA for 6ba5b3e

     View code at this pointBrowse repository at this point