Commit graph

  • 897925975b formula: fix syntactic-SI detection for ; operator Alexandre Duret-Lutz 2019-04-26 15:55:52 +02:00
  • 38f0cfd4c0 formula: fix syntactic-SI detection for ; operator Alexandre Duret-Lutz 2019-04-26 15:55:52 +02:00
  • 653ffcebe1 cleanacc: cleanup documentation and API Alexandre Duret-Lutz 2019-04-26 11:34:50 +02:00
  • 7300488a24 fix "requires separate Inf and Fin sets" error from ltl2tgba -G Alexandre Duret-Lutz 2019-04-26 11:33:04 +02:00
  • b928d8c82a fix "requires separate Inf and Fin sets" error from ltl2tgba -G Alexandre Duret-Lutz 2019-04-26 11:33:04 +02:00
  • 26e2f9cec8 sepsets: fix infinite loop Alexandre Duret-Lutz 2019-04-26 11:27:11 +02:00
  • 936481dcbd * bin/spot-x.cc (ba-simul): Update documentation. Alexandre Duret-Lutz 2019-04-26 10:05:45 +02:00
  • e7ac892d32 man: minor fixes Alexandre Duret-Lutz 2019-04-23 23:08:00 +02:00
  • f3657a6763 * doc/org/ltlcross.org: Fix ltlcross.csv example. Alexandre Duret-Lutz 2019-04-19 17:19:39 +02:00
  • 48ecb903c5 sepsets: fix infinite loop Alexandre Duret-Lutz 2019-04-26 11:27:11 +02:00
  • 13a3f6d72d * bin/spot-x.cc (ba-simul): Update documentation. Alexandre Duret-Lutz 2019-04-26 10:05:45 +02:00
  • 84fa824f7e twa: make sure intersection_run and intersection_word use genem Alexandre Duret-Lutz 2019-04-24 16:35:32 +02:00
  • 17f91132f9 man: minor fixes Alexandre Duret-Lutz 2019-04-23 23:08:00 +02:00
  • 54e25e38d1 * doc/org/ltlcross.org: Fix ltlcross.csv example. Alexandre Duret-Lutz 2019-04-19 17:19:39 +02:00
  • cb72191642 Merge branch 'master' into next Alexandre Duret-Lutz 2019-04-19 09:04:29 +02:00
  • 9aa5e67384 * NEWS, configure.ac: Bump version to 2.7.3.dev. Alexandre Duret-Lutz 2019-04-19 09:00:40 +02:00
  • eb826185f5 Release spot 2.7.3 Alexandre Duret-Lutz 2019-04-19 08:56:41 +02:00
  • 80456fcf8f org: reverse part of 7dfeda8e7 Alexandre Duret-Lutz 2019-04-19 08:54:55 +02:00
  • fd073d1df9 tests: fix some examples Alexandre Duret-Lutz 2019-04-18 14:41:03 +02:00
  • e6c8c09fd5 tests: fix some examples Alexandre Duret-Lutz 2019-04-18 14:41:03 +02:00
  • 339dac62d0 org: add a quick dirty comparison of 3 translators Alexandre Duret-Lutz 2019-04-17 16:50:12 +02:00
  • c9c98e11c4 * elisp/README: Remove obsolete comment. Alexandre Duret-Lutz 2019-04-16 23:21:38 +02:00
  • bbbe6ab8f9 org: better display for CSV tables Alexandre Duret-Lutz 2019-04-16 23:20:51 +02:00
  • 7dfeda8e77 org: simplify babel blocks using #+PROPERTY: header-args Alexandre Duret-Lutz 2019-04-16 21:03:13 +02:00
  • 8c99cffac7 tests: try to work around some frequent time outs in our checks Alexandre Duret-Lutz 2019-04-14 22:58:25 +02:00
  • d3cdabeb6e org: add a quick dirty comparison of 3 translators Alexandre Duret-Lutz 2019-04-17 16:50:12 +02:00
  • f1be609df1 * elisp/README: Remove obsolete comment. Alexandre Duret-Lutz 2019-04-16 23:21:38 +02:00
  • 14f5d1ec65 org: better display for CSV tables Alexandre Duret-Lutz 2019-04-16 23:20:51 +02:00
  • 8a96828d85 org: simplify babel blocks using #+PROPERTY: header-args Alexandre Duret-Lutz 2019-04-16 21:03:13 +02:00
  • 0c8e6a38a8 tests: try to work around some frequent time outs in our checks Alexandre Duret-Lutz 2019-04-14 22:58:25 +02:00
  • d65ceb0bc8 bin: prefer posix_spawn over fork+exec Alexandre Duret-Lutz 2019-04-14 14:52:26 +02:00
  • 4740adeb09 genem: fix previous patch Alexandre Duret-Lutz 2019-04-14 15:06:22 +02:00
  • 0623965b43 genem: improve handling of co-Büchi Alexandre Duret-Lutz 2019-04-12 23:14:29 +02:00
  • afdc7ddaf8 genem: remove call to cleanup_acceptance_here Alexandre Duret-Lutz 2019-04-11 23:04:52 +02:00
  • 2178684528 sccinfo: rename scc_info(x,opt) into scc_info_with_options(x,opt) Alexandre Duret-Lutz 2019-04-11 18:06:00 +02:00
  • f7e3d58846 * spot/twaalgos/sccinfo.cc (scc_info::split_on_sets): Honor filter. Alexandre Duret-Lutz 2019-04-11 11:49:15 +02:00
  • 948f99bc4e complement: add a complement() function Alexandre Duret-Lutz 2019-04-05 22:23:02 +02:00
  • 4bb4aeb372 simulation: fix commit 8959eabad Alexandre Duret-Lutz 2019-04-07 15:26:15 +02:00
  • 1150b7012a * doc/org/tut22.org: Add missing call to prop_state_acc(True). Alexandre Duret-Lutz 2019-04-02 23:25:29 +02:00
  • 7e3232e3a3 org: explain how to build automata with state-based acceptance Alexandre Duret-Lutz 2019-04-02 23:08:09 +02:00
  • 8c4f93d6c9 * doc/org/tut22.org: Add missing call to prop_state_acc(True). Alexandre Duret-Lutz 2019-04-02 23:25:29 +02:00
  • b33f32be5a * NEWS: Fix non-existent address Alexandre Duret-Lutz 2019-04-02 15:50:59 +02:00
  • f6467bea69 org: fix description of remove_fin Alexandre Duret-Lutz 2019-04-02 15:32:04 +02:00
  • e70f9d5723 remove_alternation: fix serious typo Alexandre Duret-Lutz 2019-03-22 22:16:02 +01:00
  • e340e61f24 bin: fix handling of \r\n with %> Alexandre Duret-Lutz 2019-03-20 21:31:11 +01:00
  • 1d0db88073 org: suggest python-dev for installing Python headers Alexandre Duret-Lutz 2019-03-18 14:00:12 +01:00
  • 20563d8a00 org: explain how to build automata with state-based acceptance Alexandre Duret-Lutz 2019-04-02 23:08:09 +02:00
  • 76517d9cd2 org: adjust text for simplified example for dstar2tgba Alexandre Duret-Lutz 2019-04-02 16:35:01 +02:00
  • 2ccfba906c * NEWS: Fix non-existent address Alexandre Duret-Lutz 2019-04-02 15:50:59 +02:00
  • d49dbf8ae6 org: fix description of remove_fin Alexandre Duret-Lutz 2019-04-02 15:32:04 +02:00
  • 628364909d dot: add option 'g' Alexandre Duret-Lutz 2019-03-31 22:21:24 +02:00
  • 8aafe74acf genem: greatly simplify code Alexandre Duret-Lutz 2019-03-30 16:38:43 +01:00
  • 55db24e00e scc_info: introduce scc_and_mark_filter Alexandre Duret-Lutz 2019-03-30 11:03:03 +01:00
  • 0d9c81a6d9 acc: extend top_disjuncts and top_conjuncts to acc_cond as well Alexandre Duret-Lutz 2019-03-29 11:39:40 +01:00
  • 01edf4f8e1 minimize_obligation: complement very weak automata if needed Alexandre Duret-Lutz 2019-03-20 22:02:02 +01:00
  • ef106e2860 remove_alternation: fix serious typo Alexandre Duret-Lutz 2019-03-22 22:16:02 +01:00
  • 510a18b156 acc: introduce top_conjuncts() and top_disjuncts() Alexandre Duret-Lutz 2019-03-22 13:50:05 +01:00
  • 55c50c65c8 autfilt: add support for --highlight-accepting-run Alexandre Duret-Lutz 2019-03-20 21:46:49 +01:00
  • 7af47c7db5 bin: fix handling of \r\n with %> Alexandre Duret-Lutz 2019-03-20 21:31:11 +01:00
  • af67c04a67 genem: minor simplifications Alexandre Duret-Lutz 2019-03-19 17:11:43 +01:00
  • f2f7cb2bc8 org: suggest python-dev for installing Python headers Alexandre Duret-Lutz 2019-03-18 14:00:12 +01:00
  • 0c1da2a0ea Merge branch 'master' into next Alexandre Duret-Lutz 2019-03-17 17:28:10 +01:00
  • 489444aa4d * NEWS, configure.ac: Bump version to 2.7.2.dev. Alexandre Duret-Lutz 2019-03-17 15:24:29 +01:00
  • cf8d711386 Release Spot 2.7.2 Alexandre Duret-Lutz 2019-03-17 15:22:39 +01:00
  • c63521d67a work around potential null dereference warning Alexandre Duret-Lutz 2019-03-17 17:11:24 +01:00
  • bb51499b11 org: typos Alexandre Duret-Lutz 2019-03-17 15:19:35 +01:00
  • 936990a427 org: more hyperlinks Alexandre Duret-Lutz 2019-03-15 14:05:36 +01:00
  • 262668bbad org: add an example for dealing with LTLf formulas Alexandre Duret-Lutz 2019-03-14 22:55:45 +01:00
  • c25a75ea8e * tests/python/twagraph-internals.ipynb: Fix a typo. Alexandre Duret-Lutz 2019-02-26 22:36:56 +01:00
  • e3b5552fb8 * NEWS: Add missing entry for previous patch. Alexandre Duret-Lutz 2019-02-25 17:35:49 +01:00
  • 8512a2d526 org: improve Python formating Alexandre Duret-Lutz 2019-02-25 16:17:29 +01:00
  • 25133cac28 org: add explicit Kripke structure example Alexandre Duret-Lutz 2019-02-25 15:35:42 +01:00
  • 8f7a0c2f7a python: improve kripke_graph bindings Alexandre Duret-Lutz 2019-02-21 21:56:15 +01:00
  • daab30b870 org: more hyperlinks Alexandre Duret-Lutz 2019-03-15 14:05:36 +01:00
  • 18420ca499 org: add an example for dealing with LTLf formulas Alexandre Duret-Lutz 2019-03-14 22:55:45 +01:00
  • a2d940ab74 * tests/python/twagraph-internals.ipynb: Fix a typo. Alexandre Duret-Lutz 2019-02-26 22:36:56 +01:00
  • 8959eabad6 simulation: try pulling marks instead of pushing them for sbacc input Alexandre Duret-Lutz 2019-02-26 18:13:42 +01:00
  • e191a0341b * NEWS: Add missing entry for previous patch. Alexandre Duret-Lutz 2019-02-25 17:35:49 +01:00
  • b5248f72ca org: improve Python formating Alexandre Duret-Lutz 2019-02-25 16:17:29 +01:00
  • c4f6722b53 org: add explicit Kripke structure example Alexandre Duret-Lutz 2019-02-25 15:35:42 +01:00
  • eb02db85da python: improve kripke_graph bindings Alexandre Duret-Lutz 2019-02-21 21:56:15 +01:00
  • c25a67b00d polish previous two patches Alexandre Duret-Lutz 2019-02-20 15:29:37 +01:00
  • 837f9e296b twa: Use generic accepting run search Clément Gillard 2019-02-06 11:45:09 +01:00
  • 51ca5ecdb1 genem: Implement accepting cycle search Clément Gillard 2018-12-11 13:43:53 +01:00
  • 4ecd066c0e Several typos Clément Gillard 2018-12-30 16:53:39 +01:00
  • 0c32f6b7ae Bump version to 2.7.1.dev Alexandre Duret-Lutz 2019-02-14 09:52:38 +01:00
  • 8befa3280c Release spot 2.7.1 Alexandre Duret-Lutz 2019-02-14 09:47:40 +01:00
  • f26dd904ff python: better support for explicit Kripke Alexandre Duret-Lutz 2019-02-13 17:43:40 +01:00
  • a86925e20e work around gcc 8.2.1+ bug #89303 Alexandre Duret-Lutz 2019-02-12 17:58:38 +01:00
  • d0b9806500 [buddy] remember to free bddhash on exit Alexandre Duret-Lutz 2019-02-05 18:12:30 +01:00
  • 699f21b9af product_susp: fix product of state-based automata Alexandre Duret-Lutz 2019-02-02 14:41:22 +01:00
  • d4203c8ad0 ltl2tgba_fm: don't tag weak automata if unambiguous is used Alexandre Duret-Lutz 2019-02-02 14:37:39 +01:00
  • ea9d894d01 parsetl: better handling of MS-DOS line endings Alexandre Duret-Lutz 2019-02-02 11:39:03 +01:00
  • 056ec02b21 doc: add some troubleshooting help Alexandre Duret-Lutz 2019-01-26 12:20:05 +01:00
  • 188d210521 python: suggest installing GraphViz when dot is not found Alexandre Duret-Lutz 2019-01-25 23:16:46 +01:00
  • 573c593fa2 powerset: some clean up Alexandre Duret-Lutz 2019-01-23 11:15:25 +01:00
  • ff960ee313 * THANKS: Add the reporter of #372. Alexandre Duret-Lutz 2019-01-23 11:05:36 +01:00
  • 476a874c71 org: work around issue with Org 9.2 Alexandre Duret-Lutz 2019-01-16 12:33:16 +01:00
  • 3908cc1bca python: improve bdd_dict bindings Alexandre Duret-Lutz 2019-01-14 16:42:30 +01:00
  • bd0f959418 Bump copyright year Alexandre Duret-Lutz 2019-01-07 11:27:55 +01:00