| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| AA.ll | D | 03-May-2024 | 3.6 KiB | 141 | 123 | |
| Banerjee.ll | D | 03-May-2024 | 28.5 KiB | 790 | 668 | |
| BasePtrBug.ll | D | 03-May-2024 | 1.9 KiB | 81 | 65 | |
| Constraints.ll | D | 03-May-2024 | 4.9 KiB | 104 | 89 | |
| Coupled.ll | D | 03-May-2024 | 22.6 KiB | 662 | 557 | |
| DADelin.ll | D | 03-May-2024 | 23.7 KiB | 591 | 495 | |
| ExactRDIV.ll | D | 03-May-2024 | 21.5 KiB | 619 | 512 | |
| ExactSIV.ll | D | 03-May-2024 | 16.5 KiB | 526 | 440 | |
| GCD.ll | D | 03-May-2024 | 24.7 KiB | 661 | 563 | |
| Invariant.ll | D | 03-May-2024 | 1.4 KiB | 42 | 34 | |
| MIVCheckConst.ll | D | 03-May-2024 | 3.8 KiB | 74 | 61 | |
| NonAffineExpr.ll | D | 03-May-2024 | 1 KiB | 37 | 31 | |
| NonCanonicalizedSubscript.ll | D | 03-May-2024 | 4.1 KiB | 102 | 83 | |
| PR21585.ll | D | 03-May-2024 | 2.5 KiB | 106 | 91 | |
| Preliminary.ll | D | 03-May-2024 | 28.8 KiB | 711 | 622 | |
| Propagating.ll | D | 03-May-2024 | 20.6 KiB | 543 | 459 | |
| Separability.ll | D | 03-May-2024 | 13.1 KiB | 303 | 253 | |
| StrongSIV.ll | D | 03-May-2024 | 14.5 KiB | 436 | 358 | |
| SymbolicRDIV.ll | D | 03-May-2024 | 16.8 KiB | 447 | 361 | |
| SymbolicSIV.ll | D | 03-May-2024 | 14.3 KiB | 424 | 351 | |
| UsefulGEP.ll | D | 03-May-2024 | 1.6 KiB | 52 | 40 | |
| WeakCrossingSIV.ll | D | 03-May-2024 | 9.3 KiB | 281 | 231 | |
| WeakZeroDstSIV.ll | D | 03-May-2024 | 9.6 KiB | 296 | 240 | |
| WeakZeroSrcSIV.ll | D | 03-May-2024 | 9.6 KiB | 294 | 240 | |
| ZIV.ll | D | 03-May-2024 | 1.9 KiB | 75 | 58 |