search

model-checking / cbmc-viewer

CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
https://model-checking.github.io/cbmc-viewer/
Apache License 2.0
32 stars 11 forks source link

Ctag support #58

Closed markrtuttle closed 2 years ago

markrtuttle commented 2 years ago

This pull request cleans up ctag support. The first commit removes support for etags. The second commit simplifies support for ctags, and as a side-effect now supports both exuberant ctags and universal ctags.

This pull requests depends on https://github.com/awslabs/aws-viewer-for-cbmc/pull/57. All but the last two commits on this pull request are part of that pull request. Do not merge until that pull request has been merged.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

markrtuttle commented 2 years ago

I will modernize the README in another pull request. Thanks.