/src/spec.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec / src / spec.ml @ 95944ba1

History | View | Annotate | Download (524 Bytes)

#			Date	Author	Comment
8446bf03			03/30/2018 05:54 PM	Pierre-Loïc Garoche	- Makefile: solved dependency problem when compiling include lusi - Renamed type declarations as lustre_types and machine_code_types
e70326c9			06/22/2017 05:26 PM	Pierre-Loïc Garoche	Providing means to have specification as dynamic checks. [bug] seems to crash with EMF backend