/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 525eebd1

Name	Size	Revision	Age	Author	Comment
Ada		525eebd1	about 4 years	Guillaume DAVY	Ada: Correct branch exporting to handle boolean...
C		e8250987	over 4 years	Pierre-Loïc Garoche	Unevaluation of types and clocks dimension has ...
EMF		59020713	over 4 years	Pierre-Loïc Garoche	Some progress on EMF bqckend. Refactoring machi...
Horn		19a1e66b	over 4 years	Pierre-Loïc Garoche	Added include directive that directly inject a ...
Java		ae7d913d	over 4 years	Pierre-Loïc Garoche	Merlin files
VHDL		dea84f9e	about 5 years	Pierre-Loïc Garoche	Working example!
.merlin	3 Bytes	ae7d913d	over 4 years	Pierre-Loïc Garoche	Merlin files
backends.ml	1.14 KB	ad4774b0	about 5 years	Pierre-Loïc Garoche	- Normalization parameters (alias and unfold_ar...

#	Date	Author	Comment
525eebd1	03/13/2019 01:27 PM	Guillaume DAVY	Ada: Correct branch exporting to handle boolean match(using an ada if)
379715f7	03/13/2019 10:42 AM	Guillaume DAVY	Ada: Improve input/output of main ada file
6e3cdaf6	03/12/2019 01:18 PM	Guillaume DAVY	Ada: Add pretty printer for case
8d22ea35	03/12/2019 09:48 AM	Guillaume DAVY	Ada: Some indentation
09d7b39f	03/11/2019 07:38 PM	Guillaume DAVY	Ada: Add generation of step calls and refactor prototypes and ads printing to handle staless instance.
3de9f6e4	03/11/2019 02:52 PM	Guillaume DAVY	Ada: Refactor the instantiation code and instance code, instead of passing the machine list to the pp_file and all subfunction in adb generation we pass a list of typed instance which contains the submachines directly with the instance name and the substitution.
1ed1c8b8	02/26/2019 01:55 PM	Guillaume DAVY	Ada: Corrections of some bugs discovered with lustrec-tests
03143434	02/25/2019 01:40 PM	Guillaume DAVY	Ada: Add readers and printers for main.adb to match c tests.
2edf6b6d	02/25/2019 01:39 PM	Guillaume DAVY	Ada: Add the prefix ada for variable named with an Ada reserved name.
dda9eb32	02/25/2019 01:38 PM	Guillaume DAVY	Ada: Correct contract printing

Also available in: Atom