Merge pull request #95 from ftsrg/theta-v2.10

Update to Theta v2.10.0

Merge pull request #91 from ftsrg/portfolio-patch

Updating Benchexec to new portfolio and adding related docs

Merge pull request #89 from ftsrg/patch-move-bmcverifier

Minor refactor: Move BMCVerifier inside gazer-bmc

Merge pull request #87 from ftsrg/configurable-portfolio

Add configurable portfolio

Support for newer boost versions above 1.70 (#74)

Merge pull request #71 from ftsrg/theta-v2.8.0

Upgrade to Theta v2.8.0

Bump to version 1.3

Adjust timeouts, bump version

Merge pull request #53 from ftsrg/float-cast

Add support for bitcast instructions between bitvectors and float types

v1.1.5: Fixed path bug in starter script, script was buggy, if starte…

…d from scripts dir