Revision f0a067e9 - Better production of trace files. By default traces are not produced. Require... - LustreC

« Previous | Next »

Revision f0a067e9

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

ID f0a067e93124e05327ad8888b9d5bbd4ebe2b85e
Parent 70be4acf
Child 61df3cb9

Better production of trace files.
By default traces are not produced. Requires the option -t to produce them

added
modified
copied
renamed
deleted

include
- io_frontend.c (diff)
- io_frontend.h (diff)
- io_frontend.hpp (diff)
src
- backends
  - C
    - c_backend_common.ml (diff)
    - c_backend_main.ml (diff)
- plugins
  - scopes
    - scopes.ml (diff)