Revision 4240dfcb - add basic support to protect against some ACSL keywords - LustreC

« Previous | Next »

Revision 4240dfcb

Added by Lélio Brun about 2 years ago

ID 4240dfcb3ed484faa206fd7a985f9721634627f8
Parent e164da10
Child 74ebe1f9

add basic support to protect against some ACSL keywords

added
modified
copied
renamed
deleted

src
- backends
  - C
    - c_backend.ml (diff)
    - c_backend_spec.ml (diff)
    - c_backend_spec.mli (diff)