- 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
- 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