| .. | | - | - |
| absint/ | | 22-Oct-2025 | - | 5,713 | 4,572 |
| cache/ | | 22-Oct-2025 | - | 297 | 207 |
| cflow/ | | 22-Oct-2025 | - | 546 | 345 |
| config/ | | 22-Oct-2025 | - | 2,347 | 1,546 |
| gen/ | | 22-Oct-2025 | - | 1,265 | 1,177 |
| jobs/ | | 22-Oct-2025 | - | 473 | 327 |
| models/ | | 22-Oct-2025 | - | 649 | 551 |
| type/ | | 22-Oct-2025 | - | 1,417 | 1,166 |
| util/ | | 22-Oct-2025 | - | 6,948 | 5,167 |
| value/ | | 22-Oct-2025 | - | 586 | 380 |
| verifier/ | | 22-Oct-2025 | - | 792 | 628 |
| CMakeLists.txt | D | 22-Oct-2025 | 3.7 KiB | 104 | 94 |
| TODO.txt | D | 22-Oct-2025 | 1.4 KiB | 25 | 20 |
| Verification.cmake | D | 22-Oct-2025 | 3.7 KiB | 120 | 103 |
| VerifierPostPlugins.cmake | D | 22-Oct-2025 | 1.2 KiB | 29 | 25 |
| default_plugin.cpp | D | 22-Oct-2025 | 1.9 KiB | 62 | 40 |
| default_plugin.h | D | 22-Oct-2025 | 2.2 KiB | 62 | 36 |
| messages.yaml | D | 22-Oct-2025 | 19.3 KiB | 679 | 562 |
| plugins.cpp | D | 22-Oct-2025 | 638 | 17 | 1 |
| plugins.h | D | 22-Oct-2025 | 1.8 KiB | 49 | 22 |
| public.cpp | D | 22-Oct-2025 | 8.1 KiB | 260 | 205 |
| public.h | D | 22-Oct-2025 | 2.2 KiB | 65 | 34 |
| public_internal.h | D | 22-Oct-2025 | 1.2 KiB | 41 | 19 |
| verification.gni | D | 22-Oct-2025 | 2.6 KiB | 73 | 62 |
| verification.rb | D | 22-Oct-2025 | 984 | 38 | 19 |
| verification.yaml | D | 22-Oct-2025 | 7.4 KiB | 377 | 355 |
| verification_options.cpp | D | 22-Oct-2025 | 1.3 KiB | 45 | 23 |
| verification_options.h | D | 22-Oct-2025 | 2.7 KiB | 90 | 63 |
| verification_status.h | D | 22-Oct-2025 | 871 | 24 | 6 |
| verifier_messages_data.cpp | D | 22-Oct-2025 | 721 | 18 | 1 |
| verifier_messages_data.h | D | 22-Oct-2025 | 992 | 29 | 8 |