/test - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/test @ 105b3645

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

#	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

Also available in: Atom