- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Text files path like ".*[.]txt" 34 files: test/system-test/CMakeLists.txt test/cbmc/proofs/C_Sign/cbmc-proof.txt test/cbmc/proofs/xInitializePKCS11/cbmc-proof.txt test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/cbmc-proof.txt test/cbmc/proofs/C_GetSlotList/cbmc-proof.txt test/cbmc/proofs/C_Finalize/cbmc-proof.txt test/cbmc/proofs/C_DestroyObject/cbmc-proof.txt test/cbmc/proofs/C_GetAttributeValue/cbmc-proof.txt test/cbmc/proofs/C_SignInit/cbmc-proof.txt test/cbmc/proofs/xInitializePkcs11Session/cbmc-proof.txt test/cbmc/proofs/C_FindObjectsFinal/cbmc-proof.txt test/cbmc/proofs/C_DigestInit/cbmc-proof.txt test/cbmc/proofs/C_GetFunctionList/cbmc-proof.txt test/cbmc/proofs/C_Initialize/cbmc-proof.txt test/cbmc/proofs/C_FindObjectsInit/cbmc-proof.txt test/cbmc/proofs/xGetSlotList/cbmc-proof.txt test/cbmc/proofs/PKI_mbedTLSSignatureToPkcs11Signature/cbmc-proof.txt test/cbmc/proofs/C_OpenSession/cbmc-proof.txt test/cbmc/proofs/C_DigestFinal/cbmc-proof.txt test/cbmc/proofs/C_DigestUpdate/cbmc-proof.txt test/cbmc/proofs/C_CreateObject/cbmc-proof.txt test/cbmc/proofs/C_CloseSession/cbmc-proof.txt test/cbmc/proofs/C_VerifyInit/cbmc-proof.txt test/cbmc/proofs/C_GetMechanismInfo/cbmc-proof.txt test/cbmc/proofs/xInitializePkcs11Token/cbmc-proof.txt test/cbmc/proofs/xFindObjectWithLabelAndClass/cbmc-proof.txt test/cbmc/proofs/C_Verify/cbmc-proof.txt test/cbmc/proofs/C_FindObjects/cbmc-proof.txt test/cbmc/proofs/C_GenerateKeyPair/cbmc-proof.txt test/cbmc/proofs/C_GenerateRandom/cbmc-proof.txt test/cbmc/proofs/PKI_pkcs11SignatureTombedTLSSignature/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/memory_statistics_config.json .github/actions/url_verifier.sh .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 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Dependencies path like ".*/(3rd|[Tt]hird)[-_]?[Pp]arty/.*" 2 files: source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.h source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.c - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 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 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -