1. 08 Mar, 2017 3 commits
    • Alexandre Duret-Lutz's avatar
      typos: dictionnary -> dictionary · 47e1c969
      Alexandre Duret-Lutz authored
      * doc/org/upgrade2.org, tests/python/prodexpt.py,
      tests/python/product.ipynb, NEWS: Fix typos.
      * tests/sanity/style.test: Add a check for this.
      47e1c969
    • Alexandre Duret-Lutz's avatar
      degen: improve test coverage · 0d8a88b2
      Alexandre Duret-Lutz authored
      * spot/twaalgos/degen.cc: Make use_cust_acc_orders as unlikely, as it
      was never true in the whole test suite before this patch.
      * tests/core/ltlcross2.test: Play with degen-order and degen-lcache
      options to test more cases.
      0d8a88b2
    • Alexandre Duret-Lutz's avatar
      python: add bindings for bdd_to_formula() · 4e9303e3
      Alexandre Duret-Lutz authored
      Follow-up to an email from Ayrat Khalimov.
      
      * python/spot/impl.i: Include twa/formula2bdd.hh.
      * python/spot/__init__.py: Make the dictionnary
      optional.
      * spot/twa/formula2bdd.cc: Throw an exception instead of asserting.
      * tests/python/bdditer.py: New file.
      * tests/Makefile.am: Add it.
      * NEWS: Update.
      4e9303e3
  2. 07 Mar, 2017 5 commits
  3. 03 Mar, 2017 6 commits
  4. 02 Mar, 2017 1 commit
  5. 01 Mar, 2017 2 commits
    • Alexandre Duret-Lutz's avatar
      remove options -! and -" from genltl · 22a3d1c3
      Alexandre Duret-Lutz authored
      Fixes #237.
      
      * bin/genltl.cc: Fix the numbering of options.
      * NEWS: Mention the bugs.
      22a3d1c3
    • Alexandre Duret-Lutz's avatar
      add options to %x to list atomic propositions · 18283d69
      Alexandre Duret-Lutz authored
      * bin/common_aoutput.cc, bin/common_aoutput.hh, bin/common_output.cc,
      bin/common_output.hh: Add options to %x to list atomic propositions
      with various quoting scheme.  Deprecate --format=%a in favor of the
      new --format=%x for consistency with --stats=%x.
      * tests/core/format.test, tests/core/remprop.test: Adjust and add more
      tests.
      * NEWS: Mention these changes.
      18283d69
  6. 28 Feb, 2017 6 commits
  7. 21 Feb, 2017 4 commits
  8. 20 Feb, 2017 5 commits
  9. 18 Feb, 2017 1 commit
  10. 17 Feb, 2017 2 commits
  11. 16 Feb, 2017 5 commits