| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 07-Jul-2020 | - | ||||
| basic.ll | H A D | 07-Jul-2020 | 83.7 KiB | 1,925 | 1,708 | |
| basic_widenable_branch_guards.ll | H A D | 07-Jul-2020 | 101.3 KiB | 2,004 | 1,825 | |
| invariant_load.ll | H A D | 07-Jul-2020 | 19.8 KiB | 440 | 389 | |
| nested.ll | H A D | 07-Jul-2020 | 17.9 KiB | 353 | 310 | |
| predicate-exits.ll | H A D | 07-Jul-2020 | 47.8 KiB | 1,111 | 1,000 | |
| profitability.ll | H A D | 07-Jul-2020 | 9 KiB | 178 | 161 | |
| reverse.ll | H A D | 07-Jul-2020 | 18.2 KiB | 391 | 358 | |
| visited.ll | H A D | 07-Jul-2020 | 8.3 KiB | 162 | 154 | |
| widened.ll | H A D | 07-Jul-2020 | 9 KiB | 201 | 189 |