Code

Closure inference (again)#1294

Code

Open

xldenis wants to merge 10 commits intomastercreusot-rs/creusot:masterfrom closure-infer-new-new-newcreusot-rs/creusot:closure-infer-new-new-newCopy head branch name to clipboard

+1,549-1,357

Commits

Commits on Dec 17, 2024

• Add pre and post conditions to Pearlite

  xldenis

  committed
  bd3495c

  Copy full SHA for bd3495c

• Add attributes to coma definitions

  xldenis

  committed
  dbdf7a4

  Copy full SHA for dbdf7a4

• Track if precontracts come from users or not

  xldenis

  committed
  490b590

  Copy full SHA for 490b590

• Remove barrier for non-specified closures

  xldenis

  committed
  c10685f

  Copy full SHA for c10685f

• Bug fixes and update tests

  xldenis

  committed
  77bb25d

  Copy full SHA for 77bb25d

• hack

  xldenis

  committed
  507a75e

  Copy full SHA for 507a75e

• status

  xldenis

  committed
  0d3f5d0

  Copy full SHA for 0d3f5d0

• works

  xldenis

  committed
  7c941de

  Copy full SHA for 7c941de

• Fix both open bodies

  xldenis

  committed
  fa8fe05

  Copy full SHA for fa8fe05

• Address review update tests

  xldenis

  committed
  8ed9b72

  Copy full SHA for 8ed9b72