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

Commit graph

  • 967b1a4192 remfin: use an scc_info filter to avoid copying automata Alexandre Duret-Lutz 2017-05-30 15:31:49 +02:00
  • 425620150a scc_info: make it possible to ignore or cut edges Alexandre Duret-Lutz 2017-05-20 11:14:39 +02:00
  • 4da6a5cde1 rs_like: fix bug to accept Fin | Fin , Inf & Inf Thomas Medioni 2017-05-23 10:50:54 +02:00
  • f6607f1a2c bin: release all subformulas between runs Alexandre Duret-Lutz 2017-05-18 16:46:11 +02:00
  • acdaaac4f0 bin: release all subformulas between runs Alexandre Duret-Lutz 2017-05-18 16:46:11 +02:00
  • cdef3d69f0 Fix uninitialized value. Maximilien Colange 2017-05-11 02:17:10 +02:00
  • 7dfa0ec15d Merge branch 'master' into next Alexandre Duret-Lutz 2017-05-11 10:18:00 +02:00
  • b9c250894b * NEWS, configure.ac: Bump version number. Alexandre Duret-Lutz 2017-05-11 10:16:03 +02:00
  • 52b5491b8e Release Spot 2.3.4 Alexandre Duret-Lutz 2017-05-11 10:10:48 +02:00
  • 866263ecc6 parseaut: misc cleanups Alexandre Duret-Lutz 2017-05-10 17:24:35 +02:00
  • 762dd4555d parseaut: misc cleanups Alexandre Duret-Lutz 2017-05-10 17:24:35 +02:00
  • aa40482352 ltl2tgba: clear simplification cache between translations Alexandre Duret-Lutz 2017-05-10 15:59:58 +02:00
  • f07fbbae79 ltl2tgba: clear simplification cache between translations Alexandre Duret-Lutz 2017-05-10 15:59:58 +02:00
  • 8e19d3f47e scc_info: introduce edges_of() and inner_edges_of() Alexandre Duret-Lutz 2017-05-09 22:12:42 +02:00
  • d3d2364ad0 org: list ltlfilt's transformation Alexandre Duret-Lutz 2017-05-09 14:29:42 +02:00
  • e089509a0c org: list ltlfilt's transformation Alexandre Duret-Lutz 2017-05-09 14:29:42 +02:00
  • 8968bf6c4e simplify: fix related to event_univ handling Alexandre Duret-Lutz 2017-05-08 10:28:13 +02:00
  • 845958834f simplify: fix related to event_univ handling Alexandre Duret-Lutz 2017-05-08 10:28:13 +02:00
  • 7e4238149b debian: fix the changelog of buddy Alexandre Duret-Lutz 2017-05-05 18:15:58 +02:00
  • 19aae6f9cf introduce spot::split_edges() Alexandre Duret-Lutz 2017-05-05 20:21:50 +02:00
  • 3d8c48555b debian: fix the changelog of buddy Alexandre Duret-Lutz 2017-05-05 18:15:58 +02:00
  • 679b6cff78 degen: consider incoming edges to select initial levels Alexandre Duret-Lutz 2017-05-05 16:39:11 +02:00
  • e1c14eb90a twa_graph: honor state-names & product-states in format_state() Alexandre Duret-Lutz 2017-04-10 20:11:24 +02:00
  • 46d8aaaae1 twa_graph: introduce copy_state_names_from() Alexandre Duret-Lutz 2017-04-10 19:26:52 +02:00
  • 865171230f sum: remove useless include Thomas Medioni 2017-05-04 15:40:39 +02:00
  • 04640af135 bin: remove temporary files even on errors Alexandre Duret-Lutz 2017-05-04 14:40:32 +02:00
  • e21499ea7c * Makefile.am (gen-ChangeLog): Generate BuDDy's ChangeLog. Alexandre Duret-Lutz 2017-05-04 13:33:52 +02:00
  • 4b72e2b4c5 [buddy] rename ChangeLog Alexandre Duret-Lutz 2017-05-04 13:32:52 +02:00
  • cd87be1595 fix libspot.pc and libspotltsmin.pc generation Alexandre Duret-Lutz 2017-05-04 11:03:53 +02:00
  • b9ca038850 [buddy] fix libbddx.pc generation Alexandre Duret-Lutz 2017-05-04 10:47:38 +02:00
  • b6808115b9 bin: remove temporary files even on errors Alexandre Duret-Lutz 2017-05-04 14:40:32 +02:00
  • 5601806e24 * Makefile.am (gen-ChangeLog): Generate BuDDy's ChangeLog. Alexandre Duret-Lutz 2017-05-04 13:33:52 +02:00
  • 613c485c24 [buddy] rename ChangeLog Alexandre Duret-Lutz 2017-05-04 13:32:52 +02:00
  • c8b443ba32 install a libspotgen.pc file Alexandre Duret-Lutz 2017-05-04 11:08:51 +02:00
  • 887d14dea2 fix libspot.pc and libspotltsmin.pc generation Alexandre Duret-Lutz 2017-05-04 11:03:53 +02:00
  • 800db9c251 [buddy] fix libbddx.pc generation Alexandre Duret-Lutz 2017-05-04 10:47:38 +02:00
  • 172bee495a minimize_dfa: use the twa_graph interface Alexandre Duret-Lutz 2017-02-22 16:30:10 +01:00
  • 469d8067e0 gen: another automaton family Alexandre Duret-Lutz 2017-04-28 12:02:54 +02:00
  • ae78e1d2b2 gen: set more properties in automata Alexandre Duret-Lutz 2017-04-28 09:17:16 +02:00
  • ec51f976f8 gen: introduce a new automaton family Alexandre Duret-Lutz 2017-04-27 22:19:21 +02:00
  • 649793df75 gen: pass the bdd_dict to aut_pattern() Alexandre Duret-Lutz 2017-04-27 18:00:51 +02:00
  • 11ca2803c9 gen: hide ks_cobuchi(), introduce aut_pattern() Alexandre Duret-Lutz 2017-04-27 11:47:19 +02:00
  • ca7f72bb4b gen: prefix ltl_pattern identifiers with LTL_ Alexandre Duret-Lutz 2017-04-27 10:04:51 +02:00
  • 0c69649ba1 * bin/.gitignore: Ignore genaut binary. Thomas Medioni 2017-04-28 12:17:44 +02:00
  • f4070187d9 * NEWS: Reword and reorder a few entries. Alexandre Duret-Lutz 2017-04-26 15:00:20 +02:00
  • 540b971355 gen: rename genltl() to ltl_pattern() and introduce ltl_patterns() Alexandre Duret-Lutz 2017-04-26 14:32:01 +02:00
  • b8065a7947 * doc/org/concepts.org: Typos in property flag names. Alexandre Duret-Lutz 2017-04-26 09:04:27 +02:00
  • cbfb79e343 typos: familly -> family Alexandre Duret-Lutz 2017-04-23 11:28:28 +02:00
  • aff3d09015 bin: remove unsupported %b stats from --help Alexandre Duret-Lutz 2017-04-22 11:04:32 +02:00
  • 2dc115fe2c * doc/org/concepts.org: Typos in property flag names. Alexandre Duret-Lutz 2017-04-26 09:04:27 +02:00
  • 8939e0dd50 genltl: move all formula generation code to spot/gen/ Alexandre Duret-Lutz 2017-04-25 12:24:01 +02:00
  • 52af3948d6 Remove useless code. Maximilien Colange 2017-04-24 15:04:53 +02:00
  • 17bbef6cce Check that automata produced by ks_cobuchi are state-based. Maximilien Colange 2017-04-24 14:03:04 +02:00
  • 2532c2fff4 ks_cobuchi produces state-based automata. Maximilien Colange 2017-04-24 11:11:11 +02:00
  • 472cd77098 org: update the architecture diagram Alexandre Duret-Lutz 2017-04-23 19:49:27 +02:00
  • f185aabf44 python: add wrapper for libspotgen Alexandre Duret-Lutz 2017-04-23 15:22:08 +02:00
  • 5e8f3ee629 typos: familly -> family Alexandre Duret-Lutz 2017-04-23 11:28:28 +02:00
  • d25cdd4c6c ks_cobuchi: forbid n=0 Alexandre Duret-Lutz 2017-04-22 14:36:11 +02:00
  • 586f0cce7b sanity: ensure all binaries are documented Alexandre Duret-Lutz 2017-04-22 14:19:59 +02:00
  • 22aba2c4e2 genaut: add missing documentation Alexandre Duret-Lutz 2017-04-22 14:14:39 +02:00
  • d9022f796c bin: remove unsupported %b stats from --help Alexandre Duret-Lutz 2017-04-22 11:04:32 +02:00
  • e4a5bf8192 genaut: minor fixes and add test case Alexandre Duret-Lutz 2017-04-22 11:00:50 +02:00
  • 3c0aecf4e6 Add a genaut binary. Maximilien Colange 2017-04-20 18:25:49 +02:00
  • d90e38eb2a Add a new library to generate formulas and automata. Maximilien Colange 2017-04-21 17:11:21 +02:00
  • b428ed31ec Implements is_streett_like() and streett_like_pairs(), is_rabin_like... Thomas Medioni 2017-04-06 13:01:52 +02:00
  • 6ac9128699 org: typos Alexandre Duret-Lutz 2017-04-20 20:00:46 +02:00
  • 07c2dd3b64 introduce original-states Alexandre Duret-Lutz 2017-04-20 18:11:29 +02:00
  • e7797b727d org: typos Alexandre Duret-Lutz 2017-04-20 20:00:46 +02:00
  • cc3bdfcd2e mark_t: sets() no longer returns a vector Thomas Medioni 2017-04-19 18:05:30 +02:00
  • f02ca87f07 sbacc: fix a serious bug Alexandre Duret-Lutz 2017-04-19 18:46:35 +02:00
  • 9377db2e5e sbacc: fix a serious bug Alexandre Duret-Lutz 2017-04-19 18:46:35 +02:00
  • cb920242a7 [buddy] fix previous patch Alexandre Duret-Lutz 2017-04-19 13:23:40 +02:00
  • ba15788a94 [buddy] fix previous patch Alexandre Duret-Lutz 2017-04-19 13:23:40 +02:00
  • 2fb93faa4e [buddy] Addref in fdd_intaddvarblock Michael Weber 2010-03-25 21:44:03 +00:00
  • 44ca086f5d [buddy] Addref in fdd_intaddvarblock Michael Weber 2010-03-25 21:44:03 +00:00
  • 334f04b0c4 Merge branch 'master' into next Alexandre Duret-Lutz 2017-04-11 11:11:05 +02:00
  • 19602e4bd0 Bump version number to 2.3.3.dev Alexandre Duret-Lutz 2017-04-11 10:46:40 +02:00
  • e39e5ac586 Spot 2.3.3 Alexandre Duret-Lutz 2017-04-11 10:43:04 +02:00
  • 88bc78f9e2 * spot/twaalgos/remfin.cc: Typos in comments. Alexandre Duret-Lutz 2017-04-07 20:36:36 +02:00
  • e58a00a2e3 * spot/twaalgos/remfin.cc: Typos in comments. Alexandre Duret-Lutz 2017-04-07 20:36:36 +02:00
  • bf99e6c24e print_hoa: turn the safety checks into exceptions Alexandre Duret-Lutz 2017-04-07 14:11:04 +02:00
  • 0d884d4a93 autfilt: Add --dualize option Thomas Medioni 2017-03-29 15:56:34 +02:00
  • 152b5d0d30 dtwa_complement: deprecated, use dualize() instead. Thomas Medioni 2017-03-31 11:54:34 +02:00
  • 073a6e8198 dtwa_complement: replace code with call to dualize Thomas Medioni 2017-03-30 18:26:54 +02:00
  • c9d8d41fd3 implement dualize to complement automatons Thomas Medioni 2017-03-23 12:17:28 +01:00
  • c90400a1b0 * AUTHORS: Add Thomas Medioni. Alexandre Duret-Lutz 2017-03-09 13:52:30 +01:00
  • 08c153d3bb genltl: add support for --p-patterns Alexandre Duret-Lutz 2017-03-22 08:41:49 +01:00
  • 4b7a6238b4 genltl: add --hkrss-patterns Alexandre Duret-Lutz 2017-03-22 07:57:38 +01:00
  • 14addce640 genltl: add --spec-patterns as an alias to --dac-patterns Alexandre Duret-Lutz 2017-03-22 07:27:07 +01:00
  • 276f40602e bin: add shorthands for ltl2dpa ltl2da and ltl2ldba Alexandre Duret-Lutz 2017-04-06 14:30:40 +02:00
  • 6806113a14 Fix wrong URL for Debian packages. Maximilien Colange 2017-04-05 11:00:55 +02:00
  • 1daffe12f0 remfin: fix a corner case for rabin_to_buchi_maybe Alexandre Duret-Lutz 2017-04-04 13:53:16 +02:00
  • cc0e9a5e1e bin: add shorthands for ltl2dpa ltl2da and ltl2ldba Alexandre Duret-Lutz 2017-04-06 14:30:40 +02:00
  • 31a9bc6416 Fix wrong URL for Debian packages. Maximilien Colange 2017-04-05 11:00:55 +02:00
  • b442d2bbd4 remfin: fix a corner case for rabin_to_buchi_maybe Alexandre Duret-Lutz 2017-04-04 13:53:16 +02:00
  • cebc4b00b5 sum: Fix universal initial state bug Thomas Medioni 2017-03-17 16:51:36 +01:00
  • 01ee49290f bench: fix stutter bench compiler errors. Thomas Medioni 2017-03-31 13:40:05 +02:00
  • 1ed6e518dd various typos Alexandre Duret-Lutz 2017-03-30 21:22:55 +02:00
  • b910330a78 [buddy] Typos in comments Alexandre Duret-Lutz 2017-03-30 21:25:50 +02:00
  • f5d53e3a5e python: update some incorrect or obsolete code Alexandre Duret-Lutz 2017-03-29 11:56:11 +02:00