1. 24 Nov, 2016 2 commits
  2. 23 Nov, 2016 4 commits
    • Maximilien Colange's avatar
      Improve error messages when loading compiled models. · fd2f7920
      Maximilien Colange authored
      * spot/ltsmin/ltsmin.cc: Improve error messages.
      fd2f7920
    • Maximilien Colange's avatar
      Add support to load GAL models. · c9aabcdd
      Maximilien Colange authored
      * spot/ltsmin/ltsmin.cc: Handle GAL models.
      * tests/Makefile.am: Test the new feature.
      * tests/ltsmin/check.test: Also check GAL.
      * tests/ltsmin/beem-peterson.4.gal: A new GAL model for tests.
      * tests/ltsmin/finite.gal: A new GAL model for tests.
      * tests/ltsmin/finite3.test: A new test for GAL.
      c9aabcdd
    • Etienne Renault's avatar
      bitvec: remove useless methods · ec83e60b
      Etienne Renault authored
      * spot/misc/bitvect.hh, tests/core/bitvect.cc,
      tests/core/bitvect.test: here.
      ec83e60b
    • Etienne Renault's avatar
      Prefer emplace_back to push_back · 43ec36cd
      Etienne Renault authored
      * spot/graph/ngraph.hh, spot/ltsmin/ltsmin.cc,
      spot/misc/bitvect.hh, spot/misc/intvcomp.cc,
      spot/misc/satsolver.cc, spot/priv/weight.cc,
      spot/ta/taexplicit.cc, spot/taalgos/minimize.cc,
      spot/taalgos/reachiter.cc, spot/tl/exclusive.cc,
      spot/tl/formula.cc, spot/tl/formula.hh,
      spot/tl/mark.cc, spot/tl/mutation.cc,
      spot/tl/relabel.cc, spot/tl/remove_x.cc,
      spot/tl/simplify.cc, spot/twa/acc.cc,
      spot/twa/acc.hh, spot/twa/formula2bdd.cc,
      spot/twa/taatgba.cc, spot/twa/taatgba.hh,
      spot/twa/twa.hh, spot/twa/twagraph.cc,
      spot/twaalgos/bfssteps.cc, spot/twaalgos/canonicalize.cc,
      spot/twaalgos/compsusp.cc, spot/twaalgos/copy.cc,
      spot/twaalgos/cycles.cc, spot/twaalgos/degen.cc,
      spot/twaalgos/determinize.cc, spot/twaalgos/dtwasat.cc,
      spot/twaalgos/emptiness.cc, spot/twaalgos/gv04.cc,
      spot/twaalgos/hoa.cc, spot/twaalgos/ltl2taa.cc,
      spot/twaalgos/ltl2tgba_fm.cc, spot/twaalgos/magic.cc,
      spot/twaalgos/mask.hh, spot/twaalgos/minimize.cc,
      spot/twaalgos/powerset.cc, spot/twaalgos/product.cc,
      spot/twaalgos/randomgraph.cc, spot/twaalgos/reachiter.cc,
      spot/twaalgos/relabel.cc, spot/twaalgos/remfin.cc,
      spot/twaalgos/sccfilter.cc, spot/twaalgos/se05.cc,
      spot/twaalgos/simulation.cc, spot/twaalgos/stutter.cc,
      spot/twaalgos/tau03opt.cc, spot/twaalgos/totgba.cc,
      spot/twaalgos/word.cc, tests/core/bitvect.cc: here.
      43ec36cd
  3. 21 Nov, 2016 2 commits
  4. 19 Nov, 2016 2 commits
  5. 14 Nov, 2016 3 commits
  6. 13 Nov, 2016 4 commits
  7. 12 Nov, 2016 1 commit
  8. 11 Nov, 2016 6 commits
  9. 10 Nov, 2016 1 commit
  10. 09 Nov, 2016 4 commits
  11. 08 Nov, 2016 4 commits
    • Alexandre Duret-Lutz's avatar
      [buddy] improve initialization of bddnode · 5a862295
      Alexandre Duret-Lutz authored
      * src/kernel.c, src/kernel.h: Here.
      5a862295
    • Alexandre Duret-Lutz's avatar
      ltldo: rename %R as %# · 278b41f4
      Alexandre Duret-Lutz authored
      Fixes #189.
      
      * bin/ltldo.cc: Here.
      * tests/core/ltldo.test: Adjust and add test-case for %R.
      * NEWS: Mention the change.
      278b41f4
    • Alexandre Duret-Lutz's avatar
      bin: adjust %R to work with Mingw · 600b1f7e
      Alexandre Duret-Lutz authored
      For #189.
      
      * bin/common_aoutput.cc: Do not call sysconf(_SC_CLK_TCK) if that is not
      defined.  Also fix the help string, and simplify some conditions.
      600b1f7e
    • Alexandre GBAGUIDI AISSE's avatar
      spot: Add %R, %[..]R common option. · 6ed38070
      Alexandre GBAGUIDI AISSE authored
      For #189.
      
      * NEWS: Update.
      * bin/autfilt.cc: Replace stopwatch with process_timer.
      * bin/dstar2tgba.cc: Replace stopwatch with process_timer.
      * bin/ltl2tgba.cc: Replace stopwatch with process_timer.
      * bin/ltlcross.cc: Replace stopwatch with process_timer.
      * bin/ltldo.cc: Replace stopwatch with process_timer.
      * bin/randaut.cc: Replace stopwatch with process_timer.
      * bin/common_aoutput.hh: Implement process_timer, integrate it.
      * bin/common_aoutput.cc: Integrate process_timer and implement new
      print method.
      * spot/misc/timer.hh: Modify timer class and timeinfo struct
      i.e. add cutime (children_utime) and cstime (children_stime).
      * spot/misc/timer.cc: Help code to behave as before all this.
      * spot/twaalgos/dtbasat.cc: Help print_log to behave as before
      all this.
      * spot/twaalgos/dtwasat.cc: Help print_log to behave as before
      all this.
      * spot/misc/formater.hh: Add operator<< for spot::timer.
      6ed38070
  12. 06 Nov, 2016 1 commit
  13. 05 Nov, 2016 4 commits
    • Alexandre Duret-Lutz's avatar
      tests: update to work with Jupyter 4.2 · 939e713e
      Alexandre Duret-Lutz authored
      Jupyter 4.2 just landed in Debian unstable, so we have a few failures
      because of all the renamings.
      
      * tests/python/ipnbdoctest.py: Adjust imports for Jupyter 4.2.
      939e713e
    • Alexandre Duret-Lutz's avatar
      parsetl: flush the errors · 0b7b03c7
      Alexandre Duret-Lutz authored
      This fixes an issue in the on-line translator, where error message would
      not be output in the correct <div>.
      
      * spot/parsetl/fmterror.cc (format_parse_errors): Flush the stream.
      0b7b03c7
    • Alexandre Duret-Lutz's avatar
      from_ltlf: new LTL transformation. · 2e69e045
      Alexandre Duret-Lutz authored
      Fixes #187.
      
      * spot/tl/ltlf.cc, spot/tl/ltlf.hh: New files.
      * spot/tl/Makefile.am: Add them.
      * bin/ltlfilt.cc: Add a new option.
      * bin/man/ltlfilt.x: Add bibliographic reference.
      * tests/core/ltlfilt.test: Add more tests.
      * tests/python/ltlf.py: New file.
      * tests/Makefile.am: Add it.
      * python/spot/impl.i: Python bindings.
      * NEWS: Mention it.
      2e69e045
    • Alexandre Duret-Lutz's avatar
      * doc/tl/tl.tex: Typo. · fe1f754d
      Alexandre Duret-Lutz authored
      fe1f754d
  14. 01 Nov, 2016 2 commits