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

5564 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
Alexandre Duret-Lutz
50a33cbc8c org: fix shadow of hierarchy figure 
* doc/org/hierarchy.tex: Draw the shadow manually, so that it is part
of the bounding box when we extract the SVG.
 2020-08-03 09:24:16 +02:00
Alexandre Duret-Lutz
2c267cac40 simplify: fix handling of keep_top_xor 
Under that option, !(a ^ b) was converted
to (!a <=> !b) instead of simply (a <=> b).

* spot/tl/simplify.cc (equiv_or_xor): Improve
rewriting.
* tests/core/ltl2tgba2.test, tests/python/simstate.py: Adjust test
cases.
 2020-08-03 09:23:48 +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
cc498e7080 org: run a spell checker on the documentation 
* doc/org/autcross.org, doc/org/autfilt.org, doc/org/citing.org,
doc/org/compile.org, doc/org/concepts.org, doc/org/csv.org,
doc/org/dstar2tgba.org, doc/org/genaut.org, doc/org/genltl.org,
doc/org/hierarchy.org, doc/org/hoa.org, doc/org/index.org,
doc/org/install.org, doc/org/ltl2tgba.org, doc/org/ltl2tgta.org,
doc/org/ltlcross.org, doc/org/ltlfilt.org, doc/org/ltlgrind.org,
doc/org/ltlsynt.org, doc/org/oaut.org, doc/org/randaut.org,
doc/org/randltl.org, doc/org/satmin.org, doc/org/tut.org,
doc/org/tut01.org, doc/org/tut02.org, doc/org/tut03.org,
doc/org/tut04.org, doc/org/tut10.org, doc/org/tut11.org,
doc/org/tut12.org, doc/org/tut20.org, doc/org/tut21.org,
doc/org/tut22.org, doc/org/tut23.org, doc/org/tut24.org,
doc/org/tut30.org, doc/org/tut31.org, doc/org/tut50.org,
doc/org/tut51.org, doc/org/tut52.org, doc/org/tut90.org,
doc/org/upgrade2.org: Run ispell-buffer on all these.
* bin/autfilt.cc, python/spot/__init__.py: Fix typos in
help texts noticed while spell-checking the org files.
 2020-07-21 22:21:58 +02:00
Alexandre Duret-Lutz
0342161b20 org: fix python execution with in-tree source and Swig4 
* doc/org/.dir-locals.el.in, doc/org/init.el.in: Set the
SPOT_UNINSTALLED envvar, as we already do in the test suite.
 2020-07-21 22:20:21 +02:00
Alexandre Duret-Lutz
d5f488647b ltlcross: completely fix #420 
Reported by Salomon Sickert.

* bin/ltlcross.cc: Also call determinize_unknown_acceptance() for
positive automata.
* tests/core/ltlcross3.test: Add another test case.
* NEWS: Mention the fix.
 2020-07-21 22:20:04 +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