Name Date Size #Lines LOC

..13-Mar-2025-

basic.llH A D13-Mar-202583.7 KiB1,9251,708

basic_widenable_branch_guards.llH A D13-Mar-2025101.8 KiB2,0041,825

invalidate-analyses.llH A D13-Mar-20256.5 KiB166139

invariant_load.llH A D13-Mar-202519.9 KiB440389

nested.llH A D13-Mar-202517.9 KiB353310

predicate-exits.llH A D13-Mar-202548 KiB1,1231,005

preserve-bpi.llH A D13-Mar-20252.5 KiB6147

profitability.llH A D13-Mar-20259 KiB178161

reverse.llH A D13-Mar-202518.2 KiB391358

unswitch-exit-loop.llH A D13-Mar-20252 KiB5746

visited.llH A D13-Mar-20258.3 KiB162154

widened.llH A D13-Mar-20259.2 KiB202190