search

loonwerks / formal-methods-workbench

Other
20 stars 7 forks source link

Sally integration #27

Closed atomb closed 5 years ago

atomb commented 5 years ago

Add experimental support for invoking the Sally model checker using the lustre-sally front end. This includes an update to the jKind API JAR file, where most of the changes exist.