Commit graph

  • 506442450e parsetl: remove a superfluous diagnostic on some erroneous input Alexandre Duret-Lutz 2022-05-06 13:58:52 +02:00
  • 9ae2e9c03d Fix link to parity game example Alexandre Duret-Lutz 2022-05-04 17:40:17 +02:00
  • 2a4e68bfae more noexcept to pleace GCC Alexandre Duret-Lutz 2022-05-17 17:43:27 +02:00
  • a23b30abdc GCC 12 warns too much about <regex> Alexandre Duret-Lutz 2022-05-17 16:59:01 +02:00
  • e4f8226c62 work around spurious gcc 12 "potentially null dereference" Alexandre Duret-Lutz 2022-05-17 15:25:17 +02:00
  • e8f496bb6c Fix a clang++15 warning Alexandre Duret-Lutz 2022-05-17 12:01:11 +02:00
  • 3a234e24ae fix warnings from clang-15 Alexandre Duret-Lutz 2022-05-17 11:43:55 +02:00
  • 5dab2ede41 [buddy] remove some unused variables Alexandre Duret-Lutz 2022-05-17 11:37:29 +02:00
  • 4bb58f457b * spot/twa/bdddict.hh (bdd_info): Add noexcept, suggested by gcc 12. Alexandre Duret-Lutz 2022-05-17 11:17:37 +02:00
  • d35f7bd37c bin: reset column specification between files Alexandre Duret-Lutz 2022-05-17 11:11:23 +02:00
  • d697f57a97 bin: introduce a non-binary job_type Alexandre Duret-Lutz 2022-05-17 10:49:06 +02:00
  • 3b809c0a14 Fix compilation on MacOS X Alexandre Duret-Lutz 2022-05-17 09:27:30 +02:00
  • 013c879b41 twagraph: improve copy of kripke_graph Alexandre Duret-Lutz 2022-05-09 13:42:20 +02:00
  • ef9267a58e parsetl: remove a superfluous diagnostic on some erroneous input Alexandre Duret-Lutz 2022-05-06 13:58:52 +02:00
  • 4a2bdd6e86 Fix link to parity game example Alexandre Duret-Lutz 2022-05-04 17:40:17 +02:00
  • 73e148446c Merge branch 'master' into next Alexandre Duret-Lutz 2022-05-03 09:05:26 +02:00
  • 56666e0db5 * NEWS, configure.ac: Bump version to 2.10.5.dev. Alexandre Duret-Lutz 2022-05-03 09:01:03 +02:00
  • c70a06ae0a Release Spot 2.10.5 Alexandre Duret-Lutz 2022-05-03 08:59:17 +02:00
  • 385da8ebd0 update NEWS for upcoming release Alexandre Duret-Lutz 2022-05-02 17:47:53 +02:00
  • 0f3ffd59ce ltlsynt: don't solve games when we want to display them Florian Renkin 2022-04-12 11:21:14 +02:00
  • fa6912a574 debian: simplify LTO configuration to work around newer libtool Alexandre Duret-Lutz 2022-03-29 11:13:19 +02:00
  • add2fced44 Correct bug in zielonka Philipp Schlehuber-Caissier 2022-03-29 15:51:31 +02:00
  • 58f39ec287 * doc/org/tut40.org: Clarify, as suggested by a CAV'22 reviewer. Alexandre Duret-Lutz 2022-03-25 09:25:04 +01:00
  • d1f49c721a ltlsynt: don't fail if --outs or --ins is set to empty Florian Renkin 2022-03-21 10:46:42 +01:00
  • 53118d9314 * spot/twaalgos/gfguarantee.hh: Typos in comments. Alexandre Duret-Lutz 2022-03-22 12:22:48 +01:00
  • 96e051d2bb graph: fix invalid read Alexandre Duret-Lutz 2022-03-22 12:18:25 +01:00
  • 968ef0f7b8 ltlsynt: typo in help Florian Renkin 2022-03-15 14:01:25 +01:00
  • 2aecf9a79e fix typos and make formula_from_bdd more usable in Python Alexandre Duret-Lutz 2022-03-10 10:53:18 +01:00
  • 734de00bfd tests: don't wipe python environment Antoine Martin 2022-03-10 15:49:46 +01:00
  • d61d6e5e2f tests: avoid seq Alexandre Duret-Lutz 2022-03-03 18:01:11 +01:00
  • 7149e5a34d * .gitlab-ci.yml (alpine-gcc): Fix path for logs. Alexandre Duret-Lutz 2022-03-03 09:10:53 +01:00
  • 7d9fddadce work around an issue in Flex 2.6.4 Alexandre Duret-Lutz 2022-02-16 11:42:06 +01:00
  • 64020279cb reduce_parity: fix to work on automata with deleted edges Alexandre Duret-Lutz 2022-02-13 18:37:34 +01:00
  • b7825552f8 remove uses of unary_function and binary_function Alexandre Duret-Lutz 2022-02-07 16:10:40 +01:00
  • 355c5ffeb1 ltlsynt: display the number of subformulas Florian Renkin 2022-04-13 10:51:52 +02:00
  • 62725fb507 ltlsynt: don't solve games when we want to display them Florian Renkin 2022-04-12 11:21:14 +02:00
  • 55aac8e107 ltlsynt: display ACD instead of LAR when needed Florian Renkin 2022-04-12 11:19:49 +02:00
  • 5f43c9bfce ltlsynt: implement --tlsf to call syfco automatically Alexandre Duret-Lutz 2022-04-08 18:50:13 +02:00
  • 06b73c39fa +ud option of mealy_machine_to_aig received wrong value Philipp Schlehuber-Caissier 2022-04-06 21:16:35 +02:00
  • 524edea8da Propagate colors in split_2step Philipp Schlehuber-Caissier 2022-04-04 08:47:11 +02:00
  • dfb75632ba Update merge_states Philipp Schlehuber-Caissier 2022-03-24 09:45:33 +01:00
  • a211bace68 autcross: implement --language-complemented Alexandre Duret-Lutz 2022-04-06 15:25:44 +02:00
  • 66b3f9da35 derive: use first am/psl-derivation Antoine Martin 2022-03-30 21:52:34 +02:00
  • 5e1b751971 debian: simplify LTO configuration to work around newer libtool Alexandre Duret-Lutz 2022-03-29 11:13:19 +02:00
  • 27d455389e Correct bug in zielonka Philipp Schlehuber-Caissier 2022-03-29 15:51:31 +02:00
  • 9c6a09890e parsetl: speedup parsing of n-ary operators with many operands Alexandre Duret-Lutz 2022-03-26 15:57:56 +01:00
  • 46f3f5aaf4 * doc/org/tut40.org: Clarify, as suggested by a CAV'22 reviewer. Alexandre Duret-Lutz 2022-03-25 09:25:04 +01:00
  • 636ca08765 derive: handle AndNLM Antoine Martin 2022-03-18 19:27:37 +01:00
  • 908644b02a derive: extract AndNLM rewriting Antoine Martin 2022-03-18 19:27:19 +01:00
  • 03709ab4be derive: no nullptr handling Antoine Martin 2022-03-18 18:05:53 +01:00
  • df053b0312 derive: use from_finite Antoine Martin 2022-03-15 17:06:05 +01:00
  • a102fdb2a7 twaalgos: add from_finite Antoine Martin 2022-03-14 15:17:51 +01:00
  • 95dcbc5acd twaalgos: extract internal sere2dfa Antoine Martin 2022-03-10 15:45:50 +01:00
  • 7abcf4e38b ltlsynt: create a "bypass" option Florian Renkin 2022-03-22 15:08:40 +01:00
  • 328cf95816 ltlsynt: generalization of the bypass Florian Renkin 2022-03-22 14:50:49 +01:00
  • 4709bd36fe tl: implement SERE derivation Antoine Martin 2022-01-14 08:56:28 +01:00
  • 0a6b627914 option_map: Don't report unused options if option_map is not used Florian Renkin 2022-03-22 14:46:31 +01:00
  • 8d9597d80d ltlsynt: add --algo=acd Florian Renkin 2022-03-21 15:58:58 +01:00
  • dd58747659 synthesis.ipynb: remove useless import Florian Renkin 2022-03-21 13:56:50 +01:00
  • 0dd36e9a53 ltlsynt: don't fail if --outs or --ins is set to empty Florian Renkin 2022-03-21 10:46:42 +01:00
  • e9c1aeaa54 * spot/twaalgos/gfguarantee.hh: Typos in comments. Alexandre Duret-Lutz 2022-03-22 12:22:48 +01:00
  • 3ed337ec46 graph: fix invalid read Alexandre Duret-Lutz 2022-03-22 12:18:25 +01:00
  • bb7072402a Removing eeroneaus test Philipp Schlehuber-Caissier 2022-03-21 10:51:35 +01:00
  • 97fc3f6c0b Introduce simplify_mealy Philipp Schlehuber-Caissier 2022-03-18 15:27:46 +01:00
  • 86de4d4052 Introduce mealy_prod Philipp Schlehuber-Caissier 2022-03-18 01:02:45 +01:00
  • 5cd0ce14b0 fix mempool test to use __has_include Alexandre Duret-Lutz 2022-03-17 14:37:57 +01:00
  • 75818fde13 synthesis: fix suboptimal colorization after LAR Alexandre Duret-Lutz 2022-03-17 14:30:05 +01:00
  • c1e6340228 optionmap: set_if_unset and simplifications Alexandre Duret-Lutz 2022-03-17 10:55:30 +01:00
  • 4f69e99c45 synthesis.ipynb: correct typos Florian Renkin 2022-03-17 11:38:23 +01:00
  • 50bb4eca6f twagraph: merge_edges supports finite automata Antoine Martin 2022-03-10 12:16:18 +01:00
  • 05c40cfdf7 nix: provide package in release tarballs am/nix Antoine Martin 2022-03-03 11:31:03 +01:00
  • c934341a0c nix: setup Nix Flake file Antoine Martin 2021-10-20 11:54:16 +02:00
  • e248f4500d ltlsynt: typo in help Florian Renkin 2022-03-15 14:01:25 +01:00
  • 0745e735bb fix typos and make formula_from_bdd more usable in Python Alexandre Duret-Lutz 2022-03-10 10:53:18 +01:00
  • 187bacc254 tests: don't wipe python environment Antoine Martin 2022-03-10 15:49:46 +01:00
  • 530cf7ca47 tests: replace all "assert" by unittest assertions Alexandre Duret-Lutz 2022-03-04 16:59:04 +01:00
  • 7b7e1b254b tests: avoid seq Alexandre Duret-Lutz 2022-03-03 18:01:11 +01:00
  • 93fb11017b ltlfilt: add --sonf and --sonf-aps flags Antoine Martin 2021-12-08 11:31:54 +01:00
  • c71691659b tl: implement suffix operator normal form Antoine Martin 2021-11-09 16:00:16 +01:00
  • bdae5563c6 ltlfilt: add --sonf and --sonf-aps flags am/sonf Antoine Martin 2021-12-08 11:31:54 +01:00
  • 0505ee9310 tl: implement suffix operator normal form Antoine Martin 2021-11-09 16:00:16 +01:00
  • c7201e4776 * .gitlab-ci.yml (alpine-gcc): Fix path for logs. Alexandre Duret-Lutz 2022-03-03 09:10:53 +01:00
  • 6b88d6f35b configure: remove some header checks Alexandre Duret-Lutz 2022-03-02 17:37:25 +01:00
  • cdc89dad16 work around an issue in Flex 2.6.4 Alexandre Duret-Lutz 2022-02-16 11:42:06 +01:00
  • 3f9f6029e7 reduce_parity: fix to work on automata with deleted edges Alexandre Duret-Lutz 2022-02-13 18:37:34 +01:00
  • 58f33deeca remove uses of unary_function and binary_function Alexandre Duret-Lutz 2022-02-07 16:10:40 +01:00
  • a3753e608b improve support for LTLf semantics Alexandre Duret-Lutz 2022-02-07 14:44:04 +01:00
  • 9b0a20412b dot: Add option @ to support aliases Alexandre Duret-Lutz 2022-02-03 17:49:11 +01:00
  • 4506643632 hoa: extract the alias formating code for reuse Alexandre Duret-Lutz 2022-02-03 14:09:01 +01:00
  • f759697e1c autfilt: add --aliases=drop|keep option Alexandre Duret-Lutz 2022-02-01 16:35:41 +01:00
  • 95b2e7366f Merge branch 'master' into next Alexandre Duret-Lutz 2022-02-01 13:53:52 +01:00
  • 664788bb16 * NEWS, configure.ac: Bump version to 2.10.4.dev. Alexandre Duret-Lutz 2022-02-01 13:52:13 +01:00
  • bf77d0f0d3 Release Spot 2.10.4 Alexandre Duret-Lutz 2022-02-01 13:50:56 +01:00
  • de295e4632 python: fix a memory leak in all added __iter__ methods Alexandre Duret-Lutz 2022-01-31 10:08:47 +01:00
  • a8cfcd2cc2 python: fix a memory leak in all added __iter__ methods Alexandre Duret-Lutz 2022-01-31 10:08:47 +01:00
  • dac3d78244 hoa: better support for aliases on output Alexandre Duret-Lutz 2022-01-21 16:06:48 +01:00
  • 6b46dbd907 Merge branch 'master' into next Alexandre Duret-Lutz 2022-01-15 08:12:47 +01:00
  • c12842c16f * NEWS, configure.ac: Bump version to 2.10.3.dev. Alexandre Duret-Lutz 2022-01-15 08:04:10 +01:00
  • dd33950836 Release Spot 2.10.3 Alexandre Duret-Lutz 2022-01-15 08:02:18 +01:00
  • 4692b89629 * NEWS: Prepare for next release. Alexandre Duret-Lutz 2022-01-14 20:34:16 +01:00