/src/access.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec/src/access.ml @ f6acf47b

#	Date	Author	Comment
1eda3e78	09/09/2014 06:03 PM	Xavier Thirioux	- work in progress for automata...
b38ffff3	07/09/2014 09:57 AM	Pierre-Loïc Garoche	Updated the licence info and header for each file. Moved backends in separate folders
0038002e	07/02/2014 05:29 PM	Pierre-Loïc Garoche	Prepared first stage of code reorg: 1. moved type def in lustrespec.ml 2. moved constructor and basic functions in corelang 3. Modified eexpr with prenext quantifiers
0cbf0839	10/02/2013 08:13 AM	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler