Revision 74ca6b61 - A fresh option to print with declared types instead of inferred ones - LustreC

« Previous | Next »

Revision 74ca6b61

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

ID 74ca6b616ab359b71caa58b3f216015c898849f6
Parent 69c96b6c
Child c5d45c13

A fresh option to print with declared types instead of inferred ones

added
modified
copied
renamed
deleted

src
- error.ml (diff)
- options.ml (diff)
- printers.ml (diff)
- tools
  - stateflow
    - semantics
      - cPS_lustre_generator.ml (diff)
    - sf_sem.ml (diff)