Skip to content
GitLab
  1. 05 Jun, 2019 2 commits
  3. 27 Apr, 2019 2 commits
  5. 19 Apr, 2019 2 commits
  7. 17 Mar, 2019 2 commits
  9. 14 Feb, 2019 2 commits
  11. 11 Dec, 2018 2 commits
  13. 17 Oct, 2018 2 commits
  15. 28 Sep, 2018 2 commits
  17. 26 Sep, 2018 2 commits
  19. 11 Aug, 2018 2 commits
  21. 04 Aug, 2018 2 commits
  23. 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
  25. 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
  27. 24 May, 2018 1 commit
  29. 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
  31. 20 Apr, 2018 2 commits
  33. 25 Mar, 2018 2 commits
  35. 09 Mar, 2018 1 commit
  37. 21 Feb, 2018 1 commit
  39. 20 Feb, 2018 2 commits
  41. 20 Jan, 2018 2 commits
  43. 25 Dec, 2017 1 commit