Revision 25320f03 - scheduling now report unused vars and remove their definition instead of stop... - LustreC

« Previous | Next »

Revision 25320f03

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

ID 25320f031231eee2eef917a2112daff37df6d980
Parent c6c8786b
Child 2200179c

scheduling now report unused vars and remove their definition instead of stopping processing.

added
modified
copied
renamed
deleted

src
- machine_code.ml (diff)
- scheduling.ml (diff)
- tools
  - seal
    - seal_extract.ml (diff)
    - seal_slice.ml (diff)
    - seal_verifier.ml (diff)