Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / cocospec / kindLustreAst.mli @ 27332198

History | View | Annotate | Download (12.4 KB)

# Date Author Comment
2ae3ef3f 05/16/2018 05:19 PM Pierre-Loïc Garoche

Tentative to rely on Kind parser for contracts