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

Update copyright headers for release 1.0 (#8539)

Browse Source
This commit is contained in:
Mathias Preiner
2022-04-05 13:38:57 -07:00
committed by GitHub
parent 2a1fa5d673
commit d01e59c13b
1742 changed files with 3179 additions and 3142 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1,10 +1,10 @@
/******************************************************************************
* Top contributors (to current version):
* Andres Noetzli
* Mudathir Mohamed, Andres Noetzli
*
* This file is part of the cvc5 project.
*
* Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
* Copyright (c) 2009-2022 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.