/src/plugins/mpfr - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/plugins/mpfr @ 95944ba1

Name	Size	Revision	Age	Author	Comment
.merlin	3 Bytes	ae7d913d	almost 5 years	Pierre-Loïc Garoche	Merlin files
mpfr.ml	10.5 KB	95944ba1	almost 5 years	Pierre-Loïc Garoche	Cleaning up stuff in normalization. Mainly repl...

#	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
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

Also available in: Atom