1. 16 Dec, 2016 3 commits
  2. 15 Dec, 2016 3 commits
  3. 14 Dec, 2016 1 commit
  4. 13 Dec, 2016 3 commits
  5. 10 Dec, 2016 2 commits
  6. 09 Dec, 2016 1 commit
    • Alexandre Duret-Lutz's avatar
      ltlf: ensure alive holds initially · 413eab1d
      Alexandre Duret-Lutz authored
      Reported by Shufang Zhu.
      
      * spot/tl/ltlf.cc, spot/tl/ltlf.hh: Fix the transltion
      and update the comments.
      * tests/core/ltlfilt.test: Adjust test cases.
      * NEWS: Mention the fix.
      * THANKS: Add Shufang Zhu.
      413eab1d
  7. 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
  8. 01 Dec, 2016 6 commits
  9. 30 Nov, 2016 3 commits
  10. 29 Nov, 2016 5 commits
  11. 28 Nov, 2016 5 commits
    • Alexandre Duret-Lutz's avatar
      debian: depend on libjs-jquery · 51a683c2
      Alexandre Duret-Lutz authored
      This fix some lintian issues.
      
      * debian/control: Add dependency.
      * debian/rules: Fix the generated html page to use the local jquery.
      51a683c2
    • Alexandre Duret-Lutz's avatar
      ltsmin: use any installed libltdl · b1f90817
      Alexandre Duret-Lutz authored
      This should solve issue with the Debian package.
      
      * spot/ltsmin/Makefile.am: Use the LTDLINC, LTDLDEPS and LIBLTDL as
      documented.
      * NEWS: Mention the fix.
      b1f90817
    • Alexandre Duret-Lutz's avatar
      strength: fix is_terminal() · 341eeb2b
      Alexandre Duret-Lutz authored
      Fix #198.  Reported by Maximilien Colange.
      
      * spot/twaalgos/strength.cc (is_terminal): Test that no accepting
      transition lead to a rejecting SCC.
      * tests/core/strength.test: Add test case.
      * spot/twaalgos/strength.hh, spot/twa/twa.hh, doc/org/concepts.org:
      Adjust documentation.
      * NEWS: Mention the fix.
      341eeb2b
    • Alexandre Duret-Lutz's avatar
      strength: fix is_terminal() · 9bc978a9
      Alexandre Duret-Lutz authored
      Fix #198.  Reported by Maximilien Colange.
      
      * spot/twaalgos/strength.cc (is_terminal): Test that no accepting
      transition lead to a rejecting SCC.
      * tests/core/strength.test: Add test case.
      * spot/twaalgos/strength.hh, spot/twa/twa.hh, doc/org/concepts.org:
      Adjust documentation.
      * NEWS: Mention the fix.
      9bc978a9
    • Maximilien Colange's avatar
      New macro to downcast shared pointers. · 2fbc75f4
      Maximilien Colange authored
      * spot/misc/casts.hh: Add a macro down_pointer_cast.
      2fbc75f4
  12. 25 Nov, 2016 1 commit
  13. 24 Nov, 2016 5 commits