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

« Previous | Next »

Revision 8d164031

ID	8d1640310eaa21a612366a793ae01d0480989e27
Parent	4e9ba094
Child	a0c92fa8

Added by Pierre-Loïc Garoche 2 months ago

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

Files

added
modified
copied
renamed
deleted

View differences

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