1. 26 Oct, 2022 2 commits
  2. 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
  3. 19 Oct, 2022 2 commits
  4. 18 Oct, 2022 1 commit
  5. 17 Oct, 2022 2 commits
  6. 14 Oct, 2022 1 commit
  7. 13 Oct, 2022 3 commits
  8. 11 Oct, 2022 5 commits
  9. 10 Oct, 2022 5 commits
  10. 08 Oct, 2022 4 commits
  11. 07 Oct, 2022 1 commit
  12. 05 Oct, 2022 2 commits
    • Alexandre Duret-Lutz's avatar
      fix previous patch · 05b8fa8d
      Alexandre Duret-Lutz authored
      this patch failed on i386 and on Raspberry.
      
      * spot/twaalgos/translate.cc: Clear.
      * spot/twaalgos/postproc.cc: Call reduce_parity_here
      in more cases.
      05b8fa8d
    • Alexandre Duret-Lutz's avatar
      translate, postproc: improve parity output · 344e01d4
      Alexandre Duret-Lutz authored
      * spot/twaalgos/translate.cc: When producing Parity output, split LTL
      as we do in the Generic case.
      * spot/twaalgos/postproc.hh, spot/twaalgos/postproc.cc: Use
      acd_transform() and add an "acd" option to disable this.
      * bin/spot-x.cc, NEWS: Document this.
      * tests/core/genltl.test, tests/core/minusx.test,
      tests/core/parity2.test: Adjust test cases for improved outputs.
      344e01d4
  13. 04 Oct, 2022 2 commits
  14. 03 Oct, 2022 6 commits