Code

Fix #659#660

Code

Merged

ArquintL merged 4 commits intomasterviperproject/gobra:masterfrom 659-quantified-let-expressions-in-encoding-unsoundnessviperproject/gobra:659-quantified-let-expressions-in-encoding-unsoundnessCopy head branch name to clipboardJul 5, 2023

+34-1

Commits

Commits on Jul 4, 2023

• adds failing test case

  ArquintL

  committed
  0fdf73a

• Merges branch 'auto-update-submodules' into '659-quantified-let-expressions-in-encoding-unsoundness'

  ArquintL

  committed
  3e87a6a

• updates ViperServer to latest commit

  ArquintL

  committed
  1929662

Commits on Jul 5, 2023

• Merges branch 'master' into '659-quantified-let-expressions-in-encoding-unsoundness'

  ArquintL

  committed
  d34ca31