Skip to content
  • Thibaud Michaud's avatar
    Adding support for promela models via SpinS. · dd4b821d
    Thibaud Michaud authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    * configure.ac, iface/Makefile.am: Adjust.
    * iface/dve2/finite.test, iface/dve2/.gitignore, iface/dve2/Makefile.am,
    iface/dve2/README, iface/dve2/beem-peterson.4.dve,
    iface/dve2/dve2check.test, iface/dve2/defs.in, iface/dve2/finite.dve,
    iface/ltsmin/finite.test, iface/dve2/kripke.test, iface/dve2/dve2.cc,
    iface/dve2/dve2.hh, iface/dve2/dve2check.cc: Move to iface/ltsmin.
    * iface/ltsmin/.gitignore, iface/ltsmin/Makefile.am,
    iface/ltsmin/README, iface/ltsmin/beem-peterson.4.dve,
    iface/ltsmin/check.test, iface/ltsmin/defs.in, iface/ltsmin/finite.dve,
    iface/ltsmin/finite.test, iface/ltsmin/kripke.test,
    iface/ltsmin/ltsmin.cc, iface/ltsmin/ltsmin.hh,
    iface/ltsmin/modelcheck.cc: Factorize dve2 and spins interface in
    iface/ltsmin/
    * iface/ltsmin/elevator2.1.pm, iface/ltsmin/finite.pm: Test promela
    models.
    * README: Document iface/ltsmin/ directory.
    dd4b821d