/test - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/test @ 14ebde97

Name	Size	Revision	Age	Author	Comment
Makefile	244 Bytes	b8ae1bbc	over 9 years	Pierre-Loïc Garoche	Improvements as suggested by e. Noulard: better...
test-compile.sh	6.25 KB	14ebde97	about 9 years	Xavier Thirioux	improved code generation by factorizing out arrows
tests_ok.list	50.3 KB	1699b8ff	about 9 years	Pierre-Loïc Garoche	Updated test script: changed path and verbose mode

#	Date	Author	Comment
14ebde97	03/17/2014 01:01 PM	Xavier Thirioux	improved code generation by factorizing out arrows
8a5f633d	03/17/2014 12:46 PM	Pierre-Loïc Garoche	Version compatible avec le francais
1699b8ff	03/17/2014 09:06 AM	Pierre-Loïc Garoche	Updated test script: changed path and verbose mode
67ba882b	03/17/2014 07:44 AM	Pierre-Loïc Garoche	Moved tests outside of source code to avoid useless duplication.
cbe93c65	03/17/2014 07:40 AM	Pierre-Loïc Garoche	Added Alice Tailliar example
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
626e6f03	02/28/2014 11:59 PM	Pierre-Loïc Garoche	Updated script. Does not seem to be fully functional yet.
3e36d4e0	02/28/2014 11:59 PM	Pierre-Loïc Garoche	Added default ensures statements

Also available in: Atom