/test/src - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/test/src @ c518d082

Name	Revision	Age	Author	Comment
arrays_arnaud	c518d082	almost 8 years	Xavier Thirioux	- added generation of clock information in inte...
clocks	c518d082	almost 8 years	Xavier Thirioux	- added generation of clock information in inte...
kind_fmcad08	3e36d4e0	almost 8 years	Pierre-Loïc Garoche	Added default ensures statements
lego_robot	7bc15356	almost 8 years	Pierre-Loïc Garoche	lego robot example

#	Date	Author	Comment
c518d082	03/01/2014 03:37 PM	Xavier Thirioux	- added generation of clock information in interface (.lusi) files - added clock checking between interface and implementation files
3e36d4e0	02/28/2014 11:59 PM	Pierre-Loïc Garoche	Added default ensures statements
7f611a35	02/28/2014 05:09 PM	Xavier Thirioux	- added dummy_lib.lusi (accidentally removed !?)
8b3afe43	02/28/2014 04:56 PM	Xavier Thirioux	- merged test script - added -d support - corrected #open parser problem - corrected interface/implementation (.lusi/.lus) checking for types (not yet for clocks)
7bc15356	02/05/2014 03:03 PM	Pierre-Loïc Garoche	lego robot example
ed226e0d	11/25/2013 10:39 AM	Xavier Thirioux	missing dummy lib for arrays
accbb04d	11/07/2013 07:03 PM	Xavier Thirioux	- small bug correction in dimension typing - #open keyword instead of open - dummy generic matrix/vector library interface added - modified examples according to the new syntax
0cbf0839	10/02/2013 08:13 AM	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler

Also available in: Atom