Allow Lustre files that use keywords as identifiers

GaloisInc / lustre-sally

ISC License

4 stars 1 forks source link

Allow Lustre files that use keywords as identifiers #3

Closed atomb closed 5 years ago

atomb commented 5 years ago

Many Lustre files generated from AGREE blocks in AADL files use Lustre keywords (such as mode) as variable names. Currently, lustre-sally fails on these, but jKind and Kind 2 accept them. I'm sure it'll make the grammar messy, though. Ugh.

atomb commented 5 years ago

Moving to lustre.