Closed markrtuttle closed 2 years ago
This pull request makes two significant changes to how cbmc-viewer is packaged:
These are the preferred implementations described in the packaging overviews:
It also moves the cbmc-viewer module under a src directory to be consistent with these documents (the first commit).
This pull requested is organized into three commits to make it easy to review, but they should be squashed into a single commit before merging.
This pull request makes two significant changes to how cbmc-viewer is packaged:
These are the preferred implementations described in the packaging overviews:
It also moves the cbmc-viewer module under a src directory to be consistent with these documents (the first commit).
This pull requested is organized into three commits to make it easy to review, but they should be squashed into a single commit before merging.