diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-01-11 15:12:02 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-01-11 15:12:02 +0100 |
| commit | d39a9b5eac9369a91d75b9a170c5590a976671e4 (patch) | |
| tree | e3b9f82b1292d0d5bcd003d0adb392288c2d550d /README.md | |
| parent | e62ce4ba961cd0767a80f9e89f6f559bc1e341e9 (diff) | |
| download | compcert-kvx-d39a9b5eac9369a91d75b9a170c5590a976671e4.tar.gz compcert-kvx-d39a9b5eac9369a91d75b9a170c5590a976671e4.zip | |
Update copyright section
So that it is consistent with the LICENSE file.
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -25,9 +25,10 @@ professional support, can be purchased from information. ## Copyright -The CompCert verified compiler is Copyright 2004, 2005, 2006, 2007, -2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015 Institut National de -Recherche en Informatique et en Automatique (INRIA). +The CompCert verified compiler is Copyright Institut National de +Recherche en Informatique et en Automatique (INRIA) and +AbsInt Angewandte Informatik GmbH. + ## Contact General discussions on CompCert take place on the |