Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test @ d4807c3d

Name Size Revision Age Author Comment
Makefile 244 Bytes 71513f0e about 7 years Pierre-Loïc Garoche Improvements as suggested by e. Noulard: better...
test-compile.sh 6.25 KB 8ea13d96 almost 7 years Xavier Thirioux added liveness analysis for reusing dead variab...
tests_ok.list 50.3 KB 1692756a almost 7 years Pierre-Loïc Garoche Updated test script: changed path and verbose m...

Latest revisions

# Date Author Comment
8ea13d96 03/18/2014 06:05 PM Xavier Thirioux

added liveness analysis for reusing dead variables. Not yet used.

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@215 041b043f-8d7c-46b2-b46e-ef0dd855326e
2e6f9ba8 03/17/2014 01:01 PM Xavier Thirioux

improved code generation by factorizing out arrows

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@207 041b043f-8d7c-46b2-b46e-ef0dd855326e
6955f956 03/17/2014 12:46 PM Pierre-Loïc Garoche

Version compatible avec le francais

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@206 041b043f-8d7c-46b2-b46e-ef0dd855326e
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

View revisions

Also available in: Atom