/src/backends/Ada - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Ada @ 525eebd1

Name	Size	Revision	Age	Author	Comment
.merlin	3 Bytes	f20d8ac7	over 4 years	Christophe Garion	Ada: skeletons for Ada compiler
ada_backend.ml	4.99 KB	09d7b39f	about 4 years	Guillaume DAVY	Ada: Add generation of step calls and refactor ...
ada_backend_adb.ml	8.51 KB	525eebd1	about 4 years	Guillaume DAVY	Ada: Correct branch exporting to handle boolean...
ada_backend_ads.ml	7.65 KB	6e3cdaf6	about 4 years	Guillaume DAVY	Ada: Add pretty printer for case
ada_backend_common.ml	29.1 KB	525eebd1	about 4 years	Guillaume DAVY	Ada: Correct branch exporting to handle boolean...
ada_backend_wrapper.ml	4.99 KB	379715f7	about 4 years	Guillaume DAVY	Ada: Improve input/output of main ada file

#	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