1. 26 Sep, 2018 1 commit
  2. 04 Aug, 2018 2 commits
  3. 03 Aug, 2018 1 commit
  4. 02 Aug, 2018 16 commits
  5. 05 Jul, 2018 1 commit
  6. 04 Jul, 2018 6 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
      org: add instructions for install RPM packages · 70b212d8
      Alexandre Duret-Lutz authored
      * doc/org/install.org: Here.
      * NEWS: Mention that we have RPM packages.
      70b212d8
    • Alexandre Duret-Lutz's avatar
    • 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
    • Alexandre Duret-Lutz's avatar
      trival: prefer a global operator== relying on implicit conversion · 04110995
      Alexandre Duret-Lutz authored
      Hopefully fixes #359.
      
      * spot/misc/trival.hh: Declare a global operator==(trival,trival) that
      replace the specialized operator==(bool,trival), and the in class
      trival::operator(trival), thanks to the implicit construction from
      bool to trival.  Make the repr_t/value_t constructor explicit, are
      those are mostly internal to the library and may cause conflicts.
      * spot/twa/twa.hh: Adjust to construct trival explicitly.
      * python/spot/impl.i: Since Swig/Python does not support global
      comparison operators, implement a member version, supporting
      only __eq__(trival,bool) as before.
      * tests/python/setacc.py: Adjust erroneous code.
      * tests/python/trival.py: Add test cases.
      04110995
  7. 02 Jul, 2018 6 commits
  8. 01 Jul, 2018 1 commit
  9. 30 Jun, 2018 3 commits
  10. 29 Jun, 2018 3 commits