Project

General

Profile

Download (4.56 KB) Statistics
| Branch: | Tag: | Revision:

# 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