alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Commit graph

  • a323662e8a bump version to 2.5.2.dev Alexandre Duret-Lutz 2018-03-25 09:59:12 +02:00
  • 2f369d74ac Release Spot 2.5.2 Alexandre Duret-Lutz 2018-03-25 09:53:41 +02:00
  • 006de5da70 * spot/twaalgos/ltl2taa.cc: Remove unused variable. Alexandre Duret-Lutz 2018-03-24 09:55:54 +01:00
  • 95ad831c40 * spot/twaalgos/ltl2taa.cc: Remove unused variable. Alexandre Duret-Lutz 2018-03-24 09:55:54 +01:00
  • c476b2ee3c stutter: fix closure() on Fin-acceptance Alexandre Duret-Lutz 2018-03-23 18:20:35 +01:00
  • 69a3e8486e stutter: fix closure() on Fin-acceptance Alexandre Duret-Lutz 2018-03-23 18:20:35 +01:00
  • b25ec6fe02 powerset: implement an LRU cache Alexandre Duret-Lutz 2018-03-21 11:02:04 +01:00
  • 56d675cc13 * doc/org/autcross.org: Typo. Alexandre Duret-Lutz 2018-03-19 15:25:37 +01:00
  • 0faf80fa31 * doc/org/autcross.org: Typo. Alexandre Duret-Lutz 2018-03-19 15:25:37 +01:00
  • 0ec5ebac3f autcross: support %M in tool specifications Alexandre Duret-Lutz 2018-03-19 15:23:22 +01:00
  • a445778cd8 twa_run: better protection against empty cycles Alexandre Duret-Lutz 2018-03-16 17:12:26 +01:00
  • 76d4fe236c autfilt --acceptance-is=Fin-less should reject "f" Alexandre Duret-Lutz 2018-03-16 14:00:27 +01:00
  • 41722c0c5f remove_fin: never return acceptance "f" Alexandre Duret-Lutz 2018-03-16 13:52:39 +01:00
  • 8d8fa4139d autfilt: fix the --acceptance help output Alexandre Duret-Lutz 2018-03-16 08:20:19 +01:00
  • 028b56d511 twa_run: better protection against empty cycles Alexandre Duret-Lutz 2018-03-16 17:12:26 +01:00
  • 1c26764b13 autfilt --acceptance-is=Fin-less should reject "f" Alexandre Duret-Lutz 2018-03-16 14:00:27 +01:00
  • 1db3472a99 remove_fin: never return acceptance "f" Alexandre Duret-Lutz 2018-03-16 13:52:39 +01:00
  • f2b3653226 autfilt: fix the --acceptance help output Alexandre Duret-Lutz 2018-03-16 08:20:19 +01:00
  • b09c293f1a Clean the usage of spot::acc_cond::mark_t Maximilien Colange 2018-03-02 16:15:19 +01:00
  • cfcc18e680 simplify: reduce {r;1} to {r} or {1} Alexandre Duret-Lutz 2018-03-15 07:59:25 +01:00
  • 2d18ac22fb always capture exceptions by const references Alexandre Duret-Lutz 2018-03-14 17:51:08 +01:00
  • b6e44e6b8b acc: strengthen is_generalized_rabin() and is_generalized_streett() Alexandre Duret-Lutz 2018-03-10 20:30:14 +01:00
  • 651a27202c [buddy] do not use ACLOCAL_AMFLAGS anymore Alexandre Duret-Lutz 2018-03-09 20:24:37 +01:00
  • 6a3e8e95c5 Fix various typos Maximilien Colange 2017-10-11 15:08:48 +02:00
  • 548a35ad57 adjust test case to work with ltl2dstar 0.5.4 Alexandre Duret-Lutz 2018-03-01 14:00:29 +01:00
  • f1924430e2 org: update plantuml download URL Alexandre Duret-Lutz 2018-03-01 10:53:39 +01:00
  • ddfbd4edc4 * .gitlab-ci.yml: Switch to LRDE's docker registry. Alexandre Duret-Lutz 2018-02-27 14:43:02 +01:00
  • 1a31589a2e More config for GitLab-CI Alexandre Duret-Lutz 2018-02-22 11:31:02 +01:00
  • 2a308182db dot: make "a" the default Alexandre Duret-Lutz 2018-03-10 23:23:51 +01:00
  • 15fdac6059 acc: strengthen is_generalized_rabin() and is_generalized_streett() Alexandre Duret-Lutz 2018-03-10 20:30:14 +01:00
  • 057e67e7f6 [buddy] do not use ACLOCAL_AMFLAGS anymore Alexandre Duret-Lutz 2018-03-09 20:24:37 +01:00
  • 23903d204f configure: remove useless calls to AC_CHECK_PROG Alexandre Duret-Lutz 2018-03-09 20:21:43 +01:00
  • cd9af7214d * spot/misc/hash.hh: Remove useless include. Alexandre Duret-Lutz 2018-03-09 20:10:46 +01:00
  • 304f5623d8 Clean a hash function definition Maximilien Colange 2018-03-07 17:21:50 +01:00
  • 85bc05e737 Move the Fowler-Noll-Vo hash function to a header Maximilien Colange 2018-02-28 08:57:40 +01:00
  • 5b2ce2736b Fix various typos Maximilien Colange 2017-10-11 15:08:48 +02:00
  • 62b86d3049 adjust test case to work with ltl2dstar 0.5.4 Alexandre Duret-Lutz 2018-03-01 14:00:29 +01:00
  • fc1ab9f9bb org: update plantuml download URL Alexandre Duret-Lutz 2018-03-01 10:53:39 +01:00
  • fe12f15a16 * .gitlab-ci.yml: Switch to LRDE's docker registry. Alexandre Duret-Lutz 2018-02-27 14:43:02 +01:00
  • d44cc82eb7 Improve purge_unreachable_states() Maximilien Colange 2018-02-23 11:39:17 +01:00
  • d08ca97624 * HACKING: Document that "config.h" should be included first. Alexandre Duret-Lutz 2018-02-23 11:20:55 +01:00
  • e4b8cd3fe4 setup bug-reference for emacs Alexandre Duret-Lutz 2018-02-23 11:17:51 +01:00
  • f8575b4290 More config for GitLab-CI Alexandre Duret-Lutz 2018-02-22 11:31:02 +01:00
  • 41d5e44914 Slight improvement of the determinization Maximilien Colange 2018-02-08 18:15:34 +01:00
  • e945beb607 Improve cleanup_parity Maximilien Colange 2018-02-21 16:21:43 +01:00
  • ac6b0c9432 include config.h in all *.cc files Alexandre Duret-Lutz 2018-02-20 21:42:59 +01:00
  • cdec6b28a2 * configure.ac: fix definition of DOT. Alexandre Duret-Lutz 2018-02-21 17:58:19 +01:00
  • e8ce4b8cad * .gitlab-ci.yml: $CI_JOB_TOKEN does not seem to work. Alexandre Duret-Lutz 2018-02-20 16:01:11 +01:00
  • 5b199d7870 * .gitlab-ci.yml: Ignore tags and use $CI_JOB_TOKEN. Alexandre Duret-Lutz 2018-02-20 11:26:18 +01:00
  • 9a29e8e063 bump version to 2.5.1.dev Alexandre Duret-Lutz 2018-02-20 08:23:08 +01:00
  • 6887fcdbff Release Spot 2.5.1 Alexandre Duret-Lutz 2018-02-20 07:58:58 +01:00
  • 7710008caa org: update link to dev tarball Alexandre Duret-Lutz 2018-02-19 20:43:00 +01:00
  • 7fa6e150ee * .gitlab-ci.yml: Trigger spot-web and spot-sandbox rebuilds Alexandre Duret-Lutz 2018-02-19 15:41:45 +01:00
  • 81e5357e62 fix handling of Rabin-like input for dnf_to_dca() Alexandre Duret-Lutz 2018-02-18 15:20:53 +01:00
  • 69f31c89c6 minor code cleanups Alexandre Duret-Lutz 2018-02-18 08:09:39 +01:00
  • 386a1c32be * .gitlab-ci.yml: Adjust artifact paths for distcheck. Alexandre Duret-Lutz 2018-02-16 20:01:04 +01:00
  • e42fea09a7 fix tra_to_tba() Alexandre Duret-Lutz 2018-02-16 18:12:42 +01:00
  • 5c39063588 simplify_acceptance: remove one useless call Alexandre Duret-Lutz 2018-02-16 16:38:05 +01:00
  • 5a2e4f54c5 fix is_generalized_rabin() and is_generalized_streett() Alexandre Duret-Lutz 2018-02-16 16:34:08 +01:00
  • 9ec6e9172c * .gitlab-ci.yml: Create build tasks. Alexandre Duret-Lutz 2018-02-01 11:49:55 +01:00
  • 5dbe3c0737 tests: cleanup temporary files leftover by a test case Alexandre Duret-Lutz 2018-02-01 21:53:00 +01:00
  • 1ebd86de04 Improve IAR construction Maximilien Colange 2018-01-23 11:16:34 +01:00
  • ff2a96cc1a fix a bug in streett_to_generalized_buchi Alexandre Duret-Lutz 2018-01-23 17:24:10 +01:00
  • c68b04a99e * NEWS, configure.ac: Bump version to 2.5.0.dev. Alexandre Duret-Lutz 2018-01-20 17:45:50 +01:00
  • f3a0ede9f3 Release Spot 2.5 Alexandre Duret-Lutz 2018-01-20 06:57:38 +01:00
  • 1fd0aa14a2 multiple adjustments for Debian stable Alexandre Duret-Lutz 2018-01-20 11:30:10 +01:00
  • 527c802511 more coverage Alexandre Duret-Lutz 2018-01-19 21:19:36 +01:00
  • 206b1ee287 * doc/tl/tl.tex: Typos Florian Perlié-Long 2017-12-22 15:41:45 +01:00
  • 0d26b5d245 tl/hierarchy: Optimize is_persistence/recurrence processing chains Alexandre GBAGUIDI AISSE 2017-12-12 17:59:11 +01:00
  • 6708996541 twaalgos/totgba: Avoid to construct useless SCC in dnf_to_streett() Alexandre GBAGUIDI AISSE 2017-12-12 22:13:38 +01:00
  • 3d5b5be693 cobuchi: nsa_to_nca() takes is_useful_scc() into account Alexandre GBAGUIDI AISSE 2017-12-12 18:57:39 +01:00
  • 81af8359f5 twaalgos/cobuchi: Optimize aug. subset construction when aut. is det Alexandre GBAGUIDI AISSE 2017-09-22 18:46:57 +02:00
  • ebe3a15dcc remfin: add is_buchi_realizable() method Alexandre GBAGUIDI AISSE 2017-09-21 16:42:28 +01:00
  • 1b4002401a spot: small factorisations, improvements and typos Alexandre GBAGUIDI AISSE 2017-10-10 15:20:08 +02:00
  • 2c059a1099 sccinfo: Fix bug in states_on_acc_cycle_of_rec() Alexandre GBAGUIDI AISSE 2017-12-12 19:00:08 +01:00
  • 1a0fa3b722 more doxygen Alexandre Duret-Lutz 2018-01-18 18:00:11 +01:00
  • 7e02aae366 Rabin to parity translation Maximilien Colange 2017-08-25 11:39:00 +02:00
  • 7bf68b4c0e Typos and duplicates Maximilien Colange 2018-01-15 15:09:33 +01:00
  • d94fb07168 twaalgos: more doxygen comments Alexandre Duret-Lutz 2018-01-15 22:18:22 +01:00
  • c920825fad work around issue #317 Alexandre Duret-Lutz 2018-01-14 22:18:55 +01:00
  • 61b0a542f1 postproc: add support for co-Büchi output Alexandre Duret-Lutz 2018-01-12 20:53:53 +01:00
  • 9464043d39 fix streett_to_generalized_buchi Alexandre Duret-Lutz 2018-01-14 15:04:02 +01:00
  • 8a74ae6c9d misc: fix some down_cast issues Alexandre Duret-Lutz 2018-01-10 17:30:25 +01:00
  • 91fdc5ecb2 ltsmin: rework the dlsym interface to please GCC snapshot Alexandre Duret-Lutz 2018-01-09 22:00:49 +01:00
  • 31387e8f71 mark custom hash functions as noexcept Alexandre Duret-Lutz 2018-01-09 17:00:30 +01:00
  • 7f5c1d3707 * NEWS: Reorganize, in preparation for the 2.5 release. Alexandre Duret-Lutz 2018-01-09 16:55:55 +01:00
  • 57d5969079 fix some bibliographic references Alexandre Duret-Lutz 2018-01-09 16:46:44 +01:00
  • 0b71df3fd3 genltl: add --gf-implies Alexandre Duret-Lutz 2018-01-09 10:59:10 +01:00
  • f369db6cb1 python: add colored parity support to postproc and translate Alexandre Duret-Lutz 2018-01-08 11:37:22 +01:00
  • abe4e12cc9 * spot/twaalgos/parity.hh: Fix typo in comment. Alexandre Duret-Lutz 2018-01-08 11:35:59 +01:00
  • bd6dc7a806 postproc: add support for colored-parity Alexandre Duret-Lutz 2018-01-08 11:33:00 +01:00
  • 6bad8aebdd python: remove error recovery checks from the public notebooks Alexandre Duret-Lutz 2018-01-07 15:08:32 +01:00
  • 58e64e752c python: upgrade notebook format to v4 Alexandre Duret-Lutz 2018-01-07 10:33:38 +01:00
  • 020c981188 ltlcross: detect remove_fin failures Alexandre Duret-Lutz 2018-01-06 13:51:12 +01:00
  • a924bc561a remove_fin: use simplify_acceptance Alexandre Duret-Lutz 2018-01-06 11:56:43 +01:00
  • 2feba6ad5e simplify_acceptance: fix handling of first edge Alexandre Duret-Lutz 2018-01-06 09:13:52 +01:00
  • 17b295e10f python: SVG display of word as signals Alexandre Duret-Lutz 2018-01-04 18:43:12 +01:00
  • 678446f1d6 bump copyright year Alexandre Duret-Lutz 2018-01-02 20:34:38 +01:00
  • 0aca26e3f9 parity: fix error handling Alexandre Duret-Lutz 2018-01-02 17:43:57 +01:00
  • 288ea95658 postproc: add Python bindings for Parity changes Alexandre Duret-Lutz 2018-01-02 17:42:53 +01:00