diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-15 11:19:08 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-16 15:23:00 -0500 |
commit | f06ae104dc3caf9b4ff01a0b2d49b09ace88faad (patch) | |
tree | 488669992e6d375450e18a2c92659be3f93f7a88 /COPYING | |
parent | 5e29fdffd2f72212d699316f9b27e1bf9d6c715c (diff) |
Some cleanup and copyright updating
* update some copyrights for 2013
* cleaned up some comments/ifdefs, indentation
* some spelling corrections
* add some missing makefiles
Diffstat (limited to 'COPYING')
-rw-r--r-- | COPYING | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,5 +1,5 @@ -CVC4 is copyright (C) 2009, 2010, 2011, 2012 New York University and -The University of Iowa. All rights reserved. +CVC4 is copyright (C) 2009, 2010, 2011, 2012, 2013 New York University +and The University of Iowa. All rights reserved. CVC4 is open-source; distribution is under the terms of the modified BSD license. However, certain builds of CVC4 link against GPLed libraries, @@ -19,7 +19,7 @@ THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. --- Morgan Deters <mdeters@cs.nyu.edu> Fri, 04 Feb 2011 14:56:41 -0500 +-- Morgan Deters <mdeters@cs.nyu.edu> Mon, 28 Jan 2013 17:22:36 -0500 CVC4 incorporates MiniSat code, excluded from the above copyright. See src/sat/minisat. Its copyright: |