Code

Equivalence checking as a component#1378

Code

Merged

mario-bucev merged 4 commits intoepfl-lara:mainepfl-lara/stainless:mainfrom mario-bucev:equiv-chk-extra-matchingmario-bucev/stainless:equiv-chk-extra-matchingCopy head branch name to clipboardMar 7, 2023

+5,305-1,136

Commits

Commits on Mar 7, 2023

• argswap diff

  

  drganam

  authored and

  mario-bucev

  committed
  adbb220

  Copy full SHA for adbb220

• print counters

  

  drganam

  authored and

  mario-bucev

  committed
  b849ac9

  Copy full SHA for b849ac9

• refactoring

  

  drganam

  authored and

  mario-bucev

  committed
  0b8410e

  Copy full SHA for 0b8410e

• Equivalence checking as a component

  mario-bucev

  committed
  158decf

  Copy full SHA for 158decf