Revision e5d77428 - Solved issue btw mpfr and conv functions (int_to_real was not handled) - LustreC

« Previous | Next »

Revision e5d77428

ID	e5d774286eb0bab87fcae05452755e38425c69a6
Parent	dc732cf2
Child	dc6e8512

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

Solved issue btw mpfr and conv functions (int_to_real was not handled)

Files

added
modified
copied
renamed
deleted

View differences

include
- conv.lusi (diff)
- mpfr_lustre.c (diff)
- mpfr_lustre.lusi (diff)
src
- plugins
  - mpfr
    - mpfr.ml (diff)