| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| ARP/ | 18-Mar-2025 | - | 973 | 737 | ||
| CBMCStubLibrary/ | 18-Mar-2025 | - | 53 | 34 | ||
| CheckOptions/ | 18-Mar-2025 | - | 132 | 78 | ||
| CheckOptionsInner/ | 18-Mar-2025 | - | 125 | 74 | ||
| CheckOptionsOuter/ | 18-Mar-2025 | - | 126 | 79 | ||
| DHCP/ | 18-Mar-2025 | - | 301 | 123 | ||
| DNS/ | 18-Mar-2025 | - | 627 | 403 | ||
| IP/SendEventToIPTask/ | 18-Mar-2025 | - | 102 | 33 | ||
| ParseDNSReply/ | 18-Mar-2025 | - | 200 | 102 | ||
| ProcessDHCPReplies/ | 18-Mar-2025 | - | 87 | 41 | ||
| ReadNameField/ | 18-Mar-2025 | - | 159 | 83 | ||
| SkipNameField/ | 18-Mar-2025 | - | 89 | 51 | ||
| Socket/ | 18-Mar-2025 | - | 658 | 452 | ||
| TCP/ | 18-Mar-2025 | - | 537 | 276 | ||
| TCPWin/vTCPWindowDestroy/ | 18-Mar-2025 | - | 86 | 55 | ||
| UDP/vProcessGeneratedUDPPacket/ | 18-Mar-2025 | - | 123 | 80 | ||
| __pycache__/ | 18-Mar-2025 | - | ||||
| parsing/ | 18-Mar-2025 | - | 366 | 264 | ||
| prvProcessEthernetPacket/ | 18-Mar-2025 | - | 101 | 73 | ||
| utility/ | 18-Mar-2025 | - | 33 | 21 | ||
| .gitignore | D | 18-Mar-2025 | 153 | 11 | 8 | |
| CMakeLists.txt | D | 18-Mar-2025 | 1 KiB | 41 | 36 | |
| Makefile.template | D | 18-Mar-2025 | 4.7 KiB | 175 | 87 | |
| MakefileCommon.json | D | 18-Mar-2025 | 1.1 KiB | 46 | 39 | |
| MakefileLinux.json | D | 18-Mar-2025 | 441 | 37 | 36 | |
| MakefileWindows.json | D | 18-Mar-2025 | 513 | 45 | 44 | |
| README.md | D | 18-Mar-2025 | 218 | 2 | 1 | |
| make_cbmc_batch_files.py | D | 18-Mar-2025 | 2.2 KiB | 54 | 23 | |
| make_common_makefile.py | D | 18-Mar-2025 | 8.5 KiB | 251 | 171 | |
| make_configuration_directories.py | D | 18-Mar-2025 | 6 KiB | 164 | 119 | |
| make_proof_makefiles.py | D | 18-Mar-2025 | 14.3 KiB | 417 | 311 | |
| make_remove_makefiles.py | D | 18-Mar-2025 | 1.8 KiB | 49 | 16 | |
| make_type_header_files.py | D | 18-Mar-2025 | 5.9 KiB | 163 | 118 | |
| ninja.py | D | 18-Mar-2025 | 6.3 KiB | 220 | 146 | |
| prepare.py | D | 18-Mar-2025 | 4.3 KiB | 116 | 57 | |
| run-cbmc-proofs.py | D | 18-Mar-2025 | 9.2 KiB | 308 | 225 |
