Revision 17e1d0f4 - - Removed the kind2 file (parser/lexer/types) - Cleaned a little bit our pars... - LustreC

« Previous | Next »

Revision 17e1d0f4

ID	17e1d0f4d82d6bca3e27942f365ab68c11c5ee5d
Parent	37d3e0eb
Child	4f26dcf5

Added by Pierre-Loïc Garoche almost 2 years ago

- Removed the kind2 file (parser/lexer/types)
- Cleaned a little bit our parser: removal of old prelude constructs

Files

added
modified
copied
renamed
deleted

View differences

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)