Path	Lines of Code
CODE_OF_CONDUCT.md	4
CONTRIBUTING.md	38
README.md	52
cbmc_viewer/doc/cbmc-viewer.md	43
cbmc_viewer/doc/make-coverage.md	21
cbmc_viewer/doc/make-loop.md	24
cbmc_viewer/doc/make-property.md	26
cbmc_viewer/doc/make-reachable.md	26
cbmc_viewer/doc/make-result.md	23
cbmc_viewer/doc/make-source.md	69
cbmc_viewer/doc/make-symbol.md	51
cbmc_viewer/doc/make-trace.md	21
summary/README.md	36
summary/projects.json	58
tests/coreHTTP/bug.patch	114
tests/coreHTTP/run-cbmc-proofs.patch	29