1. 31 Jan, 2016 1 commit
  2. 29 Jan, 2016 1 commit
    • Alexandre Duret-Lutz's avatar
      dot: add a <N option · b11c07b3
      Alexandre Duret-Lutz authored
      * spot/twaalgos/dot.cc: Implement it.
      * spot/taalgos/dot.cc: Ignore it.
      * spot/twaalgos/copy.cc, spot/twaalgos/copy.hh: Add option
      to limit the number of states.
      * tests/python/ltsmin.ipynb: Improve test case.
      * tests/Makefile.am: Cleanup the files generated by ltsmin.ipynb.
      * python/spot/__init__.py (setup): Add a max_states argument
      that default to 50.
      * bin/common_aoutput.cc: Mention the <INT option.
      * NEWS: Likewise.
      b11c07b3
  3. 28 Jan, 2016 1 commit
    • Alexandre Duret-Lutz's avatar
      python: fix installation · 6230f320
      Alexandre Duret-Lutz authored
      * python/Makefile.am: Use nobase_ for installing python files.  This
      required removing the $(srcdir) prefix used almost everywhere in this
      file, which in turn enabled the use of subdir-objects to remove
      an Automake warning.  The downside is that the Makefile probably won't
      support VPATH builds with some inferior implementations of Make.
      6230f320
  4. 26 Jan, 2016 5 commits
    • Alexandre Duret-Lutz's avatar
      ltsmin: add accessors for variable names and types · db1e842a
      Alexandre Duret-Lutz authored
      * spot/ltsmin/ltsmin.hh, spot/ltsmin/ltsmin.cc: Expose more of the
      ltsmin interface.
      * python/spot/ltsmin.i: Add some helper functions on top of this
      new interface.
      * tests/python/ltsmin.ipynb: Test them.
      * NEWS: Mention it.
      db1e842a
    • Alexandre Duret-Lutz's avatar
      ltsmin: implement a two-step loading · 907b72fb
      Alexandre Duret-Lutz authored
      * spot/ltsmin/ltsmin.cc, spot/ltsmin/ltsmin.hh: Split load_ltsmin() into
      ltsmin_model::load() and ltsmin_model::kripke().  Report errors using
      exceptions instead of on std::cerr.
      * python/spot/ltsmin.i: Deal with exceptions.
      * tests/ltsmin/modelcheck.cc, tests/python/ltsmin.ipynb: Adjust.
      907b72fb
    • Alexandre Duret-Lutz's avatar
      more files to ignore · 84031d2a
      Alexandre Duret-Lutz authored
      * python/.gitignore, tests/.gitignore: Here.
      84031d2a
    • Alexandre Duret-Lutz's avatar
      python: add bindings for ltsmin · 5a9b0aa1
      Alexandre Duret-Lutz authored
      * python/spot/ltsmin.i: New file.
      * python/Makefile.am: Add it.
      * python/spot/impl.i: Add bindings for kripke and fair_kripke.
      * tests/python/ltsmin.ipynb: New file.
      * tests/Makefile.am, doc/org/tut.org: Add it.
      * tests/python/ipnbdoctest.py: Make it possible for notebook
      to exit(77).
      * debian/control: Make the Python package dependent
      on libspotltsmin0.
      * python/spot/__init__.py: Typo.
      5a9b0aa1
    • Alexandre Duret-Lutz's avatar
      Make spot.py a python package instead of a module · 215fcb79
      Alexandre Duret-Lutz authored
      * python/spot.py, python/spot_impl.i: Rename as...
      * python/spot/__init__.py, python/spot/impl.i: ... these.
      * python/Makefile.am, tests/run.in: Adjust for new paths.
      * tests/python/automata-io.ipynb, tests/python/automata.ipynb,
      tests/python/decompose.ipynb, tests/python/piperead.ipynb,
      tests/python/testingaut.ipynb: Adjust messages to refer to spot.impl
      instead of spot_impl.
      215fcb79
  5. 23 Jan, 2016 1 commit
  6. 21 Jan, 2016 1 commit
  7. 15 Jan, 2016 1 commit
  8. 13 Jan, 2016 1 commit
    • Alexandre Duret-Lutz's avatar
      trival: new class for tri-valued logic · 1aeb260a
      Alexandre Duret-Lutz authored
      * spot/misc/trival.hh: New file.
      * spot/misc/Makefile.am: Add it.
      * python/spot_impl.i: Add Python bindings.
      * tests/core/trival.cc, tests/core/trival.test,
      tests/python/trival.py: New files, testing it.
      * tests/Makefile.am: Add them.
      1aeb260a
  9. 04 Jan, 2016 1 commit
    • Alexandre Duret-Lutz's avatar
      Merge the core and python tests in the tests/ directory · 5cb94a1a
      Alexandre Duret-Lutz authored
      * tests/: Rename as...
      * tests/core/: ... this.
      * python/tests/: Rename as...
      * tests/python/: ... this.
      * python/tests/run.in: Move as...
      * tests/run.in: This, and adjust.
      * tests/Makefile.am: Adjust to run both core and python tests.
      * configure.ac, README, debian/python3-spot.examples, debian/rules,
      doc/org/tut.org, python/Makefile.am, spot/ltsmin/Makefile.am,
      spot/ltsmin/kripke.test, spot/sanity/ipynb.test: Adjust.
      5cb94a1a
  10. 27 Dec, 2015 1 commit
    • Alexandre Duret-Lutz's avatar
      move spot/bin/ and spot/tests/ up by one level · 134dfc73
      Alexandre Duret-Lutz authored
      * spot/bin/: Move...
      * bin/: ... here.
      * spot/tests/: Move...
      * tests/: ... here.
      * Makefile.am, README, bench/stutter/Makefile.am,
      bench/stutter/stutter_invariance_formulas.cc, doc/Makefile.am,
      configure.ac, debian/rules, spot/Makefile.am, spot/ltsmin/Makefile.am,
      spot/ltsmin/kripke.test, spot/sanity/style.test, python/tests/run.in:
      Adjust.
      134dfc73
  11. 26 Dec, 2015 1 commit
  12. 25 Dec, 2015 1 commit
    • Alexandre Duret-Lutz's avatar
      rename wrap/python/ to python/ · 34c3c1ce
      Alexandre Duret-Lutz authored
      * wrap/python/: Rename to...
      * python/: ... this.
      * wrap/: Delete.
      * Makefile.am, README, configure.ac, debian/python3-spot.examples,
      debian/rules, doc/org/.dir-locals.el.in, doc/org/init.el.in,
      spot/sanity/ipynb.test: Adjust.
      34c3c1ce