projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 171007a) | patch
Fix wording on GPL in legal notices; also remove an unnecessary source dependence.
authorMorgan Deters <mdeters@gmail.com>
Thu, 11 Oct 2012 13:19:09 +0000 (13:19 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 11 Oct 2012 13:19:09 +0000 (13:19 +0000)
commitee65bafc737d36eaabb871c016e6756aef5bd115
tree84caa2c67d92a379b5e26ced726cf2b34feb2417tree
parent171007ac1c30e869014182817a2f1e52a155cb1acommit | diff
Fix wording on GPL in legal notices; also remove an unnecessary source dependence.

(this commit was certified error- and warning-free by the test-and-commit script.)
COPYING diff | blob | history
src/expr/node_manager.h diff | blob | history
src/util/configuration_private.h diff | blob | history