Code

ListSet implementation.#822

Code

Open

OStevan wants to merge 3 commits intoepfl-lara:scala-2epfl-lara/stainless:scala-2from OStevan:ostevan/lis-setOStevan/stainless:ostevan/lis-setCopy head branch name to clipboard

+382-1

Commits

Commits on Sep 10, 2020

• ListSet implementation.

  

  OStevan

  authored and

  jad-hamza

  committed
  1a2f5ce

  Copy full SHA for 1a2f5ce

• Add self contained for ListSet

  

  OStevan

  authored and

  jad-hamza

  committed
  e85383e

  Copy full SHA for e85383e

• Remove forall quantifiers in List library

  jad-hamza

  committed
  c470a83

  Copy full SHA for c470a83