Name Date Size #Lines LOC

..--

dfa-constant-propagation.llH A D08-Jul-2024755 3327

dfa-jump-threading-analysis.llH A D29-Jan-20257.4 KiB252209

dfa-jump-threading-transform.llH A D29-Jan-202517.1 KiB295268

dfa-unfold-select.llH A D29-Jan-202523.9 KiB372344

max-path-length.llH A D29-Jan-20251.5 KiB10291

negative.llH A D29-Jan-20257.9 KiB266222

single_succ_switch.llH A D08-Jul-20241.4 KiB4438

unpredictable-heuristic.llH A D08-Jul-20244.3 KiB12595