Revision 42f91c0b - Better EMF output, solved some invalid JSON produced - LustreC

« Previous | Next »

Revision 42f91c0b

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

ID 42f91c0b66f7c27962b22d8f9c0c7cedc68a5133
Parent 71999483
Child 1fd3d002

Better EMF output, solved some invalid JSON produced

added
modified
copied
renamed
deleted

src
- backends
  - EMF
    - EMF_backend.ml (diff)
    - EMF_common.ml (diff)
  - Horn
    - horn_backend_printers.ml (diff)