/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 15c3e4e7

Name	Size	Revision	Age	Author	Comment
Ada		ca7e8027	about 4 years	Lélio Brun	fix almost all warnings
C		15c3e4e7	almost 4 years	Lélio Brun	generic ACSL spec generation
EMF		ca7e8027	about 4 years	Lélio Brun	fix almost all warnings
Horn		ca7e8027	about 4 years	Lélio Brun	fix almost all warnings
Java		719ae9fd	about 4 years	Lélio Brun	migration draft on dune
VHDL		dea84f9e	over 6 years	Pierre-Loïc Garoche	Working example!
backends.ml	1.14 KB	ad4774b0	almost 7 years	Pierre-Loïc Garoche	- Normalization parameters (alias and unfold_ar...

#	Date	Author	Comment
15c3e4e7	03/08/2021 10:58 AM	Lélio Brun	generic ACSL spec generation
c226a3ba	03/01/2021 03:56 PM	Lélio Brun	start generating ACSL spec
90cc3b8e	02/19/2021 11:19 AM	Lélio Brun	some rewriting in C backend pretty-printer
1df55e58	02/16/2021 04:21 PM	Lélio Brun	minor rewriting
57c96fb7	02/15/2021 02:26 PM	Lélio Brun	setup tests for dune
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

Also available in: Atom