/src/plugins - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/plugins @ aaa8e454

Name	Size	Revision	Age	Author	Comment
mpfr		90cc3b8e	over 1 year	Lélio Brun	some rewriting in C backend pretty-printer
salsa		719ae9fd	over 1 year	Lélio Brun	migration draft on dune
scopes		6d1693b9	11 months	Lélio Brun	work on spec generation almost done
pluginList.ml	87 Bytes	719ae9fd	over 1 year	Lélio Brun	migration draft on dune
pluginType.ml	857 Bytes	ca7e8027	over 1 year	Lélio Brun	fix almost all warnings
plugins.ml	1.79 KB	719ae9fd	over 1 year	Lélio Brun	migration draft on dune

#	Date	Author	Comment
6d1693b9	06/14/2021 07:06 PM	Lélio Brun	work on spec generation almost done
75c459f4	05/04/2021 06:24 PM	Lélio Brun	start with Spec AST generation
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
ef598ac3	11/17/2020 04:38 PM	Pierre-Loïc Garoche	moved from Num to Zarith. IMpacted main.ml ad uses of Z3 in zustre_cex and seal-extract
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
e8f55c25	11/15/2019 12:34 AM	Pierre-Loïc Garoche	- tag_true and tag_false moved to lustre_types - real constants are hidden in Real.ml{i} module
e5d77428	05/09/2019 10:19 AM	Pierre-Loïc Garoche	Solved issue btw mpfr and conv functions (int_to_real was not handled)

Also available in: Atom