/src/pluginType.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec / src / pluginType.ml @ ef8a361a

History | View | Annotate | Download (691 Bytes)

#			Date	Author	Comment
7ab1c5bd			06/22/2017 05:21 PM	Pierre-Loïc Garoche	- Added a precision parameter for io_frontend "real" types - New fonction in plugins: main_loop_body_prefix
f6acf47b			11/26/2015 06:17 PM	Pierre-Loïc Garoche	Plugin based framework