Revision 17e1d0f4
- Removed the kind2 file (parser/lexer/types)
- Cleaned a little bit our parser: removal of old prelude constructs
Files
- added
- modified
- copied
- renamed
- deleted
- TODO.org (diff)
- src
- _tags.in (diff)
- cocospec
- kindIdent.ml
- kindIdent.mli
- kindLib.ml
- kindLib.mli
- kindLog.ml
- kindLog.mli
- kindLustreAst.ml
- kindLustreAst.mli
- kindLustreLexer.mll
- kindLustreParser.mly
- kindPretty.ml
- kindPretty.mli
- lexerLustreSpec.mll (diff)
- lexer_lustre.mll (diff)
- parser_lustre.mly (diff)