search

GaloisInc / salty

A DSL for generating GR(1) problems
BSD 3-Clause "New" or "Revised" License
11 stars 3 forks source link

Adding in ability to generate SPARK/Ada controller implementations from a fork #17

Closed lhumphrey closed 4 years ago