smt2jml - #19

Open

koja4285 wants to merge 4 commits into

smtlib:masterfrom

koja4285:smt2jml

Commits on Mar 6, 2022

initial commit
koja4285
committed
b147c50

Commits on Mar 13, 2022

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

Commits on Mar 14, 2022

initial support of translation smt to jml
koja4285
committed
daa9d17

Commits on Jun 28, 2022

translation of loop invariants generated by Vampire into JML
koja4285
committed
3f7e8a3