viperproject/gobra-libs

Issues

• Add opaque modifier

  #12 opened 9 months ago by dnezam
  5

• Support current Z3 versions + Use Z3_EXE (instead of Z3_PATH)

  #19 opened 6 months ago by dnezam
  1

• Improve the Readme...

  #15 opened 6 months ago by jcp19
  0

• Replace "monomorphised" lemmas with generic versions

  #17 opened 6 months ago by jcp19
  0

• Implement seq to set related methods

  #9 opened a year ago by dnezam
  0

• Implement seq to multiset related methods

  #10 opened a year ago by dnezam
  0

• Add CI actions

  #1 opened a year ago by jcp19
  0

• Port utils from VerifiedSCION

  #2 opened a year ago by jcp19
  0