diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2017-10-05 14:42:18 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-05 14:42:18 -0700 |
| commit | d4ca5c6bdc76fa97e1288b253452f03ff56f7c81 (patch) | |
| tree | e7bc2120410119d604eb1a422a4aa013f49994bd /src/parser/parser.h | |
| parent | ce593db9ebb3d7e2bfb196ec968ebc1d15f17201 (diff) | |
Split COPYING file, add missing licenses. (#1195)
The COPYING file now only contains the modified BSD license of CVC4 and specifies the software that is either incorporated into CVC4 or can be linked against CVC4. The copyright and license information for each software can now be found in the licenses/<software>-LICENSE.
The COPYING file has now 3 sections:
(1) modified BSD license of CVC4
(2) non-GPLv3 software that is incorporated in CVC4 or that can be linked against CVC4
(3) GPLv3 software that can be optionally linked against CVC4
Diffstat (limited to 'src/parser/parser.h')
0 files changed, 0 insertions, 0 deletions