Code

Update Stainless to v0.8#107

Code

Merged

yannbolliger merged 9 commits intomasterepfl-lara/rust-stainless:masterfrom update-stainlessepfl-lara/rust-stainless:update-stainlessCopy head branch name to clipboardMar 17, 2021

+214-16

Commits

Commits on Mar 16, 2021

• Bump stainless version.

  yannbolliger

  committed
  e01efbe

  Copy full SHA for e01efbe

• Update generated stainless AST.

  yannbolliger

  committed
  370eca1

  Copy full SHA for 370eca1

• Update README.

  yannbolliger

  committed
  f121b25

  Copy full SHA for f121b25

• Fix test failing due to a Stainless bug.

  yannbolliger

  committed
  04a31ca

  Copy full SHA for 04a31ca

• Use renamed archive to see if test suite is hanging because of caching issue

  romac

  committed
  5c9c78a

  Copy full SHA for 5c9c78a

• Update README.md

  Show description for 6f65a6d
  

  yannbolliger

  and

  romac

  authored
  6f65a6d

  Copy full SHA for 6f65a6d

Commits on Mar 17, 2021

• Set parallelism to 0.

  yannbolliger

  committed
  e1e4e83

  Copy full SHA for e1e4e83

• Disable measure inference for v0.8

  yannbolliger

  committed
  b1c2162

  Copy full SHA for b1c2162

• Respond to comments.

  yannbolliger

  committed
  db3f319

  Copy full SHA for db3f319