Revision 2dd3d358 - making library statically link to horn backend - LustreC

« Previous | Next »

Revision 2dd3d358

ID	2dd3d3585179cfbf1107027e72b043c6ee3523ac
Parent	7db425aa
Child	1b57e111

Added by Teme Kahsai over 3 years ago

making library statically link to horn backend

Files

added
modified
copied
renamed
deleted

View differences

autom4te.cache
- requests (diff)
src
- backends
  - C
    - c_backend.ml (diff)
  - Horn
    - horn_backend.ml (diff)
- compiler_common.ml (diff)
- main_lustre_compiler.ml (diff)