| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 12-Dec-2023 | - | ||||
| V1_0/ | H | 12-Dec-2023 | - | 9,533 | 6,274 | |
| V1_1/ | H | 12-Dec-2023 | - | 10,301 | 6,484 | |
| V1_2/ | H | 12-Dec-2023 | - | 22,575 | 16,722 | |
| V1_3/ | H | 12-Dec-2023 | - | 14,006 | 10,076 | |
| V1_3_cts_only/ | H | 12-Dec-2023 | - | 467 | 280 | |
| generate_all_tests.sh | H A D | 12-Dec-2023 | 1,011 | 30 | 11 | |
| visualize_spec.sh | H A D | 12-Dec-2023 | 1,019 | 32 | 8 |