add git shortened sha1sum to CBMC version for unique id#668

Closed

mgudemann wants to merge 6 commits intodiffblue:developfrom

mgudemann:feature/git_version_output

Commits on May 8, 2017

Print git revision with all --version outputs

tautschnig
authored and
Matthias Güdemann
committed
use git-describe for version UID creation
Matthias Güdemann
committed
windowsify compiler options
Matthias Güdemann
committed
Build .release_info files containing the version string

tautschnig
authored and
Matthias Güdemann
committed
RELEASE_INFO -> GIT_INFO
Matthias Güdemann
committed

Commits on May 10, 2017

add centered git version to CBMC banner
Matthias Güdemann
committed