| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| ARP/ | 18-Mar-2025 | - | 1,453 | 1,039 | ||
| CBMCStubLibrary/ | 18-Mar-2025 | - | 53 | 34 | ||
| CheckOptions/ | 18-Mar-2025 | - | 158 | 99 | ||
| CheckOptionsInner/ | 18-Mar-2025 | - | 132 | 81 | ||
| CheckOptionsOuter/ | 18-Mar-2025 | - | 126 | 79 | ||
| DHCP/ | 18-Mar-2025 | - | 622 | 333 | ||
| DHCPv6/ | 18-Mar-2025 | - | 878 | 518 | ||
| DNS/ | 18-Mar-2025 | - | 1,261 | 808 | ||
| ICMP/ | 18-Mar-2025 | - | 195 | 94 | ||
| IP/ | 18-Mar-2025 | - | 409 | 183 | ||
| IPUtils/ | 18-Mar-2025 | - | 641 | 378 | ||
| ND/ | 18-Mar-2025 | - | 379 | 202 | ||
| ParseDNSReply/ | 18-Mar-2025 | - | 200 | 102 | ||
| ProcessDHCPReplies/ | 18-Mar-2025 | - | 101 | 54 | ||
| RA/ | 18-Mar-2025 | - | 224 | 119 | ||
| ReadNameField/ | 18-Mar-2025 | - | 155 | 77 | ||
| Routing/MatchingEndpoint/ | 18-Mar-2025 | - | 95 | 50 | ||
| SkipNameField/ | 18-Mar-2025 | - | 89 | 51 | ||
| Socket/ | 18-Mar-2025 | - | 881 | 610 | ||
| TCP/ | 18-Mar-2025 | - | 1,151 | 616 | ||
| TCPWin/vTCPWindowDestroy/ | 18-Mar-2025 | - | 86 | 55 | ||
| UDP/ | 18-Mar-2025 | - | 334 | 227 | ||
| __pycache__/ | 18-Mar-2025 | - | ||||
| lib/ | 18-Mar-2025 | - | 219 | 173 | ||
| parsing/ | 18-Mar-2025 | - | 936 | 652 | ||
| prvChecksumIPv6Checks/ | 18-Mar-2025 | - | 78 | 61 | ||
| prvProcessEthernetPacket/ | 18-Mar-2025 | - | 124 | 88 | ||
| utility/ | 18-Mar-2025 | - | 34 | 22 | ||
| xRecv_Update_IPv4/ | 18-Mar-2025 | - | 84 | 36 | ||
| xRecv_Update_IPv6/ | 18-Mar-2025 | - | 59 | 39 | ||
| .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.6 KiB | 173 | 85 | |
| 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.5 KiB | 314 | 230 |
