/src/checks - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/checks @ aaa8e454

Name	Size	Revision	Age	Author	Comment
access.ml	3.64 KB	ca7e8027	over 1 year	Lélio Brun	fix almost all warnings
algebraicLoop.ml	14.4 KB	ca7e8027	over 1 year	Lélio Brun	fix almost all warnings
init_calculus.ml	11.1 KB	778c80fd	over 3 years	Pierre-Loïc Garoche	Some refactoring Adapted the parser/types/const...
liveness.ml	12.1 KB	7ee5f69e	about 1 year	Lélio Brun	corrections on loggers + spec in AST
stateless.ml	4.73 KB	ca7e8027	over 1 year	Lélio Brun	fix almost all warnings

#	Date	Author	Comment
7ee5f69e	05/04/2021 10:20 AM	Lélio Brun	corrections on loggers + spec in AST
dfce5630	04/26/2021 05:12 PM	Lélio Brun	patch de Xavier pour réparer -O 3
15c3e4e7	03/08/2021 10:58 AM	Lélio Brun	generic ACSL spec generation
b20c1e19	02/19/2021 11:21 AM	Lélio Brun	Merge branch 'dune'
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
574c671b	03/12/2020 11:21 AM	Xavier Thirioux	1) log messages are now flushed. 2) very long computation times due to naive code to check for unused variables are now much shorter
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

Also available in: Atom