Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / plugins / mpfr / mpfr.ml @ 95944ba1

History | View | Annotate | Download (10.5 KB)

# Date Author Comment
95944ba1 11/21/2018 11:53 PM Pierre-Loïc Garoche

Cleaning up stuff in normalization. Mainly replace arguments with only required elements
node_Table hashtbl is now only available through functions of the corelang.mli

19a1e66b 11/21/2018 05:58 AM Pierre-Loïc Garoche

Added include directive that directly inject a lustre source file in the prog

1a05d45a 11/16/2018 07:19 AM Pierre-Loïc Garoche

Cleaning warning in mpfr

d948c0bd 11/16/2018 04:18 AM Pierre-Loïc Garoche

math fun lib support in MPFR

05ca2715 11/15/2018 03:16 AM Pierre-Loïc Garoche

Moved back mpfr to its folder. Previsouly there was two competing files :(

f6acf47b 11/26/2015 06:17 PM Pierre-Loïc Garoche

Plugin based framework