1. 07 Sep, 2020 4 commits
  2. 03 Sep, 2020 2 commits
  3. 02 Sep, 2020 2 commits
  4. 01 Sep, 2020 2 commits
  5. 05 Aug, 2020 1 commit
    • Alexandre Duret-Lutz's avatar
      [buddy] get rid of many recursive algorithms · 6f76121b
      Alexandre Duret-Lutz authored
      This patch addresses the BuDDy part of #396,
      reported by Florian Renkin and Reed Oei.
      
      * src/kernel.c, src/kernel.h: Declare a bddrecstack and
      associated macros.  Resize it when new variable are declared.
      * src/cache.h: Add a BddCache_index macro.
      * src/bddop.c (not_rec, apply_rec, quant_rec, appquant_rec,
      support_rec, ite_rec, compose_rec, restrict_rec, satone_rec,
      satoneset_rec): Rewrite using this stack to get rid of the recursion.
      6f76121b
  6. 03 Aug, 2020 13 commits
  7. 31 Jul, 2020 1 commit
  8. 29 Jul, 2020 4 commits
  9. 28 Jul, 2020 4 commits
    • Alexandre Duret-Lutz's avatar
      improve acceptance simplifications using useless colors · 0c4b7016
      Alexandre Duret-Lutz authored
      This fixes issue #418.
      
      * spot/twa/acc.cc,
      spot/twa/acc.hh (acc_cond::acc_code::useless_colors_patterns): New
      method to detect patterns of colors allowing other colors to be added
      or removed at will.
      * spot/twaalgos/cleanacc.cc (simplify_acceptance_here): Use the above
      patterns to remove some useless colors from transitions and hope that
      this can help simplify the acceptance condition.
      * spot/twaalgos/degen.cc (propagate_marks_vector): Use the pattern to
      add more colors.
      * tests/core/ltl2tgba2.test: Add the test case from issue #418.
      * tests/core/ltl2dstar4.test, tests/core/satmin3.test,
      tests/core/sccdot.test, tests/core/sim3.test,
      tests/python/automata.ipynb, tests/python/decompose.ipynb,
      tests/python/merge.py, tests/python/pdegen.py, tests/python/remfin.py,
      tests/python/toparity.py, tests/python/tra2tba.py: Adjust all test
      cases.
      * NEWS: Mention this new feature.
      0c4b7016
    • Alexandre Duret-Lutz's avatar
      c341a3ca
    • Alexandre Duret-Lutz's avatar
      cleanacc: merge algorithms dealing with included and identical sets · 25cb7651
      Alexandre Duret-Lutz authored
      * spot/twaalgos/cleanacc.cc (merge_identical_marks_here, merge_mark,
      included_marks): Fuse these into ...
      (simplify_included_marks_here): ... this new function.
      * NEWS: Mention the fix of issue #406.
      25cb7651
    • Alexandre Duret-Lutz's avatar
      argp: fix handling of very long options in --help · a804f964
      Alexandre Duret-Lutz authored
      * lib/argp-help.c (hol_entry_help): Handle cases with option
      description is larger than RMARGIN.
      a804f964
  10. 27 Jul, 2020 4 commits
  11. 25 Jul, 2020 1 commit
  12. 24 Jul, 2020 2 commits