Code

add example with quantified specs#99

Code

Merged

l-kent merged 3 commits intomainUQ-PAC/BASIL:mainfrom cntlm-examplesUQ-PAC/BASIL:cntlm-examplesCopy head branch name to clipboardOct 16, 2023

+1,530

Commits

Commits on Oct 12, 2023

• add example with quantified specs

  ailrst

  committed
  bd124c0

Commits on Oct 13, 2023

• add lifted files remove old boogie

  ailrst

  committed
  ba962ea

Commits on Oct 16, 2023

• correct file extension

  

  l-kent

  committed
  cdf4410