const int COMMITS_AHEAD_OF_VERSION
If the currently-compiled version of the Derecho library is more recent than the last "release" versi...
const int PATCH_VERSION
The current "patch" (more-minor) version number of the Derecho library, as defined by Git...
const char * VERSION_STRING
A constant C-style string containing the current Derecho library version in dot-separated format...
const int MAJOR_VERSION
The current major version number of the Derecho library, as defined by Git.
const int MINOR_VERSION
The current minor version number of the Derecho library, as defined by Git.
const char * VERSION_STRING_PLUS_COMMITS
A constant C-style string containing the current Derecho library version in dot-separated format...