Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / checks / stateless.ml @ d75eb6f1

History | View | Annotate | Download (4.05 KB)

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