Include git revision in version output#2373

Merged

kroening merged 5 commits intodiffblue:developfrom

tautschnig:git-version-output

Jun 21, 2018

Commits on Jun 21, 2018

Added CBMC_VERSION defines to CMake configuration
tautschnig
committed
Print git revision with all --version outputs
tautschnig
committed
windowsify compiler options

Matthias Güdemann
authored and
tautschnig
committed
Build .release_info files containing the version string
tautschnig
committed
add centered git version to CBMC banner

Matthias Güdemann
authored and
tautschnig
committed