Code

Equivalence checking updates#1145

Code

Open

drganam wants to merge 6 commits intoepfl-lara:scala-2epfl-lara/stainless:scala-2from drganam:fix-tparamsdrganam/stainless:fix-tparamsCopy head branch name to clipboard

+151-71

Commits

Commits on Sep 1, 2021

• Fix timeouts

  drganam

  committed
  fa47b1d

  Copy full SHA for fa47b1d

• Update Trace description

  drganam

  committed
  7fcd448

  Copy full SHA for 7fcd448

• Add --norm

  drganam

  committed
  451deb4

  Copy full SHA for 451deb4

• Track status

  drganam

  committed
  1d6d43b

  Copy full SHA for 1d6d43b

• Fix tparams

  

  Your Name

  authored and

  drganam

  committed
  63a066a

  Copy full SHA for 63a066a

• Fix tparams for preconditions

  drganam

  committed
  08b1fee

  Copy full SHA for 08b1fee