/src/pluginType.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec / src / pluginType.ml @ d75eb6f1

History | View | Annotate | Download (852 Bytes)

#	Date	Author	Comment
c3b0a8c9	03/16/2019 03:28 PM	Pierre-Loïc Garoche	Merge branch 'salsa' into lustrec-seal
61df3cb9	03/16/2019 06:23 AM	Pierre-Loïc Garoche	Reformating plugin signatures. Better report management
6eda0c25	03/30/2018 11:40 PM	Pierre-Loïc Garoche	Merge branch 'unstable' into lustrec-seal
089f94be	03/30/2018 10:43 PM	Pierre-Loïc Garoche	MLI for normalization and machine_code. Structs defining machines are now in machine_code_types
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
ad4774b0	03/15/2018 12:07 AM	Pierre-Loïc Garoche	- Normalization parameters (alias and unfold_array) are now provided as parameter - program type renamed as program_t - Initiating the lustrev tool with dependencies to z3 and seal.
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