/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 186e1aef

Name	Size	Revision	Age	Author	Comment
Ada		ca7e8027	over 2 years	Lélio Brun	fix almost all warnings
C		186e1aef	about 2 years	Lélio Brun	working proto
EMF		ca7e8027	over 2 years	Lélio Brun	fix almost all warnings
Horn		ca7e8027	over 2 years	Lélio Brun	fix almost all warnings
Java		719ae9fd	over 2 years	Lélio Brun	migration draft on dune
VHDL		dea84f9e	about 5 years	Pierre-Loïc Garoche	Working example!
backends.ml	1.14 KB	ad4774b0	about 5 years	Pierre-Loïc Garoche	- Normalization parameters (alias and unfold_ar...

#	Date	Author	Comment
186e1aef	04/21/2021 01:52 PM	Lélio Brun	working proto
8d2d6fa0	04/20/2021 06:51 PM	Lélio Brun	Almost works!
7f03f62d	04/16/2021 11:33 AM	Lélio Brun	first version that is parsed correctly by Frama-C
4b596770	04/12/2021 05:48 PM	Lélio Brun	first draft: to be tested with frama-c
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

Also available in: Atom