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

.github/.cSpellWords.txt
.github/CONTRIBUTING.md
.github/pull_request_template.md
.github/memory_statistics_config.json
.github/links_allowlist.txt
.gitignore
.gitmodules
test/cbmc/.gitignore
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



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

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



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Sokrates conventions and configurations
path like ".*/sokrates_.*?[.]json"
1 files:

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



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

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