projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb22eb1) | patch
include subversion information used for each build in the --show-config output and...
authorMorgan Deters <mdeters@gmail.com>
Sat, 28 May 2011 05:51:01 +0000 (05:51 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 28 May 2011 05:51:01 +0000 (05:51 +0000)
commitcac515ace0282dc5f3ee4de854ca1a5223bdf29a
treea3f337ea871f380dcb835b1f4b26997fd634ba7ftree
parentbb22eb1a5f9c3bcd5a043eb8c48f28fada58f370commit | diff
include subversion information used for each build in the --show-config output and as a banner in --interactive mode; intended to resolve confusion in cases where you don't know where a CVC4 binary came from
src/Makefile.am diff | blob | history
src/main/main.cpp diff | blob | history
src/util/configuration.cpp diff | blob | history
src/util/configuration.h diff | blob | history
src/util/options.cpp diff | blob | history