| .. | | - | - |
| Models/ | H | - | - | 2,404 | 1,725 |
| ASTOps.cpp | H A D | 07-Dec-2025 | 10.9 KiB | 316 | 230 |
| AdornedCFG.cpp | H A D | 07-Dec-2025 | 6.5 KiB | 189 | 121 |
| Arena.cpp | H A D | 07-Dec-2025 | 6.2 KiB | 214 | 168 |
| CNFFormula.cpp | H A D | 07-Dec-2025 | 10.8 KiB | 303 | 186 |
| DataflowAnalysisContext.cpp | H A D | 07-Dec-2025 | 13 KiB | 362 | 280 |
| DataflowEnvironment.cpp | H A D | 07-Dec-2025 | 46.6 KiB | 1,257 | 871 |
| DebugSupport.cpp | H A D | 28-Jul-2024 | 2.4 KiB | 78 | 57 |
| Formula.cpp | H A D | 07-Dec-2025 | 2.7 KiB | 94 | 76 |
| HTMLLogger.cpp | H A D | 07-Dec-2025 | 21.4 KiB | 584 | 420 |
| HTMLLogger.css | H A D | 28-Jul-2024 | 3.4 KiB | 170 | 165 |
| HTMLLogger.html | H A D | 28-Jul-2024 | 3.9 KiB | 120 | 102 |
| HTMLLogger.js | H A D | 02-Sep-2023 | 8.2 KiB | 220 | 162 |
| Logger.cpp | H A D | 28-Jul-2024 | 3.8 KiB | 112 | 94 |
| RecordOps.cpp | H A D | 28-Jul-2024 | 5 KiB | 134 | 104 |
| SimplifyConstraints.cpp | H A D | 07-Dec-2025 | 6.2 KiB | 178 | 146 |
| SmartPointerAccessorCaching.cpp | H A D | 07-Dec-2025 | 6.5 KiB | 200 | 163 |
| Transfer.cpp | H A D | 07-Dec-2025 | 31.5 KiB | 903 | 583 |
| TypeErasedDataflowAnalysis.cpp | H A D | 07-Dec-2025 | 23 KiB | 587 | 383 |
| Value.cpp | H A D | 07-Dec-2025 | 2.1 KiB | 59 | 39 |
| WatchedLiteralsSolver.cpp | H A D | 28-Jul-2024 | 15.8 KiB | 419 | 223 |