Blame frama-c-1.6.licensing
|
Mark Rader |
830c7f1 |
Breakdown of files by license:
|
|
Mark Rader |
830c7f1 |
|
|
Mark Rader |
830c7f1 |
Most files are LGPL v2.1, so only the non LGPL v2.1 files will be listed:
|
|
Mark Rader |
830c7f1 |
|
|
Mark Rader |
830c7f1 |
BSD:
|
|
Mark Rader |
830c7f1 |
cil/* except cil/src/logic/* which is LGPL v2.1
|
|
Mark Rader |
830c7f1 |
tests/minix/*
|
|
Mark Rader |
830c7f1 |
external/unmarshal*
|
|
Mark Rader |
830c7f1 |
|
|
Mark Rader |
830c7f1 |
GPL v2:
|
|
Mark Rader |
830c7f1 |
tests/spec/purse.c
|
|
Mark Rader |
830c7f1 |
|
|
Mark Rader |
830c7f1 |
GPL v2+:
|
|
Mark Rader |
830c7f1 |
tests/idtc/*
|
|
Mark Rader |
830c7f1 |
|
|
Mark Rader |
830c7f1 |
GPL (no version):
|
|
Mark Rader |
830c7f1 |
tests/bugs/evoting.c
|
|
Mark Rader |
830c7f1 |
|
|
Mark Rader |
830c7f1 |
QPL with modifications (see licenses/Q_MODIFIED_LICENSE):
|
|
|
91f4bbf |
external/hptmap.ml*
|
|
Mark Rader |
830c7f1 |
external/ptmap.ml*
|
|
Mark Rader |
830c7f1 |
-------------------------------------------------------------------------
|
|
Mark Rader |
830c7f1 |
Determination made as follows:
|
|
Mark Rader |
830c7f1 |
grep -L -r -i LGPLv2.1 * | grep -E -v '^tests|^cil'
|
|
Mark Rader |
830c7f1 |
|
|
Mark Rader |
830c7f1 |
will find the non LGPLv2.1 items that are not in tests/ or cil/. These
|
|
|
91f4bbf |
directories were examined more carefully separately.
|