Skip to content
Snippets Groups Projects
Commit 2d27eedd authored by Pierre Loic Garoche's avatar Pierre Loic Garoche
Browse files

- Global type env and clock env now availble as a global reference (Global module) 

- Adapted the parsing of specification with a cocospec compatible one
- The data structure of contracts is now almost cocospec compatible
- Lustrec-test has been updated to use the newest syntax
parent 778c80fd
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 32 additions and 26 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment