/src/checks - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/checks @ 325f07c0

Name	Size	Revision	Age	Author	Comment
.merlin	3 Bytes	ae7d913d	almost 5 years	Pierre-Loïc Garoche	Merlin files
access.ml	3.66 KB	778c80fd	almost 5 years	Pierre-Loïc Garoche	Some refactoring Adapted the parser/types/const...
algebraicLoop.ml	14.5 KB	5fccce23	almost 5 years	Pierre-Loïc Garoche	- Dep type with a tuple has been replaced by a ...
init_calculus.ml	11.1 KB	778c80fd	almost 5 years	Pierre-Loïc Garoche	Some refactoring Adapted the parser/types/const...
liveness.ml	12.2 KB	778c80fd	almost 5 years	Pierre-Loïc Garoche	Some refactoring Adapted the parser/types/const...
stateless.ml	4.05 KB	f4cba4b8	over 4 years	Pierre-Loïc Garoche	Some progress on compiling cocospec contract. C...

#	Date	Author	Comment
f4cba4b8	03/12/2019 11:23 AM	Pierre-Loïc Garoche	Some progress on compiling cocospec contract. Contract resolution still need to be done as well as dealing with the machine code level and so on.
5fccce23	11/21/2018 03:23 AM	Pierre-Loïc Garoche	- Dep type with a tuple has been replaced by a record type - Modules now is more integrated and performed the building of the type/clock env. previously some computation were performed twice by different functions. Some of these functions have been moved from compiler_common to modules
59803095	11/16/2018 11:30 PM	Pierre-Loïc Garoche	Merge branch 'unstable' into lustrec-seal
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
82906771	11/08/2018 03:58 PM	Pierre-Loïc Garoche	Merge branch 'unstable' into lustrec-seal
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