search

Copilot-Language / copilot

A stream-based runtime-verification framework for generating hard real-time C code.
http://copilot-language.github.io
635 stars 50 forks source link

License for use #460

Closed simtheverse closed 11 months ago

simtheverse commented 11 months ago

Hello, Is this repo licensed for use? Could the license be included in the repo? Thanks!

simtheverse commented 11 months ago

Please disregard. I see now that there are licenses in the subfolders.