search

loonwerks / jkind

JKind - An infinite-state model checker for safety properties in Lustre
http://loonwerks.com/tools/jkind.html
Other
52 stars 32 forks source link

Master generic api #70

Closed kfhoech closed 2 years ago

kfhoech commented 2 years ago

Pull in generic parts of jkind-plugin to make universally available outside of Eclipse.

lgwagner commented 2 years ago

Let's remove Kind2 and Sally related files. They are not substantially used from the CLI.