Paper updates - Githubissues

GaloisInc / salty

A DSL for generating GR(1) problems

BSD 3-Clause "New" or "Revised" License

11 stars 3 forks source link

Closed hamilj closed 4 years ago

hamilj commented 4 years ago

Fixed the invalid SPARK Ada codegen for empty environments. Made some minor revisions to the paper draft.