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 #68

Closed kfhoech closed 2 years ago

kfhoech commented 2 years ago

Add generic API (not dependent on Eclipse) for conveniently invoking JKind. Also adds automated build/publish through AWS CodePipeline.