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

5573 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
Alexandre Duret-Lutz
9e6a99dcac * spot/misc/satsolver.hh: Typo in comment. 2020-08-03 09:26:33 +02:00
Alexandre Duret-Lutz
d308728b41 argp: fix handling of very long options in --help 
* lib/argp-help.c (hol_entry_help): Handle cases with option
description is larger than RMARGIN.
 2020-08-03 09:26:19 +02:00
Alexandre Duret-Lutz
c49506eea7 * debian/copyright: Replace MIT by Expat. 2020-08-03 09:25:56 +02:00
Alexandre Duret-Lutz
b013077af3 doc: improve css 
* doc/org/spot.css: Display input and output closer and separate them
with dash.
 2020-08-03 09:25:09 +02:00
Alexandre Duret-Lutz
1a7f471a02 * tests/python/ipnbdoctest.py: Ignore matplotlib font cache messages. 2020-08-03 09:25:03 +02:00
Alexandre Duret-Lutz
94eca2ca7d * spot/twaalgos/toparity.hh: Improve documentation. 2020-08-03 09:24:25 +02:00