From: bdemsky Date: Tue, 26 Nov 2019 05:51:11 +0000 (-0800) Subject: Merge branch 'branch-weiyu' of ssh://plrg.eecs.uci.edu:/home/git/random-fuzzer into... X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=589ef08009312b7a1cfa5842113030824ccaca47;hp=85de8a1591855db0bc0608b67532515df12e65cc Merge branch 'branch-weiyu' of ssh://plrg.eecs.uci.edu:/home/git/random-fuzzer into branch-weiyu --- diff --git a/README.md b/README.md index be6701cd..8ae834c4 100644 --- a/README.md +++ b/README.md @@ -242,6 +242,18 @@ Copyright © 2013 and 2019 Regents of the University of California. All righ C11Tester is distributed under the GPL v2. See the LICENSE file for details. +Acknowledgments +--------------- + +This material is based upon work supported by the National Science +Foundation under Grant Numbers 1740210 and 1319786 and Google Research +awards. + +Any opinions, findings, and conclusions or recommendations expressed in +this material are those of the author(s) and do not necessarily reflect +the views of the National Science Foundation. + + References ----------