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

Enable ModelGeneralizer subclassing #33

Closed TheBeaNerd closed 8 years ago

agacek commented 8 years ago

I merged in these changes as 90cdf501630d00754f69f04b80463c8975ce3b14. I didn't use the pull request itself since it had 5 other no-ops commits.