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

« Previous | Next »

Revision 81229f63

ID	81229f639c4910f4ee05c26aa8c77af4bc8d1460
Parent	3b7f916b
Child	d75eb6f1

Added by Pierre-Loïc Garoche 7 months ago

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

Files

added
modified
copied
renamed
deleted

View differences

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