Commit graph

  • d23eaec7ef make sure --dot=Bb is the same as --dot=b Alexandre Duret-Lutz 2015-11-13 17:50:12 +01:00
  • 5a7abe8582 rename tgba_run as twa_run Alexandre Duret-Lutz 2015-11-11 12:45:59 +01:00
  • d14f0998e0 hide trim() from the public interface Alexandre Duret-Lutz 2015-11-11 11:33:15 +01:00
  • 86abd6c1c0 Use -Bsymbolic-functions and -Bsymbolic Alexandre Duret-Lutz 2015-11-10 08:31:54 +01:00
  • 0553842347 activate c11 for gnulib tests Alexandre Duret-Lutz 2015-11-10 13:36:21 +01:00
  • 1396b7f710 * src/parsetl/.gitignore: Adjust to no-that-recent renamings. Alexandre Duret-Lutz 2015-11-10 11:19:37 +01:00
  • 622422226f * tools/.gitignore: Ignore ar-lib. Alexandre Duret-Lutz 2015-11-10 11:16:59 +01:00
  • 4a7733823e Update gnulib. Alexandre Duret-Lutz 2015-11-10 11:14:38 +01:00
  • e206b5ef33 * wrap/python/tests/decompose.ipynb: Typos. Alexandre Duret-Lutz 2015-11-09 10:01:03 +01:00
  • 458fc53b71 * src/bin/man/autfilt.x: Fix description. Alexandre Duret-Lutz 2015-11-09 08:25:58 +01:00
  • 104a372c41 Add a notebook illustrating decompose_strength() Alexandre Duret-Lutz 2015-11-08 21:37:47 +01:00
  • a7db0b5435 Add a decompose_strength() function. Alexandre Duret-Lutz 2015-11-08 16:57:53 +01:00
  • 3428fb32cd Add support for --check=strength Alexandre Duret-Lutz 2015-11-07 21:40:04 +01:00
  • f4cf0f4078 autfilt: Add --is-terminal and --is-weak. Alexandre Duret-Lutz 2015-11-07 15:30:51 +01:00
  • 81cfa05aef rename safety.hh as strength.hh Alexandre Duret-Lutz 2015-11-07 14:28:40 +01:00
  • 8a8ec21de7 rename is_guarantee_automaton() as is_terminal_automaton() Alexandre Duret-Lutz 2015-11-07 14:05:01 +01:00
  • 0c5f87b442 add support for the "terminal" property Alexandre Duret-Lutz 2015-11-07 13:36:31 +01:00
  • 654888718c add support for the weak property Alexandre Duret-Lutz 2015-11-06 18:31:05 +01:00
  • eecd201273 org: more examples of accessing properties Alexandre Duret-Lutz 2015-11-06 16:11:20 +01:00
  • 33c234da11 hoa: output "unambiguous" only for non-deterministic automata by default Alexandre Duret-Lutz 2015-11-05 18:32:37 +01:00
  • 30037b9905 org: update description of support for HOA properties Alexandre Duret-Lutz 2015-11-05 17:16:54 +01:00
  • 19cd2cda6f python: add binding for is_unambiguous Alexandre Duret-Lutz 2015-11-05 13:41:42 +01:00
  • cbb2e64e7c twa: rename the is_* getters as prop_* Alexandre Duret-Lutz 2015-11-05 09:51:53 +01:00
  • 8ea5f73c1a twa: no default argument for property setters Alexandre Duret-Lutz 2015-11-04 18:25:49 +01:00
  • bf5749189e parseaut: do not ignore the "unambiguous" property Alexandre Duret-Lutz 2015-11-04 17:11:25 +01:00
  • cbaa94f911 * NEWS, configure.ac: Bump version to 1.99.5a. Alexandre Duret-Lutz 2015-11-03 17:17:48 +01:00
  • f08b658f04 Release Spot 1.99.5 Alexandre Duret-Lutz 2015-11-03 13:42:27 +01:00
  • a28ead2dce org: simply calls to parse_aut() Alexandre Duret-Lutz 2015-11-03 11:58:40 +01:00
  • 7b3fdebc6e * debian/control: Build-Depends on libltdl-dev. Alexandre Duret-Lutz 2015-10-29 18:05:11 +01:00
  • aaff42ee22 python: fix output of twa_run Alexandre Duret-Lutz 2015-10-29 17:24:10 +01:00
  • f6af2a84cb twa_succ_iterator: rename accessors Alexandre Duret-Lutz 2015-10-28 21:16:21 +01:00
  • 1b5b9e4a65 * src/bin/common_post.cc: Fix description of --any. Alexandre Duret-Lutz 2015-10-27 08:01:18 +01:00
  • 71979840cb bin: factor handling of -B/-C/-D/... output options Alexandre Duret-Lutz 2015-10-25 21:54:55 +01:00
  • dee73ee342 parse_aut: simplify the interface Alexandre Duret-Lutz 2015-10-25 20:41:35 +01:00
  • 3d5d160635 * lrde-upload.sh: Delete. Alexandre Duret-Lutz 2015-10-25 14:19:52 +01:00
  • 99c967f021 twa_run: swallow reduce_run, replay_twa_run, twa_run_to_tgba Alexandre Duret-Lutz 2015-10-25 12:51:51 +01:00
  • 63917def2d twa_run: keep a pointer to the automaton Alexandre Duret-Lutz 2015-10-25 11:58:14 +01:00
  • e7cc89264a * src/tests/satmin2.test: Adjust for previous patch. Alexandre Duret-Lutz 2015-10-25 09:16:33 +01:00
  • 4221e68d44 rename tgba_run as twa_run Alexandre Duret-Lutz 2015-10-24 17:20:30 +02:00
  • 4a91fccc33 stats: rename structures and attribute for concistency Alexandre Duret-Lutz 2015-10-24 17:03:56 +02:00
  • f7c4ca816b * src/tests/ltldo2.test: Honor $LTL2BA. Alexandre Duret-Lutz 2015-10-24 17:00:53 +02:00
  • db99f3bd3c * src/twaalgos/randomgraph.hh: Fix comments. Alexandre Duret-Lutz 2015-10-24 15:45:55 +02:00
  • 337925c94a python: change postprocess to take an optional formula Alexandre Duret-Lutz 2015-10-23 19:01:02 +02:00
  • 84f9be9e8e doc: show more metadata about automata Alexandre Duret-Lutz 2015-10-22 19:41:38 +02:00
  • 51a75a316d parseaut: Add a trust_hoa option. Alexandre Duret-Lutz 2015-10-22 23:56:13 +02:00
  • 585e29e7d8 parseaut: change the interface to allow new options Alexandre Duret-Lutz 2015-10-22 22:44:33 +02:00
  • b6c8a18dbc * wrap/python/spot.py: Check exit status also when timeout is used. Alexandre Duret-Lutz 2015-10-22 12:11:59 +02:00
  • 82ce722d42 * wrap/python/spot.py: Kill the shell and its children on timeout. Alexandre Duret-Lutz 2015-10-21 19:05:37 +02:00
  • 64df4fbccc fix "input buffer overflow, can't enlarge buffer..." Alexandre Duret-Lutz 2015-10-21 17:29:37 +02:00
  • 619b227eff * wrap/python/spot.py (automata): Use universal_newlines. Alexandre Duret-Lutz 2015-10-21 14:42:52 +02:00
  • 64607af7ab propagate the new minimum version of python Alexandre Duret-Lutz 2015-10-21 14:27:18 +02:00
  • 80a6a183e3 python: add a timeout argument to automaton() and automata() Alexandre Duret-Lutz 2015-10-21 11:57:57 +02:00
  • 0f3bc27d7b python: fix bindings for scc_filter as a method Alexandre Duret-Lutz 2015-10-20 14:52:25 +02:00
  • c7d063aaa0 org: fix multiple examples Alexandre Duret-Lutz 2015-10-20 14:26:57 +02:00
  • cd8e53de09 is_unambiguous: fix detection of empty languages Alexandre Duret-Lutz 2015-10-20 08:06:31 +02:00
  • 61bf5daab4 Add code example using the postprocessor. Alexandre Duret-Lutz 2015-10-19 23:03:51 +02:00
  • 87cb58d0a1 python: introduce a spot.postprocess() function Alexandre Duret-Lutz 2015-10-19 17:40:00 +02:00
  • e1ddf97862 fix unabbreviate Alexandre Duret-Lutz 2015-10-19 10:22:59 +02:00
  • 43a5187ab4 python: add get_name & set_name for automata Alexandre Duret-Lutz 2015-10-18 15:43:19 +02:00
  • 176c9e2e17 tl: rename ltl_simplifier to tl_simplifier Alexandre Duret-Lutz 2015-10-18 13:33:35 +02:00
  • 21be883cf6 * src/tl/simplify.hh: Fix comment. Alexandre Duret-Lutz 2015-10-18 11:56:58 +02:00
  • 9689c4ccfc python: update the formulaiterator bindings Alexandre Duret-Lutz 2015-10-18 11:54:51 +02:00
  • 1d30242d17 remove_fin: fix bug in remove_fin_det_weak Alexandre Duret-Lutz 2015-10-17 17:38:45 +02:00
  • 9be0cd7f69 debian: catch more MathJax uses Alexandre Duret-Lutz 2015-10-16 11:35:40 +02:00
  • 3669eba5b2 debian: compile for all supported Python3 versions Alexandre Duret-Lutz 2015-10-16 11:18:52 +02:00
  • 9e7d0677e7 parseaut: better diagnostic of unsupported versions Alexandre Duret-Lutz 2015-10-15 18:26:26 +02:00
  • 0671d62806 ltlgrind: fix handling of FILENAME/COL Alexandre Duret-Lutz 2015-10-15 17:08:08 +02:00
  • e3682a2301 autfilt: easier simplification defaults Alexandre Duret-Lutz 2015-10-15 16:37:26 +02:00
  • 2ae1b6a6f0 autfilt: implement --complement Alexandre Duret-Lutz 2015-10-15 13:58:20 +02:00
  • 6cf807da6e fix crash of randaut -Q0 Alexandre Duret-Lutz 2015-10-15 13:29:59 +02:00
  • cd2e527526 scc_filter_states: also remove useless acceptance marks Alexandre Duret-Lutz 2015-10-14 19:03:09 +02:00
  • 2af3678893 * HACKING: Update list of dependencies. Alexandre Duret-Lutz 2015-10-14 10:47:45 +02:00
  • 06d3bc67ea restructure the complementation code Alexandre Duret-Lutz 2015-10-13 19:30:26 +02:00
  • fb642c6df5 * src/bin/ltlcross.cc: Typo. Alexandre Duret-Lutz 2015-10-13 13:40:12 +02:00
  • e8ce08a989 python: better way to extend existing classes Alexandre Duret-Lutz 2015-10-07 19:42:51 +02:00
  • 1f0258e9f7 python: docstrings cleanup Alexandre Duret-Lutz 2015-10-04 12:17:06 +02:00
  • 67468acb18 * wrap/python/spot.py: Minor cleanups to follow PEP8. Alexandre Duret-Lutz 2015-10-04 00:23:22 +02:00
  • 24a8affbc5 org: better syntax highlighting Alexandre Duret-Lutz 2015-10-03 17:14:52 +02:00
  • 5bfd0267e7 python: implement formula.__format__ Alexandre Duret-Lutz 2015-10-03 11:20:02 +02:00
  • 20bb171904 * NEWS: Summarize recent changes. Alexandre Duret-Lutz 2015-10-02 22:56:49 +02:00
  • 6ff4fa9722 Work around weird Python 3.5 generator/iterator interaction Alexandre Duret-Lutz 2015-10-02 22:39:57 +02:00
  • 5f2d55ab2e python: do not crash when a function returns a null formula Alexandre Duret-Lutz 2015-10-02 19:43:39 +02:00
  • 24ef5a0b7f bdddict: remove dead code Alexandre Duret-Lutz 2015-10-02 17:05:17 +02:00
  • 2fa9c27534 postproc: default to an empty formula Alexandre Duret-Lutz 2015-10-02 17:00:27 +02:00
  • 5e07e8384d tgba_complete: rename as complete and export in Python Alexandre Duret-Lutz 2015-10-02 16:45:39 +02:00
  • afe5b2a1c0 simpfg: remove this unused function Alexandre Duret-Lutz 2015-10-02 14:05:54 +02:00
  • c8785a2854 * m4/gccwarn.m4: Add -Woverloaded-virtual. Alexandre Duret-Lutz 2015-10-02 11:59:58 +02:00
  • 54935cb9c7 Add noexcept to various constructors related to graphs. Alexandre Duret-Lutz 2015-10-02 11:47:21 +02:00
  • 20365e53f0 Enable -Wmissing-declarations in development mode. Alexandre Duret-Lutz 2015-10-02 11:00:00 +02:00
  • 162d8d297d * bench/stutter/stutter_invariance_formulas.cc: Remove useless include. Alexandre Duret-Lutz 2015-10-02 10:59:14 +02:00
  • 06971a2698 get rid of SPOT_DELETED Alexandre Duret-Lutz 2015-10-01 20:06:39 +02:00
  • 17a7a782a9 * src/tl/formula.hh: Handle saturation of refs_. Alexandre Duret-Lutz 2015-10-01 19:04:16 +02:00
  • e5aebfd59c * wrap/python/ajax/spotcgi.in: Fix typo. Alexandre Duret-Lutz 2015-10-01 11:36:15 +02:00
  • c43245e778 * NEWS, configure.ac: Bump version to 1.99.4a. Alexandre Duret-Lutz 2015-10-01 10:10:11 +02:00
  • 59685eada0 Spot 1.99.4 Alexandre Duret-Lutz 2015-10-01 07:39:02 +02:00
  • 85112b04f3 * src/twa/acc.hh: Fix warning with newer clang++. Alexandre Duret-Lutz 2015-09-30 19:48:49 +02:00
  • 7c5f345d68 * doc/org/tut03.org: Fix typos. Alexandre Duret-Lutz 2015-09-30 18:50:57 +02:00
  • d183bf2b5c * NEWS: Add some missing bits and cleanup. Alexandre Duret-Lutz 2015-09-30 17:20:45 +02:00
  • ae6cd92142 ltlparse: move in parsetl/, and declare in tl/parse.hh Alexandre Duret-Lutz 2015-09-30 17:11:48 +02:00
  • 25b0153633 configure: use -Wint-to-void-pointer-cast with clang Alexandre Duret-Lutz 2015-09-30 15:35:30 +02:00