Project

General

Profile

« Previous | Next » 

Revision 2d27eedd

ID2d27eeddd725df3d72d3cb70ecd25c6b9f37bb08
Parent 778c80fd
Child a6b15b13, 73ccaf2f

Added by Pierre-Loïc Garoche 11 months 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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences