Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
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.2 KB 719ae9fd over 1 year Lélio Brun migration draft on dune
stateless.ml 4.73 KB ca7e8027 over 1 year Lélio Brun fix almost all warnings

Latest revisions

# Date Author Comment
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

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

View revisions

Also available in: Atom