Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / parsers / parserLustreSpec.mly @ 5fccce23

History | View | Annotate | Download (8.42 KB)

# Date Author Comment
778c80fd 10/05/2018 07:54 PM Pierre-Loïc Garoche

Some refactoring
Adapted the parser/types/constructors for cocospec syntax