1. 03 Jun, 2020 1 commit
  2. 04 Jun, 2019 1 commit
  3. 16 Feb, 2017 1 commit
  4. 05 Jan, 2016 1 commit
    • Alexandre Duret-Lutz's avatar
      move ltsmin tests to tests/ltsmin/ · ddc424f5
      Alexandre Duret-Lutz authored
      * spot/ltsmin/defs.in: Delete.
      * spot/ltsmin/README, spot/ltsmin/beem-peterson.4.dve,
      spot/ltsmin/check.test, spot/ltsmin/elevator2.1.pm,
      spot/ltsmin/finite.dve, spot/ltsmin/finite.pm, spot/ltsmin/finite.test,
      spot/ltsmin/finite2.test, spot/ltsmin/kripke.test,
      spot/ltsmin/modelcheck.cc: Move...
      * tests/ltsmin/: ... here.
      * spot/ltsmin/README: Point to tests/ltsmin/README.
      * README, configure.ac, spot/ltsmin/Makefile.am, tests/.gitignore,
      tests/Makefile.am, tests/core/defs.in: Adjust.
      ddc424f5
  5. 25 Dec, 2015 1 commit
    • Alexandre Duret-Lutz's avatar
      Move spot-if/ltsmin/ to spot/ltsmin/ · 6fb4df43
      Alexandre Duret-Lutz authored
      * spot-if/ltsmin/: Rename as...
      * spot/ltsmin/: ... this.
      * spot-if/: Delete.
      * Makefile.am, NEWS, README, configure.ac, debian/libspot-dev.install,
      doc/Doxyfile.in, spot/Makefile.am, spot/sanity/80columns.test,
      spot/sanity/style.test: Adjust.
      6fb4df43
  6. 07 Dec, 2015 1 commit
    • Alexandre Duret-Lutz's avatar
      rename iface/ as spot-if/ · b519c7d3
      Alexandre Duret-Lutz authored
      So that instead of having to do
        #incluce <spot/iface/ltsmin/ltsmin.hh>
      for using installed the installed header, and
        #incluce <iface/ltsmin/ltsmin.hh>
      for using the non-installed version, we now do
        #incluce <spot-if/ltsmin/ltsmin.hh>
      in both cases.
      
      * iface/: Rename as...
      * spot-if/: ... this.
      * doc/Doxyfile.in, README, configure.ac, Makefile.am,
      spot/sanity/80columns.test, spot/sanity/style.test: Adjust.
      * NEWS: Mention the change.
      * spot-if/ltsmin/Makefile.am: Install headers in $includedir/spot-if.
      * debian/libspot-dev.install: Distribute that directory as well.
      b519c7d3
  7. 24 Apr, 2015 1 commit
  8. 06 Dec, 2014 1 commit
    • Thibaud Michaud's avatar
      Adding support for promela models via SpinS. · dd4b821d
      Thibaud Michaud authored
      * 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
  9. 09 Apr, 2013 1 commit
  10. 02 Jun, 2011 1 commit
  11. 07 Mar, 2011 1 commit