ada/cvc5
0
0
Fork 0
mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00
Code Issues Packages Projects Releases Wiki Activity

Updated copyright headers.

Browse Source
This commit is contained in:
Aina Niemetz
2018-06-22 13:04:40 -07:00
parent 897f55537b
commit 3b91ff439d
861 changed files with 1637 additions and 1500 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
examples/api/java/BitVectors.java
View File

@@ -2,9 +2,9 @@
/*! \file BitVectors.java
** \verbatim
** Top contributors (to current version):
** Morgan Deters, Paul Meng
** Morgan Deters
** This file is part of the CVC4 project.
** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS
** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS
** in the top-level source directory) and their institutional affiliations.
** All rights reserved. See the file COPYING in the top-level source
** directory for licensing information.\endverbatim