diff options
Diffstat (limited to 'LICENSE')
| -rw-r--r-- | LICENSE | 14 |
1 files changed, 6 insertions, 8 deletions
@@ -37,14 +37,12 @@ files are free software and can be used both in commercial and non-commercial contexts, subject to the terms of the GNU General Public License. -This distribution includes a copy of the CIL library and modifications -to this library in the form of patches. The CIL library is Copyright -2001-2005 George C. Necula, Scott McPeak, Wes Weimer and Ben Liblit. -The modifications contained in the sub-directory cil.patches/ of this -distribution are Copyright 2006, 2007, 2008, 2009 Institut National de -Recherche en Informatique et en Automatique. The CIL library and the -modifications contained in the sub-directory cil.patches/ are -distributed under the terms of the BSD license, included below. +This distribution includes a modified copy of the CIL library. +The CIL library is Copyright 2001-2005 George C. Necula, Scott McPeak, +Wes Weimer and Ben Liblit. The modifications are Copyright 2006, +2007, 2008, 2009 Institut National de Recherche en Informatique et en +Automatique. The CIL library and the modifications are distributed +under the terms of the BSD license, included below. ---------------------------------------------------------------------- |