Revision 1d0fd52b - updated division for Horn clauses - LustreC

« Previous | Next »

Revision 1d0fd52b

Added by Xavier Thirioux over 6 years ago

ID 1d0fd52b19ee9a83f74337a826945c1e27bb2203
Parent 14da5302
Child 22a34b49, 885b2896, 873647ba

updated division for Horn clauses

added
modified
copied
renamed
deleted

src
- backends
  - C
    - c_backend_common.ml (diff)
  - Horn
    - horn_backend_printers.ml (diff)