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

test/cbmc/proofs/Sntp_Init/cbmc-proof.txt
test/cbmc/proofs/Sntp_SendTimeRequest/cbmc-proof.txt
test/cbmc/proofs/Sntp_ReceiveTimeResponse/cbmc-proof.txt
test/cbmc/proofs/Sntp_CalculatePollInterval/cbmc-proof.txt
test/cbmc/proofs/Sntp_DeserializeResponse/cbmc-proof.txt
test/cbmc/proofs/Sntp_SerializeRequest/cbmc-proof.txt
test/cbmc/proofs/Sntp_ConvertToUnixTime/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/.*"
4 files:

docs/doxygen/code_examples/example_sntp_client_posix.c
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
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -