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

5579 commits

This branch
This branch
All branches
Author SHA1 Message Date
Alexandre Duret-Lutz
b7accdcf0d * tests/python/ipnbdoctest.py: Work around failures on Fedora. 2021-01-18 09:23:42 +01:00
Alexandre Duret-Lutz
a820c58e74 patch gnulib to accomodate autoconf 2.70 
Upgrading gnulib turned to be too difficult, so this only includes
updates to m4 files necessary to please Autoconf 2.70.

For issue #447.

* m4/extensions.m4, m4/malloc.m4, m4/std-gnu11.m4: Cherry-pick
from today's gnulib version.
 2021-01-18 09:23:25 +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
4522891f13 * doc/org/oaut.org: Fix two broken displays of results. 2021-01-18 09:21:22 +01:00
Alexandre Duret-Lutz
0df98b33b0 bump copyright year 
* bin/common_setup.cc, debian/copyright: Here.
 2021-01-18 09:21:18 +01:00
Alexandre Duret-Lutz
319204e868 * lib/.gitignore: More files to ignore. 2021-01-18 09:21:14 +01:00
Alexandre Duret-Lutz
26c232759e * doc/org/install.org: apt-key is deprecated in Bullseye. 2021-01-18 09:21:01 +01:00
Florian Renkin
b16192ae19 translate: Correct the choice of the automaton with the fewest colors 
* spot/twaalgos/translate.cc: here
 2021-01-18 09:20:51 +01:00
Alexandre Duret-Lutz
3dfe0dad24 determinize: do not copy the "incomplete" property 
Mentioned in issue #298.

* spot/twaalgos/determinize.cc: Do not copy prop_complete of
the input if it is false.
* NEWS: Mention the bug.
 2021-01-18 09:20:23 +01:00
Alexandre Duret-Lutz
b073e70880 propagate: fix constness of scc_info argument 
* spot/twaalgos/degen.cc,
spot/twaalgos/degen.hh (propagate_marks_vector, propagate_marks_here):
Take the scc_info* argument as const.
 2021-01-18 09:17:30 +01:00
Alexandre Duret-Lutz
20e52cf7a5 * NEWS: Typo. 2021-01-18 09:16:22 +01:00
Alexandre Duret-Lutz
a7d5d00f71 debian: do not install README in both spot and spot-doc 
* debian/spot-doc.docs: Delete this file.
* Makefile.am: Adjust.
 2021-01-18 09:16:19 +01:00
Alexandre Duret-Lutz
05d2f5fe37 * .gitlab-ci.yml: Remove reference to registry.lrde.epita.fr. 2021-01-18 09:16:13 +01:00
Alexandre Duret-Lutz
791daed851 debian: use -flto=jobserver. 
* debian/rules: Adjust to use the jobserver, don't pass 'u' to ar.
 2021-01-18 09:15:14 +01:00
Alexandre Duret-Lutz
75b95fd0f4 debian: upgrade dh-compat and standards versions 
* debian/compat, debian/control: Upgrade dh compat from 9 to 12.
* debian/rules: Upgrade standards from 3.9.6 to to 4.5.1.
 2021-01-18 09:13:26 +01:00
Jerome Dubois
adce0d2bfd * spot/twa/twagraph: Fix undefined behavior. 2021-01-18 09:12:58 +01:00
Alexandre Duret-Lutz
6fd9717fbb simulation: remove unnecessary iteration 
This fixes #442.

* spot/twaalgos/simulation.cc (iterated_simulations_): Initialize next
so that we can exit after the first iteration if no change was made.
* NEWS: Mention the bug.
 2021-01-18 09:12:50 +01:00
Alexandre Duret-Lutz
30b165d821 twagraph: fix merge_edges() ignoring the first edge 
This fixes #441, reported by Jérôme Dubois.

* tests/python/mergedge.py: New file.
* tests/Makefile.am: Add it.
* spot/twa/twagraph.cc (merge_edges): Fix initialization of second
loop.
* NEWS: Mention the bug.
 2021-01-18 09:12:38 +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
Alexandre Duret-Lutz
aecdab7ba7 * NEWS: Update for recent fixes. 2020-11-08 14:20:17 +01:00
Alexandre Duret-Lutz
bcd88df0fe python: rename aux.py to aux_.py 
Fixes #437, reporeted by Yann Thierry-Mieg.

* python/spot/aux.py: Rename as...
* python/spot/aux_.py: ... this.
* python/spot/__init__.py, python/Makefile.am: Adjust.
* NEWS: Mention the change.
 2020-11-08 14:11:37 +01:00
Alexandre Duret-Lutz
5ea20db6b4 ltlsmin: fix incorrect check for dlsym error 
Fix #435 reported by Yann Thierry-Mieg.

* spot/ltsmin/ltsmin.cc (sym): Fix incorrect check introduced
by dc4a477172.
 2020-11-08 13:45:01 +01:00
Alexandre Duret-Lutz
7697adf645 org: work around ESS issue 1052 
This was causing all our build to fail.

* doc/org/init.el.in: Here.
 2020-11-08 13:42:09 +01:00
Alexandre Duret-Lutz
53a68f99f4 org: various improvements 
* doc/org/spot.css: Improve style and responsiveness.
* doc/org/oaut.org, doc/org/ioltl.org: Fix some ugly outputs.
 2020-11-08 13:41:57 +01:00
Alexandre Duret-Lutz
4ca2f394e4 org: fix local export 
* doc/org/.dir-locals.el.in: Remove incorrect quote.
 2020-11-08 13:41:41 +01:00
Alexandre Duret-Lutz
ef41b6af56 tests: do not override DYLD_LIBRARY_PATH 
* tests/run.in: Here.
 2020-11-08 13:41:32 +01:00
Alexandre Duret-Lutz
5401d4c8ce tests: fix import of libspotgen on Darwin 
Fixes #426, reported by Étienne Renault.

* tests/run.in: Augment modpath.
 2020-11-08 13:41:25 +01:00
Alexandre Duret-Lutz
a4978ed33d Update HACKING 
Fixes #427 and #429.

* HACKING: Mention dot2tex and update Flex.
 2020-11-08 13:40:44 +01:00
Alexandre Duret-Lutz
66944e866f tests: fix non-portable use of sed 
Fixes #428, reported by Etienne Renault.

* tests/core/genltl.test: Do use \? with sed.
 2020-11-08 13:39:11 +01:00
Alexandre Duret-Lutz
c57a147d3d tests: use $PERL instead of perl 
* tests/core/ltl2tgba2.test, tests/core/ltldo.test,
tests/core/ltlfilt.test, tests/core/neverclaimread.test,
tests/core/parseaut.test, tests/sanity/bin.test: Here.
 2020-11-08 13:39:03 +01:00
Alexandre Duret-Lutz
23709101c5 tests: replace non-portable use of sed by $PERL 
This fixes one failure reported in #428 by Étienne Renault.

* tests/core/lbt.test: Here.
* tests/run.in: Export PERL.
 2020-11-08 13:38:57 +01:00
Alexandre Duret-Lutz
59124f9178 minimize_wdba: avoid memory leak 
* spot/twaalgos/minimize.cc: Do not look the final/non_final hash
table when determinization is aborted.
 2020-11-08 13:38:37 +01:00
Jerome Dubois
579708543e * AUTHORS: Add myself. 2020-11-08 13:38:21 +01:00
Jerome Dubois
d342d4c6fd python: add check for panda 
* tests/python/ipnbdoctest.py: Skip test if panda is not installed.
 2020-11-08 13:38:15 +01:00
Alexandre Duret-Lutz
b30521351b * .gitlab-ci.yml: Fix images names. 2020-11-08 13:35:00 +01:00
Alexandre Duret-Lutz
b5c20f72f6 i386 Debian builds need x86 builders 
* .gitlab-ci.yml: split the amd64/i386 debian builds so we can tag the
latter with x86.
 2020-11-08 13:34:52 +01:00
Alexandre Duret-Lutz
43e9050b83 org: greatly reduce the size of satmin.svg 
* doc/org/satmin.tex: Use a plain background color instead of some
hashed lines pattern.  This reduces the size of the resulting SVG
file from 1.9MB to 50kB after minification.
* doc/org/satmin.org: Adjust to mention autfilt.
 2020-11-08 13:34:43 +01:00
Alexandre Duret-Lutz
af800182c5 minify SVG images if possible 
Fixes #422.

* HACKING: mention svgo
* doc/Makefile.am (dist-hook, stamp): Run svgo on produced SVGs.
 2020-11-08 13:34:30 +01:00
Alexandre Duret-Lutz
a266f726c6 * doc/org/spot.css: Remove margin-bottom from pre.example. 2020-09-07 16:05:19 +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
Alexandre Duret-Lutz
b0f8170055 * .gitlab-ci.yml: Update docker images, for buildenv#1. 2020-09-03 14:45:07 +02:00
Florian Renkin
33a79a34d3 Fix typo 
* NEWS, spot/graph/graph.hh: here.
 2020-09-02 14:13:00 +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
Alexandre Duret-Lutz
af108d0556 * doc/org/ioltl.org: Document prefix operators. 2020-08-03 09:27:16 +02:00
Alexandre Duret-Lutz
fd437d62f8 help2man: allow line breaks in long lists of options 
* tools/help2man: Add \: after | when listing optional arguments.
This should fix a lintian warning about unbreakable long line.
 2020-08-03 09:27:11 +02:00
Alexandre Duret-Lutz
ceced82c5c * debian/rules (fix-js): Adjust to newer MathJax URL. 2020-08-03 09:27:08 +02:00
Alexandre Duret-Lutz
fde9a303c4 to_parity: minor fixes 
* spot/twaalgos/toparity.cc: Do not call prpagate_marks_here twice if
the automaton was not degeneralized.
* spot/twaalgos/toparity.hh: Typo in comment.
 2020-08-03 09:27:04 +02:00