1. 10 Jul, 2019 2 commits
  2. 05 Jun, 2019 2 commits
  3. 27 Apr, 2019 2 commits
  4. 19 Apr, 2019 2 commits
  5. 14 Apr, 2019 1 commit
  6. 17 Mar, 2019 2 commits
  7. 14 Feb, 2019 2 commits
  8. 11 Dec, 2018 2 commits
  9. 17 Oct, 2018 2 commits
  10. 28 Sep, 2018 2 commits
  11. 26 Sep, 2018 2 commits
  12. 11 Aug, 2018 2 commits
  13. 04 Aug, 2018 2 commits
  14. 04 Jul, 2018 3 commits
    • Alexandre Duret-Lutz's avatar
      Bump version to 2.6.0.dev · db19141f
      Alexandre Duret-Lutz authored
      * NEWS, configure.ac: Here.
      db19141f
    • Alexandre Duret-Lutz's avatar
      Release Spot 2.6 · 215b0dcb
      Alexandre Duret-Lutz authored
      * NEWS, configure.ac, doc/org/setup.org: Bump version to 2.6.
      215b0dcb
    • Alexandre Duret-Lutz's avatar
      Fix GITPATCH computation · 0d2b8aac
      Alexandre Duret-Lutz authored
      Since the introduction of the syntcomp2018-submission tag (on a
      separate branch), that computation of GITPATCH was based on this
      tag because it was the last one (even if it is not on next).
      We did not see it on the Debian packages, because they clone
      only one branch of the repository, but the RPM packages had a
      different GITPATCH.
      
      * configure.ac (GITPATCH): Compute the number of commits since the
      last "spot-*" tag.
      0d2b8aac
  15. 20 Jun, 2018 1 commit
    • Maximilien Colange's avatar
      make valgrind understand our memory pools · 3fe74f1c
      Maximilien Colange authored
      Annotate pools with valgrind macros so that it detects errors in pool
      usage. Typically, we wish valgrind to detect a leak when the user fails
      to call proper deallocation function.
      
      * spot/misc/fixpool.hh, spot/misc/mspool.hh: here
      * configure.ac: ensure that valgrind header exists
      * tests/Makefile.am, tests/core/mempool.cc, tests/core/mempool.test,
        tests/core/.gitignore: add tests to ensure valgrind accurately detects
        leaks
      3fe74f1c
  16. 24 May, 2018 1 commit
  17. 22 May, 2018 2 commits
    • Maximilien Colange's avatar
      more portable configure.ac · 17532163
      Maximilien Colange authored
      * configure.ac: do not use bash-ism
      17532163
    • Maximilien Colange's avatar
      acc_cond::mark_t now relies on bitset · d7ee23ed
      Maximilien Colange authored
      This allows to represent more than 32 acceptance marks.
      
      * configure.ac: add an option to specify the number of marks
      * spot/twa/acc.hh: implement it
      * tests/python/acc_cond.ipynb, tests/core/acc.cc,
        tests/core/ltlcross3.test: update tests
      * NEWS: document it
      * bin/randltl.cc: fix an include
      d7ee23ed
  18. 20 Apr, 2018 2 commits
  19. 25 Mar, 2018 2 commits
  20. 09 Mar, 2018 1 commit
  21. 21 Feb, 2018 1 commit
  22. 20 Feb, 2018 2 commits