| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| aws-templates-for-cbmc-proofs/ | 18-Mar-2025 | - | ||||
| include/ | 18-Mar-2025 | - | 483 | 62 | ||
| litani/ | 18-Mar-2025 | - | ||||
| negative_tests/ | 18-Mar-2025 | - | ||||
| proofs/ | 18-Mar-2025 | - | 2,429 | 1,276 | ||
| sources/ | 18-Mar-2025 | - | 217 | 142 | ||
| stubs/ | 18-Mar-2025 | - | 752 | 390 | ||
| .gitignore | D | 18-Mar-2025 | 366 | 25 | 19 |
