/test/src - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/test/src @ 6bab3787

Name	Revision	Age	Author	Comment
arrays_arnaud	3e79b3a5	almost 9 years	Xavier Thirioux	- stupid svn had removed a file, again
clocks	6bab3787	almost 9 years	Xavier Thirioux	In order to export any type of constants, moved...
kind_fmcad08	3e36d4e0	almost 9 years	Pierre-Loïc Garoche	Added default ensures statements
lego_robot	7bc15356	almost 9 years	Pierre-Loïc Garoche	lego robot example

#	Date	Author	Comment
6bab3787	03/05/2014 02:35 PM	Xavier Thirioux	In order to export any type of constants, moved type definitions from .c to .h
3e79b3a5	03/01/2014 03:38 PM	Xavier Thirioux	- stupid svn had removed a file, again
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