-
Alexandre Duret-Lutz authored
* src/kripke/fairkripke.hh, src/kripke/fairkripke.cc, * src/kripke/kripke.hh, src/kripke/kripke.cc: Finalize and document the Kripke interface. I have tested it by updating checkpn to use it.
0d9d0b08
To find the state of this project's repository at the time of any of these versions, check out the tags.