alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
6642 commits 6 branches 0 tags 36 MiB
Commit graph

454 commits

Author SHA1 Message Date
Alexandre Duret-Lutz
11262d0495 * NEWS, configure.ac: Bump version to 2.8.1.dev. 2019-07-18 10:10:09 +02:00
Alexandre Duret-Lutz
2e28f8c93b Release Spot 2.8.1 
* NEWS, configure.ac, doc/org/setup.org: Bump version to 2.8.1.
 2019-07-18 10:01:09 +02:00
Alexandre Duret-Lutz
2c2daf6b8a Bump version to 2.8.0.dev 
* NEWS, configure.ac: Here.
 2019-07-10 06:19:57 +02:00
Alexandre Duret-Lutz
85b2d426d9 Release Spot 2.8 
* configure.ac, doc/org/setup.org, NEWS: Bump version to Spot 2.8.
 2019-07-10 06:13:19 +02:00
Alexandre Duret-Lutz
435fec89b0 Merge branch 'master' into next 2019-06-05 08:12:35 +02:00
Alexandre Duret-Lutz
f30c941583 * NEWS, configure.ac: Bump version to 2.7.5.dev. 2019-06-05 08:09:19 +02:00
Alexandre Duret-Lutz
e9fb50114f Release Spot 2.7.5 
* NEWS, configure.ac, doc/org/setup.org: Bump version.
 2019-06-05 08:05:24 +02:00
Alexandre Duret-Lutz
00f70257db Merge branch 'master' into next 2019-04-27 06:30:08 +02:00
Alexandre Duret-Lutz
09d9e0c52a Bump version to 2.7.4.dev 
* NEWS, configure.ac: Here.
 2019-04-27 06:28:17 +02:00
Alexandre Duret-Lutz
90e5f6ed7d Release Spot 2.7.4 
* doc/org/setup.org, configure.ac, NEWS: Update version.
 2019-04-27 06:25:21 +02:00
Alexandre Duret-Lutz
cb72191642 Merge branch 'master' into next 2019-04-19 09:04:29 +02:00
Alexandre Duret-Lutz
9aa5e67384 * NEWS, configure.ac: Bump version to 2.7.3.dev. 2019-04-19 09:00:40 +02:00
Alexandre Duret-Lutz
eb826185f5 Release spot 2.7.3 
* NEWS, configure.ac, doc/org/setup.org: Set version.
 2019-04-19 08:56:41 +02:00
Alexandre Duret-Lutz
d65ceb0bc8 bin: prefer posix_spawn over fork+exec 
* configure.ac: Test for <spawn.h>.
* bin/common_trans.cc: Use posix_spawn when available.
* NEWS: Mention the change.
* tests/core/ltldo.test: Adjust expected error message.
 2019-04-14 15:07:48 +02:00
Alexandre Duret-Lutz
489444aa4d * NEWS, configure.ac: Bump version to 2.7.2.dev. 2019-03-17 17:19:45 +01:00
Alexandre Duret-Lutz
cf8d711386 Release Spot 2.7.2 
* NEWS, configure.ac, doc/org/setup.org: Bump version.
 2019-03-17 17:19:39 +01:00
Alexandre Duret-Lutz
0c32f6b7ae Bump version to 2.7.1.dev 
* configure.ac, NEWS: Here.
 2019-02-14 09:52:38 +01:00
Alexandre Duret-Lutz
8befa3280c Release spot 2.7.1 
* configure.ac, NEWS, doc/org/setup.org: Set version.
 2019-02-14 09:50:25 +01:00
Alexandre Duret-Lutz
db02a0b270 * NEWS, configure.ac: Bump version number. 2018-12-11 09:07:11 +01:00
Alexandre Duret-Lutz
68da48484b Release Spot 2.7 
* configure.ac, NEWS, doc/org/setup.org: Bump version.
 2018-12-11 09:00:52 +01:00
Alexandre Duret-Lutz
1878e75ebc bump version to 2.6.3.dev 
* NEWS, configure.ac: Here.
 2018-10-17 09:34:09 +02:00
Alexandre Duret-Lutz
44283adfc6 Release Spot 2.6.3 
* NEWS, configure.ac, doc/org/setup.org: Bump version.
 2018-10-17 09:27:22 +02:00
Alexandre Duret-Lutz
4b2562a33f Bump version to 2.6.2.dev 
* NEWS, configure.ac: Here.
 2018-09-28 10:12:36 +02:00
Alexandre Duret-Lutz
2828e229bd Release Spot 2.6.2 
* NEWS, configure.ac, doc/org/setup.org: Bump version number.
 2018-09-28 10:04:39 +02:00
Alexandre Duret-Lutz
816e5752fb fix --disable-doxygen and --disable-c++17 
Reported by Yuri Victorovich.

* configure.ac (enable_doxygen, enable_c++17): Use $enableval instead
of "yes".
* THANKS: Add Yuri.
 2018-09-26 17:53:15 +02:00
Alexandre Duret-Lutz
1be313ef0b get rid of the Python-based CGI translator 
We now have a separate project for its replacement at
https://gitlab.lrde.epita.fr/spot/spot-web-app/

* python/ajax/: Remove directory.
* python/Makefile.am, configure.ac, README: Adjust.
* NEWS: Mention this.
 2018-09-26 17:53:11 +02:00
Alexandre Duret-Lutz
90f529918b * NEWS, configure.ac: Bump version number. 2018-08-04 08:56:38 +02:00
Alexandre Duret-Lutz
d743674729 Release Spot 2.6.1 
* NEWS, configure.ac, doc/org/setup.org: Update version number.
 2018-08-04 08:54:45 +02:00
Alexandre Duret-Lutz
db19141f7a Bump version to 2.6.0.dev 
* NEWS, configure.ac: Here.
 2018-07-04 17:11:24 +02:00
Alexandre Duret-Lutz
215b0dcbf0 Release Spot 2.6 
* NEWS, configure.ac, doc/org/setup.org: Bump version to 2.6.
 2018-07-04 17:07:09 +02:00
Alexandre Duret-Lutz
0d2b8aacd1 Fix GITPATCH computation 
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.
 2018-07-04 16:00:00 +02:00
Maximilien Colange
3fe74f1cb9 make valgrind understand our memory pools 
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
 2018-06-20 14:26:31 +02:00
Alexandre Duret-Lutz
2e165f188d rename SPOT_NB_ACC to SPOT_MAX_ACCSETS 
* NEWS, bin/autcross.cc, bin/autfilt.cc, bin/ltlcross.cc,
configure.ac, spot/parseaut/parseaut.yy, spot/twa/acc.cc,
spot/twa/acc.hh, tests/core/acc.cc, .gitlab-ci.yml: Here.
 2018-05-24 22:18:42 +02:00
Maximilien Colange
17532163d2 more portable configure.ac 
* configure.ac: do not use bash-ism
 2018-05-22 13:54:17 +02:00
Maximilien Colange
d7ee23ed2f acc_cond::mark_t now relies on bitset 
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
 2018-05-22 09:54:19 +02:00
Alexandre Duret-Lutz
c2e177ee09 Merge branch 'master' into next 2018-04-20 08:06:33 +02:00
Alexandre Duret-Lutz
fea122f7ba Bump version to 2.5.3.dev 
* NEWS, configure.ac: Here.
 2018-04-20 07:59:33 +02:00
Alexandre Duret-Lutz
8de9f6aa26 Release Spot 2.5.3 
* NEWS, configure.ac, doc/org/setup.org: Bump version.
 2018-04-20 07:57:01 +02:00
Alexandre Duret-Lutz
095d019940 Merge branch 'master' into next 2018-03-25 10:01:48 +02:00
Alexandre Duret-Lutz
a323662e8a bump version to 2.5.2.dev 
* NEWS, configure.ac: Here.
 2018-03-25 09:59:12 +02:00
Alexandre Duret-Lutz
2f369d74ac Release Spot 2.5.2 
* NEWS, configure.ac, doc/org/setup.org: Bump version.
 2018-03-25 09:53:41 +02:00
Alexandre Duret-Lutz
23903d204f configure: remove useless calls to AC_CHECK_PROG 
Fixes #329.

* configure.ac: Do not check for lbt, modella, and ltl2nba.
* bench/ltl2tgba/defs.in: Remove the associated substitutions,
not used in the scripts.
 2018-03-09 20:21:43 +01:00
Alexandre Duret-Lutz
cdec6b28a2 * configure.ac: fix definition of DOT. 2018-02-21 17:58:19 +01:00
Alexandre Duret-Lutz
9a29e8e063 bump version to 2.5.1.dev 
* NEWS, configure.ac: Here.
 2018-02-20 08:23:08 +01:00
Alexandre Duret-Lutz
6887fcdbff Release Spot 2.5.1 
* NEWS, configure.ac, doc/org/setup.org: Set version to 2.5.1.
 2018-02-20 07:58:58 +01:00
Alexandre Duret-Lutz
c68b04a99e * NEWS, configure.ac: Bump version to 2.5.0.dev. 2018-01-20 17:45:50 +01:00
Alexandre Duret-Lutz
f3a0ede9f3 Release Spot 2.5 
* NEWS, configure.ac, doc/org/setup.org: Bump version.
 2018-01-20 15:09:00 +01:00
Alexandre Duret-Lutz
0d963d5f7e Merge branch 'master' into next 2017-12-25 15:48:09 +01:00
Alexandre Duret-Lutz
9c77cb321e * NEWS, configure.ac: Bump version to 2.4.4.dev. 2017-12-25 15:46:44 +01:00
Alexandre Duret-Lutz
2f5fb47c7f Release Spot 2.4.4 
* NEWS, configure.ac, doc/org/setup.org: Bump version.
 2017-12-25 15:42:03 +01:00