| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 13-Mar-2025 | - | ||||
| basic-loop.ll | H A D | 13-Mar-2025 | 4.6 KiB | 138 | 122 | |
| basic.ll | H A D | 13-Mar-2025 | 16.9 KiB | 522 | 455 | |
| basic_widenable_condition_guards.ll | H A D | 13-Mar-2025 | 48.5 KiB | 1,117 | 981 | |
| loop-schedule.ll | H A D | 13-Mar-2025 | 2.9 KiB | 83 | 68 | |
| mixed_guards.ll | H A D | 13-Mar-2025 | 3.1 KiB | 74 | 61 | |
| posion.ll | H A D | 13-Mar-2025 | 5.8 KiB | 153 | 141 | |
| range-check-merging.ll | H A D | 13-Mar-2025 | 14.8 KiB | 363 | 319 |