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

Commit graph

  • 42ebf8b18c postproc: introduce --parity output Alexandre Duret-Lutz 2018-01-02 12:06:03 +01:00
  • 412c2059bf man: obsolete paragraph in ltlcross doc Alexandre Duret-Lutz 2017-12-28 20:27:17 +01:00
  • 0d963d5f7e Merge branch 'master' into next Alexandre Duret-Lutz 2017-12-25 15:47:19 +01:00
  • 9c77cb321e * NEWS, configure.ac: Bump version to 2.4.4.dev. Alexandre Duret-Lutz 2017-12-25 15:46:44 +01:00
  • 2f5fb47c7f Release Spot 2.4.4 Alexandre Duret-Lutz 2017-12-25 15:41:19 +01:00
  • 915d2f4659 sbacc: more fixes related to #312 Alexandre Duret-Lutz 2017-12-24 19:07:24 +01:00
  • 18e65f3bc8 sbacc: fix sbacc producing complete automata marked as incomplete Alexandre Duret-Lutz 2017-12-22 18:27:07 +01:00
  • 396024143c to_tgba: fix handling of CNF with multiple unit clauses Alexandre Duret-Lutz 2017-12-22 17:53:30 +01:00
  • ec393708bb sbacc: more fixes related to #312 Alexandre Duret-Lutz 2017-12-24 19:07:24 +01:00
  • 5467fa1622 * spot/twaalgos/stutter.cc (highlight_vector): Replace existing colors. Alexandre Duret-Lutz 2017-12-23 09:13:28 +01:00
  • 8579bedfaf python: highlighting with vector of bools Alexandre Duret-Lutz 2017-12-23 09:12:47 +01:00
  • 95fd75940a sbacc: fix sbacc producing complete automata marked as incomplete Alexandre Duret-Lutz 2017-12-22 18:27:07 +01:00
  • 9ec7df670e to_tgba: fix handling of CNF with multiple unit clauses Alexandre Duret-Lutz 2017-12-22 17:53:30 +01:00
  • 19348c8938 python: give access to the "product-states" property Alexandre Duret-Lutz 2017-12-22 17:23:56 +01:00
  • 904cfb27fa scc_info: detect incorrect initial state Alexandre Duret-Lutz 2017-12-22 17:23:10 +01:00
  • 31ccab026b python: allow spot.formula(spot.formula(...)) Alexandre Duret-Lutz 2017-12-22 17:18:36 +01:00
  • 3b4335d243 stutter: two new functions Alexandre Duret-Lutz 2017-12-19 18:31:30 +01:00
  • 8d5f2ca917 * tests/python/ipnbdoctest.py: Work around different pandas versions. Alexandre Duret-Lutz 2017-12-19 20:03:01 +01:00
  • 7f97c90470 Merge branch 'master' into next Alexandre Duret-Lutz 2017-12-19 10:40:32 +01:00
  • 696d81f651 Bump version number Alexandre Duret-Lutz 2017-12-19 10:17:40 +01:00
  • 325d3f921f Release Spot 2.4.3 Alexandre Duret-Lutz 2017-12-19 10:12:13 +01:00
  • ac80b07d93 introduce check_determinism() Alexandre Duret-Lutz 2017-12-18 15:57:17 +01:00
  • 7500962c3d org: fix URL to last successful build Alexandre Duret-Lutz 2017-11-28 18:22:32 +01:00
  • 62d1e0219d Add support for computing operator nesting depth Alexandre Duret-Lutz 2017-12-10 20:22:40 +01:00
  • 49b76bcf66 doxygen doc: minor improvements Alexandre Duret-Lutz 2017-12-08 16:57:47 +01:00
  • f56e1e8a6c org: fix URL to last successful build Alexandre Duret-Lutz 2017-11-28 18:22:32 +01:00
  • 89e1dbc3c8 bin: do not redefine argp_bug_address Alexandre Duret-Lutz 2017-11-28 11:23:42 +01:00
  • 24a98b1736 fix usage pf importlib.util.find_spec for newer pythons Alexandre Duret-Lutz 2017-11-22 09:58:29 +01:00
  • 0fabd6b7fb Fix a typo in a test Maximilien Colange 2017-11-22 11:08:20 +01:00
  • d967dcb155 fix ASAN reports about mismatched emplace new/delete Alexandre Duret-Lutz 2017-11-17 17:22:02 +01:00
  • 544d63f2f2 couvreur99_new: fix two memory leaks found by ASAN Alexandre Duret-Lutz 2017-11-17 17:50:26 +01:00
  • a55801c223 fix some g++-snapshot warnings Alexandre Duret-Lutz 2017-11-11 08:45:29 +01:00
  • 1242ba045e bin: do not redefine argp_bug_address Alexandre Duret-Lutz 2017-11-28 11:23:42 +01:00
  • b23f1d5054 Finer control over the build of the documentation Maximilien Colange 2017-11-27 14:37:39 +01:00
  • d219e4a556 tests: reduce the memory/time footprint of ltl2dstar.test Alexandre Duret-Lutz 2017-11-24 16:57:15 +01:00
  • a9a375ccd8 tests: git rid of all the tool=tool assignents Alexandre Duret-Lutz 2017-11-24 16:44:26 +01:00
  • a31ba7ff80 rename one printable_formula Alexandre Duret-Lutz 2017-11-24 14:44:05 +01:00
  • c7f6655043 fix doxygen doc build Alexandre Duret-Lutz 2017-11-24 09:29:46 +01:00
  • ce3eeb448d Fix ltlsynt tests Maximilien Colange 2017-11-24 11:07:23 +01:00
  • d071c7e14f Heavily optimize tgba_determinize() Maximilien Colange 2017-10-19 14:17:19 +02:00
  • d358521b3a Fix script running IPython tests Maximilien Colange 2017-11-24 14:36:24 +01:00
  • 7b2517a518 formula: accept additional arguments for map and traverse Alexandre Duret-Lutz 2017-11-23 23:00:48 +01:00
  • 7dd791fe59 * doc/Makefile.am (DISTCLEANFILES): Avoid multiple definitions. Alexandre Duret-Lutz 2017-11-23 22:06:43 +01:00
  • 1da0afbafe Improve ltlsynt interface Maximilien Colange 2017-11-20 16:34:53 +01:00
  • 502ddc6d0a * tests/python/dca.test: Fix location of temporary. Alexandre Duret-Lutz 2017-11-23 11:35:00 +01:00
  • 5504e2255a do not run optipng anymore Alexandre Duret-Lutz 2017-11-23 11:33:37 +01:00
  • 974a4238f6 introduce formula::is_leaf() Alexandre Duret-Lutz 2017-11-23 11:29:52 +01:00
  • 246b5d8fed doc: implement --enable-doxygen and do not distribute the doc Alexandre Duret-Lutz 2017-11-22 11:57:30 +01:00
  • cec522d56b fix usage pf importlib.util.find_spec for newer pythons Alexandre Duret-Lutz 2017-11-22 09:58:29 +01:00
  • cc00898514 fix python/dca.test for VPATH builds Alexandre Duret-Lutz 2017-11-22 09:49:03 +01:00
  • 61602a3bba org: convert all images to svg Alexandre Duret-Lutz 2017-11-19 19:08:26 +01:00
  • 454cc73670 doc: use SVG in the doxygen manual Alexandre Duret-Lutz 2017-11-19 12:32:33 +01:00
  • 7066fe29e5 Fix a typo in a test Maximilien Colange 2017-11-22 11:08:20 +01:00
  • 7e0fc448c5 hierarchy: Rewrite is_recurrence(), is_persistence() and add tests Alexandre GBAGUIDI AISSE 2017-11-21 01:20:05 +01:00
  • d89579321f fix ASAN reports about mismatched emplace new/delete Alexandre Duret-Lutz 2017-11-17 17:22:02 +01:00
  • 933c4cde0c couvreur99_new: fix two memory leaks found by ASAN Alexandre Duret-Lutz 2017-11-17 17:50:26 +01:00
  • b86cbf0514 Mark bdd_hash as noexcept Maximilien Colange 2017-11-17 13:52:21 +01:00
  • 4bc68f8ab8 misc: improve previous commit (thanks to A. Duret-Lutz) Etienne Renault 2017-11-17 14:04:41 +01:00
  • d7fa7f4826 Fixes #304 Etienne Renault 2017-11-17 08:57:01 +01:00
  • 50fe34a55a introduce is_obligation(f) Alexandre Duret-Lutz 2017-11-15 21:51:33 +01:00
  • f7ee9ed18e hierarchy: Fix #303 Alexandre GBAGUIDI AISSE 2017-11-16 02:14:18 +01:00
  • 18b4566762 wdba_minimization: make the reverse check first Alexandre Duret-Lutz 2017-11-15 15:06:13 +01:00
  • f0735d4d86 wdba_minimization: avoid translating !f when input is deterministic Alexandre Duret-Lutz 2017-11-11 08:59:01 +01:00
  • 32019b6e1a wdba_minimization: skip one inclusion test on deterministic input Alexandre Duret-Lutz 2017-11-10 22:07:30 +01:00
  • 43b580ccee fix some g++-snapshot warnings Alexandre Duret-Lutz 2017-11-11 08:45:29 +01:00
  • 230801c420 dstar2tgba: remove some useless call Alexandre Duret-Lutz 2017-11-10 22:09:37 +01:00
  • 42a94c4dbe bin: add support for SPOT_OOM_ABORT Alexandre Duret-Lutz 2017-11-15 14:38:07 +01:00
  • b20687630b org: ltl3hoa -> ltl3tela Alexandre Duret-Lutz 2017-11-07 17:15:13 +01:00
  • 010b418583 Merge branch 'master' into next Alexandre Duret-Lutz 2017-11-07 07:48:53 +01:00
  • 7c8d52640e Bump version to 2.4.2.dev Alexandre Duret-Lutz 2017-11-07 07:46:53 +01:00
  • ed5463cf6f Release Spot 2.4.2 Alexandre Duret-Lutz 2017-11-07 07:44:27 +01:00
  • 8d461b25bd bin: add shorthand for ltl3tela Alexandre Duret-Lutz 2017-10-19 11:45:44 +02:00
  • e5a37ff98f symplify_acceptance: More rules Alexandre Duret-Lutz 2017-11-06 17:25:38 +01:00
  • d9f8c517fa * tests/core/bdddict.cc: Trap SIGABORT so coverage works. Alexandre Duret-Lutz 2017-11-05 14:58:47 +01:00
  • ba5a89a620 tests: add a test for bdd_dict::assert_emptiness() Alexandre Duret-Lutz 2017-11-05 10:07:25 +01:00
  • df73b84a47 bdd_dict: remove register_all_propositions_of Alexandre Duret-Lutz 2017-11-05 09:43:01 +01:00
  • 0f26125f08 acc::name(): recognize generalized Streett Alexandre Duret-Lutz 2017-11-05 09:26:18 +01:00
  • 62302b6046 autfilt: introduce --acceptance-is Alexandre Duret-Lutz 2017-11-04 20:53:57 +01:00
  • 3334d37bb5 acc::name(): recognize Fin-less acceptance Alexandre Duret-Lutz 2017-11-04 12:44:43 +01:00
  • 75a1d6ac61 bin: add %g options to print acceptance name Alexandre Duret-Lutz 2017-11-03 22:45:46 +01:00
  • bd39edde27 acc: introduce acc_cond::name() Alexandre Duret-Lutz 2017-11-03 18:15:58 +01:00
  • 4711dcd74f introduce stutter_invariant_letters() Alexandre Duret-Lutz 2017-11-03 17:01:05 +01:00
  • f84ca9995c test the SPOT_SATSOLVER envvar Alexandre Duret-Lutz 2017-11-02 11:11:55 +01:00
  • 161bb0675f test the SPOT_BDD_TRACE envvar Alexandre Duret-Lutz 2017-11-02 10:31:52 +01:00
  • 0bbcb7f35d random: remove bmrand() and prand() Alexandre Duret-Lutz 2017-11-02 10:21:45 +01:00
  • 74215eaa4a parseaut: improve coverage Alexandre Duret-Lutz 2017-11-01 20:34:01 +01:00
  • 679fdfd853 doc: fix some doxygen commands Alexandre Duret-Lutz 2017-11-01 10:40:41 +01:00
  • 6459877a1a overhaul the stutter-invariance checks Alexandre Duret-Lutz 2017-10-31 17:21:38 +01:00
  • 7510743b47 org: update for gpg-signed Debian repository Alexandre Duret-Lutz 2017-10-23 17:58:32 +02:00
  • 2222661f98 org: update for gpg-signed Debian repository Alexandre Duret-Lutz 2017-10-23 17:58:32 +02:00
  • d597c58106 org: improve wording Alexandre Duret-Lutz 2017-10-18 14:59:29 +02:00
  • f42f156861 bin: add shorthand for ltl3tela Alexandre Duret-Lutz 2017-10-19 11:45:44 +02:00
  • 566d8e5c87 acc: simplify mark_t::subset() Alexandre Duret-Lutz 2017-10-18 15:23:12 +02:00
  • bdfa2b3983 org: improve wording Alexandre Duret-Lutz 2017-10-18 14:59:29 +02:00
  • bd739a5712 Heavily rewrite and optimize the determinization Maximilien Colange 2017-10-04 15:41:02 +02:00
  • 1a0dcf4f69 document the recent changes to implication rules Alexandre Duret-Lutz 2017-10-17 17:58:59 +02:00
  • 427c696954 org: fix the example for ltlcross --verbose Alexandre Duret-Lutz 2017-10-15 18:48:00 +02:00
  • 5b037f96e0 man: add missing crossrefs in spot(7) Alexandre Duret-Lutz 2017-10-15 11:15:53 +02:00
  • 42452ba4a3 simplify: improve the logic of some implication checks Alexandre Duret-Lutz 2017-10-11 21:47:31 +02:00
  • e6c4eb15c1 genaut: fix ks_nca Alexandre Duret-Lutz 2017-10-11 14:35:23 +02:00