/src/backends/Ada - Repository - LustreC

Name	Size	Revision	Age	Author	Comment
.merlin	3 Bytes	f20d8ac7	over 4 years	Christophe Garion	Ada: skeletons for Ada compiler
README	2.04 KB	230b168e	over 4 years	Guillaume DAVY	Ada: Refactor Ada Backend to reduce redundancy,...
ada_backend.ml	6.67 KB	230b168e	over 4 years	Guillaume DAVY	Ada: Refactor Ada Backend to reduce redundancy,...
ada_backend_adb.ml	8.13 KB	b5b745fb	over 4 years	Guillaume DAVY	Ada: First support for transition predicate gen...
ada_backend_ads.ml	10.6 KB	b5b745fb	over 4 years	Guillaume DAVY	Ada: First support for transition predicate gen...
ada_backend_common.ml	14 KB	b5b745fb	over 4 years	Guillaume DAVY	Ada: First support for transition predicate gen...
ada_backend_common.mli	1.59 KB	b5b745fb	over 4 years	Guillaume DAVY	Ada: First support for transition predicate gen...
ada_backend_wrapper.ml	6.82 KB	b5b745fb	over 4 years	Guillaume DAVY	Ada: First support for transition predicate gen...
ada_printer.ml	11.3 KB	b5b745fb	over 4 years	Guillaume DAVY	Ada: First support for transition predicate gen...
ada_printer.mli	2.33 KB	b5b745fb	over 4 years	Guillaume DAVY	Ada: First support for transition predicate gen...
misc_lustre_function.ml	11.7 KB	b5b745fb	over 4 years	Guillaume DAVY	Ada: First support for transition predicate gen...
misc_printer.ml	710 Bytes	230b168e	over 4 years	Guillaume DAVY	Ada: Refactor Ada Backend to reduce redundancy,...

#	Date	Author	Comment
b5b745fb	04/05/2019 04:37 PM	Guillaume DAVY	Ada: First support for transition predicate generation.
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

CristalCaveGem » LustreC