Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test @ 1692756a

Name Size Revision Age Author Comment
Makefile 244 Bytes 71513f0e over 6 years Pierre-Loïc Garoche Improvements as suggested by e. Noulard: better...
test-compile.sh 6.22 KB 1692756a over 6 years Pierre-Loïc Garoche Updated test script: changed path and verbose m...
tests_ok.list 50.3 KB 1692756a over 6 years Pierre-Loïc Garoche Updated test script: changed path and verbose m...

Latest revisions

# Date Author Comment
1692756a 03/17/2014 09:06 AM Pierre-Loïc Garoche

Updated test script: changed path and verbose mode

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@205 041b043f-8d7c-46b2-b46e-ef0dd855326e

3f9600bb 03/17/2014 07:44 AM Pierre-Loïc Garoche

Moved tests outside of source code to avoid useless duplication.

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@204 041b043f-8d7c-46b2-b46e-ef0dd855326e

443f0686 03/17/2014 07:40 AM Pierre-Loïc Garoche

Added Alice Tailliar example

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@203 041b043f-8d7c-46b2-b46e-ef0dd855326e

2fa10a44 03/05/2014 02:35 PM Xavier Thirioux

In order to export any type of constants, moved type definitions from .c to .h

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@179 041b043f-8d7c-46b2-b46e-ef0dd855326e

5e925ce8 03/01/2014 03:38 PM Xavier Thirioux

- stupid svn had removed a file, again

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@177 041b043f-8d7c-46b2-b46e-ef0dd855326e

8f1c7e91 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

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@176 041b043f-8d7c-46b2-b46e-ef0dd855326e

c3bbc76e 02/28/2014 11:59 PM Pierre-Loïc Garoche

Updated script. Does not seem to be fully functional yet.

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@174 041b043f-8d7c-46b2-b46e-ef0dd855326e

65f71d05 02/28/2014 11:59 PM Pierre-Loïc Garoche

Added default ensures statements

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@173 041b043f-8d7c-46b2-b46e-ef0dd855326e

a6c265f5 02/28/2014 05:09 PM Xavier Thirioux

- added dummy_lib.lusi (accidentally removed !?)

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@172 041b043f-8d7c-46b2-b46e-ef0dd855326e

7291cb80 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)

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@171 041b043f-8d7c-46b2-b46e-ef0dd855326e

View revisions

Also available in: Atom