Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src/checks @ 589ccf9f

Name Size Revision Age Author Comment
.merlin 3 Bytes ae7d913d over 3 years Pierre-Loïc Garoche Merlin files
access.ml 3.66 KB 778c80fd over 3 years Pierre-Loïc Garoche Some refactoring Adapted the parser/types/const...
algebraicLoop.ml 14.5 KB 04a188ec over 2 years Pierre-Loïc Garoche - Refactored Error exception and messages - Bug...
init_calculus.ml 11.1 KB 778c80fd over 3 years Pierre-Loïc Garoche Some refactoring Adapted the parser/types/const...
liveness.ml 12.2 KB 778c80fd over 3 years Pierre-Loïc Garoche Some refactoring Adapted the parser/types/const...
stateless.ml 4.73 KB 2120af73 over 2 years Pierre-Loïc Garoche [bug cavale 93] solved: issue when resetting a ...

Latest revisions

# Date Author Comment
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
2200179c 07/16/2019 07:43 PM Pierre-Loïc Garoche

removed reload of external modules when checking algebraic loop.
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.
5fccce23 11/21/2018 03:23 AM Pierre-Loïc Garoche

- Dep type with a tuple has been replaced by a record type
- Modules now is more integrated and performed the building of the type/clock env.
previously some computation were performed twice by different functions. Some of these functions have been moved from compiler_common to modules
59803095 11/16/2018 11:30 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal
ae7d913d 11/16/2018 04:18 AM Pierre-Loïc Garoche

Merlin files
0d54d8a8 11/13/2018 02:01 AM Pierre-Loïc Garoche

Removed Contract contruct: imported node should be enough. Solved some warning at compile time
82906771 11/08/2018 03:58 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal

View revisions

Also available in: Atom