/src/backends/Ada - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Ada @ 826063db

Name	Size	Revision	Age	Author	Comment
.merlin	3 Bytes	f20d8ac7	over 3 years	Christophe Garion	Ada: skeletons for Ada compiler
ada_backend.ml	4.63 KB	826063db	over 3 years	Guillaume DAVY	Ada: Correct ada main to handle statelles top l...
ada_backend_adb.ml	7.48 KB	826063db	over 3 years	Guillaume DAVY	Ada: Correct ada main to handle statelles top l...
ada_backend_ads.ml	7.74 KB	61e0c3c4	over 3 years	Guillaume DAVY	Ada: - Correct the merge with lustrec-seal ...
ada_backend_common.ml	32.4 KB	826063db	over 3 years	Guillaume DAVY	Ada: Correct ada main to handle statelles top l...
ada_backend_wrapper.ml	7.67 KB	826063db	over 3 years	Guillaume DAVY	Ada: Correct ada main to handle statelles top l...

#	Date	Author	Comment
826063db	03/22/2019 01:50 PM	Guillaume DAVY	Ada: Correct ada main to handle statelles top level node
61e0c3c4	03/21/2019 07:23 PM	Guillaume DAVY	Ada: - Correct the merge with lustrec-seal - Improve support for builtin function(still work to do) - Add generation of a gpr file for lib(without main). - Add var initialisation in the reset, still work to do.
de671495	03/18/2019 08:31 PM	Pierre-Loïc Garoche	Merging branches, disabling the specification print in Ada backend. Should be re-enabled at some point
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

Also available in: Atom