Code

Fix ADT postcondition bug#603

Code

Merged

marcoeilers merged 2 commits intomasterviperproject/silver:masterfrom fix-adt-postconditionsviperproject/silver:fix-adt-postconditionsCopy head branch name to clipboardSep 7, 2022

+30-2

Commits

Commits on Aug 29, 2022

• Fix ADT postcondition bug

  zgrannan

  committed
  4f10fcf

  Copy full SHA for 4f10fcf

Commits on Sep 6, 2022

• Merge branch 'master' into fix-adt-postconditions

  zgrannan

  authored
  648e090

  Copy full SHA for 648e090