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

Commit graph

  • 548f3d7663 * NEWS, configure.ac: Bump version to 2.11.1.dev. Alexandre Duret-Lutz 2022-10-10 14:15:23 +02:00
  • c2bbb3fd00 Release Spot 2.11.1 Alexandre Duret-Lutz 2022-10-10 14:13:42 +02:00
  • 55e4d340fe CI: fix upload of stable Debian packages for amd64 Alexandre Duret-Lutz 2022-10-10 10:42:40 +02:00
  • d0c296e1cf org: mention "make check" and the new GPG key Alexandre Duret-Lutz 2022-10-10 10:06:25 +02:00
  • 2c13b299b8 hoa: add missing include Alexandre Duret-Lutz 2022-10-10 10:00:38 +02:00
  • db79d5a79e * NEWS, configure.ac: Bump version to 2.11.0.dev. Alexandre Duret-Lutz 2022-10-08 21:05:04 +02:00
  • 8131fae1a6 Release Spot 2.11 Alexandre Duret-Lutz 2022-10-08 20:59:27 +02:00
  • 1a5b5602db * .gitlab-ci.yml (publish-unstable): Publish both amd64 and i386. Alexandre Duret-Lutz 2022-10-08 15:28:15 +02:00
  • 9fc48daf28 CI: work around GIT_STRATEGY=none not cleaning the build dir Alexandre Duret-Lutz 2022-10-08 10:34:30 +02:00
  • 1a4121c6c2 * tests/Makefile.am (.ipynb.html): Use classic template. Alexandre Duret-Lutz 2022-10-07 16:37:02 +02:00
  • 05b8fa8dbf fix previous patch Alexandre Duret-Lutz 2022-10-05 16:29:47 +02:00
  • 344e01d4e2 translate, postproc: improve parity output Alexandre Duret-Lutz 2022-10-05 11:08:19 +02:00
  • e867242cf6 Update troubleshouting instruction for Python bindings Alexandre Duret-Lutz 2022-10-04 11:15:07 +02:00
  • 4ab51e1c88 toparity: cover more options Alexandre Duret-Lutz 2022-10-03 17:40:45 +02:00
  • e907f11488 emptinesscheck: improve coverage of CVWY90 and SE05 Alexandre Duret-Lutz 2022-10-03 17:00:15 +02:00
  • ce006cbbaa * .dir-locals.el (bug-reference-bug-regexp): Fix first group. Alexandre Duret-Lutz 2022-10-03 16:48:03 +02:00
  • 35b4cb89fc add test for previous decomposition patch Alexandre Duret-Lutz 2022-10-03 16:26:33 +02:00
  • fa4500a8d3 * tests/python/ipnbdoctest.py: Also retry if Kernel does not respond. Alexandre Duret-Lutz 2022-10-03 11:17:51 +02:00
  • 74b752eb79 * .gitlab-ci.yml (debian-gcc-snapshot): Build from tarball. Alexandre Duret-Lutz 2022-10-03 09:15:55 +02:00
  • 4d2c096ec0 dot: fix 'g' with a Mealy machine Florian Renkin 2022-09-03 14:13:23 +02:00
  • 27816ea438 synthesis: Fix for implication decomposition Florian Renkin 2022-09-03 14:04:41 +02:00
  • 3cd43f618c test: fix running on python test in OpenBSD Alexandre Duret-Lutz 2022-09-30 13:36:41 +02:00
  • 0521901e9d revert c45ff0c94 and add test case showing why Alexandre Duret-Lutz 2022-09-23 09:42:15 +02:00
  • 51caa5588e update gitlab references Alexandre Duret-Lutz 2022-09-22 17:48:56 +02:00
  • 383128d983 * doc/tl/tl.tex: Fix a couple of typos detected by ispell. Alexandre Duret-Lutz 2022-09-22 16:19:07 +02:00
  • 3729dfad90 translate: add a branch-post option Alexandre Duret-Lutz 2022-09-22 15:44:18 +02:00
  • 7ed62f7eed genltl: introduce --eil-gsi Alexandre Duret-Lutz 2022-09-21 16:43:28 +02:00
  • 3efab05cf2 introduce delay_branching_here Alexandre Duret-Lutz 2022-09-21 15:40:12 +02:00
  • aa7992c65f simplify some uses of minato_isop Alexandre Duret-Lutz 2022-09-21 14:04:18 +02:00
  • c45ff0c94c fix: ltlsynt --tlsf does not propagate name to csv Philipp Schlehuber-Caissier 2022-09-21 16:02:49 +02:00
  • 4a24739c3f Improving minimize_mealy benchmarking Philipp Schlehuber-Caissier 2022-09-14 16:44:12 +02:00
  • c63c1796b9 Improve aiger INF encoding Philipp Schlehuber-Caissier 2022-09-21 17:27:58 +02:00
  • c1c874b1a5 ltlsynt: add options --dot and --hide-status Alexandre Duret-Lutz 2022-09-14 15:33:46 +02:00
  • ef0aeed228 ltlsynt: fix documentation of --aiger option Alexandre Duret-Lutz 2022-09-14 11:29:18 +02:00
  • b3b22388c9 postproc: introduce -x merge-states-min Alexandre Duret-Lutz 2022-09-13 13:53:59 +02:00
  • d9248e2e97 * doc/org/concepts.org (T-based vs. S-based acceptance): Adjust example. Alexandre Duret-Lutz 2022-09-09 16:41:44 +02:00
  • bdac53511a degen: learn to work on generalized-Co-Büchi as well Alexandre Duret-Lutz 2022-09-07 14:36:23 +02:00
  • fe3ebd370b add the TACAS'22 reference Alexandre Duret-Lutz 2022-09-07 09:59:31 +02:00
  • 0f131f2eee product: Büchi|Büchi=Büchi, CoBüchi&CoBüchi=CoBüchi Alexandre Duret-Lutz 2022-09-06 18:05:52 +02:00
  • 7cf580a9c5 we want the tarball we distribute to be built on Debian unstable Alexandre Duret-Lutz 2022-09-01 21:27:18 +02:00
  • 2e32793ed1 * .gitlab-ci.yml (debian-unstable-gcc-coverage): Export coverage.css. Alexandre Duret-Lutz 2022-09-01 20:47:31 +02:00
  • 925ac6bbe4 * .gitlab-ci.yml: Use gcovr and produce an XML report for gitlab. Alexandre Duret-Lutz 2022-08-30 23:37:12 +02:00
  • cd21521bfe * spot/twa/twagraph.cc (merge_states): Some cleanup and simplifications. Alexandre Duret-Lutz 2022-08-12 17:24:02 +02:00
  • d1b8495510 do not use a global variable to define the number of available threads Alexandre Duret-Lutz 2022-08-12 14:56:45 +02:00
  • 2848951965 * doc/spot.bib: Add entries for last two tool papers. Alexandre Duret-Lutz 2022-08-10 10:26:30 +02:00
  • a7e87a1fc7 Mention the CAV'22 paper Alexandre Duret-Lutz 2022-08-10 10:07:22 +02:00
  • faa8fe8873 mealy: cleanup the doxygen documentation Alexandre Duret-Lutz 2022-08-06 15:08:11 +02:00
  • de9041bb31 mealy: make output_assignment the default for reduce_mealy Alexandre Duret-Lutz 2022-08-06 14:06:52 +02:00
  • b0165cf39c * doc/org/tut10.org: Use the same formula in C++ as in Python and sh. Alexandre Duret-Lutz 2022-08-05 18:55:44 +02:00
  • 8b93b6967d rename pg_print() as print_pg() and add it to to_str() Alexandre Duret-Lutz 2022-07-22 16:52:03 +02:00
  • b3e994c249 * spot/twaalgos/hoa.cc: Typo in error message. Alexandre Duret-Lutz 2022-07-22 10:54:15 +02:00
  • 444e2b5b89 parseaut: Add support for PGSolver's format Alexandre Duret-Lutz 2022-07-22 10:49:23 +02:00
  • d6b3c757d0 test: ignore OpenBSD's "Terminated" messages Alexandre Duret-Lutz 2022-07-12 15:43:39 +02:00
  • 3e2201bd80 tests: add figures from CAV'22 paper Alexandre Duret-Lutz 2022-07-12 11:47:02 +02:00
  • 12920c44e3 Trigger archival services on new release Antoine Martin 2022-05-04 17:25:58 +02:00
  • 6dd99e049b to_parity: Rewrite the function and add new transformations Florian Renkin 2022-06-22 10:27:33 +02:00
  • 3f333792ff Add a procedure that detects if an automaton is parity-type Florian Renkin 2022-06-22 10:25:35 +02:00
  • 5b8350bc9b rpm: omit *.la files Alexandre Duret-Lutz 2022-07-07 15:51:11 +02:00
  • 1cfb4a14ec bloemen: simplify style Alexandre Duret-Lutz 2022-07-06 17:11:55 +02:00
  • 69eba6fd9a bloemen: fix a unused variable warning Alexandre Duret-Lutz 2022-07-06 16:34:01 +02:00
  • ee55dabfaa * spot/mc/cndfs.hh: Fix a unused variable warning in NDEBUG. Alexandre Duret-Lutz 2022-07-05 23:56:36 +02:00
  • a66c305609 gen: work around a warning on red hat Alexandre Duret-Lutz 2022-07-05 11:10:43 +02:00
  • ff89601306 utf8: Update to match current version Alexandre Duret-Lutz 2022-07-05 10:56:57 +02:00
  • efee1c4130 * spot/twaalgos/mealy_machine.cc (is_complete_): Define in debug only. Alexandre Duret-Lutz 2022-07-05 10:41:24 +02:00
  • 833fcdebc1 work around GCC bug 106159 Alexandre Duret-Lutz 2022-07-05 10:38:51 +02:00
  • 1fc94ee6f2 gnulib: install the environ module Alexandre Duret-Lutz 2022-06-30 09:36:59 +02:00
  • db725ffaf8 * spot/twaalgos/degen.cc (propagate_marks_here): Cleanup previous patch. Alexandre Duret-Lutz 2022-06-30 09:18:03 +02:00
  • 99bf152673 propagate_marks_here can break state-acc prop Philipp Schlehuber-Caissier 2022-06-29 14:02:25 +02:00
  • ddbdcd39cb Adept ltlsynt pgame to new solver Philipp Schlehuber-Caissier 2022-06-29 01:21:00 +02:00
  • 6bc1dd0467 Use new zielonka for synthesis Philipp Schlehuber-Caissier 2022-06-24 14:12:50 +02:00
  • 9124484719 Modifying Zielonka philipp 2020-09-29 16:38:07 +02:00
  • 9222e9713b parseaut: fix handling of [ outside HOA Alexandre Duret-Lutz 2022-06-23 17:19:09 +02:00
  • b4279d3a12 dot: quote identifiers containing a minus Alexandre Duret-Lutz 2022-06-23 16:19:50 +02:00
  • 166a26417c graph: fix creation of universal edge Alexandre Duret-Lutz 2022-06-23 15:52:24 +02:00
  • 288b1c7958 contains: generalize second argument to a twa Alexandre Duret-Lutz 2022-06-22 23:43:07 +02:00
  • be28365db4 ltlsynt: add --from-pgame option to read parity games Alexandre Duret-Lutz 2022-06-22 19:31:24 +02:00
  • 04d718ab9c ltlsynt: support multiple --tlsf options Alexandre Duret-Lutz 2022-06-22 15:20:54 +02:00
  • df685433f4 bin: separate process_file() for aut and ltl Alexandre Duret-Lutz 2022-06-22 14:33:16 +02:00
  • 8161a8c531 tests: workaround test not failing if the Spot support more colors Alexandre Duret-Lutz 2022-06-21 14:24:08 +02:00
  • 23908f3d2f Add a --enable-pthread option to activate experimental threading code Alexandre Duret-Lutz 2022-06-16 23:43:50 +02:00
  • 721d5695ec add a newer version of the generic emptiness check Alexandre Duret-Lutz 2022-05-25 17:02:38 +02:00
  • aca6bd9042 synthesis: Deletion of an incorrect case in the bypass Florian Renkin 2022-05-31 13:40:58 +02:00
  • d8cc0c5acb Introduce a faster merge_states Philipp Schlehuber-Caissier 2022-05-16 00:04:04 +02:00
  • 71c2a7b1a6 Add a new function to sort edges Philipp Schlehuber-Caissier 2022-05-15 23:56:19 +02:00
  • e064726b64 Introducing a global variable to define the number of threads Philipp Schlehuber-Caissier 2022-05-15 23:54:18 +02:00
  • b11208440b zlktree: use a cache in the construction of zielonka_tree Alexandre Duret-Lutz 2022-05-20 16:51:16 +02:00
  • f784e40548 complete: do not force Büchi on universal automata Alexandre Duret-Lutz 2022-05-19 16:38:02 +02:00
  • 3b8e11322b Merge branch 'master' into next Alexandre Duret-Lutz 2022-05-18 09:00:36 +02:00
  • 457839df36 * NEWS, configure.ac: Bump version to 2.10.6. Alexandre Duret-Lutz 2022-05-18 07:14:58 +02:00
  • e0de77d8a4 Release Spot 2.10.6 Alexandre Duret-Lutz 2022-05-18 07:12:05 +02:00
  • a6639e56cb more noexcept to pleace GCC Alexandre Duret-Lutz 2022-05-17 17:43:27 +02:00
  • 99d030f5e1 GCC 12 warns too much about <regex> Alexandre Duret-Lutz 2022-05-17 16:59:01 +02:00
  • 10bc253dd8 work around spurious gcc 12 "potentially null dereference" Alexandre Duret-Lutz 2022-05-17 15:25:17 +02:00
  • eecb9af21e Fix a clang++15 warning Alexandre Duret-Lutz 2022-05-17 12:01:11 +02:00
  • 8a628d96bc fix warnings from clang-15 Alexandre Duret-Lutz 2022-05-17 11:43:55 +02:00
  • b5f8e3c75d [buddy] remove some unused variables Alexandre Duret-Lutz 2022-05-17 11:37:29 +02:00
  • c609f4cb4b * spot/twa/bdddict.hh (bdd_info): Add noexcept, suggested by gcc 12. Alexandre Duret-Lutz 2022-05-17 11:17:37 +02:00
  • cb5bc38f35 bin: reset column specification between files Alexandre Duret-Lutz 2022-05-17 11:11:23 +02:00
  • f14b0bb4bd Fix compilation on MacOS X Alexandre Duret-Lutz 2022-05-17 09:27:30 +02:00
  • 78d7224026 twagraph: improve copy of kripke_graph Alexandre Duret-Lutz 2022-05-09 13:42:20 +02:00