Permalink
Comparing changes
Choose two branches to see what’s changed or to start a new pull request.
If you need to, you can also or
learn more about diff comparisons.
Open a pull request
Create a new pull request by comparing changes across two branches. If you need to, you can also .
Learn more about diff comparisons here.
...
- 16 commits
- 87 files changed
- 4 contributors
Commits on Jan 23, 2021
Commits on Jan 24, 2021
-
-
-
Merge pull request #87 from ftsrg/configurable-portfolio
Add configurable portfolio
Commits on Feb 1, 2021
Commits on Feb 4, 2021
-
-
Merge pull request #89 from ftsrg/patch-move-bmcverifier
Minor refactor: Move BMCVerifier inside gazer-bmc
Commits on Feb 5, 2021
Commits on Feb 8, 2021
-
-
Merge pull request #91 from ftsrg/portfolio-patch
Updating Benchexec to new portfolio and adding related docs
Commits on Feb 9, 2021
-
Merge pull request #93 from ftsrg/docker-update
Added new GH workflow for testing the Docker image; removed Travis
Commits on Feb 11, 2021
-
-
-
Merge pull request #95 from ftsrg/theta-v2.10
Update to Theta v2.10.0
Commits on Mar 26, 2021
Loading
This comparison is taking too long to generate.
Unfortunately it looks like we can’t render this comparison for you right now. It might be too big, or there might be something weird with your repository.
You can try running this command locally to see the comparison on your machine:
git diff v1.3.2...master