1. 02 Mar, 2018 1 commit
  2. 21 Feb, 2018 1 commit
    • Alexandre Duret-Lutz's avatar
      include config.h in all *.cc files · ac6b0c94
      Alexandre Duret-Lutz authored
      This helps working around missing C functions like strcasecmp that do
      not exist everywhere (e.g. on Cygwin), and for which lib/ supplies a
      replacement.  Unfortunately we do not have such build in our current
      continuous integration suite, so we cannot easily detect files where
      such config.h inclusion would be useful.  Therefore this patch simply
      makes it mandatory to include config.h in *.cc files.  Including this
      in public *.hh file is currently forbidden.
      
      * spot/gen/automata.cc, spot/gen/formulas.cc,
      spot/kripke/fairkripke.cc, spot/kripke/kripke.cc,
      spot/ltsmin/ltsmin.cc, spot/misc/game.cc, spot/parseaut/fmterror.cc,
      spot/parsetl/fmterror.cc, spot/parsetl/parsetl.yy,
      spot/priv/bddalloc.cc, spot/priv/freelist.cc, spot/priv/satcommon.cc,
      spot/priv/trim.cc, spot/priv/weight.cc, spot/ta/ta.cc,
      spot/ta/taexplicit.cc, spot/ta/taproduct.cc, spot/ta/tgtaexplicit.cc,
      spot/ta/tgtaproduct.cc, spot/taalgos/dot.cc,
      spot/taalgos/emptinessta.cc, spot/taalgos/minimize.cc,
      spot/taalgos/reachiter.cc, spot/taalgos/statessetbuilder.cc,
      spot/taalgos/stats.cc, spot/taalgos/tgba2ta.cc, spot/tl/apcollect.cc,
      spot/tl/contain.cc, spot/tl/declenv.cc, spot/tl/defaultenv.cc,
      spot/tl/dot.cc, spot/tl/exclusive.cc, spot/tl/hierarchy.cc,
      spot/tl/length.cc, spot/tl/ltlf.cc, spot/tl/mark.cc,
      spot/tl/mutation.cc, spot/tl/nenoform.cc, spot/tl/print.cc,
      spot/tl/randomltl.cc, spot/tl/relabel.cc, spot/tl/remove_x.cc,
      spot/tl/simplify.cc, spot/tl/snf.cc, spot/tl/unabbrev.cc,
      spot/twa/acc.cc, spot/twa/bdddict.cc, spot/twa/bddprint.cc,
      spot/twa/formula2bdd.cc, spot/twa/taatgba.cc, spot/twa/twa.cc,
      spot/twa/twagraph.cc, spot/twa/twaproduct.cc, spot/twaalgos/aiger.cc,
      spot/twaalgos/alternation.cc, spot/twaalgos/are_isomorphic.cc,
      spot/twaalgos/bfssteps.cc, spot/twaalgos/canonicalize.cc,
      spot/twaalgos/cleanacc.cc, spot/twaalgos/cobuchi.cc,
      spot/twaalgos/complement.cc, spot/twaalgos/complete.cc,
      spot/twaalgos/compsusp.cc, spot/twaalgos/couvreurnew.cc,
      spot/twaalgos/cycles.cc, spot/twaalgos/degen.cc,
      spot/twaalgos/determinize.cc, spot/twaalgos/dot.cc,
      spot/twaalgos/dtbasat.cc, spot/twaalgos/dtwasat.cc,
      spot/twaalgos/dualize.cc, spot/twaalgos/emptiness.cc,
      spot/twaalgos/gtec/ce.cc, spot/twaalgos/gtec/gtec.cc,
      spot/twaalgos/gtec/sccstack.cc, spot/twaalgos/gtec/status.cc,
      spot/twaalgos/gv04.cc, spot/twaalgos/hoa.cc,
      spot/twaalgos/iscolored.cc, spot/twaalgos/isdet.cc,
      spot/twaalgos/isunamb.cc, spot/twaalgos/isweakscc.cc,
      spot/twaalgos/langmap.cc, spot/twaalgos/lbtt.cc,
      spot/twaalgos/ltl2taa.cc, spot/twaalgos/ltl2tgba_fm.cc,
      spot/twaalgos/magic.cc, spot/twaalgos/mask.cc,
      spot/twaalgos/minimize.cc, spot/twaalgos/neverclaim.cc,
      spot/twaalgos/parity.cc, spot/twaalgos/postproc.cc,
      spot/twaalgos/powerset.cc, spot/twaalgos/product.cc,
      spot/twaalgos/rabin2parity.cc, spot/twaalgos/randomgraph.cc,
      spot/twaalgos/randomize.cc, spot/twaalgos/reachiter.cc,
      spot/twaalgos/relabel.cc, spot/twaalgos/remfin.cc,
      spot/twaalgos/remprop.cc, spot/twaalgos/sbacc.cc,
      spot/twaalgos/sccfilter.cc, spot/twaalgos/sccinfo.cc,
      spot/twaalgos/se05.cc, spot/twaalgos/sepsets.cc,
      spot/twaalgos/simulation.cc, spot/twaalgos/split.cc,
      spot/twaalgos/stats.cc, spot/twaalgos/strength.cc,
      spot/twaalgos/stripacc.cc, spot/twaalgos/stutter.cc,
      spot/twaalgos/sum.cc, spot/twaalgos/tau03.cc,
      spot/twaalgos/tau03opt.cc, spot/twaalgos/totgba.cc,
      spot/twaalgos/toweak.cc, spot/twaalgos/translate.cc,
      spot/twaalgos/word.cc, tests/core/acc.cc, tests/core/bitvect.cc,
      tests/core/checkpsl.cc, tests/core/checkta.cc, tests/core/consterm.cc,
      tests/core/emptchk.cc, tests/core/equalsf.cc, tests/core/graph.cc,
      tests/core/ikwiad.cc, tests/core/intvcmp2.cc, tests/core/intvcomp.cc,
      tests/core/kind.cc, tests/core/kripkecat.cc, tests/core/length.cc,
      tests/core/ltlrel.cc, tests/core/ngraph.cc, tests/core/parity.cc,
      tests/core/randtgba.cc, tests/core/readltl.cc, tests/core/reduc.cc,
      tests/core/safra.cc, tests/core/sccif.cc, tests/core/syntimpl.cc,
      tests/core/taatgba.cc, tests/core/tostring.cc, tests/core/trival.cc,
      tests/core/twagraph.cc, tests/ltsmin/modelcheck.cc,
      spot/parseaut/scanaut.ll, spot/parsetl/scantl.ll: Include config.h.
      * spot/gen/Makefile.am, spot/graph/Makefile.am,
      spot/kripke/Makefile.am, spot/ltsmin/Makefile.am,
      spot/parseaut/Makefile.am, spot/parsetl/Makefile.am,
      spot/priv/Makefile.am, spot/ta/Makefile.am, spot/taalgos/Makefile.am,
      spot/tl/Makefile.am, spot/twa/Makefile.am, spot/twaalgos/Makefile.am,
      spot/twaalgos/gtec/Makefile.am, tests/Makefile.am: Add the -I lib/
      flags.
      * tests/sanity/includes.test: Catch missing config.h in *.cc, and
      diagnose config.h in *.hh.
      * tests/sanity/style.test: Better diagnostics.
      ac6b0c94
  3. 10 Jan, 2018 1 commit
    • Alexandre Duret-Lutz's avatar
      misc: fix some down_cast issues · 8a74ae6c
      Alexandre Duret-Lutz authored
      We had new failure on MinGW with GCC believing that some pointer
      returned by down_cast could be NULL; and the down_cast function was in
      the global namespace.
      
      * spot/misc/casts.hh: Rewrite.
      * NEWS: Mention the small issues.
      * tests/core/ikwiad.cc, tests/core/ngraph.cc: Adjust to use
      spot::down_cast instead of down_cast.
      8a74ae6c
  4. 09 Jan, 2018 1 commit
    • Alexandre Duret-Lutz's avatar
      mark custom hash functions as noexcept · 31387e8f
      Alexandre Duret-Lutz authored
      * spot/misc/bitvect.cc, spot/misc/bitvect.hh, spot/misc/hash.hh,
      spot/twa/acc.hh, spot/twaalgos/cobuchi.cc, spot/twaalgos/degen.cc,
      spot/twaalgos/determinize.cc, spot/twaalgos/parity.cc,
      spot/twaalgos/powerset.cc, spot/twaalgos/product.cc,
      spot/twaalgos/stutter.cc, spot/twaalgos/totgba.cc,
      spot/twaalgos/toweak.cc: Mark hash function as noexcept to please GCC
      snapshot.
      31387e8f
  5. 28 Nov, 2017 1 commit
  6. 17 Nov, 2017 4 commits
  7. 02 Nov, 2017 2 commits
    • Alexandre Duret-Lutz's avatar
      test the SPOT_SATSOLVER envvar · f84ca999
      Alexandre Duret-Lutz authored
      * tests/core/satmin3.test: New file.
      * tests/Makefile.am: Add it.
      * spot/misc/satsolver.cc: Cleanup error messages.
      * spot/misc/satsolver.hh (satsolver_get_solution): Remove this unused
      function.
      * tests/core/readsat.cc, tests/core/readsat.test: Delete (unused).
      * tests/Makefile.am: Adjust.
      f84ca999
    • Alexandre Duret-Lutz's avatar
      random: remove bmrand() and prand() · 0bbcb7f3
      Alexandre Duret-Lutz authored
      We do not need these functions in Spot.
      
      * spot/misc/random.cc, spot/misc/random.hh (bmrand, prand): Remove.
      * NEWS: Mention it.
      0bbcb7f3
  8. 29 Sep, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      twa_graph: do not order BDDs by IDs in merge_edges() · cdfe78f1
      Alexandre Duret-Lutz authored
      Fixes #282.
      
      * spot/misc/bddlt.hh (bdd_less_than_stable): New function.
      * spot/twa/twagraph.cc (merge_edges): Use it.
      * tests/core/complement.test, tests/core/degenid.test,
      tests/core/ltldo.test, tests/core/prodor.test,
      tests/core/readsave.test, tests/core/sbacc.test,
      tests/python/atva16-fig2a.ipynb, tests/python/automata.ipynb,
      tests/python/decompose.ipynb, tests/python/dualize.py,
      tests/python/highlighting.ipynb, tests/python/piperead.ipynb,
      tests/python/product.ipynb, tests/python/simstate.py,
      tests/python/tra2tba.py: Adjust all expected outputs.
      * NEWS: Mention the bug.
      cdfe78f1
  9. 25 Sep, 2017 3 commits
    • Thibaud Michaud's avatar
      parity game: compute winning strategy · 601e1405
      Thibaud Michaud authored
      * spot/misc/game.cc, spot/misc/game.hh: Here.
      * bin/ltlsynt.cc: Realizability is now done by checking if the winning
      strategy contains the initial state.
      601e1405
    • Thibaud Michaud's avatar
      parity game: add Zielonka's recursive algorithm · f414e9f5
      Thibaud Michaud authored
      * spot/misc/game.cc, spot/misc/game.hh: Implement it.
      * bin/ltlsynt.cc: Use it.
      * doc/org/ltlsynt.org: Document it.
      f414e9f5
    • Thibaud Michaud's avatar
      add ltlsynt executable · 0821c97e
      Thibaud Michaud authored
      For now, ltlsynt only handles LTL realizability. It uses a reduction to
      parity game followed by Calude et al.'s reduction from parity game to
      reachability game.
      
      * bin/ltlsynt.cc, bin/Makefile.am, bin/man/ltlsynt.x,
      bin/man/Makefile.am, bin/.gitignore: New binary.
      * doc/org/arch.tex, doc/Makefile.am, doc/org/tools.org,
      doc/org/ltlsynt.org: Document it.
      * spot/misc/game.cc, spot/misc/game.hh, spot/misc/Makefile.am: Parity
      game wrapper for parity automata + reachability game interface from
      Calude et al.'s paper.
      0821c97e
  10. 24 Sep, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      twa_graph: do not order BDDs by IDs in merge_edges() · 5e5a6948
      Alexandre Duret-Lutz authored
      Fixes #282.
      
      * spot/misc/bddlt.hh (bdd_less_than_stable): New function.
      * spot/twa/twagraph.cc (merge_edges): Use it.
      * tests/core/genltl.test: Adjust, and add an extra test
      for the behavior of #282.
      * tests/core/complement.test, tests/core/degenid.test,
      tests/core/ltldo.test, tests/core/prodor.test,
      tests/core/readsave.test, tests/core/sbacc.test,
      tests/python/atva16-fig2a.ipynb, tests/python/automata.ipynb,
      tests/python/decompose.ipynb, tests/python/dualize.py,
      tests/python/highlighting.ipynb, tests/python/piperead.ipynb,
      tests/python/product.ipynb, tests/python/simstate.py,
      tests/python/tra2tba.py: Adjust all expected outputs.
      * NEWS: Mention the bug.
      5e5a6948
  11. 19 Sep, 2017 1 commit
    • Alexandre GBAGUIDI AISSE's avatar
      misc/timer: Gather handling of %r and %R options · ad9bc644
      Alexandre GBAGUIDI AISSE authored
      * bin/autcross.cc: Update.
      * bin/autfilt.cc: Update.
      * bin/common_aoutput.cc: Gather them. Move process_timer struct.
      * bin/common_aoutput.hh: Gather them.
      * bin/common_output.hh: Update.
      * bin/dstar2tgba.cc: Update.
      * bin/ltl2tgba.cc: Update.
      * bin/ltlcross.cc: Update.
      * bin/ltldo.cc: Update.
      * bin/ltlfilt.cc: Update.
      * bin/randaut.cc: Update.
      * spot/misc/formater.hh: Remove an useless function.
      * spot/misc/timer.hh: Add process_timer struct definition.
      * spot/misc/timer.cc: Remove old dead code.
      * spot/twaalgos/stats.cc: Update.
      * spot/twaalgos/stats.hh: Update.
      ad9bc644
  12. 28 Aug, 2017 1 commit
    • Maximilien Colange's avatar
      Typos · eb91ecf6
      Maximilien Colange authored
      * NEWS, doc/org/concepts.org, doc/org/hierarchy.org,
        spot/misc/optionmap.hh, spot/twa/acc.hh, spot/twaalgos/ltl2tgba_fm.hh,
        spot/twaalgos/sccinfo.hh, spot/twaalgos/translate.cc: fix typos
      eb91ecf6
  13. 12 Feb, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      is_alternating() -> !is_existential() · fefb375d
      Alexandre Duret-Lutz authored
      Part of #212.
      
      * spot/misc/common.hh (SPOT_DEPRECATED): Improve support current
      compilers and options flags.
      * spot/twa/twagraph.hh, spot/graph/graph.hh (is_alternating): Mark it
      as deprecated.
      (is_existential): New method.
      * bin/autfilt.cc, bin/ltlcross.cc, spot/parseaut/parseaut.yy,
      spot/twa/twa.cc, spot/twa/twagraph.cc, spot/twaalgos/alternation.cc,
      spot/twaalgos/are_isomorphic.cc, spot/twaalgos/canonicalize.cc,
      spot/twaalgos/couvreurnew.cc, spot/twaalgos/cycles.cc,
      spot/twaalgos/degen.cc, spot/twaalgos/determinize.cc,
      spot/twaalgos/dot.cc, spot/twaalgos/dtbasat.cc,
      spot/twaalgos/dtwasat.cc, spot/twaalgos/hoa.cc,
      spot/twaalgos/isunamb.cc, spot/twaalgos/isweakscc.cc,
      spot/twaalgos/mask.hh, spot/twaalgos/minimize.cc,
      spot/twaalgos/postproc.cc, spot/twaalgos/product.cc,
      spot/twaalgos/randomize.cc, spot/twaalgos/remfin.cc,
      spot/twaalgos/sbacc.cc, spot/twaalgos/sccfilter.cc,
      spot/twaalgos/sccinfo.cc, spot/twaalgos/simulation.cc,
      spot/twaalgos/strength.cc, tests/core/graph.cc, tests/core/ngraph.cc,
      tests/python/alternating.py: Adjust all uses.
      * NEWS: Mention the renaming.
      fefb375d
  14. 02 Feb, 2017 1 commit
    • Maximilien Colange's avatar
      Rework the 'down_cast' macro, closing #196. · 3f547089
      Maximilien Colange authored
      * spot/misc/casts.hh: New inline functions and compile-time checks.
      * spot/kripke/kripkegraph.hh, spot/ta/taexplicit.cc,
        spot/ta/taproduct.cc, spot/ta/tgtaproduct.cc, spot/taalgos/tgba2ta.cc,
        spot/twa/taatgba.hh, spot/twa/taatgba.cc, spot/twa/twagraph.hh,
        spot/twa/twaproduct.cc, spot/twaalgos/emptiness.cc,
        spot/twaalgos/stutter.cc, spot/ltsmin/ltsmin.cc, tests/core/ikwiad.cc,
        tests/core/ngraph.cc: Remove downcast checks from code.
      3f547089
  15. 01 Feb, 2017 1 commit
  16. 16 Jan, 2017 1 commit
  17. 06 Jan, 2017 5 commits
    • Alexandre GBAGUIDI AISSE's avatar
      misc: Add 'SPOT_XCNF' environment variable · bd37625e
      Alexandre GBAGUIDI AISSE authored
      * spot/misc/satsolver.cc: Handle xcnf writing.
      * spot/misc/satsolver.hh: Handle xcnf writing.
      bd37625e
    • Alexandre GBAGUIDI AISSE's avatar
      spot: Implement dt*a_sat_minimize_assume(...) methods · 9a204b77
      Alexandre GBAGUIDI AISSE authored
      * python/spot/__init__.py: Add 'assume' option.
      * spot/misc/satsolver.cc: Add function to handle assumptions.
      * spot/misc/satsolver.hh: Declare assumption function.
      * spot/twaalgos/dtbasat.cc: Implement dtba_sat_minimize_assume.
      * spot/twaalgos/dtbasat.hh: Declare it.
      * spot/twaalgos/dtwasat.cc: Implement dtwa_sat_minimize_assume and
      handle options.
      * spot/twaalgos/dtwasat.hh: Declare it.
      * spot/twaalgos/postproc.cc: Handle options.
      * spot/twaalgos/postproc.hh: Use param_ var for incr and assume.
      * tests/core/satmin.test: Add tests for the new function.
      * tests/core/satmin2.test: Add tests for the new function.
      * tests/python/satmin.py: Add tests for the new function.
      9a204b77
    • Alexandre GBAGUIDI AISSE's avatar
      twaalgos: Improve data storage in SAT-minimization · 9acd7370
      Alexandre GBAGUIDI AISSE authored
      * spot/misc/satsolver.hh: Make solver return vector<bool> instead of
      vector<int>.
      * spot/misc/satsolver.cc: Update code.
      * spot/priv/Makefile.am: Add satcommon.*
      * spot/priv/satcommon.hh: Declare helper class and factorize some
      duplicate code of dt*asat.cc
      * spot/priv/satcommon.cc: Implement helper class and factorize some
      duplicate code of dt*asat.cc
      * spot/twaalgos/dtbasat.cc: Declare helper, implement some functions
      in dict struct and update code.
      * spot/twaalgos/dtwasat.cc: Declare helper, implement some functions
      in dict struct and update code.
      * tests/core/readsat.cc: Update tests.
      * tests/core/satmin.test: Typo.
      * tests/core/satmin2.test: Update an expected result.
      9acd7370
    • Alexandre GBAGUIDI AISSE's avatar
      spot: Add Picosat to Spot library & Update satsolver class · 32f040fa
      Alexandre GBAGUIDI AISSE authored
      * Makefile.am: Add picosat to subdirs.
      * configure.ac: Add picosat/Makefile to AC_CONFIG_FILES.
      * README: Add picosat/ in the list of directories.
      * debian/copyright: Add picosat licence and details.
      * picosat/Makefile.am: Implement Makefile.am in picosat directory.
      * spot/Makefile.am: Tell the compiler to add libpico.la into libspot.la.
      * picosat/LICENSE: Add picosat licence.
      * picosat/NEWS: Add picosat NEWS.
      * picosat/VERSION: Add picosat VERSION.
      * picosat/picosat.c: Add picosat c file.
      * picosat/picosat.h: Add picosat header file.
      * spot/misc/satsolver.cc: Update functions.
      * spot/misc/satsolver.hh: Add documentation, clean code, change
      some functions visibility and separate templates functions.
      * spot/twaalgos/dtbasat.cc: Update dtba_to_sat function.
      * spot/twaalgos/dtwasat.cc: Update dtwa_to_sat function.
      32f040fa
    • Alexandre GBAGUIDI AISSE's avatar
      spot: Abstract cnf writing in SAT-based minimisation · 596bdec9
      Alexandre GBAGUIDI AISSE authored
      * spot/misc/satsolver.hh: Declare all functions needed.
      * spot/misc/satsolver.cc: Implement them.
      * spot/twaalgos/dtbasat.cc: Abstract writing.
      * spot/twaalgos/dtwasat.cc: Abstract writing.
      596bdec9
  18. 02 Dec, 2016 2 commits
    • Alexandre Duret-Lutz's avatar
      install back the safety check of includes.test · 7824005d
      Alexandre Duret-Lutz authored
      Compilation of each header file alone, as a safety check, was removed
      when introducing "#pragma once" because we did not have to check for
      possible double inclusion.  However we still need to compile each
      header to make sure they are self-contained.
      
      * tests/sanity/includes.test: Compile each header.
      * tests/run.in: Export various compiler and directory flags.
      * spot/twaalgos/emptiness_stats.hh, spot/misc/mspool.hh,
      spot/misc/fixpool.hh: Include <spot/misc/common.hh>.
      * spot/misc/common.hh: Include <cassert>.
      * NEWS: Mention the fixed headers.
      7824005d
    • Alexandre Duret-Lutz's avatar
      install back the safety check of includes.test · 0ab8dc06
      Alexandre Duret-Lutz authored
      Compilation of each header file alone, as a safety check, was removed
      when introducing "#pragma once" because we did not have to check for
      possible double inclusion.  However we still need to compile each
      header to make sure they are self-contained.
      
      * tests/sanity/includes.test: Compile each header.
      * tests/run.in: Export various compiler and directory flags.
      * spot/twaalgos/emptiness_stats.hh, spot/misc/mspool.hh,
      spot/misc/fixpool.hh: Include <spot/misc/common.hh>.
      * spot/misc/common.hh: Include <cassert>.
      * NEWS: Mention the fixed headers.
      0ab8dc06
  19. 28 Nov, 2016 1 commit
  20. 25 Nov, 2016 1 commit
  21. 23 Nov, 2016 2 commits
    • 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,
      spo...
      43ec36cd
  22. 08 Nov, 2016 1 commit
    • Alexandre GBAGUIDI AISSE's avatar
      spot: Add %R, %[..]R common option. · 6ed38070
      Alexandre GBAGUIDI AISSE authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
      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
  23. 29 Oct, 2016 3 commits
  24. 25 Oct, 2016 1 commit
  25. 20 Oct, 2016 1 commit
  26. 10 Oct, 2016 1 commit