diff options
author | Andres Erbsen <andreser@mit.edu> | 2016-06-25 19:16:34 -0400 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2016-06-25 19:16:34 -0400 |
commit | 4360c60205d379f349cbfc6e8c0a691a0a4d45fc (patch) | |
tree | f3ee7e1c73fe8482f4a76b1c7f7c976db1b6e105 | |
parent | 2e96e2cab74d00b40188b00a4e90eeeaa1c46706 (diff) |
update licensing information
-rw-r--r-- | AUTHORS | 16 | ||||
-rw-r--r-- | CONTRIBUTORS | 31 | ||||
-rw-r--r-- | LICENSE | 2 |
3 files changed, 48 insertions, 1 deletions
diff --git a/AUTHORS b/AUTHORS new file mode 100644 index 000000000..31d71c211 --- /dev/null +++ b/AUTHORS @@ -0,0 +1,16 @@ +# This is the official list of fiat-crypto authors for copyright purposes. +# This file is distinct from the CONTRIBUTORS files. +# See the latter for an explanation. + +# Names should be added to this file as one of +# Organization's name +# Individual's name <submission email address> +# Individual's name <submission email address> <email2> <emailN> +# See CONTRIBUTORS for the meaning of multiple email addresses. + +# Please keep the list sorted. + +Andres Erbsen <andreser@mit.edu> +Google Inc. +Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com> +Massachusetts Institute of Technology diff --git a/CONTRIBUTORS b/CONTRIBUTORS new file mode 100644 index 000000000..cf6cd93fa --- /dev/null +++ b/CONTRIBUTORS @@ -0,0 +1,31 @@ +# This is the official list of people have contributed code to the +# fiat-crypto repository. +# +# The AUTHORS file lists the copyright holders; this file +# lists people. For example, Google employees are listed here +# but not in AUTHORS, because Google holds the copyright. +# +# When adding J Random Contributor's name to this file, +# either J's name or J's organization's name should be +# added to the AUTHORS file, depending on who holds the copyright. +# +# Names should be added to this file like so: +# Individual's name <submission email address> +# Individual's name <submission email address> <email2> <emailN> +# +# An entry with multiple email addresses specifies that the +# first address should be used in the submit logs and +# that the other addresses should be recognized as the +# same person. + +# Please keep the list sorted. + +## This file allows joining different accounts of a single person. +## Cf for instance: git shortlog -nse. More details via: man git shortlog + +Adam Chlipala <adamc@csail.mit.edu> <adam@chlipala.net> +Andres Erbsen <andreser@mit.edu> +Daniel Ziegler <dmz@mit.edu> +Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com> +Jason Gross <jgross@mit.edu> <jagro@google.com> <jasongross9@gmail.com> +Robert Sloan <rsloan@mit.edu> <varomodt@gmail.com> <rsloan@sumologic.com> @@ -1,6 +1,6 @@ The MIT License (MIT) -Copyright (c) 2015 Programming Languages and Verification Group at MIT CSAIL +Copyright (c) 2015-2016 the fiat-crypto authors (see the AUTHORS file). Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal |