Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / plugins / mpfr @ f0195e96

Name Size Revision Age Author Comment
.merlin 3 Bytes ae7d913d almost 3 years Pierre-Loïc Garoche Merlin files
lustrec_mpfr.ml 10.9 KB f0195e96 over 1 year Pierre-Loïc Garoche - Primitive Tiny backend - Renamed Mpfr to lust...

Latest revisions

# Date Author Comment
f0195e96 01/28/2020 05:26 AM Pierre-Loïc Garoche

- Primitive Tiny backend
- Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num

8d164031 12/09/2019 04:43 PM Pierre-Loïc Garoche

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

e5d77428 05/09/2019 10:19 AM Pierre-Loïc Garoche

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

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

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

Merlin files

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

View revisions

Also available in: Atom