-
Etienne Renault authored
* spot/kripke/kripke.hh, spot/ltsmin/Makefile.am, spot/ltsmin/ltsmin.cc, spot/ltsmin/ltsmin.hh, spot/ltsmin/porinfos.cc, spot/ltsmin/porinfos.hh, spot/ltsmin/spins_interface.hh, spot/ltsmin/spins_kripke.hh, spot/ltsmin/spins_kripke.hxx: here.
f5878c82