Exposing Boolector's "version id" over the API

Boolector / boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

http://boolector.github.io

Other

332 stars 62 forks source link

Exposing Boolector's "version id" over the API #26

Closed aytey closed 5 years ago

aytey commented 5 years ago

For certain development/release scenarios, it would be beneficial to be able to get the git hash for the current build programmatically, as it is more granular that the Boolector version string.

This is something that is supported in Z3: https://github.com/Z3Prover/z3/commit/3587baaf24e001e3d88d49395357a826f743a189

and in STP: https://github.com/stp/stp/blob/master/lib/Util/GitSHA1.cpp.in

This PR exposes BTOR_ID over the C API and the Python API.

aytey commented 5 years ago

@mpreiner changes made, commits squashed and signed-off