| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| Makefile.am | H A D | 03-Dec-2021 | 1.2 KiB | 36 | 13 | |
| Makefile.in | H A D | 03-May-2022 | 52.6 KiB | 1,557 | 1,465 | |
| fairkripke.cc | H A D | 03-Dec-2021 | 1.5 KiB | 52 | 23 | |
| fairkripke.hh | H A D | 03-Dec-2021 | 3.3 KiB | 105 | 28 | |
| fwd.hh | H A D | 03-Dec-2021 | 1.3 KiB | 38 | 14 | |
| kripke.cc | H A D | 03-Dec-2021 | 1.4 KiB | 56 | 26 | |
| kripke.hh | H A D | 03-Dec-2021 | 6.4 KiB | 194 | 79 | |
| kripkegraph.hh | H A D | 03-Dec-2021 | 8.1 KiB | 357 | 269 |