/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ a91680fc

Name	Size	Revision	Age	Author	Comment
Ada		6d1693b9	11 months	Lélio Brun	work on spec generation almost done
C		c4780a6a	11 months	Lélio Brun	work on new reset functions generation
EMF		c4780a6a	11 months	Lélio Brun	work on new reset functions generation
Horn		c4780a6a	11 months	Lélio Brun	work on new reset functions generation
Java		719ae9fd	over 1 year	Lélio Brun	migration draft on dune
VHDL		dea84f9e	almost 4 years	Pierre-Loïc Garoche	Working example!
backends.ml	1.18 KB	f69e7ea2	about 1 year	Lélio Brun	add -O -1 flag to disable fusion of conditionals

#	Date	Author	Comment
c4780a6a	06/15/2021 05:34 PM	Lélio Brun	work on new reset functions generation
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
f69e7ea2	05/04/2021 10:58 AM	Lélio Brun	add -O -1 flag to disable fusion of conditionals
7ee5f69e	05/04/2021 10:20 AM	Lélio Brun	corrections on loggers + spec in AST
9d693675	04/22/2021 03:06 PM	Lélio Brun	the generation of ACSL from machine code reveal too fragile as it occurs after several transformations (eg. fusion)
efcc8d7f	04/21/2021 05:15 PM	Lélio Brun	move arrow spec in its own header
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

Also available in: Atom