smt2jml#19

Open

koja4285 wants to merge 4 commits intosmtlib:masterfrom

koja4285:smt2jml

Commits on Mar 6, 2022

initial commit
koja4285
committed

Commits on Mar 13, 2022

temp support of assert-not and declare-datatypes
koja4285
committed

Commits on Mar 14, 2022

initial support of translation smt to jml
koja4285
committed

Commits on Jun 28, 2022

translation of loop invariants generated by Vampire into JML
koja4285
committed