Revision 8d164031 - [MPFR] add more functions and better treatment of print output variables in m... - LustreC

« Previous | Next »

Revision 8d164031

Added by Pierre-Loïc Garoche over 3 years ago

ID 8d1640310eaa21a612366a793ae01d0480989e27
Parent 4e9ba094
Child a0c92fa8

[MPFR] add more functions and better treatment of print output variables in main.c

added
modified
copied
renamed
deleted

include
- mpfr_lustre.c (diff)
- mpfr_lustre.lusi (diff)
src
- backends
  - C
    - c_backend_common.ml (diff)
- plugins
  - mpfr
    - mpfr.ml (diff)