Revision 71999483 - Cleaning C backend - removing unused functiions Preparing for coming ACSL - LustreC

« Previous | Next »

Revision 71999483

Added by Pierre-Loïc Garoche about 4 years ago

ID 71999483d939f337f49464d51bd28ca9924b9e33
Parent 4d2d6777
Child 42f91c0b

Cleaning C backend - removing unused functiions
Preparing for coming ACSL

added
modified
copied
renamed
deleted

src
- backends
  - C
    - c_backend.ml (diff)
    - c_backend_common.ml (diff)
    - c_backend_header.ml (diff)
    - c_backend_spec.ml (diff)
    - c_backend_src.ml (diff)