/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 09d7b39f

Name	Size	Revision	Age	Author	Comment
Ada		09d7b39f	about 4 years	Guillaume DAVY	Ada: Add generation of step calls and refactor ...
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
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
83f4b59c	02/25/2019 01:07 PM	Guillaume DAVY	Ada: Correct the subcalls to reset for node with polymorphic type(like arrow)
808da3ff	02/25/2019 12:33 PM	Guillaume DAVY	Ada: Correct state print for variable assignement
b1ac8bbf	02/25/2019 11:35 AM	Guillaume DAVY	Ada: Add a pp_with for general with ada statement
695db4da	02/25/2019 11:34 AM	Guillaume DAVY	Ada: - Replace MStep and Mbranch output by Null to have compilable Ada. - Correct pp_value to print state access when the variable is memory

Also available in: Atom