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

420 commits

Author SHA1 Message Date
Alexandre Duret-Lutz
3612f3416d * NEWS, configure.ac: Bump version to 2.10.2.dev. 2022-01-14 20:21:30 +01:00
Alexandre Duret-Lutz
6eabc517ad Release Spot 2.10.2 
* NEWS, configure.ac, doc/org/setup.org: Set version to 2.10.2.
 2021-12-03 08:54:57 +01:00
Alexandre Duret-Lutz
2a408bbed1 sched_getcpu() and pthread_setaffinity_np() are non-portable 
Reported by Yuri Victorovich, on FreeBSD.

* configure.ac: Test for them.
* spot/mc/mc_instanciator.hh: Only use them if they are present.
* NEWS: Mention the fix.
 2021-11-22 10:24:52 +01:00
Alexandre Duret-Lutz
59690dd041 * NEWS, configure.ac: Bump version to 2.10.1.dev. 2021-11-19 09:48:07 +01:00
Alexandre Duret-Lutz
1782af3924 Release Spot 2.10.1 
* NEWS, configure.ac, doc/org/setup.org: Update for release.
 2021-11-19 09:46:12 +01:00
Alexandre Duret-Lutz
f82d26b625 fix configure --help 
Fixes #488.

* configure.ac: Fix --enable-doxygen's help text, and add
one for --enable-warnings.
 2021-11-18 13:24:53 +01:00
Alexandre Duret-Lutz
dd8373e788 * NEWS, configure.ac: Bump version to 2.10.0.dev. 2021-11-13 21:43:57 +01:00
Alexandre Duret-Lutz
37de3470b8 Release Spot 2.10 
* NEWS, configure.ac, doc/org/setup.org: Bump version.
 2021-11-13 21:43:57 +01:00
Alexandre Duret-Lutz
d5b641a7dc build: use 'jupyter nbconvert' instead of 'ipython nbconvert' 
The latter is deprecatd.

* configure.ac: Check for jupyter.
* tests/Makefile.am: Adjust.
* HACKING: Mention we need jupyter.
 2021-09-04 22:08:20 +02:00
Alexandre Duret-Lutz
c924c63255 Merge branch 'master' into next 2021-08-10 17:43:20 +02:00
Alexandre Duret-Lutz
3c7a2c9b4a Bump version to 2.9.8.dev 
* NEWS, configure.ac: Here.
 2021-08-10 17:38:54 +02:00
Alexandre Duret-Lutz
db0440f1fe Release Spot 2.9.8 
* NEWS, configure.ac, doc/org/setup.org: Bump version to 2.9.8.
 2021-08-10 17:37:00 +02:00
Alexandre Duret-Lutz
e53265dd44 Merge branch 'master' into next 2021-05-12 16:42:06 +02:00
Alexandre Duret-Lutz
30e82e7b1f Bump version to 2.9.7.dev 
* NEWS, configure.ac: Here.
 2021-05-12 15:56:02 +02:00
Alexandre Duret-Lutz
bc768a7157 Release Spot 2.9.7 
* NEWS, configure.ac, doc/org/setup.org: Update for 2.9.7.
 2021-05-12 15:54:55 +02:00
Alexandre Duret-Lutz
2b51861953 Merge branch 'master' into next 2021-01-18 11:15:25 +01:00
Alexandre Duret-Lutz
e5b90a8e00 * NEWS, configure.ac: Bump version to 2.9.6.dev. 2021-01-18 11:09:49 +01:00
Alexandre Duret-Lutz
93ea0e34b0 Release Spot 2.9.6 
* NEWS, configure.ac, doc/org/setup.org: Bump version to 2.9.6.
 2021-01-18 11:07:12 +01:00
Alexandre Duret-Lutz
d779395db6 update obsolete autoconf constructs 
Part of #447.

* configure.ac, m4/debug.m4, m4/devel.m4, m4/gccoptim.m4,
m4/ndebug.m4: Replace AC_ERROR and AC_HELP_STRING by
by AC_MSG_ERROR and AS_HELP_STRING.
 2021-01-18 09:23:14 +01:00
Alexandre Duret-Lutz
7efdd497a8 require Autoconf 2.69 for building from git 
Part of issue #447.

Autoconf 2.69 was released in 2012, so it now widely available.  The
recent release of 2.70 is obsoleting some constructs, so it will be
easier on us if we do not have too many versions to support.

* HACKING, configure.ac: Require Autoconf 2.69.
 2021-01-18 09:21:51 +01:00
Alexandre Duret-Lutz
e076645382 update obsolete autoconf constructs 
Part of #447.

* configure.ac, m4/debug.m4, m4/devel.m4, m4/gccoptim.m4,
m4/ndebug.m4: Replace AC_ERROR and AC_HELP_STRING by
by AC_MSG_ERROR and AS_HELP_STRING.
 2021-01-14 15:15:39 +01:00
Alexandre Duret-Lutz
e497ee26dd require Autoconf 2.69 for building from git 
Part of issue #447.

Autoconf 2.69 was released in 2012, so it now widely available.  The
recent release of 2.70 is obsoleting some constructs, so it will be
easier on us if we do not have too many versions to support.

* HACKING, configure.ac: Require Autoconf 2.69.
 2021-01-12 09:28:36 +01:00
Alexandre Duret-Lutz
92ce384c80 fix compilation of core/bricks with clang++10 
* configure.ac: Call CHECK_ATOMIC after setting the C++ options.
This is probably not necessary, but it makes more sense.
* m4/l_atomic.m4: Augment the test body with a scenario
that actually requires -latomic.
 2021-01-11 20:46:36 +01:00
Alexandre Duret-Lutz
d7871e549e Merge branch 'master' into next 2020-11-19 10:47:02 +01:00
Alexandre Duret-Lutz
c5c8e8c516 * NEWS, configure.ac: Bump version. 2020-11-19 10:42:46 +01:00
Alexandre Duret-Lutz
a5385bb886 Release Spot 2.9.5 
* configure.ac, NEWS, doc/org/setup.org: Update version.
 2020-11-19 10:41:35 +01:00
Etienne Renault
43bd39f13f revert a7842ac for building static modelcheck 
* configure.ac, tests/Makefile.am: Here.
 2020-10-09 11:33:40 +02:00
Alexandre Duret-Lutz
2879c1d8e2 Merge branch 'master' into next 2020-09-07 10:56:53 +02:00
Alexandre Duret-Lutz
9a3c809f10 * NEWS, configure.ac: Bump version to 2.9.4.dev. 2020-09-07 10:56:01 +02:00
Alexandre Duret-Lutz
b956bfe90f Release Spot 2.9.4 
* NEWS, configure.ac, doc/org/setup.org: Bump to version 2.9.4.
 2020-09-07 10:52:51 +02:00
Florian Renkin
149fbb73bf configure.ac: Correct warning message 
configure.ac used unintialized variable when he printed message
for enable-max-accsets

* configure.ac: here.
 2020-09-02 14:12:55 +02:00
Florian Renkin
d2e7cdb377 configure.ac: Correct warning message 
configure.ac used unintialized variable when he printed message
for enable-max-accsets

* configure.ac: here.
 2020-09-01 17:19:44 +02:00
Alexandre Duret-Lutz
1784671ca1 Merge branch 'master' into next 2020-07-22 08:13:26 +02:00
Alexandre Duret-Lutz
2ce84f7889 * configure.ac, NEWS: Bump version to 2.9.3.dev. 2020-07-22 08:12:01 +02:00
Alexandre Duret-Lutz
0b6a7998af Release Spot 2.9.3 
* configure.ac, NEWS, doc/org/setup.org: Set version to 2.9.3.
 2020-07-22 08:09:56 +02:00
Alexandre Duret-Lutz
1a0c8a44ba Merge branch 'master' into next 2020-07-21 08:28:13 +02:00
Alexandre Duret-Lutz
d61d6570ac * NEWS, configure.ac: Bump version to 2.9.2.dev. 2020-07-21 08:24:52 +02:00
Alexandre Duret-Lutz
66a6fbdcb1 Release Spot 2.9.2 
* configure.ac, NEWS, doc/org/setup.org: Set version to 2.9.2.
 2020-07-21 08:22:06 +02:00
Etienne Renault
4db6a342da Fixes #419 
* configure.ac: Here.
 2020-07-17 14:34:47 +02:00
Alexandre Duret-Lutz
4f23097619 build in C++17 mode by default 
* configure.ac: Activate C++17, and replace --enable-c++17 by
--enable-c++20.
* NEWS: Mention the news.
* .gitlab-ci.yml: Use C++20 for the former C++17 builds.
* HACKING, README, doc/org/compile.org, doc/org/concepts.org,
doc/org/index.org, doc/org/install.org, doc/org/tut.org,
doc/org/upgrade2.org, spot/misc/escape.hh: Adjust mentions
of C++14.
 2020-07-16 12:12:21 +02:00
Alexandre Duret-Lutz
1513a9d996 Merge branch 'master' into next 2020-07-15 14:06:23 +02:00
Alexandre Duret-Lutz
cf1550c352 * NEWS, configure.ac: Bump version to 2.9.1.dev. 2020-07-15 13:43:15 +02:00
Alexandre Duret-Lutz
6205664297 Release Spot 2.9.1 
* configure.ac, NEWS, doc/org/setup.org: Set version to 2.9.1.
 2020-07-15 13:40:59 +02:00
Alexandre Duret-Lutz
e20bae6609 swig: search for swig4.0 
* configure.ac: Use swig4.0 when available.
* HACKING: Update.
 2020-07-13 16:30:29 +02:00
Alexandre Duret-Lutz
da9d92eef7 swig: search for swig4.0 
* configure.ac: Use swig4.0 when available.
* HACKING: Update.
 2020-06-09 00:18:15 +02:00
Etienne Renault
e564dd1263 atomic: check if -latomic is required for std::atomic 
* configure.ac,
m4/l_atomic.m4,
python/Makefile.am,
tests/Makefile.am: Here.
 2020-06-03 12:22:41 +02:00
Etienne Renault
35f1423e20 prefer -pthread to -lpthread 
* configure.ac,
spot/ltsmin/Makefile.am,
tests/Makefile.am: Here.
 2020-06-03 12:22:40 +02:00
Etienne Renault
458f506336 bricks: add bricks for concurrent hashmap 
* Makefile.am, README, bricks/brick-assert.h,
bricks/brick-bitlevel.h, bricks/brick-hash.h,
bricks/brick-hashset.h, bricks/brick-shmem.h,
bricks/brick-types.h, configure.ac,
debian/copyright, debian/libspot-dev.install,
m4/bricks.m4, tests/Makefile.am,
tests/core/.gitignore, tests/core/bricks.cc: here.
 2020-06-03 10:33:53 +02:00
Etienne Renault
94492ffa14 reachability: sequential reachability for kripkecube 
* README, configure.ac, spot/mc/Makefile.am,
spot/mc/reachability.hh: here.
 2020-06-03 10:33:53 +02:00
Etienne Renault
8d57700d6a convert: BDD to cube conversions 
* README, configure.ac, spot/Makefile.am,
spot/twacube_algos/Makefile.am, spot/twacube_algos/convert.cc
spot/twacube_algos/convert.hh, tests/core/cube.cc,
tests/core/cube.test: here.
 2020-06-03 10:33:53 +02:00