diff options
Diffstat (limited to 'v2/assets/Supplement/MIT')
-rw-r--r-- | v2/assets/Supplement/MIT/checker-framework.txt | 13 | ||||
-rw-r--r-- | v2/assets/Supplement/MIT/preface-a.txt | 1 |
2 files changed, 14 insertions, 0 deletions
diff --git a/v2/assets/Supplement/MIT/checker-framework.txt b/v2/assets/Supplement/MIT/checker-framework.txt new file mode 100644 index 0000000..c4d1ce3 --- /dev/null +++ b/v2/assets/Supplement/MIT/checker-framework.txt @@ -0,0 +1,13 @@ +******************************************************************************* +Checker Framework Annotations +******************************************************************************* +A few parts of the Checker Framework have more permissive licenses. + + * The annotations are licensed under the MIT License. (The text of this + license appears below.) More specifically, all the parts of the Checker + Framework that you might want to include with your own program use the + MIT License. This is the checker-qual.jar file and all the files that + appear in it: every file in a qual/ directory, plus NullnessUtils.java + and RegexUtil.java. In addition, the cleanroom implementations of + third-party annotations, which the Checker Framework recognizes as + aliases for its own annotations, are licensed under the MIT License. diff --git a/v2/assets/Supplement/MIT/preface-a.txt b/v2/assets/Supplement/MIT/preface-a.txt new file mode 100644 index 0000000..f242f51 --- /dev/null +++ b/v2/assets/Supplement/MIT/preface-a.txt @@ -0,0 +1 @@ +MIT License: |