/src/checks - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/checks @ 69cd79c6

Name	Size	Revision	Age	Author	Comment
.merlin	3 Bytes	ae7d913d	over 3 years	Pierre-Loïc Garoche	Merlin files
access.ml	3.66 KB	778c80fd	over 3 years	Pierre-Loïc Garoche	Some refactoring Adapted the parser/types/const...
algebraicLoop.ml	14.4 KB	0d54d8a8	over 3 years	Pierre-Loïc Garoche	Removed Contract contruct: imported node should...
init_calculus.ml	11.1 KB	778c80fd	over 3 years	Pierre-Loïc Garoche	Some refactoring Adapted the parser/types/const...
liveness.ml	12.2 KB	778c80fd	over 3 years	Pierre-Loïc Garoche	Some refactoring Adapted the parser/types/const...
stateless.ml	3.61 KB	778c80fd	over 3 years	Pierre-Loïc Garoche	Some refactoring Adapted the parser/types/const...

#	Date	Author	Comment
ae7d913d	11/16/2018 04:18 AM	Pierre-Loïc Garoche	Merlin files
0d54d8a8	11/13/2018 02:01 AM	Pierre-Loïc Garoche	Removed Contract contruct: imported node should be enough. Solved some warning at compile time
2d27eedd	10/08/2018 04:52 PM	Pierre-Loïc Garoche	- 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
778c80fd	10/05/2018 07:54 PM	Pierre-Loïc Garoche	Some refactoring Adapted the parser/types/constructors for cocospec syntax

Also available in: Atom