« Previous | Next » 

Revision 2d27eedd

Added by Pierre-Loïc Garoche over 5 years ago

- 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

  • added
  • modified
  • copied
  • renamed
  • deleted