/src/error.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec/src/error.ml @ 9d3bcc89

#	Date	Author	Comment
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
f4cba4b8	03/12/2019 11:23 AM	Pierre-Loïc Garoche	Some progress on compiling cocospec contract. Contract resolution still need to be done as well as dealing with the machine code level and so on.
f9f06e7d	11/20/2018 11:21 PM	Pierre-Loïc Garoche	- Module.load_header and load_program were merged. - Contract were extended with list of statements.
8446bf03	03/30/2018 05:54 PM	Pierre-Loïc Garoche	- Makefile: solved dependency problem when compiling include lusi - Renamed type declarations as lustre_types and machine_code_types
38ae7765	10/06/2017 10:10 AM	Pierre-Loïc Garoche	no comment
74ca6b61	09/22/2017 05:38 PM	Pierre-Loïc Garoche	A fresh option to print with declared types instead of inferred ones
264a4844	07/20/2017 10:20 PM	Pierre-Loïc Garoche	First working version of algebraic loop resolution. Disabled by default.
9094307a	07/18/2017 12:04 AM	Pierre-Loïc Garoche	Working on algebraic loop diagnostic and resolution