Name Date Size #Lines LOC

..--

bug-loop-varying-upper-limit.llH A D25-Apr-2025821 3224

bug-mismatched-types.llH A D25-Apr-20251.6 KiB6751

conjunctive-checks.llH A D25-Apr-20253.7 KiB10082

decrementing-loop.llH A D25-Apr-20251.4 KiB4335

low-becount.llH A D25-Apr-2025851 3325

multiple-access-no-preloop.llH A D25-Apr-20252.4 KiB6752

not-likely-taken.llH A D25-Apr-20251.1 KiB4031

only-lower-check.llH A D25-Apr-20251.2 KiB3830

only-upper-check.llH A D25-Apr-20251.3 KiB3830

single-access-no-preloop.llH A D25-Apr-20254.3 KiB11790

single-access-with-preloop.llH A D25-Apr-20253.1 KiB7256

unhandled.llH A D25-Apr-20251.1 KiB3830

with-parent-loops.llH A D25-Apr-202514.5 KiB346268