From 6c196ec8a41d6ed506c133c8b33dba9684f9a7a6 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 3 Mar 2010 12:34:43 +0000
Subject: Updated raytracer test.  Added SPASS test.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1271 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/spass/AUTHORS | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 test/spass/AUTHORS

(limited to 'test/spass/AUTHORS')

diff --git a/test/spass/AUTHORS b/test/spass/AUTHORS
new file mode 100644
index 00000000..c373ede8
--- /dev/null
+++ b/test/spass/AUTHORS
@@ -0,0 +1,23 @@
+Current:
+========
+
+Christoph Weidenbach		<weidenb@mpi-sb.mpg.de>
+Uwe Brahm			<brahm@mpi-sb.mpg.de>
+Thomas Hillenbrand		<hillen@mpi-sb.mpg.de>
+Dalibor Topic			<topic@mpi-sb.mpg.de>
+
+
+Former:
+=======
+
+Bijan Afshordel			<afshorde@mpi-sb.mpg.de>
+Christof Brinker		<chbr@mpi-sb.mpg.de>
+Christian Cohrs			<cohrs@mpi-sb.mpg.de>
+Thorsten Engel			<engel@mpi-sb.mpg.de>
+Bernd Gaede			<gaede@mpi-sb.mpg.de>
+Peter Graf			<graf@mpi-sb.mpg.de>
+Georg Jung			<gjung@mpi-sb.mpg.de>
+Christoph Meyer			<meyer@mpi-sb.mpg.de>
+Georg Rock			<rock@mpi-sb.mpg.de>
+Christian Theobalt		<theobalt@mpi-sb.mpg.de>
+
-- 
cgit