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

Commit graph

  • 1e86463205 update gnulib to 47bf2cf3184027c1eb9c1dfeea5c5b8b2d69710d Alexandre Duret-Lutz 2020-04-16 10:47:14 +02:00
  • fe642bc9ad acc: make sure unit_propagate preserve the number of sets Alexandre Duret-Lutz 2020-04-15 22:25:53 +02:00
  • d8506ded52 work around Doxygen limitation Alexandre Duret-Lutz 2020-04-15 21:22:57 +02:00
  • 8cea82f5c6 autcross: typo in --help Alexandre Duret-Lutz 2020-04-15 21:10:39 +02:00
  • 52fbb09e55 org: more examples for autfilt Alexandre Duret-Lutz 2020-04-15 15:52:26 +02:00
  • 801d629a20 * spot/twaalgos/postproc.cc: Improve to_parity() call. Alexandre Duret-Lutz 2020-04-15 11:41:46 +02:00
  • d7ab8dbe13 to_parity: Correct error with automata without transition Florian Renkin 2020-04-15 21:51:41 +02:00
  • d784094ab9 unit_propagation: Correct a segfault when we have true in the condition Florian Renkin 2020-04-15 16:12:03 +02:00
  • ee3e09f8c9 to_parity: Correct order function Florian Renkin 2020-04-15 15:25:53 +02:00
  • 533640fa74 Fix glibcxxdebug build not using --enable-glibcxx-debug Alexandre Duret-Lutz 2020-04-14 23:34:01 +02:00
  • 306eca8ce1 fix invalid iterator handling, reported by -D_GLIBCXX_DEBUG Alexandre Duret-Lutz 2020-04-14 23:24:13 +02:00
  • 4d2922eafa to_parity: Improve change_transitions_destination and add doc Florian Renkin 2020-04-14 13:09:18 +02:00
  • 0ba1097636 to_parity: Improve to_parity and update tests Florian Renkin 2020-04-10 19:22:20 +02:00
  • b4db34995f Move several functions from acc.hh to acc.h Florian Renkin 2020-04-10 18:51:47 +02:00
  • 630b8333fe Impove simplify_acceptance Florian Renkin 2020-04-06 14:52:45 +02:00
  • a020607664 Correct an issue in toparity with parity prefix Florian Renkin 2020-04-06 14:39:07 +02:00
  • 13ede90210 * spot/twaalgos/toparity.hh: Add documentation for toparity options. Florian Renkin 2020-04-06 14:38:24 +02:00
  • 37897e89e8 Remove redundant Fin and Inf with simplify_acceptance Florian Renkin 2020-04-02 18:50:09 +02:00
  • 502778f83f toparity: Search a compatible state at the end of the algo Florian Renkin 2020-04-02 11:41:51 +02:00
  • a1a5334d5e relabel_bse: improve handling of n-ary operators Alexandre Duret-Lutz 2020-04-12 11:55:53 +02:00
  • 33289f5166 relabel_bse: fix incorrect detection of common APs Alexandre Duret-Lutz 2020-04-11 23:50:07 +02:00
  • 0b25820211 ignore false edges in emptiness checks and scc_info Alexandre Duret-Lutz 2020-04-11 11:09:10 +02:00
  • 67fa19cb08 relabel: generalize 9365f8de1 to remove more false edges Alexandre Duret-Lutz 2020-04-10 10:50:04 +02:00
  • a434778fba remove is_alternating() methods Alexandre Duret-Lutz 2020-04-05 11:18:58 +02:00
  • 682ec77b0b toparity: take a const_twa_graph_ptr as input Alexandre Duret-Lutz 2020-04-05 11:07:20 +02:00
  • 2b918d1c02 toparity: rename iar_old()/iar_maybe_old() to iar()/iar_maybe() Alexandre Duret-Lutz 2020-04-05 10:54:55 +02:00
  • 0a95314dca to_parity: improve remove_false_transitions Alexandre Duret-Lutz 2020-04-04 16:06:51 +02:00
  • 1db319267f python: simplify to_parity() interface Alexandre Duret-Lutz 2020-04-04 15:44:27 +02:00
  • 1750c0fb6d to_parity: improve doc, and rename car_option into to_parity_options Alexandre Duret-Lutz 2020-04-04 14:43:47 +02:00
  • 86144ac171 * NEWS: Typo in date for 2.8.7. Alexandre Duret-Lutz 2020-03-30 11:14:06 +02:00
  • eec0389de4 * NEWS: Remove mention of car(). Alexandre Duret-Lutz 2020-03-26 10:47:08 +01:00
  • 0a4312f8fe Adapt ltlsynt to the new version of to_parity Florian Renkin 2020-03-24 19:51:24 +01:00
  • d112fca0e4 Remove useless comments in toparity Florian Renkin 2020-03-24 16:09:26 +01:00
  • 75990063f0 Moved IAR and the new version of to_parity in toparity.cc Florian Renkin 2020-03-16 16:20:07 +01:00
  • dddc7920e4 Add several options to CAR Florian Renkin 2020-03-13 16:31:16 +01:00
  • 6489d6c091 ltlsynt: Correct segfault with ds algorithm and verbose Florian Renkin 2020-03-22 16:04:44 +01:00
  • e827d3a634 Merge branch 'master' into next Alexandre Duret-Lutz 2020-03-13 08:07:16 +01:00
  • f53338e8ad * NEWS, configure.ac: Bump version to 2.8.7.dev. Alexandre Duret-Lutz 2020-03-13 08:04:48 +01:00
  • 32e9bd4dbf Release Spot 2.8.7 Alexandre Duret-Lutz 2020-03-12 22:59:11 +01:00
  • c368903398 ltlcross: detect write errors for --save-bogus and --grind Alexandre Duret-Lutz 2020-03-13 07:52:34 +01:00
  • 0940c9a25a stutter: fix sl, sl2 to never accept on added self-loop Alexandre Duret-Lutz 2020-03-12 21:54:13 +01:00
  • 7aec23f019 sccinfo: fix generation of self-loop accepting runs Alexandre Duret-Lutz 2020-03-12 17:00:16 +01:00
  • e2ec711c40 autfilt: fix -u Alexandre Duret-Lutz 2020-03-11 23:05:15 +01:00
  • 5b8dbc6549 product: fix handling of operand with false acceptance Alexandre Duret-Lutz 2020-03-06 23:23:13 +01:00
  • fa90a97d54 org: fix some typos Alexandre Duret-Lutz 2020-03-04 23:22:21 +01:00
  • 3820f369b0 genem: fix suboptimal selection of Fin to remove Alexandre Duret-Lutz 2020-03-04 16:41:23 +01:00
  • b5d688dc97 stutter: fix sl, sl2 to never accept on added self-loop Alexandre Duret-Lutz 2020-03-12 21:54:13 +01:00
  • 150f815c87 sccinfo: fix generation of self-loop accepting runs Alexandre Duret-Lutz 2020-03-12 17:00:16 +01:00
  • ceb5210569 * NEWS: Typos. Alexandre Duret-Lutz 2020-03-11 23:14:29 +01:00
  • f9f4fd1c89 ltlcross --save-inclusion-products: name the saved automata Alexandre Duret-Lutz 2020-03-11 23:06:19 +01:00
  • 124de77925 autfilt: fix -u Alexandre Duret-Lutz 2020-03-11 23:05:15 +01:00
  • c3d7e942d3 ltlfilt, autfilt: add support for --nth Alexandre Duret-Lutz 2020-03-11 11:42:31 +01:00
  • 4e99518da7 ltlcross: do not use remove_fin anymore Alexandre Duret-Lutz 2020-03-09 14:55:51 +01:00
  • addaf7f5b0 ltlcross: detect write errors for --save-bogus, --grind, etc Alexandre Duret-Lutz 2020-03-07 21:33:01 +01:00
  • 3805b63e24 ltlcross: add option --save-inclusion-products Alexandre Duret-Lutz 2020-03-07 21:13:21 +01:00
  • d8a0f307eb product: fix handling of operand with false acceptance Alexandre Duret-Lutz 2020-03-06 23:23:13 +01:00
  • 7f0ef7ad59 genem: improve the worst case Alexandre Duret-Lutz 2020-03-06 09:56:16 +01:00
  • 73277bed96 org: fix some typos Alexandre Duret-Lutz 2020-03-04 23:22:21 +01:00
  • d4b8ecdf90 genem: fix suboptimal selection of Fin to remove Alexandre Duret-Lutz 2020-03-04 16:41:23 +01:00
  • 332f830d58 * HACKING: Update various bits. Alexandre Duret-Lutz 2020-03-02 23:17:38 +01:00
  • 6f3208a783 CAR: Correct the value of the max color of the acceptance condition Florian Renkin 2020-02-25 12:59:45 +01:00
  • 4b9704a072 Check that every color appears once in is_parity_max_equiv Florian Renkin 2020-02-25 12:54:58 +01:00
  • f4c201c980 Correct CAR when we use apply_to_Buchi Florian Renkin 2020-02-24 14:58:11 +01:00
  • a62241376f Add mores cases in car.py Florian Renkin 2020-02-24 14:56:18 +01:00
  • 9ec0f6bd09 fixup! IAR: Correct parity prefix Florian Renkin 2020-02-24 10:46:44 +01:00
  • 1b9acf32cf IAR: Use less colors with parity prefix and check that use parity colors Florian Renkin 2020-02-24 10:35:50 +01:00
  • de8cd91e94 * AUTHORS: Add myself. Florian Renkin 2020-02-21 11:13:43 +01:00
  • 96531f29f2 CAR: new algorithm for paritizing Florian Renkin 2020-02-21 11:00:47 +01:00
  • 5d021a18d6 IAR: Add pretty print option and better lookup of existing states Florian Renkin 2020-02-21 10:54:28 +01:00
  • 8a4a4b9fff simplify_acceptance: fix erroneous simplification Alexandre Duret-Lutz 2020-02-24 12:17:07 +01:00
  • b44daef42a Merge branch 'master' into next Alexandre Duret-Lutz 2020-02-19 15:08:46 +01:00
  • c98f82dc36 * NEWS, configure.ac: Bump version to 2.8.6.dev. Alexandre Duret-Lutz 2020-02-19 14:47:34 +01:00
  • 39fa829340 Release Spot 2.8.6 Alexandre Duret-Lutz 2020-02-19 14:44:55 +01:00
  • 00cd9b7719 doc: add DOIs to most citations Alexandre Duret-Lutz 2020-02-19 10:40:40 +01:00
  • 05cf6683ce * tests/run.in: reset some envvars to avoid spurious failures. Alexandre Duret-Lutz 2020-02-16 16:08:51 +01:00
  • de5704049d tgba_determinize: improve citations in doc Alexandre Duret-Lutz 2020-02-16 08:20:21 +01:00
  • 80b04e10b5 update citations of generic emptiness-check Alexandre Duret-Lutz 2020-02-15 15:42:12 +01:00
  • aad5b135ef fix is_generalized_rabin() and is_generalized_streett() Alexandre Duret-Lutz 2020-02-15 10:05:27 +01:00
  • 9365f8de1b relabel: do not create automata with false labels Alexandre Duret-Lutz 2020-02-10 12:05:36 +01:00
  • cf2cfcd2fb _postproc_translate_options: fix syntax error Alexandre Duret-Lutz 2020-02-10 11:37:58 +01:00
  • e7ae3d3ae0 fix degeneralize_tba after accepting transition Alexandre Duret-Lutz 2020-02-03 15:38:51 +01:00
  • abab62dd3e * doc/org/concepts.org: Typo. Alexandre Duret-Lutz 2020-01-27 22:52:32 +01:00
  • fd92d20fd3 ipnbdoctest: attempt to restart when the kernel dies Alexandre Duret-Lutz 2020-01-04 17:59:45 +01:00
  • e0d8188701 doc: add DOIs to most citations Alexandre Duret-Lutz 2020-02-19 10:40:40 +01:00
  • 5afa528df0 pdegen: fix another original-states related issue Alexandre Duret-Lutz 2020-02-16 20:02:48 +01:00
  • 10f40041b1 pdegen: fix the place with original-states are composed Alexandre Duret-Lutz 2020-02-16 16:35:04 +01:00
  • 5b7961257d * tests/run.in: reset some envvars to avoid spurious failures. Alexandre Duret-Lutz 2020-02-16 16:08:51 +01:00
  • a1acc19c2b tgba_determinize: improve citations in doc Alexandre Duret-Lutz 2020-02-16 08:20:21 +01:00
  • 7d81748aa4 update citations of generic emptiness-check Alexandre Duret-Lutz 2020-02-15 15:42:12 +01:00
  • b5e464e05a autfilt add support for --partial-degeneralize Alexandre Duret-Lutz 2020-02-15 10:07:59 +01:00
  • bf42b19eff fix is_generalized_rabin() and is_generalized_streett() Alexandre Duret-Lutz 2020-02-15 10:05:27 +01:00
  • 6a988f6884 degen: always compose original-states with the input Alexandre Duret-Lutz 2020-02-10 14:55:13 +01:00
  • dd8c00fff0 partial_degeneralize: force purge_unreachable in some corner case Alexandre Duret-Lutz 2020-02-10 14:08:05 +01:00
  • 443f638b9c relabel: do not create automata with false labels Alexandre Duret-Lutz 2020-02-10 12:05:36 +01:00
  • 09bb61db33 _postproc_translate_options: fix syntax error Alexandre Duret-Lutz 2020-02-10 11:37:58 +01:00
  • 71f1f2fb96 partial_degeneralize: handle original-state correctly Alexandre Duret-Lutz 2020-02-07 12:27:53 +01:00
  • febbe5c2e3 rabin_to_buchi_if_realizable: new function Alexandre Duret-Lutz 2020-02-05 17:41:52 +01:00
  • bf4a0ccffd partial_degeneralize: add a version that takes no "todegen" argument Alexandre Duret-Lutz 2020-02-04 17:31:12 +01:00
  • 8df616ee0d partial_degeneralization: generalize to terms that contain todegen Alexandre Duret-Lutz 2020-02-04 13:47:44 +01:00
  • b733d486be fix degeneralize_tba after accepting transition Alexandre Duret-Lutz 2020-02-03 15:38:51 +01:00