Name Date Size #Lines LOC

..--

assumes.llH A D22-Mar-20234.9 KiB11095

basic.llH A D07-Dec-202389.2 KiB2,0161,799

basic_widenable_branch_guards.llH A D20-Sep-2023112 KiB2,2072,017

constant-ranges.llH A D29-Nov-202222.2 KiB551489

invalidate-analyses.llH A D03-May-20246.4 KiB166139

invariant_load.llH A D22-Mar-202320.3 KiB449398

nested.llH A D22-Mar-202318.3 KiB360317

poison.llH A D22-Mar-20234.4 KiB114102

pr61022.llH A D22-Mar-20232.6 KiB6857

pr61963.llH A D06-Apr-20234.9 KiB9786

pr66382.llH A D19-Sep-20232 KiB5242

predicate-exits.llH A D21-Nov-202448.9 KiB1,1441,026

preserve-bpi.llH A D02-Jan-20232.5 KiB6148

profitability.llH A D22-Mar-20239.1 KiB181164

reverse.llH A D22-Mar-202319.3 KiB409376

scale.llH A D29-Jan-202515.5 KiB260242

unswitch-exit-loop.llH A D02-Jan-20232 KiB5746

visited.llH A D10-Aug-202316.6 KiB263255

widened.llH A D22-Mar-202310.1 KiB217205