Revision 30f46c0c - Renamed math lib into lustrec_math to avoid conflicting calls to <math.h> - LustreC

« Previous | Next »

Revision 30f46c0c

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

ID 30f46c0cf40a5e1822acb19e5b1c79b442bbf316
Parent 212d6eff
Child 40ad675e

Renamed math lib into lustrec_math to avoid conflicting calls to <math.h>

added
modified
copied
renamed
deleted

Makefile.in (diff)
include
- lustrec_math.lusi
- lustrec_math.smt2
- math.lusi
- math.smt2
src
- backends
  - EMF
    - EMF_library_calls.ml (diff)