Skip to content

Compare changes

Compare changes across branches, commits, tags, and more below. If you need to, you can also .
base repository: diffblue/cbmc
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 13fc337bc50138f1a99f05ffc1b6c7bb7ee8dfbe
Choose a base ref
..
head repository: diffblue/cbmc
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 5f540496a1c7f8c1d7fbd76f235fa4731e746c6b
Choose a head ref
Choose different branches or forks above to discuss and review changes. Learn about pull requests

There isn’t anything to compare.

We couldn’t figure out how to compare these references, do they point to valid commits?

Example comparisons