Revision 81229f63 - Seal-extract: first serious version. Guards are gathered as a single expression - LustreC

« Previous | Next »

Revision 81229f63

Added by Pierre-Loïc Garoche about 5 years ago

ID 81229f639c4910f4ee05c26aa8c77af4bc8d1460
Parent 3b7f916b
Child d75eb6f1

Seal-extract: first serious version. Guards are gathered as a single expression

added
modified
copied
renamed
deleted

src
- corelang.ml (diff)
- corelang.mli (diff)
- tools
  - seal
    - seal_extract.ml (diff)
    - seal_verifier.ml (diff)