/src/plugins/mpfr - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/plugins/mpfr @ a7062da6

Name	Size	Revision	Age	Author	Comment
lustrec_mpfr.ml	11.1 KB	ca7ff3f7	over 3 years	Lélio Brun	reformatting
lustrec_mpfr.mli	629 Bytes	a7062da6	over 3 years	Lélio Brun	another step towards refactoring

#	Date	Author	Comment
a7062da6	06/28/2021 09:52 PM	Lélio Brun	another step towards refactoring
50a8778a	06/25/2021 12:35 PM	Lélio Brun	refactoring first step
ca7ff3f7	06/17/2021 11:33 AM	Lélio Brun	reformatting
90cc3b8e	02/19/2021 11:19 AM	Lélio Brun	some rewriting in C backend pretty-printer
ca7e8027	02/05/2021 02:36 PM	Lélio Brun	fix almost all warnings
719ae9fd	02/03/2021 02:47 PM	Lélio Brun	migration draft on dune
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

Also available in: Atom