Name Date Size #Lines LOC

..13-Mar-2025-

AA.llH A D13-Mar-20253.7 KiB142124

Banerjee.llH A D13-Mar-202528.6 KiB792670

BasePtrBug.llH A D13-Mar-20252 KiB8266

Constraints.llH A D13-Mar-20255 KiB10489

Coupled.llH A D13-Mar-202522.8 KiB665560

DADelin.llH A D13-Mar-202523.7 KiB592496

Dump.llH A D13-Mar-20251.7 KiB5141

ExactRDIV.llH A D13-Mar-202521.5 KiB620513

ExactSIV.llH A D13-Mar-202516.5 KiB527441

GCD.llH A D13-Mar-202524.8 KiB662564

Invariant.llH A D13-Mar-20251.7 KiB5445

MIVCheckConst.llH A D13-Mar-20253.7 KiB7461

MIVMaxLevelThreshold.llH A D13-Mar-20253.8 KiB8769

MismatchingNestLevels.llH A D13-Mar-20256.3 KiB173146

NonAffineExpr.llH A D13-Mar-20251.1 KiB3731

NonCanonicalizedSubscript.llH A D13-Mar-20253.8 KiB10082

PR21585.llH A D13-Mar-20252.5 KiB10792

Preliminary.llH A D13-Mar-202528.9 KiB712623

PreliminaryNoValidityCheckFixedSize.llH A D13-Mar-20255.2 KiB11795

Propagating.llH A D13-Mar-202520.6 KiB544460

Separability.llH A D13-Mar-202513.1 KiB304254

SimpleSIVNoValidityCheck.llH A D13-Mar-202510 KiB255218

SimpleSIVNoValidityCheckFixedSize.llH A D13-Mar-20256.5 KiB161132

StrongSIV.llH A D13-Mar-202514.5 KiB437359

SymbolicRDIV.llH A D13-Mar-202516.9 KiB448362

SymbolicSIV.llH A D13-Mar-202514.4 KiB425352

UsefulGEP.llH A D13-Mar-20251.7 KiB5240

WeakCrossingSIV.llH A D13-Mar-20259.4 KiB282232

WeakZeroDstSIV.llH A D13-Mar-20259.7 KiB297241

WeakZeroSrcSIV.llH A D13-Mar-20259.7 KiB295241

ZIV.llH A D13-Mar-20252 KiB7659

lcssa.llH A D13-Mar-20251.2 KiB3831

new-pm-invalidation.llH A D13-Mar-2025688 1715