projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b7d0c09) | patch
Add copyright information. (#1201)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 10 Oct 2017 22:36:09 +0000 (15:36 -0700)
committerGitHub <noreply@github.com>
Tue, 10 Oct 2017 22:36:09 +0000 (15:36 -0700)
commitdd979fcdb5a952462e4d6702999b5354de5a7be8
treecb4d590f0cba3ec2408633d7e2c70808167b2ad2tree
parentb7d0c09bd12b9d0f46deab199714ce3441206d7fcommit | diff
Add copyright information. (#1201)

This adds option --copyright which displays copyright information for CVC4. It further extends --show-config with copyright information and adds a banner with copyright information in interactive mode.
src/base/configuration.cpp diff | blob | history
src/base/configuration.h diff | blob | history
src/base/configuration_private.h diff | blob | history
src/main/driver_unified.cpp diff | blob | history
src/options/main_options diff | blob | history
src/options/options_handler.cpp diff | blob | history
src/options/options_handler.h diff | blob | history