Revision cc852504 - comment dead code with (* XXX: UNUSED *) disclaimer - LustreC

« Previous | Next »

Revision cc852504

Added by Lélio Brun almost 4 years ago

ID cc8525047a33fe950818079f7cb1b36fe8fa22a6
Parent 2926ceee
Child d978c46e

comment dead code with (* XXX: UNUSED *) disclaimer

added
modified
copied
renamed
deleted

src
- annotations.mli (diff)
- automata.ml (diff)
- automata.mli (diff)
- backends
  - Ada
  - C
    - c_backend.ml (diff)
    - c_backend.mli (diff)
    - c_backend_common.ml (diff)
    - c_backend_common.mli (diff)
    - c_backend_header.ml (diff)
    - c_backend_header.mli (diff)
    - c_backend_main.ml (diff)
    - c_backend_main.mli (diff)
    - c_backend_makefile.ml (diff)
    - c_backend_makefile.mli (diff)
    - c_backend_mauve.ml (diff)
    - c_backend_mauve.mli (diff)
    - c_backend_spec.ml (diff)
    - c_backend_spec.mli (diff)
    - c_backend_src.ml (diff)
    - c_backend_src.mli (diff)
  - EMF
    - EMF_backend.ml (diff)
    - EMF_backend.mli (diff)
    - EMF_common.ml (diff)
    - EMF_common.mli (diff)
    - EMF_library_calls.ml (diff)
    - EMF_library_calls.mli (diff)
  - Horn
  - backends.ml (diff)
  - backends.mli (diff)
- basic_library.ml (diff)
- basic_library.mli (diff)
- causality.ml (diff)
- causality.mli (diff)
- checks
  - access.ml (diff)
  - access.mli (diff)
  - algebraicLoop.ml (diff)
  - algebraicLoop.mli (diff)
  - liveness.ml (diff)
  - liveness.mli (diff)
  - stateless.mli (diff)
- clock_calculus.ml (diff)
- clock_calculus.mli (diff)
- clock_predef.ml (diff)
- clock_predef.mli (diff)
- clocks.ml (diff)
- clocks.mli (diff)
- compiler_common.ml (diff)
- compiler_common.mli (diff)
- compiler_stages.mli (diff)
- corelang.ml (diff)
- corelang.mli (diff)
- delay.ml (diff)
- delay.mli (diff)
- delay_predef.ml (diff)
- delay_predef.mli (diff)
- dune (diff)
- error.mli (diff)
- features
  - machine_types
    - machine_types.ml (diff)
- global.ml (diff)
- global.mli (diff)
- inliner.ml (diff)
- inliner.mli (diff)
- log.ml (diff)
- log.mli (diff)
- lusic.mli (diff)
- lustre_live.mli (diff)
- lustre_types.mli (diff)
- machine_code.ml (diff)
- machine_code_common.ml (diff)
- machine_code_common.mli (diff)
- main_lustre_testgen.ml (diff)
- modules.mli (diff)
- mutation.ml (diff)
- mutation.mli (diff)
- optimize_machine.ml (diff)
- optimize_machine.mli (diff)
- optimize_prog.ml (diff)
- optimize_prog.mli (diff)
- options.ml (diff)
- options.mli (diff)
- options_management.ml (diff)
- options_management.mli (diff)
- parsers
  - parse.ml (diff)
  - parse.mli (diff)
- pathConditions.mli (diff)
- plugins
  - mpfr
    - lustrec_mpfr.ml (diff)
    - lustrec_mpfr.mli (diff)
  - pluginList.mli (diff)
  - pluginType.mli (diff)
  - plugins.mli (diff)
  - scopes
    - scopes.ml (diff)
    - scopes.mli (diff)
- printers.ml (diff)
- printers.mli (diff)
- scheduling.ml (diff)
- scheduling.mli (diff)
- sortProg.ml (diff)
- sortProg.mli (diff)
- spec.mli (diff)
- spec_common.mli (diff)
- spec_types.ml (diff)
- spec_types.mli (diff)
- splitting.mli (diff)
- tools
  - importer
  - stateflow
    - common
      - activeStates.ml (diff)
      - activeStates.mli (diff)
      - basetypes.ml (diff)
      - basetypes.mli (diff)
      - datatype.ml (diff)
      - datatype.mli (diff)
    - models
      - model_stopwatch.ml (diff)
    - semantics
      - cPS.ml (diff)
      - cPS.mli (diff)
      - cPS_interpreter.ml (diff)
      - cPS_interpreter.mli (diff)
      - cPS_lustre_generator.ml (diff)
      - cPS_transformer.mli (diff)
      - theta.ml (diff)
- type_predef.ml (diff)
- type_predef.mli (diff)
- types.ml (diff)
- types.mli (diff)
- typing.ml (diff)
- typing.mli (diff)
- utils
  - dimension.ml (diff)
  - dimension.mli (diff)
  - env.mli (diff)
  - location.ml (diff)
  - location.mli (diff)
  - utils.ml (diff)
  - utils.mli (diff)
- verifierList.mli (diff)
- verifierType.ml
- verifiers.mli (diff)
- version.mli (diff)