Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / checks / init_calculus.ml @ 5fccce23

History | View | Annotate | Download (11.1 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