Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test @ 36454535

Name Size Revision Age Author Comment
Makefile 266 Bytes 4437ddbc over 5 years Pierre-Loïc Garoche Updated list with new tests
test-compile.sh 6.38 KB 36454535 over 5 years Pierre-Loïc Garoche Merged horn_traces branch
tests_ok.list 51.5 KB 4437ddbc over 5 years Pierre-Loïc Garoche Updated list with new tests

Latest revisions

# Date Author Comment
36454535 07/03/2014 10:46 PM Pierre-Loïc Garoche

Merged horn_traces branch

839ca600 06/17/2014 11:56 PM Pierre-Loïc Garoche

Update on the test script

4437ddbc 05/19/2014 01:57 PM Pierre-Loïc Garoche

Updated list with new tests

6cf31814 03/18/2014 06:05 PM Xavier Thirioux

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

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

View revisions

Also available in: Atom