- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Text files path like ".*[.]txt" 66 files: test/cbmc/proofs/Cellular_CommonRegisterUrcPdnEventCallback/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonSocketRegisterSocketOpenCallback/cbmc-proof.txt test/cbmc/proofs/Cellular_ATRemovePrefix/cbmc-proof.txt test/cbmc/proofs/Cellular_ATRemoveTrailingWhiteSpaces/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonSetPdnConfig/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonRegisterUrcGenericCallback/cbmc-proof.txt test/cbmc/proofs/Cellular_ATStrStartWith/cbmc-proof.txt test/cbmc/proofs/_Cellular_ModemEventCallback/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonGetServiceStatus/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonGetPsmSettings/cbmc-proof.txt test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendSuccessToken/cbmc-proof.txt test/cbmc/proofs/Cellular_ATIsStrDigit/cbmc-proof.txt test/cbmc/proofs/_Cellular_ConvertCsqSignalBer/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonUrcProcessCgreg/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonSetEidrxSettings/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonSetPsmSettings/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonGetEidrxSettings/cbmc-proof.txt test/cbmc/proofs/_Cellular_GetSocketData/cbmc-proof.txt test/cbmc/proofs/_Cellular_RemoveSocketData/cbmc-proof.txt test/cbmc/proofs/_Cellular_LibCleanup/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonRegisterModemEventCallback/cbmc-proof.txt test/cbmc/proofs/_Cellular_GetModuleContext/cbmc-proof.txt test/cbmc/proofs/Cellular_ATGetSpecificNextTok/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonUrcProcessCreg/cbmc-proof.txt test/cbmc/proofs/Cellular_ATRemoveAllWhiteSpaces/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonCreateSocket/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback/cbmc-proof.txt test/cbmc/proofs/_Cellular_NetworkRegistrationCallback/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonGetModemInfo/cbmc-proof.txt test/cbmc/proofs/Cellular_ATStrtoi/cbmc-proof.txt test/cbmc/proofs/_Cellular_TranslateAtCoreStatus/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonGetNetworkTime/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonGetSimCardLockStatus/cbmc-proof.txt test/cbmc/proofs/_Cellular_IsValidSocket/cbmc-proof.txt test/cbmc/proofs/Cellular_ATRemoveLeadingWhiteSpaces/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonRegisterUrcSignalStrengthChangedCallback/cbmc-proof.txt test/cbmc/proofs/_Cellular_ConvertCsqSignalRssi/cbmc-proof.txt test/cbmc/proofs/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback/cbmc-proof.txt test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendRequestWithCallback/cbmc-proof.txt test/cbmc/proofs/_Cellular_PdnEventCallback/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonRfOff/cbmc-proof.txt test/cbmc/proofs/Cellular_ATGetNextTok/cbmc-proof.txt test/cbmc/proofs/Cellular_ATRemoveOutermostDoubleQuote/cbmc-proof.txt test/cbmc/proofs/_Cellular_SignalStrengthChangedCallback/cbmc-proof.txt test/cbmc/proofs/Cellular_ATcheckErrorCode/cbmc-proof.txt test/cbmc/proofs/_Cellular_GetCurrentRat/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonGetRegisteredNetwork/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonInit/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonSocketRegisterDataReadyCallback/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonGetSimCardInfo/cbmc-proof.txt test/cbmc/proofs/Cellular_ATIsPrefixPresent/cbmc-proof.txt test/cbmc/proofs/_Cellular_ComputeSignalBars/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonCleanup/cbmc-proof.txt test/cbmc/proofs/Cellular_ATHexStrToHex/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonATCommandRaw/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonUrcProcessCereg/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonSocketRegisterClosedCallback/cbmc-proof.txt test/cbmc/proofs/Cellular_ATRemoveAllDoubleQuote/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonSocketSetSockOpt/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonRfOn/cbmc-proof.txt test/cbmc/proofs/_Cellular_GenericCallback/cbmc-proof.txt test/cbmc/proofs/Cellular_CommonGetIPAddress/cbmc-proof.txt test/cbmc/proofs/Cellular_ATStrDup/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: .github/CONTRIBUTING.md .github/memory_statistics_config.json .github/workflows/memory_statistics.yml .github/workflows/release.yml .github/workflows/ci.yml .gitattributes 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 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -