Release 0.9.2
florianschanda
released this
08 May 15:06
·
185 commits
to main
since this release
0.9.2
-
New tool lobster-trlc to
extract TRLC
requirements. -
New tool lobster-json to
extract data from JSON files representing verification activities.