Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test @ 3f823d04

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.78 KB 3f823d04 about 5 years Xavier Thirioux - corrected bug with destination directory (-d ...
tests_ok.list 51.6 KB 3f823d04 about 5 years Xavier Thirioux - corrected bug with destination directory (-d ...

Latest revisions

# Date Author Comment
3f823d04 09/02/2014 05:46 PM Xavier Thirioux

- corrected bug with destination directory (-d option)
- corrected several bugs in inlining
- STILL, BUGS REMAINING in inlined code !!??!!

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

View revisions

Also available in: Atom