Revision d948c0bd - math fun lib support in MPFR - LustreC

« Previous | Next »

Revision d948c0bd

ID	d948c0bd7c9dc0d69651e15b8e27e45f15204f08
Parent	ae7d913d
Child	3ea2599d

Added by Pierre-Loïc Garoche 8 months ago

math fun lib support in MPFR

Files

added
modified
copied
renamed
deleted

View differences

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