| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| V1_0/ | 23-Nov-2023 | - | 9,212 | 5,985 | ||
| V1_1/ | 23-Nov-2023 | - | 10,024 | 6,230 | ||
| V1_2/ | 23-Nov-2023 | - | 22,575 | 16,722 | ||
| V1_3/ | 23-Nov-2023 | - | 14,007 | 10,077 | ||
| V1_3_cts_only/ | 23-Nov-2023 | - | 467 | 280 | ||
| generate_all_tests.sh | D | 23-Nov-2023 | 1,011 | 30 | 11 | |
| visualize_spec.sh | D | 23-Nov-2023 | 1,004 | 32 | 8 |