Name Date Size #Lines LOC

..--

AA.llH A D29-Jan-20256.8 KiB142124

Banerjee.llH A D29-Jan-202557.1 KiB898763

BasePtrBug.llH A D29-Jan-20253.2 KiB8266

Constraints.llH A D29-Jan-202513.8 KiB10489

Coupled.llH A D29-Jan-202533.6 KiB665560

DADelin.llH A D29-Jan-202527.2 KiB592496

Dump.llH A D29-Jan-20251.8 KiB5141

ExactRDIV.llH A D29-Jan-202530.6 KiB620513

ExactSIV.llH A D29-Jan-202526 KiB527441

GCD.llH A D29-Jan-202531.6 KiB663565

Invariant.llH A D29-Jan-20252.1 KiB5445

MIVCheckConst.llH A D29-Jan-20254.7 KiB7259

MIVMaxLevelThreshold.llH A D29-Jan-20254.4 KiB8769

MismatchingNestLevels.llH A D29-Jan-20257.4 KiB173146

NonAffineExpr.llH A D29-Jan-20251.5 KiB3731

NonCanonicalizedSubscript.llH A D29-Jan-20254.4 KiB10082

PR21585.llH A D29-Jan-20254.2 KiB10792

PR31848.llH A D29-Jan-20252.7 KiB

Preliminary.llH A D29-Jan-202534.7 KiB711622

PreliminaryNoValidityCheckFixedSize.llH A D29-Jan-20256.6 KiB11795

Propagating.llH A D29-Jan-202527.2 KiB545461

Separability.llH A D29-Jan-202515.9 KiB306256

SimpleSIVNoValidityCheck.llH A D29-Jan-202512 KiB253216

SimpleSIVNoValidityCheckFixedSize.llH A D29-Jan-20257.9 KiB160131

StrongSIV.llH A D29-Jan-202522.2 KiB437359

SymbolicRDIV.llH A D29-Jan-202521.4 KiB448362

SymbolicSIV.llH A D29-Jan-202520.7 KiB425352

UsefulGEP.llH A D29-Jan-20252 KiB5240

WeakCrossingSIV.llH A D29-Jan-202514.3 KiB282232

WeakZeroDstSIV.llH A D29-Jan-202515 KiB297241

WeakZeroSrcSIV.llH A D29-Jan-202515 KiB295241

ZIV.llH A D29-Jan-20254 KiB7659

lcssa.llH A D29-Jan-20251.6 KiB3831

new-pm-invalidation.llH A D29-Jan-2025816 1715