Revision 778c80fd
Added by Pierre-Loïc Garoche over 6 years ago
- added
- modified
- copied
- renamed
- deleted
- src
- _tags.in (diff)
- access.ml
- algebraicLoop.ml
- checks
- corelang.ml (diff)
- corelang.mli (diff)
- env.ml
- init_calculus.ml
- inliner.ml (diff)
- lexerLustreSpec.mll
- lexer_lustre.mll
- lexer_prelude.mll
- liveness.ml
- lustre_types.ml (diff)
- normalization.ml (diff)
- parse.ml
- parserLustreSpec.mly
- parser_lustre.mly
- parsers
- printers.ml (diff)
- stateless.ml
- utils
- utils.ml
Some refactoring
Adapted the parser/types/constructors for cocospec syntax