/src/checks/stateless.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec/src/checks/stateless.ml @ ca7ff3f7

#	Date	Author	Comment
ca7ff3f7	06/17/2021 11:33 AM	Lélio Brun	reformatting
ca7e8027	02/05/2021 02:36 PM	Lélio Brun	fix almost all warnings
2120af73	01/27/2020 07:00 PM	Pierre-Loïc Garoche	[bug cavale 93] solved: issue when resetting a stateless node. Now generating a warning and forcing the stateful status. Could be improved to remove the reset statement. (TODO)
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
94a9e2c3	11/20/2019 04:10 PM	Pierre-Loïc Garoche	better location error
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.
778c80fd	10/05/2018 07:54 PM	Pierre-Loïc Garoche	Some refactoring Adapted the parser/types/constructors for cocospec syntax