1. 26 Dec, 2010 1 commit
  2. 24 Dec, 2010 3 commits
    • Alexandre Duret-Lutz's avatar
      Define SWIG_TYPE_TABLE as suggested by the SWIG documentation. · f1d3e999
      Alexandre Duret-Lutz authored
      * wrap/python/Makefile.am: Add -DSWIG_TYPE_TABLE=spot.
      f1d3e999
    • Alexandre Duret-Lutz's avatar
      Use swig2.0 if available. · 8419cb6f
      Alexandre Duret-Lutz authored
      * configure.ac: Search for swig2.0 and swig.
      * wrap/python/Makefile.am: Use $(SWIG).
      8419cb6f
    • Alexandre Duret-Lutz's avatar
      Get rid of ltihooks.py. · 3d61b3a3
      Alexandre Duret-Lutz authored
      ltihooks.py apparently breaks the import mechanisms of Python 2.6,
      causes SWIG's runtime to fail to share a global type table, and
      yields various failures in our tests.
      
      * wrap/python/ltihooks.py: Delete.
      * wrap/python/Makefile.am (EXTRA_DIST): remove ltihooks.py.
      * wrap/python/tests/bddnqueen.py, wrap/python/tests/interdep.py,
      wrap/python/tests/ltl2tgba.py, wrap/python/tests/ltlparse.py,
      wrap/python/tests/ltlsimple.py, wrap/python/tests/minato.py,
      wrap/python/tests/modgray.py, wrap/python/tests/optionmap.py,
      wrap/python/tests/setxor.py: Do not use ltihooks.
      * wrap/python/tests/run.in (pypath): Include the .libs/ directory
      in the search path so that Python can find the *.so libraries.
      3d61b3a3
  3. 12 Dec, 2010 2 commits
    • Alexandre Duret-Lutz's avatar
      * NEWS: Summarize recent changes. · 2ac37ad5
      Alexandre Duret-Lutz authored
      2ac37ad5
    • Alexandre Duret-Lutz's avatar
      Merge transitions in tgba_tba_proxy. · 01843379
      Alexandre Duret-Lutz authored
      With this change the output of
      ltl2tgba -f -x -k -DS "GF(p_1) & ... & GF(p_n)
      uses less than (n+1)^2 transitions when it used
      exactly (n+1)*(2^n) transitions before.
      
      * src/tgba/tgbatba.cc (tgba_tba_proxy_succ_iterator): Merge
      transitions going to the same states if they are both accepting or
      if neither are.
      (state_ptr_bool_t, state_ptr_bool_less_than): Helper type to
      store a transition in tgba_tba_proxy_succ_iterator.
      * src/tgba/tgbatba.cc, src/tgba/tgbatba.hh
      (tgba_tba_proxy::transition_annotation): Remove.  We cannot
      implement this method if transitions are merged.
      01843379
  4. 10 Dec, 2010 2 commits
  5. 09 Dec, 2010 1 commit
    • Alexandre Duret-Lutz's avatar
      Use a cache to speed up tgba_tba_proxy. · 3e7debe5
      Alexandre Duret-Lutz authored
      tgba_tba_proxy used to spend a lot of time (re)computing the
      acceptance condition common to all outgoing transition of a state.
      
      * src/tgba/tgbatba.hh (accmap_): New cache.
      (common_acceptance_conditions_of_original_state): New method.
      * src/tgba/tgbatba.cc (tgba_tba_proxy_succ_iterator::~sync)
      Call common_acceptance_conditions_of_original_state() instead of
      computing the result.
      (~tgba_tba_proxy): Cleanup the cache.
      (common_acceptance_conditions_of_original_state): Implement it.
      3e7debe5
  6. 07 Dec, 2010 3 commits
  7. 04 Dec, 2010 4 commits
  8. 01 Dec, 2010 5 commits
  9. 30 Nov, 2010 2 commits
    • Alexandre Duret-Lutz's avatar
      Rationalize options for counter-example output. · 75a24111
      Alexandre Duret-Lutz authored
      * src/tgbatest/ltl2tgba.cc (main): Either replay the accepting
      run or print it, but do not do both.
      * src/tgbatest/emptchk.test: Adjust. I.e. use -C instead of -CR
      when we expect the run to be displayed.
      75a24111
    • Alexandre Duret-Lutz's avatar
      Fix a GCC 4.6 warning. · ae03bc67
      Alexandre Duret-Lutz authored
      * src/tgbatest/randtgba.cc (main): Remove the set but unused opt_A
      variable (the upcoming GCC 4.6 would warn about it) and set opt_ec
      to 1 if -A is used without -e.
      ae03bc67
  10. 27 Nov, 2010 4 commits
    • Alexandre Duret-Lutz's avatar
      3b371128
    • Alexandre Duret-Lutz's avatar
      [iface/nips/nips_vm] · 0785d729
      Alexandre Duret-Lutz authored
      Fix compilation with Clang.
      
      * state.c: Do not include state_inline.h twice with different
      value of STATE_INLINE.  It was included once via state.h with
      STATE_INLINE = "extern inline", and another time directly with
      STATE_INLINE = "extern". Now...
      * state.h: ... only include it once here with STATE_INLINE =
      "static inline".
      0785d729
    • Alexandre Duret-Lutz's avatar
      Another Clang report. · 8156766f
      Alexandre Duret-Lutz authored
      * iface/nips/nips.cc (format_state): Do not use a variable-sized
      array, this is not allowed in C++.
      8156766f
    • Alexandre Duret-Lutz's avatar
      Fix more errors reported by Clang. · 019c85df
      Alexandre Duret-Lutz authored
      * src/tgbaalgos/reducerun.hh (tgba_run): Predeclare as a struct
      since this is what it is.
      * src/tgbatest/randtgba.cc (main): Avoid using "i" with two
      different type in the same loop.
      019c85df
  11. 26 Nov, 2010 1 commit
    • Alexandre Duret-Lutz's avatar
      Finalize Kripke interface. · 0d9d0b08
      Alexandre Duret-Lutz authored
      * src/kripke/fairkripke.hh, src/kripke/fairkripke.cc,
      * src/kripke/kripke.hh, src/kripke/kripke.cc: Finalize and
      document the Kripke interface.  I have tested it by updating
      checkpn to use it.
      0d9d0b08
  12. 25 Nov, 2010 3 commits
  13. 24 Nov, 2010 2 commits
  14. 20 Nov, 2010 1 commit
  15. 07 Nov, 2010 2 commits
  16. 06 Nov, 2010 4 commits