| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| V1_0/ | 03-May-2024 | - | 9,267 | 6,016 | ||
| V1_1/ | 03-May-2024 | - | 10,301 | 6,484 | ||
| V1_2/ | 03-May-2024 | - | 22,575 | 16,722 | ||
| V1_3/ | 03-May-2024 | - | 14,006 | 10,076 | ||
| V1_3_cts_only/ | 03-May-2024 | - | 467 | 280 | ||
| generate_all_tests.sh | D | 03-May-2024 | 1,011 | 30 | 11 | |
| visualize_spec.sh | D | 03-May-2024 | 1,019 | 32 | 8 |