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

generalized exceptions thrown by parser, removing dependencies on ANTLR #31

Closed TheBeaNerd closed 8 years ago

TheBeaNerd commented 8 years ago

How's this for a start?