-Authors -

From 93d89c2b5e8497365be152fb53cb6cd4c5764d34 Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 3 Mar 2010 10:25:25 +0000 Subject: Getting rid of CIL git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cil/doc/cil017.html | 53 ----------------------------------------------------- 1 file changed, 53 deletions(-) delete mode 100644 cil/doc/cil017.html (limited to 'cil/doc/cil017.html') diff --git a/cil/doc/cil017.html b/cil/doc/cil017.html deleted file mode 100644 index a9e04eb2..00000000 --- a/cil/doc/cil017.html +++ /dev/null @@ -1,53 +0,0 @@ - - - - - - - - - - - - - -Authors - - - -

- -

17 Authors

-The CIL parser was developed starting from Hugues Casse's frontc -front-end for C although all the files from the frontc distribution have -been changed very extensively. The intermediate language and the elaboration -stage are all written from scratch. The main author is -George Necula, with significant -contributions from Scott McPeak, -Westley Weimer, -Ben Liblit, -Matt Harren, -Raymond To and Aman Bhargava.
-
-This work is based upon work supported in part by the National Science -Foundation under Grants No. 9875171, 0085949 and 0081588, and gifts from -Microsoft Research. Any opinions, findings, and conclusions or recommendations -expressed in this material are those of the author(s) and do not necessarily -reflect the views of the National Science Foundation or the other sponsors.
-
-

- - -- cgit