| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| Makefile.am | H A D | 03-Dec-2021 | 1.8 KiB | 48 | 23 | |
| Makefile.in | H A D | 03-May-2022 | 55.6 KiB | 1,621 | 1,525 | |
| automata.cc | H A D | 03-Dec-2021 | 8.3 KiB | 269 | 194 | |
| automata.hh | H A D | 03-Dec-2021 | 3.9 KiB | 108 | 22 | |
| formulas.cc | H A D | 03-Dec-2021 | 49.2 KiB | 1,610 | 1,370 | |
| formulas.hh | H A D | 03-Dec-2021 | 6.9 KiB | 207 | 65 | |
| libspotgen.pc.in | H A D | 03-Dec-2021 | 285 | 13 | 11 |