- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Text files
path like ".*[.]txt"
14 files:

test/cbmc/proofs/skipCollection/cbmc-proof.txt
test/cbmc/proofs/skipSpace/cbmc-proof.txt
test/cbmc/proofs/JSON_Search/cbmc-proof.txt
test/cbmc/proofs/skipNumber/cbmc-proof.txt
test/cbmc/proofs/skipSpaceAndComma/cbmc-proof.txt
test/cbmc/proofs/skipUTF8/cbmc-proof.txt
test/cbmc/proofs/JSON_Iterate/cbmc-proof.txt
test/cbmc/proofs/skipString/cbmc-proof.txt
test/cbmc/proofs/skipEscape/cbmc-proof.txt
test/cbmc/proofs/JSON_Validate/cbmc-proof.txt
test/cbmc/proofs/skipAnyLiteral/cbmc-proof.txt
test/unit-test/CMakeLists.txt
test/CMakeLists.txt
lexicon.txt
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Hidden files and folders
path like ".*/[.][a-zA-Z0-9_]+.*"
9 files:

.lgtm.yml
.github/CONTRIBUTING.md
.github/memory_statistics_config.json
.github/workflows/doxygen.yml
.github/workflows/release.yml
.github/workflows/ci.yml
test/cbmc/.gitignore
.gitmodules
.gitignore
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Documentation
path like ".*/docs/.*"
3 files:

docs/doxygen/style.css
docs/doxygen/layout.xml
docs/doxygen/include/size_table.md
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Sokrates scoping conventions
path like ".*/sokrates_conventions[.]json"
1 files:

sokrates_conventions.json
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Git history
path like ".*/git[-]history[.]txt"
1 files:

git-history.txt
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -