Commit graph

  • f9e75de647 partial_degeneralize: a support for disjunction of Fin Alexandre Duret-Lutz 2020-02-03 11:01:01 +01:00
  • f1008c156b improve partial_degeneralize() on several cases Alexandre Duret-Lutz 2020-02-02 23:01:33 +01:00
  • da3333477f * doc/org/concepts.org: Typo. Alexandre Duret-Lutz 2020-01-27 22:52:32 +01:00
  • 50c0f880dc Inf(i)|Inf(j) -> Inf(k) and Fin(i)&Fin(j) -> Fin(k) Alexandre Duret-Lutz 2020-01-27 22:50:17 +01:00
  • 5dc6da0b20 ipnbdoctest: attempt to restart when the kernel dies Alexandre Duret-Lutz 2020-01-04 17:59:45 +01:00
  • 9d70eeef97 ltlcross: display short names when supplied Alexandre Duret-Lutz 2020-01-04 15:46:19 +01:00
  • 6a531be052 Merge branch 'master' into next Alexandre Duret-Lutz 2020-01-04 14:25:14 +01:00
  • d8ed0fb8ab * NEWS, configure.ac: Bump version to 2.8.5.dev. Alexandre Duret-Lutz 2020-01-04 14:24:49 +01:00
  • 68435915e7 Release Spot 2.8.5 Alexandre Duret-Lutz 2020-01-04 14:19:10 +01:00
  • 49bfefb46e ipnbdoctest: attempt to deal with buildfarm timeouts Alexandre Duret-Lutz 2020-01-03 15:22:05 +01:00
  • 5e6de9dad4 ipnbdoctest: attempt to deal with buildfarm timeouts Alexandre Duret-Lutz 2020-01-03 15:22:05 +01:00
  • a65ddf5b53 bump copyright year Alexandre Duret-Lutz 2020-01-01 16:20:28 +01:00
  • 40ce9ce3ef bump copyright year Alexandre Duret-Lutz 2020-01-01 16:20:28 +01:00
  • 265332dedf twagraph: merge_edge() can determinize automata Alexandre Duret-Lutz 2019-12-31 22:34:39 +01:00
  • 383d1c003c ltl2tgba, ltldo: fix location of --negate in --help output Alexandre Duret-Lutz 2019-12-28 22:10:33 +01:00
  • 1f90e1cff9 fix ltl2tgba -B not always returning Inf(0) Alexandre Duret-Lutz 2019-12-26 12:00:44 +01:00
  • 67b9bfda08 tmpfile: improve error message Alexandre Duret-Lutz 2019-12-15 16:10:05 +01:00
  • b9cac2cedb * spot/twaalgos/emptiness.cc: Fix another gcc-snapshot warning. Alexandre Duret-Lutz 2019-12-12 13:23:51 +01:00
  • 9b9c2b3c94 * spot/twaalgos/compsusp.cc: Fix a warning from gcc-snapshot. Alexandre Duret-Lutz 2019-12-11 19:46:17 +01:00
  • d1ef380d32 twagraph: merge_edge() can determinize automata Alexandre Duret-Lutz 2019-12-31 22:34:39 +01:00
  • 2764e81588 ltl2tgba, ltldo: fix location of --negate in --help output Alexandre Duret-Lutz 2019-12-28 22:10:33 +01:00
  • cfe3ed707a fix ltl2tgba -B not always returning Inf(0) Alexandre Duret-Lutz 2019-12-26 12:00:44 +01:00
  • d2ba554507 tmpfile: improve error message Alexandre Duret-Lutz 2019-12-15 16:10:05 +01:00
  • a06e547473 * spot/twaalgos/emptiness.cc: Fix another gcc-snapshot warning. Alexandre Duret-Lutz 2019-12-12 13:23:51 +01:00
  • fd00ce8c06 * spot/twaalgos/compsusp.cc: Fix a warning from gcc-snapshot. Alexandre Duret-Lutz 2019-12-11 19:46:17 +01:00
  • bf7ccfe7e6 new partial_degeneralize() algorithm Alexandre Duret-Lutz 2019-12-11 17:09:55 +01:00
  • 894fda21f9 Merge branch 'master' into next Alexandre Duret-Lutz 2019-12-08 13:37:34 +01:00
  • 44d9a629b1 * NEWS, configure.ac: Bump version to 2.8.4.dev. Alexandre Duret-Lutz 2019-12-08 13:37:00 +01:00
  • 625a2e2836 Release Spot 2.8.4 Alexandre Duret-Lutz 2019-12-08 13:35:01 +01:00
  • e374b95689 bin: fix documentation of --trust-hoa Alexandre Duret-Lutz 2019-12-06 11:32:01 +01:00
  • adc7c93448 remfin: fix tra_to_tba Alexandre Duret-Lutz 2019-12-05 22:27:19 +01:00
  • 71fef458e1 python: define our own SVG DisplayObject Alexandre Duret-Lutz 2019-12-04 23:05:51 +01:00
  • 317520efe8 org: improve architecture diagram Alexandre Duret-Lutz 2019-12-03 17:48:46 +01:00
  • 935c412df0 remfin: simplify tra_to_tba using generic emptiness check Alexandre Duret-Lutz 2019-12-05 22:49:42 +01:00
  • 66bd5db0af bin: fix documentation of --trust-hoa Alexandre Duret-Lutz 2019-12-06 11:32:01 +01:00
  • c36b1588fc remfin: fix tra_to_tba Alexandre Duret-Lutz 2019-12-05 22:27:19 +01:00
  • e778965730 python: define our own SVG DisplayObject Alexandre Duret-Lutz 2019-12-04 23:05:51 +01:00
  • 44df3c0837 add a --check=stutter-sensitive-example option Alexandre Duret-Lutz 2019-12-03 17:42:32 +01:00
  • 3be394d2eb org: improve architecture diagram Alexandre Duret-Lutz 2019-12-03 17:48:46 +01:00
  • 3d4e400cda Merge branch 'master' into next Alexandre Duret-Lutz 2019-11-06 09:56:53 +01:00
  • 56e08af896 * NEWS, configure.ac: Bump version to 2.8.3.dev. Alexandre Duret-Lutz 2019-11-06 09:56:25 +01:00
  • 7ece494794 release Spot 2.8.3 Alexandre Duret-Lutz 2019-11-06 09:54:29 +01:00
  • ed85f59b89 * spot/tl/simplify.cc: Use robin_hood hashing. Alexandre Duret-Lutz 2019-10-30 17:25:51 +01:00
  • 803a966ffe contain: some micro-optimizations Alexandre Duret-Lutz 2019-10-30 15:49:43 +01:00
  • 28efa37218 * spot/twaalgos/ltl2tgba_fm.cc: Various micro-optimizations. Alexandre Duret-Lutz 2019-10-29 18:00:24 +01:00
  • 44a79b1b89 work around recent GraphViz bug in SVG scaling Alexandre Duret-Lutz 2019-10-19 15:40:00 +02:00
  • 0e681ed060 acc: improve diagnostics for algorithms that use too many colors Alexandre Duret-Lutz 2019-10-18 11:25:43 +02:00
  • f31864488b core: random_shuffle is deprecated and not portable Etienne Renault 2019-10-17 16:45:25 +02:00
  • 9e38273172 trim: avoid the soon-to-be-deprecated std::ptr_fun Alexandre Duret-Lutz 2019-10-17 11:51:37 +02:00
  • e864baf6e7 * bin/ltlsynt.cc: Typo. Alexandre Duret-Lutz 2019-10-07 20:22:24 +02:00
  • 2960b8138c "import spot.foo" may now load "spot-extra/foo.py" Alexandre Duret-Lutz 2019-10-02 13:34:44 +02:00
  • 865427c73b python: remove workaround for swig 2.0.2 Alexandre Duret-Lutz 2019-10-02 09:34:18 +02:00
  • d15ce1a773 * NEWS: Fix many typos. Alexandre Duret-Lutz 2019-09-28 21:27:03 +02:00
  • b28c8a5973 * debian/control (libspotgen0): Fix leading spaces in description. Alexandre Duret-Lutz 2019-09-28 14:00:56 +02:00
  • 750fcca7b7 debian: use local version of require.js Alexandre Duret-Lutz 2019-09-28 13:57:05 +02:00
  • 24a48c9f1e debian: remove -flo workaround Alexandre Duret-Lutz 2019-09-28 08:11:51 +02:00
  • 65dbfb0ff5 * debian/copyright: Add license for robin_hood.hh. Alexandre Duret-Lutz 2019-10-19 15:53:15 +02:00
  • e18616e788 work around recent GraphViz bug in SVG scaling Alexandre Duret-Lutz 2019-10-19 15:40:00 +02:00
  • cc9659bca0 acc: improve diagnostics for algorithms that use too many colors Alexandre Duret-Lutz 2019-10-18 11:25:43 +02:00
  • 896925ae1c core: random_shuffle is deprecated and not portable Etienne Renault 2019-10-17 16:45:25 +02:00
  • 70b72b87ce trim: avoid the soon-to-be-deprecated std::ptr_fun Alexandre Duret-Lutz 2019-10-17 11:51:37 +02:00
  • 64e3fcfb54 formula: avoid id clash for atomic propositions Alexandre Duret-Lutz 2019-10-17 11:22:50 +02:00
  • f7bec7eae9 * spot/twaalgos/rabin2parity.cc: Minor simplification. Alexandre Duret-Lutz 2019-10-16 17:24:53 +02:00
  • f0b52ce218 determinize: various micro optimizations Alexandre Duret-Lutz 2019-10-15 13:37:36 +02:00
  • 98dc1a5629 * elisp/hoa-mode.el: Update from upstream. Alexandre Duret-Lutz 2019-10-08 17:48:15 +02:00
  • 566a43dd17 improve readability of parity(false, true, 5) Alexandre Duret-Lutz 2019-10-08 15:18:48 +02:00
  • b2539e8399 improve to_parity() LAR implementation using SCCs Alexandre Duret-Lutz 2019-10-08 11:27:22 +02:00
  • 74d1ec2bff * bin/ltlsynt.cc: Typo. Alexandre Duret-Lutz 2019-10-07 20:22:24 +02:00
  • 878ef6e084 "import spot.foo" may now load "spot-extra/foo.py" Alexandre Duret-Lutz 2019-10-02 13:34:44 +02:00
  • f8695e91f9 python: remove workaround for swig 2.0.2 Alexandre Duret-Lutz 2019-10-02 09:34:18 +02:00
  • fef4e2c77f * NEWS: Fix many typos. Alexandre Duret-Lutz 2019-09-28 21:27:03 +02:00
  • 98bb705353 * debian/control (libspotgen0): Fix leading spaces in description. Alexandre Duret-Lutz 2019-09-28 14:00:56 +02:00
  • 1b58272a23 debian: use local version of require.js Alexandre Duret-Lutz 2019-09-28 13:57:05 +02:00
  • a11fe556f7 debian: remove -flo workaround Alexandre Duret-Lutz 2019-09-28 08:11:51 +02:00
  • fdd2eec331 Merge branch 'master' into next Alexandre Duret-Lutz 2019-09-27 20:49:20 +02:00
  • cbfcee9449 Bump version to 2.8.2.dev Alexandre Duret-Lutz 2019-09-27 06:47:31 +02:00
  • 1102def717 Release Spot 2.8.2 Alexandre Duret-Lutz 2019-09-26 15:19:06 +02:00
  • 5bf91077f4 * .gitlab-ci.yml (raspbian): Restrict to branches. Alexandre Duret-Lutz 2019-09-27 06:51:00 +02:00
  • 7e44016d38 [buddy] improve C++ backward compatibility around bdd_allsat change Alexandre Duret-Lutz 2019-09-27 18:00:52 +02:00
  • 34cf0491eb * tests/python/_product_weak.ipynb: Work around jupyter timeouts. Alexandre Duret-Lutz 2019-09-27 13:50:20 +02:00
  • 362682c7cd * .gitlab-ci.yml (arch-gcc-glibcxxdebug): Do not call env. Alexandre Duret-Lutz 2019-09-26 17:16:28 +02:00
  • 3c16d0fd04 * .gitlab-ci.yml (arch-gcc-glibcxxdebug): Do not call env. Alexandre Duret-Lutz 2019-09-26 17:16:28 +02:00
  • e442d36f7f * doc/org/index.org: Clarify license implications. Alexandre Duret-Lutz 2019-09-26 14:10:09 +02:00
  • ce93cdca21 aiger: simplify output code, and fix some function call order Alexandre Duret-Lutz 2019-09-26 11:44:15 +02:00
  • d523ce8ba4 bin: handle any exception before returning from parse_opt() Alexandre Duret-Lutz 2019-09-25 21:57:25 +02:00
  • 74ceea89ee fix ARM builds Alexandre Duret-Lutz 2019-09-24 11:48:06 +02:00
  • 2fa68cc44d * doc/org/index.org: Clarify license implications. Alexandre Duret-Lutz 2019-09-26 14:10:09 +02:00
  • 4c0e7bf865 aiger: simplify output code, and fix some function call order Alexandre Duret-Lutz 2019-09-26 11:44:15 +02:00
  • 6bdb135724 bin: handle any exception before returning from parse_opt() Alexandre Duret-Lutz 2019-09-25 21:57:25 +02:00
  • 0da5f44cd2 fix ARM builds Alexandre Duret-Lutz 2019-09-24 11:48:06 +02:00
  • a7e4cb4182 [buddy] fix ARM compilation Alexandre Duret-Lutz 2019-09-24 16:56:39 +02:00
  • 78f0c4418d [buddy] fix ARM compilation Alexandre Duret-Lutz 2019-09-24 16:56:39 +02:00
  • 7039112e41 tut12: mention X[!] Alexandre Duret-Lutz 2019-09-24 11:34:38 +02:00
  • 1730097c6f * doc/tl/tl.tex: Mention X(0)=0. Alexandre Duret-Lutz 2019-09-24 10:47:28 +02:00
  • 4378745458 from-ltlf: never output strong_X Alexandre Duret-Lutz 2019-09-24 10:34:04 +02:00
  • 2f2351a50f * doc/org/init.el.in: Work around obsolete ELPA signatures. Alexandre Duret-Lutz 2019-09-23 17:09:54 +02:00
  • cfd888076c ltl2tgba, ltldo: add a --negate option Alexandre Duret-Lutz 2019-09-22 22:01:46 +02:00
  • 98a8b891a1 * doc/org/init.el.in: Work around obsolete ELPA signatures. Alexandre Duret-Lutz 2019-09-23 17:09:54 +02:00
  • 7f21d3ff29 ltl2tgba, ltldo: add a --negate option Alexandre Duret-Lutz 2019-09-22 22:01:46 +02:00
  • be389c5c25 introduce op::strong_X Alexandre Duret-Lutz 2019-09-22 21:15:55 +02:00