/src/backends/Ada - Repository - LustreC

Name	Size	Revision	Age	Author	Comment
README	2.04 KB	230b168e	almost 3 years	Guillaume DAVY	Ada: Refactor Ada Backend to reduce redundancy,...
ada_backend.ml	6.62 KB	ca7ff3f7	8 months	Lélio Brun	reformatting
ada_backend_adb.ml	8.63 KB	ca7ff3f7	8 months	Lélio Brun	reformatting
ada_backend_ads.ml	9.64 KB	ca7ff3f7	8 months	Lélio Brun	reformatting
ada_backend_common.ml	13.6 KB	ca7ff3f7	8 months	Lélio Brun	reformatting
ada_backend_common.mli	1.72 KB	ca7ff3f7	8 months	Lélio Brun	reformatting
ada_backend_wrapper.ml	7.33 KB	ca7ff3f7	8 months	Lélio Brun	reformatting
ada_printer.ml	11.5 KB	ca7ff3f7	8 months	Lélio Brun	reformatting
ada_printer.mli	2.48 KB	ca7ff3f7	8 months	Lélio Brun	reformatting
misc_lustre_function.ml	11.3 KB	ca7ff3f7	8 months	Lélio Brun	reformatting
misc_printer.ml	699 Bytes	ca7ff3f7	8 months	Lélio Brun	reformatting

#	Date	Author	Comment
ca7ff3f7	06/17/2021 11:33 AM	Lélio Brun	reformatting
6d1693b9	06/14/2021 07:06 PM	Lélio Brun	work on spec generation almost done
75c459f4	05/04/2021 06:24 PM	Lélio Brun	start with Spec AST generation
7ee5f69e	05/04/2021 10:20 AM	Lélio Brun	corrections on loggers + spec in AST
ca7e8027	02/05/2021 02:36 PM	Lélio Brun	fix almost all warnings
719ae9fd	02/03/2021 02:47 PM	Lélio Brun	migration draft on dune
04a188ec	11/21/2019 03:45 AM	Pierre-Loïc Garoche	- Refactored Error exception and messages - Bugs in partial evaluation for equalities among bool constants and a nice recursive call generating a stack overflow! Now solved - Setup a timeout for z3 in seal - Better log for seal
c2db420f	11/20/2019 05:09 PM	Pierre-Loïc Garoche	comment some code to avoid warning at compile time
e8f55c25	11/15/2019 12:34 AM	Pierre-Loïc Garoche	- tag_true and tag_false moved to lustre_types - real constants are hidden in Real.ml{i} module
05f85b44	04/29/2019 01:53 PM	Guillaume DAVY	Ada: Start cleaning Ada to prepare for why beckend

CristalCaveGem » LustreC