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

Commit graph

  • 93dad61571 * NEWS: Bump version number. Alexandre Duret-Lutz 2017-02-20 09:42:37 +01:00
  • 36c53ece2a * configure.ac: Bump version to 2.3.1.dev. Alexandre Duret-Lutz 2017-02-20 08:04:34 +01:00
  • b08da14e04 Release Spot 2.3.1 Alexandre Duret-Lutz 2017-02-20 07:51:53 +01:00
  • 1c96afb1d0 genltl: --kv-phi is in fact --kv-psi Alexandre Duret-Lutz 2017-02-18 09:59:00 +01:00
  • a14abf27fb genltl: typos and shorter descriptions Alexandre Duret-Lutz 2017-02-17 17:45:11 +01:00
  • 16e71b5093 * AUTHORS: Add Vincent & Arthur. Alexandre Duret-Lutz 2017-02-17 13:15:41 +01:00
  • fc2831bf24 genltl: Add 3 families of LTL formulas from a paper Vincent Tourneur 2017-02-07 17:50:41 +01:00
  • f7bbfd2812 autfilt: Better display of cluster when universal edge loops in it Arthur Remaud 2017-02-04 17:16:09 +01:00
  • 34859568cd autfilt: add option (y) to --dot to split universal transitions Arthur Remaud 2017-02-02 15:18:32 +01:00
  • 5516209d8c ltsmin: more information for MacOS users Etienne Renault 2017-02-10 10:07:53 +01:00
  • 6be87e5bb9 configure: allows to silent compilation Etienne Renault 2017-02-03 15:22:37 +01:00
  • fefb375d5f is_alternating() -> !is_existential() Alexandre Duret-Lutz 2017-02-12 13:36:35 +01:00
  • 7f7d078f2f * doc/org/tut23.org: Typos. Alexandre Duret-Lutz 2017-02-12 10:40:34 +01:00
  • 9609f1e50b configure: fix typos in adl_CHECK_PYTHON Alexandre Duret-Lutz 2017-02-12 10:31:33 +01:00
  • 15c6fd9562 alternation: fix detection of non-weak automata Alexandre Duret-Lutz 2017-02-12 01:37:52 +01:00
  • 60bc269fd2 * spot/tl/parse.hh (fix_utf8_locations): Fix documentation. Alexandre Duret-Lutz 2017-02-08 10:51:19 +01:00
  • a0366921a5 ltlcross: Adjust color and wording of output Alexandre Duret-Lutz 2017-02-07 18:00:53 +01:00
  • 6e3c7896f8 * HACKING: Typo. Alexandre Duret-Lutz 2017-02-06 16:20:38 +01:00
  • fb59cab09f emptiness: allow twa_run::as_twa to preserve names Alexandre Duret-Lutz 2017-01-20 16:33:30 +01:00
  • 3f5470898d Rework the 'down_cast' macro, closing #196. Maximilien Colange 2017-02-01 17:50:01 +01:00
  • 07a76e4d93 Do not warn about static_asserts. Maximilien Colange 2016-12-19 15:36:08 +01:00
  • 6c6660f48f org: plantuml.jar is in the build directory Alexandre Duret-Lutz 2017-02-02 10:26:33 +01:00
  • 4fdaf0e14e use wget or curl according to what is available Etienne Renault 2017-01-31 16:09:07 +01:00
  • 63116ff79c Fixes #205. Etienne Renault 2017-01-22 09:42:41 +01:00
  • cdfa607882 * doc/org/concepts.org: Typo. Alexandre Duret-Lutz 2017-02-01 15:04:38 +01:00
  • 33f9e03e83 [buddy] update the warning flags to match Spot's Alexandre Duret-Lutz 2017-02-01 15:01:59 +01:00
  • a2f174f721 [buddy] fix some -Wpedantic messages Alexandre Duret-Lutz 2017-02-01 15:09:40 +01:00
  • f0edfdef2b activate -Wpedantic Alexandre Duret-Lutz 2017-02-01 15:01:11 +01:00
  • d1754123a9 disable [[fallthrough]] until C++17 Alexandre Duret-Lutz 2017-02-01 15:17:44 +01:00
  • fac610ac48 ltsmin: fix function pointer casts for -Wpedantic Alexandre Duret-Lutz 2017-02-01 17:23:46 +01:00
  • 43d57da7f3 ltsmin: do not use 0-length arrays for -Wpedantic Alexandre Duret-Lutz 2017-02-01 15:00:22 +01:00
  • 825c8a8ad9 remove stray semi-colons reported by -Wpedantic Alexandre Duret-Lutz 2017-02-01 14:16:09 +01:00
  • 70c70a63a3 do not use non-standard anonymous structs Alexandre Duret-Lutz 2017-02-01 14:09:18 +01:00
  • 954b9d2074 Update doc to reflect changes to Teamcity invokation. Maximilien Colange 2017-02-01 16:27:02 +01:00
  • 0ada5900de ltldo.org: Fix first examples Alexandre Duret-Lutz 2017-01-27 20:06:19 +01:00
  • a4b575db1c ltldo: add portfolio options Alexandre Duret-Lutz 2017-01-27 16:58:13 +01:00
  • 267f819a9d * doc/org/tut51.org: Typo. Alexandre Duret-Lutz 2017-01-27 13:10:50 +01:00
  • 6acb168a5d Do not specify tests extensions as we use a unique runner. Maximilien Colange 2017-01-21 13:06:28 +01:00
  • 423136a6e0 ltsmin: register dead only if it is an atomic proposition Alexandre Duret-Lutz 2017-01-21 18:23:31 +01:00
  • 5a441e1b93 fix some incorrect AP registrations Alexandre Duret-Lutz 2017-01-20 14:41:00 +01:00
  • 7f219f2738 * NEWS: Typos. Alexandre Duret-Lutz 2017-01-19 14:26:16 +01:00
  • a84f9cddcf Bump version to 2.3.0.dev Alexandre Duret-Lutz 2017-01-19 13:37:52 +01:00
  • 6d032597bf Release Spot 2.3 Alexandre Duret-Lutz 2017-01-19 09:25:22 +01:00
  • 21e2d9bb32 org: a few additional links Alexandre Duret-Lutz 2017-01-19 09:00:26 +01:00
  • 8f9d165cfa * NEWS: Improve for upcoming release. Alexandre Duret-Lutz 2017-01-18 22:27:24 +01:00
  • ff4c4a7231 python: render the M&P hierarchy in SVG Alexandre Duret-Lutz 2017-01-18 20:58:20 +01:00
  • 0e2ab5de53 git rid of std::iterator Alexandre Duret-Lutz 2017-01-18 10:30:10 +01:00
  • d80ca1fb47 sat: reject alternating inputs Alexandre Duret-Lutz 2017-01-18 08:08:08 +01:00
  • 5939ca4e85 langmap: Add example in notebook Alexandre Duret-Lutz 2017-01-17 22:25:22 +01:00
  • 0ad62cb97b langmap: adjust to only color non-unique languages Alexandre Duret-Lutz 2017-01-17 21:53:45 +01:00
  • aa457a204d tmpfile: remove deprecated throw specifiers Alexandre Duret-Lutz 2017-01-16 15:39:05 +01:00
  • 4eebe94a1d TYPOS Alexandre GBAGUIDI AISSE 2017-01-16 13:31:20 +01:00
  • ebdb198b64 hierarchy: expose mp_class to python Alexandre Duret-Lutz 2017-01-14 23:43:01 +01:00
  • a0891fde18 install pkg-config configuration files Alexandre Duret-Lutz 2017-01-14 14:02:09 +01:00
  • a9b056baa4 [buddy] install a pkg-config file Alexandre Duret-Lutz 2017-01-14 13:58:53 +01:00
  • c7141bd189 ltlcross: disable products columns in CSV if --products=0 Alexandre Duret-Lutz 2017-01-14 10:43:35 +01:00
  • b210db8949 sat_minimize: do not complete in the preproc step Alexandre Duret-Lutz 2017-01-14 10:18:16 +01:00
  • 3ff2acb397 alternation: better detection of non-weak alternating automata Alexandre Duret-Lutz 2017-01-14 10:02:37 +01:00
  • 7574d6d1e2 debian: distribute static libraries Alexandre Duret-Lutz 2017-01-13 19:53:21 +01:00
  • 01838a2456 ltlcross, ltldo: Add support for ltl3hoa. Alexandre Duret-Lutz 2017-01-13 21:26:53 +01:00
  • 43520a3e87 ltlcross, ltldo: add a --relabel option Alexandre Duret-Lutz 2017-01-13 21:19:17 +01:00
  • b0ba6190b7 ltlcross: relabel unsupported atomic propisitions in %s Alexandre Duret-Lutz 2017-01-13 20:57:21 +01:00
  • 8754cea2ca org: some doc about the hierarchy Alexandre Duret-Lutz 2017-01-11 22:57:49 +01:00
  • cf9ad8ebd1 org: minor tweaks Alexandre Duret-Lutz 2017-01-11 22:57:02 +01:00
  • c9918f6407 minimize_wdba: fix handling of input with useless SCCs Alexandre Duret-Lutz 2017-01-11 18:06:41 +01:00
  • 7d9ce0d6fc tl: mp_class() and --format=%[vw]h Alexandre Duret-Lutz 2017-01-10 21:34:56 +01:00
  • de8a248fb2 ltlfilt: add --recurrence and --persistence Alexandre Duret-Lutz 2017-01-10 16:05:49 +01:00
  • 6190e4415b * NEWS: Some rewrites in preparation for the next release. Alexandre Duret-Lutz 2017-01-10 11:06:03 +01:00
  • 6c9fd5cfaf * .dir-locals.el (magit-branch-adjust-remote-upstream-alist): New. Alexandre Duret-Lutz 2017-01-10 10:36:22 +01:00
  • 12ecb3febf twagraph: fix purge_dead_states on alternating automata Alexandre Duret-Lutz 2017-01-10 10:29:32 +01:00
  • 042c7a0f5b Update dtgbasat benchmark Alexandre GBAGUIDI AISSE 2017-01-04 14:16:32 +01:00
  • 823dc56e6b Update NEWS and documentations Alexandre GBAGUIDI AISSE 2016-12-27 21:30:59 +01:00
  • bd37625e49 misc: Add 'SPOT_XCNF' environment variable Alexandre GBAGUIDI AISSE 2016-12-21 16:39:05 +01:00
  • ef2355a542 twaalgos: Set 'dicho' algo as default for SAT-based minimization Alexandre GBAGUIDI AISSE 2016-12-20 12:08:32 +01:00
  • 67e3a4f28e spot: Add 'langmap' option with dichotomy (it helps to choose min val) Alexandre GBAGUIDI AISSE 2016-12-14 10:57:56 +01:00
  • 7046a49622 bin/autfilt.cc: Add '--highlight-languages' option Alexandre GBAGUIDI AISSE 2016-12-14 16:47:21 +01:00
  • 8a0eed6cef twaalgos: Implement language_map algo Alexandre GBAGUIDI AISSE 2016-12-12 16:45:03 +01:00
  • 9a204b770f spot: Implement dt*a_sat_minimize_assume(...) methods Alexandre GBAGUIDI AISSE 2016-10-11 16:08:46 +02:00
  • ee17c2dee4 twaalgos: Implement dt*a_sat_minimize_incr(...) functions Alexandre GBAGUIDI AISSE 2016-09-20 11:58:24 +02:00
  • 9acd7370b2 twaalgos: Improve data storage in SAT-minimization Alexandre GBAGUIDI AISSE 2016-10-25 16:29:29 +02:00
  • 79f4c8e0d7 twaalgos: Help sat_build to ignore unuseful transitions Alexandre GBAGUIDI AISSE 2016-10-12 10:38:29 +02:00
  • dfd500a559 tests: Improve tests related to SAT-minimization Alexandre GBAGUIDI AISSE 2016-09-14 17:19:23 +02:00
  • 32f040fa45 spot: Add Picosat to Spot library & Update satsolver class Alexandre GBAGUIDI AISSE 2016-09-13 16:47:29 +02:00
  • 596bdec910 spot: Abstract cnf writing in SAT-based minimisation Alexandre GBAGUIDI AISSE 2017-01-06 09:50:25 +01:00
  • f2e091b9cd .gitignore: Fix typo Alexandre GBAGUIDI AISSE 2016-11-17 16:50:26 +01:00
  • 32086f7c83 tests: update ipnbdoctest to graphviz 2.40 and Python 3.6 Alexandre Duret-Lutz 2017-01-06 16:37:36 +01:00
  • c090c4205f bin: bump copyright year Alexandre Duret-Lutz 2017-01-01 10:31:31 +01:00
  • 684c9c47c4 twa: add prop_set::improve_det Alexandre Duret-Lutz 2016-12-30 10:38:04 +01:00
  • ada8185361 simulation: does not preserve !unambiguous, !semi-deterministic Alexandre Duret-Lutz 2016-12-30 09:58:56 +01:00
  • bedd96a7ba * spot/twaalgos/isdet.cc: Remove debug statement. Alexandre Duret-Lutz 2016-12-30 09:09:05 +01:00
  • 4b01387817 support for semi-deterministic property Alexandre Duret-Lutz 2016-12-29 16:37:43 +01:00
  • db5d9780f1 twa_graph: support alternation in remove_dead/unreachable_states Alexandre Duret-Lutz 2016-12-28 19:48:47 +01:00
  • 096c78a3f8 autfilt: handle alternation with --equivalent-to and friends Alexandre Duret-Lutz 2016-12-28 10:18:05 +01:00
  • 77ce4170dc autfilt: add --is-alternating Alexandre Duret-Lutz 2016-12-28 09:52:24 +01:00
  • 6a11e149b7 autfilt: add --is-very-weak Alexandre Duret-Lutz 2016-12-28 08:24:08 +01:00
  • 12f6c8cf10 twa_graph: add a merge_univ_dests() method Alexandre Duret-Lutz 2016-12-27 12:35:16 +01:00
  • 3d0a971aa8 org: examples with alternating automata Alexandre Duret-Lutz 2016-12-25 12:14:57 +01:00
  • f5b261d80e remfin: call remove_alternation if needed Alexandre Duret-Lutz 2016-12-24 20:41:43 +01:00
  • 071d819c49 complete: add support for alternating autamata Alexandre Duret-Lutz 2016-12-24 18:32:21 +01:00
  • f1b8d5f1d4 postproc: preliminary support for alternating automata Alexandre Duret-Lutz 2016-12-24 20:33:00 +01:00