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

5037 commits

This branch
This branch
All branches
Author SHA1 Message Date
Alexandre Duret-Lutz
c3b7a691e4 python: add __repr__ for rs_pair 
* spot/twa/acc.hh: Hide default constructors, so that we can have
keyword arguments on the main constructor.
* python/spot/impl.i: Add __repr__.
* tests/python/setacc.py: Test it.
 2018-11-02 11:10:11 +01:00
Alexandre Duret-Lutz
5bb9c87d4c python: fix return of is_rabin_like() and is_streett_like() 
* python/spot/impl.i: Fix instantiation of vector_rs_pairs.
* tests/python/setacc.py: Add test cases.
* NEWS: Mention the bugs.
 2018-10-31 19:44:19 +01:00
Alexandre Duret-Lutz
266581b272 python: fix binding of used_inf_fin_sets() 
* python/spot/impl.i: Here.
* tests/python/setacc.py: Test it.
* NEWS: Mention the bug.
 2018-10-31 15:48:39 +01:00
Alexandre Duret-Lutz
234c9c298f require bison 3.0 and fix obsolete api.location.type usage 
* spot/parseaut/parseaut.yy, spot/parsetl/parsetl.yy: Explicitly Bison
3.0, and use a code argument instead of an (deprecated) string
argument for api.location.type.
 2018-10-29 15:31:14 +01:00
Alexandre Duret-Lutz
fa24cca76c parseaut: fix signed/unsigned comparison warning 
* spot/parseaut/parseaut.yy: Here.
 2018-10-29 11:26:25 +01:00
Alexandre Duret-Lutz
e0958ee7c6 python: add xargs support to translate() and postprocess() 
Fixes #361.

* python/spot/__init__.py: Implement it.
* tests/python/optionmap.py: Test it.
* NEWS: Mention it.
 2018-10-17 18:16:46 +02:00
Alexandre Duret-Lutz
b8e47fdc28 * NEWS: Typo in release date. 2018-10-17 14:17:05 +02:00
Alexandre Duret-Lutz
235508416c Merge branch 'master' into next 2018-10-17 09:35:24 +02: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
31bcb57648 fix ltlfilt --accept-word and --reject-word 
* NEWS: Mention the issue.
* bin/ltlfilt.cc: Fix test.
* tests/core/acc_word.test: Test this.
 2018-10-15 21:43:47 +02:00
Alexandre Duret-Lutz
34f9fb5d68 option --low should disable gf-guarantee 
Fixes #367.

* spot/twaalgos/translate.cc, spot/twaalgos/translate.hh: Fix it.
* NEWS: Mention the change.
* tests/core/ltl2tgba2.test: Test this.
 2018-10-15 21:43:47 +02:00
Alexandre Duret-Lutz
68a155a818 Büchi translation should not go through fg_safety_to_dca_maybe() 
Fixes #366, reported by Simon Jantsch.

* spot/twaalgos/translate.cc: type_&Generic will also match if
type_==BA... use type_==Generic instead.
* tests/core/unambig.test: Add a test corresponding to Simon's report.
* NEWS: Describe the bug.
 2018-10-15 21:43:47 +02:00
Alexandre Duret-Lutz
92369d68c6 solve build issue on Debian unstable i386 
* tests/python/_product_weak.ipynb: Split large loop in two cells.
 2018-10-15 21:42:44 +02:00
Alexandre Duret-Lutz
d94efe9fe1 implement is_liveness() and is_liveness_automaton() 
* spot/twaalgos/strength.cc, spot/twaalgos/strength.hh,
spot/tl/hierarchy.cc, spot/tl/hierarchy.hh: Here.
* bin/ltlfilt.cc (--liveness): New filter.
* NEWS: Mention those.
* tests/core/ltlfilt.test, tests/python/ltlsimple.py: Add test cases.
 2018-10-15 21:37:31 +02:00
Alexandre Duret-Lutz
d2316b1428 fix ltlfilt --accept-word and --reject-word 
* NEWS: Mention the issue.
* bin/ltlfilt.cc: Fix test.
* tests/core/acc_word.test: Test this.
 2018-10-15 21:17:18 +02:00
Alexandre Duret-Lutz
58c1a968c7 option --low should disable gf-guarantee 
Fixes #367.

* spot/twaalgos/translate.cc, spot/twaalgos/translate.hh: Fix it.
* NEWS: Mention the change.
* tests/core/ltl2tgba2.test: Test this.
 2018-10-12 14:08:54 +02:00
Alexandre Duret-Lutz
3c86f034fc Büchi translation should not go through fg_safety_to_dca_maybe() 
Fixes #366, reported by Simon Jantsch.

* spot/twaalgos/translate.cc: type_&Generic will also match if
type_==BA... use type_==Generic instead.
* tests/core/unambig.test: Add a test corresponding to Simon's report.
* NEWS: Describe the bug.
 2018-10-12 14:08:54 +02:00
Alexandre Duret-Lutz
e5f76b77d4 solve build issue on Debian unstable i386 
* tests/python/_product_weak.ipynb: Split large loop in two cells.
 2018-10-08 16:03:17 +02:00
Alexandre Duret-Lutz
82a152c38a unabbreviate: add new rules based on eventual/universal arguments 
Based on a report by Simon Jantsch.  Fixes #362.

* NEWS, doc/tl/tl.tex: Mention the new rules.
* spot/tl/unabbrev.cc: Implement them.
* tests/core/unabbrevwm.test: Test them.
* tests/python/randltl.ipynb: Adjust.
 2018-10-01 17:53:05 +02:00
Alexandre Duret-Lutz
0de334d783 * NEWS: Remove some items from 2.6.2. 2018-10-01 16:44:01 +02:00
Alexandre Duret-Lutz
bfdeadcdbe Merge branch 'master' into next 2018-09-28 10:31:43 +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
5172b9c7d9 org: adjust link to online translator 
* doc/org/index.org: Here.
 2018-09-28 10:04:17 +02:00
Alexandre Duret-Lutz
3eb26704d6 more gcc-snapshot warnings 
* spot/misc/game.hh: Here.
 2018-09-27 10:22:49 +02:00
Alexandre Duret-Lutz
438d9e6d02 * NEWS: Describe more fixed bugs. 2018-09-26 17:58:01 +02:00
Alexandre Duret-Lutz
406e3b4f22 exclusive_ap::constrain does not improve determism 
Fixes #363.

* spot/tl/exclusive.cc: Fix the prop_copy() call.
* tests/core/exclusive-tgba.test: Test it.
* NEWS: Mention the issue.
 2018-09-26 17:54:09 +02:00
Alexandre Duret-Lutz
1b92a8e605 * .gitlab-ci.yml: Fix docker names. 2018-09-26 17:54:09 +02:00
Alexandre Duret-Lutz
87ef2822df print_dot: add xlabel to colored states if too many colors in use 
Based on a report from Andreas Tollkötter.

* spot/twaalgos/dot.cc (highlight_states_show_num_): New option,
turned on implicitly when more than 8 colors are used.
* tests/core/highlightstate.test: Test it.
* NEWS: Mention it.
* THANKS: Add Andreas.
 2018-09-26 17:53:56 +02:00
Alexandre Duret-Lutz
c5abf1b334 * debian/copyright: Fix syntax. 2018-09-26 17:53:15 +02:00
Alexandre Duret-Lutz
a69ea2a9cb remove more references to the old cgi-based translator 
* debian/source/lintian-overrides, python/.gitignore: Here
 2018-09-26 17:53:15 +02:00
Alexandre Duret-Lutz
7a2e5d8bce debian: add missing build dependency 
* debian/control (Build-Depends): Add dh-python.
 2018-09-26 17:53:15 +02:00
Alexandre Duret-Lutz
32a39c3f1a debiam: fix the regex from previous patches 
* debian/rules: Here.
 2018-09-26 17:53:15 +02:00
Alexandre Duret-Lutz
3adc9e18cc debian: apply the mathjax regex to org output as well 
* debian/rules: Here.
 2018-09-26 17:53:15 +02:00
Alexandre Duret-Lutz
9c356bfff6 * doc/org/setup.org: Typo. 2018-09-26 17:53:15 +02:00
Alexandre Duret-Lutz
89b55b7d8d debian: another mathjax regex 
* debian/rules: mathjax is also fetched from cdnjs.cloudflare.com.
 2018-09-26 17:53:15 +02:00
Alexandre Duret-Lutz
a455a277ca debian: adjust the mathjax regex 
* debian/rules: Here.
 2018-09-26 17:53:15 +02:00
Alexandre Duret-Lutz
e7f11b8884 * debian/control: Typo. 2018-09-26 17:53:15 +02:00
Alexandre Duret-Lutz
0076b8f240 * HACKING: R is now required to build from git. 2018-09-26 17:53:15 +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
10d94d9ff9 gcc-snapshot warnings 
* spot/kripke/kripkegraph.hh, spot/priv/bddalloc.hh,
spot/priv/freelist.hh, spot/priv/satcommon.hh, spot/ta/taexplicit.cc
spot/twa/bdddict.cc, spot/twa/twagraph.hh,
spot/twaalgos/alternation.hh, spot/twaalgos/dtwasat.cc,
spot/twaalgos/ltl2taa.cc, spot/twaalgos/stutter.cc,
tests/core/ngraph.cc: Add default constructors, copy constructors, or
remove useless destructors.
 2018-09-26 17:53:15 +02:00
Alexandre Duret-Lutz
eb30d147d8 Adjust to Automake 1.16 
* python/Makefile.am: Adjust for Automake 1.16.
 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
22ad9f5ed2 org: show some useful R operations on ltlcross output 
* doc/org/ltlcross.org: Here.
* doc/org/init.el.in, doc/org/.dir-locals.el.in: Enable R,
and install ess.
 2018-09-26 17:52:16 +02:00
Alexandre Duret-Lutz
eae05119e5 exclusive_ap::constrain does not improve determism 
Fixes #363.

* spot/tl/exclusive.cc: Fix the prop_copy() call.
* tests/core/exclusive-tgba.test: Test it.
* NEWS: Mention the issue.
 2018-09-26 11:35:19 +02:00
Alexandre Duret-Lutz
23fe20c3e4 * .gitlab-ci.yml: Fix docker names. 2018-09-25 16:53:42 +02:00
Alexandre Duret-Lutz
250e121a60 print_dot: add xlabel to colored states if too many colors in use 
Based on a report from Andreas Tollkötter.

* spot/twaalgos/dot.cc (highlight_states_show_num_): New option,
turned on implicitly when more than 8 colors are used.
* tests/core/highlightstate.test: Test it.
* NEWS: Mention it.
* THANKS: Add Andreas.
 2018-09-25 14:04:11 +02:00
Alexandre Duret-Lutz
9490179e27 * debian/copyright: Fix syntax. 2018-09-01 20:23:11 +02:00
Alexandre Duret-Lutz
2c3852597a remove more references to the old cgi-based translator 
* debian/source/lintian-overrides, python/.gitignore: Here
 2018-08-28 20:48:44 +02:00