/src/backends/Ada - Repository - LustreC

Name	Size	Revision	Age	Author	Comment
.merlin	3 Bytes	f20d8ac7	over 5 years	Christophe Garion	Ada: skeletons for Ada compiler
README	2.04 KB	230b168e	over 5 years	Guillaume DAVY	Ada: Refactor Ada Backend to reduce redundancy,...
ada_backend.ml	6.67 KB	230b168e	over 5 years	Guillaume DAVY	Ada: Refactor Ada Backend to reduce redundancy,...
ada_backend_adb.ml	8.31 KB	230b168e	over 5 years	Guillaume DAVY	Ada: Refactor Ada Backend to reduce redundancy,...
ada_backend_ads.ml	10.9 KB	2477d634	over 5 years	Guillaume DAVY	Ada: Correct some errors in printing
ada_backend_common.ml	13.7 KB	230b168e	over 5 years	Guillaume DAVY	Ada: Refactor Ada Backend to reduce redundancy,...
ada_backend_common.mli	1.32 KB	230b168e	over 5 years	Guillaume DAVY	Ada: Refactor Ada Backend to reduce redundancy,...
ada_backend_wrapper.ml	6.8 KB	230b168e	over 5 years	Guillaume DAVY	Ada: Refactor Ada Backend to reduce redundancy,...
ada_printer.ml	9.83 KB	230b168e	over 5 years	Guillaume DAVY	Ada: Refactor Ada Backend to reduce redundancy,...
ada_printer.mli	1.93 KB	230b168e	over 5 years	Guillaume DAVY	Ada: Refactor Ada Backend to reduce redundancy,...
misc_lustre_function.ml	8.16 KB	230b168e	over 5 years	Guillaume DAVY	Ada: Refactor Ada Backend to reduce redundancy,...
misc_printer.ml	710 Bytes	230b168e	over 5 years	Guillaume DAVY	Ada: Refactor Ada Backend to reduce redundancy,...

#	Date	Author	Comment
2477d634	04/04/2019 04:11 PM	Guillaume DAVY	Ada: Correct some errors in printing
230b168e	04/04/2019 02:14 PM	Guillaume DAVY	Ada: Refactor Ada Backend to reduce redundancy, make it more modular and more simple.
2eee868b	03/22/2019 01:51 PM	Guillaume DAVY	Merge branch 'lustrec-seal' into ada
826063db	03/22/2019 01:50 PM	Guillaume DAVY	Ada: Correct ada main to handle statelles top level node
1f868027	03/22/2019 01:02 AM	Pierre-Loïc Garoche	JSON EMF
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

CristalCaveGem » LustreC