summaryrefslogtreecommitdiff
path: root/test/raytracer
Commit message (Expand)AuthorAge
* Merge of the "volatile" branch:Gravatar xleroy2012-02-04
* Presimplification SimplVolatile: cleaned up and integrated.Gravatar xleroy2011-08-18
* Improved test harnessGravatar xleroy2011-03-10
* Updated for Coq 8.3pl1. Some cleanups in test/*/Makefile.Gravatar xleroy2011-03-09
* Merge of the reuse-temps branch:Gravatar xleroy2010-09-02
* Updated raytracer test. Added SPASS test.Gravatar xleroy2010-03-03
* ProtoizedGravatar xleroy2010-03-02
* Cil2Csyntax: added goto and labels; added assignment between structsGravatar xleroy2009-08-16
* Ajout nouveaux testsGravatar xleroy2008-08-09