1. 09 Dec, 2022 2 commits
  2. 07 Dec, 2022 1 commit
    • Alexandre Duret-Lutz's avatar
      Fix semantics of [*i..j] and [:*i..j] · 4629d074
      Alexandre Duret-Lutz authored
      * doc/tl/tl.tex: After a discussion with Antoin, it appears that the
      semantics previously given for f[*0..j] was not considering that f[*0]
      should accept any sequence of one letter.
      4629d074
  3. 06 Dec, 2022 3 commits
  4. 02 Dec, 2022 3 commits
  5. 17 Nov, 2022 1 commit
  6. 15 Nov, 2022 3 commits
  7. 10 Nov, 2022 3 commits
    • Alexandre Duret-Lutz's avatar
      misc Doxygen fixes · a6c65dff
      Alexandre Duret-Lutz authored
      * spot/misc/satsolver.hh, spot/tl/formula.hh, spot/twaalgos/hoa.hh,
      spot/twaalgos/synthesis.hh, spot/twaalgos/zlktree.hh,
      spot/twacube_algos/convert.hh: Typos in Doxygen comments.
      a6c65dff
    • Alexandre Duret-Lutz's avatar
      0f4f7ec2
    • Alexandre Duret-Lutz's avatar
      adjust to Swig 4.1.0 · b36cee06
      Alexandre Duret-Lutz authored
      * python/spot/__init__.py: Add flatnested versions of some static
      methods.
      * spot/twa/acc.hh: Hide && version of & and |, causing trouble
      to swig.
      * tests/python/_synthesis.ipynb, tests/python/synthesis.ipynb:
      Upgrade expected type names.
      * tests/python/ipnbdoctest.py: Adjust for difference between 4.0 and
      4.1.
      b36cee06
  8. 07 Nov, 2022 2 commits
  9. 04 Nov, 2022 1 commit
    • Alexandre Duret-Lutz's avatar
      fix namespace for exception errors · fafe40c5
      Alexandre Duret-Lutz authored
      * spot/priv/satcommon.cc, spot/twaalgos/dtbasat.cc,
      spot/twaalgos/dtwasat.cc: When setting exception on std::ofstream, use
      ofstream::failbit and ofstream::badbit instead of ifstream::failbit
      and ifstream::badbit.
      fafe40c5
  10. 26 Oct, 2022 3 commits
  11. 25 Oct, 2022 4 commits
    • Alexandre Duret-Lutz's avatar
      declare all argp_program_doc as static · 0a710eb9
      Alexandre Duret-Lutz authored
      * bench/stutter/stutter_invariance_formulas.cc, bin/autcross.cc,
      bin/autfilt.cc, bin/dstar2tgba.cc, bin/genaut.cc, bin/genltl.cc,
      bin/ltl2tgba.cc, bin/ltl2tgta.cc, bin/ltlcross.cc, bin/ltldo.cc,
      bin/ltlfilt.cc, bin/ltlsynt.cc, bin/randaut.cc, bin/randltl.cc,
      bin/spot-x.cc, bin/spot.cc, tests/ltsmin/modelcheck.cc: Here.
      0a710eb9
    • Alexandre Duret-Lutz's avatar
      relabel_here: make sure free_bddpair is called · 65bc67f3
      Alexandre Duret-Lutz authored
      * spot/twaalgos/relabel.cc (relabel_here): This function has multiple
      exit paths, and none of them were calling bdd_freepair.  Use a
      unique_ptr to ensure that.
      65bc67f3
    • Alexandre Duret-Lutz's avatar
      [buddy] Add a default_deleter for bddPair · 0ecc870a
      Alexandre Duret-Lutz authored
      * src/bddx.h (std::default_deleter<bddPair>): Here.
      0ecc870a
    • Alexandre Duret-Lutz's avatar
      use bdd_restrict more · 0ba6949f
      Alexandre Duret-Lutz authored
      Doing so reduced the number of GC passes tested in bdd.test, which is
      good.
      
      * spot/twaalgos/ltl2tgba_fm.cc: Simplify minato loops with
      bdd_restrict.
      * spot/twaalgos/synthesis.cc (split_2step): Use bdd_restrict instead
      of bdd_appex.
      * tests/core/bdd.test, tests/core/ltlf.test: Adjust test cases.
      0ba6949f
  12. 19 Oct, 2022 2 commits
  13. 18 Oct, 2022 1 commit
  14. 17 Oct, 2022 2 commits
  15. 14 Oct, 2022 1 commit
  16. 13 Oct, 2022 3 commits
  17. 11 Oct, 2022 5 commits