- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Text files path like ".*[.]txt" 19 files: test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/cbmc-proof.txt test/cbmc/proofs/httpParserOnHeaderValueCallback/cbmc-proof.txt test/cbmc/proofs/HTTPClient_AddRangeHeader/cbmc-proof.txt test/cbmc/proofs/httpParserOnMessageBeginCallback/cbmc-proof.txt test/cbmc/proofs/HTTPClient_ReadHeader/cbmc-proof.txt test/cbmc/proofs/httpParserOnMessageCompleteCallback/cbmc-proof.txt test/cbmc/proofs/httpParserOnBodyCallback/cbmc-proof.txt test/cbmc/proofs/HTTPClient_AddHeader/cbmc-proof.txt test/cbmc/proofs/HTTPClient_strerror/cbmc-proof.txt test/cbmc/proofs/httpParserOnStatusCallback/cbmc-proof.txt test/cbmc/proofs/httpParserOnHeaderFieldCallback/cbmc-proof.txt test/cbmc/proofs/findHeaderFieldParserCallback/cbmc-proof.txt test/cbmc/proofs/HTTPClient_Send/cbmc-proof.txt test/cbmc/proofs/findHeaderValueParserCallback/cbmc-proof.txt test/cbmc/proofs/httpParserOnHeadersCompleteCallback/cbmc-proof.txt test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/cbmc-proof.txt test/unit-test/CMakeLists.txt test/CMakeLists.txt lexicon.txt - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Hidden files and folders path like ".*/[.][a-zA-Z0-9_]+.*" 8 files: .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 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -