Commit graph

  • b2c2411bcc degen: remove two useless casts Alexandre Duret-Lutz 2015-01-09 22:22:28 +01:00
  • 4f6f71fe39 neverclaim: rewrite the output using the tgba_digraph interface Alexandre Duret-Lutz 2015-01-09 18:27:49 +01:00
  • eadcf95363 powerset: rewrite using the tgba_digraph interface Alexandre Duret-Lutz 2015-01-09 17:10:28 +01:00
  • d6ba00ffe1 org: add another example Alexandre Duret-Lutz 2015-01-09 16:40:29 +01:00
  • a539dc9002 style: make sure we do not have SPOT_API in *.cc files Alexandre Duret-Lutz 2015-01-09 16:15:58 +01:00
  • 5536bac4a1 dstarparse, hoaparse: rename inline namespace to please clang Alexandre Duret-Lutz 2015-01-09 14:57:58 +01:00
  • 2460f5d0fb randltl: fix determinism Alexandre Duret-Lutz 2015-01-09 14:52:13 +01:00
  • 838a283627 more files to ignore Alexandre Duret-Lutz 2015-01-09 14:40:03 +01:00
  • ec408c362c ltlgrind: fix indeterminism Alexandre Duret-Lutz 2015-01-09 14:23:56 +01:00
  • e01ab2b236 sccinfo: make it easier to iterate over all SCCs Alexandre Duret-Lutz 2015-01-09 12:01:42 +01:00
  • 579e8fc0a9 add missing utf-8 header to many source files Alexandre Duret-Lutz 2015-01-08 23:37:03 +01:00
  • 3a70b57067 projrun: modernize Alexandre Duret-Lutz 2015-01-08 23:05:13 +01:00
  • 94577d6519 product: rename the one-the-fly version as otf_product Alexandre Duret-Lutz 2015-01-08 22:48:13 +01:00
  • a9748804e4 contain: adjust to use explicit product Alexandre Duret-Lutz 2015-01-08 22:44:51 +01:00
  • bb9b204dee stutter: gather all code in one place Alexandre Duret-Lutz 2015-01-08 22:43:37 +01:00
  • ab985afa9e * src/tgbaalgos/weight.hh: Remove useless status. Alexandre Duret-Lutz 2015-01-08 21:46:44 +01:00
  • 5345cae839 * src/tgbaalgos/emptiness_stats.hh: Modernize. Alexandre Duret-Lutz 2015-01-08 21:45:22 +01:00
  • d9d46492cb more files to ignore Alexandre Duret-Lutz 2015-01-08 21:04:03 +01:00
  • d3fdf55fa3 fix symbol collision, seen with clang-3.5 Alexandre Duret-Lutz 2015-01-08 19:21:41 +01:00
  • ee0c0cd28c * doc/org/tools.org: Adjust colors in text. Alexandre Duret-Lutz 2015-01-08 18:33:17 +01:00
  • 4673427252 remove obsolete comments Alexandre Duret-Lutz 2015-01-08 15:36:07 +01:00
  • 1492acc585 * src/dstarparse/dstarscan.ll: Fix encoding. Alexandre Duret-Lutz 2015-01-08 15:22:40 +01:00
  • 56ed13a96d org: factor headers into setup.org Alexandre Duret-Lutz 2015-01-07 19:30:13 +01:00
  • 15852b4e93 org: update randltl.org Alexandre Duret-Lutz 2015-01-07 17:51:23 +01:00
  • fbcc9fb81f org: use a white background and ship the CSS Alexandre Duret-Lutz 2015-01-07 13:58:27 +01:00
  • f9029858c4 org: Update results to new output Alexandre Duret-Lutz 2015-01-06 18:42:49 +01:00
  • f88020035c org: fix EMAIL link Alexandre Duret-Lutz 2015-01-06 18:23:58 +01:00
  • a3ce452548 Update HACKING Alexandre Duret-Lutz 2015-01-06 16:23:26 +01:00
  • 7c34c1ae79 stutterize: fix sl2() to keep the correct properties Alexandre Duret-Lutz 2015-01-05 20:47:01 +01:00
  • 314993b201 hoa: add two asserts Alexandre Duret-Lutz 2015-01-05 18:13:34 +01:00
  • 0b8b65f96f hoaparse: validate use of deterministic and complete Alexandre Duret-Lutz 2015-01-05 14:59:51 +01:00
  • 578e390d8d hoaparse: validate use of explicit-labels and implicit-labels Alexandre Duret-Lutz 2015-01-05 13:29:07 +01:00
  • 34b798e115 hoaparse: validate use of state-labels and trans-labels Alexandre Duret-Lutz 2015-01-05 12:10:49 +01:00
  • eff4bdb80f more files to ignore Alexandre Duret-Lutz 2015-01-05 11:36:29 +01:00
  • 0895f11503 hoa: use the tgba_digraph interface to save automata Alexandre Duret-Lutz 2015-01-04 23:33:49 +01:00
  • 892fb11f04 neverclaim: do not pass the formula Alexandre Duret-Lutz 2015-01-04 18:01:24 +01:00
  • 490c97d797 hoa: simplify the interface of hoa_reachable() Alexandre Duret-Lutz 2015-01-04 18:00:32 +01:00
  • cbf1e15b01 org: document common output options for automata Alexandre Duret-Lutz 2015-01-04 17:08:39 +01:00
  • 403179087e dotty: fix combination of 's' with 'n' Alexandre Duret-Lutz 2015-01-04 16:04:07 +01:00
  • a5d52633bd bin: fix help text for --dot Alexandre Duret-Lutz 2015-01-04 15:59:45 +01:00
  • c6a5de3e23 dstar2tgba: add support for --name and --stats=%m Alexandre Duret-Lutz 2015-01-04 12:55:26 +01:00
  • 2e356aed1d dotty: fix output of name and detection of state-based acceptance Alexandre Duret-Lutz 2015-01-04 12:38:07 +01:00
  • 4d4c5d807b ltl2tgba, randaut: better error reporting Alexandre Duret-Lutz 2015-01-04 11:24:31 +01:00
  • 5497bef3d0 * doc/org/ioltl.org: Typo. Alexandre Duret-Lutz 2015-01-03 22:36:06 +01:00
  • 3b7b52027c More files to ignore. Alexandre Duret-Lutz 2015-01-03 19:01:44 +01:00
  • b048f65dd8 bin: --dot=s display SCCs Alexandre Duret-Lutz 2015-01-03 14:01:40 +01:00
  • 5b723bf8c0 work around a swig issue on Arch Linux Alexandre Duret-Lutz 2015-01-03 11:52:56 +01:00
  • c73a4ac916 * src/sanity/style.test: Do not use the deprecated GREP_OPTIONS. Alexandre Duret-Lutz 2015-01-03 11:52:29 +01:00
  • 40fb80ea2c bin: use common_aoutput in ltl2tgba Alexandre Duret-Lutz 2015-01-02 21:47:18 +01:00
  • 72737dfefc bin: factor output options of autfilt and randaut Alexandre Duret-Lutz 2015-01-02 20:40:24 +01:00
  • 3f4b19142d * src/bin/common_setup.cc: bump copyright year to 2015. Alexandre Duret-Lutz 2015-01-02 17:42:59 +01:00
  • cf65f606b4 ltlgrind: cosmetics Alexandre Duret-Lutz 2015-01-02 17:27:44 +01:00
  • 06b8118dec ltl2tgba: rename --hoa to --hoaf Alexandre Duret-Lutz 2014-12-29 23:47:31 +01:00
  • a7c1d4c479 autfilt, randaut: rename --uniq to --unique Alexandre Duret-Lutz 2014-12-29 23:44:10 +01:00
  • 18d8c3efc0 bin: tooling and documentation about option names Alexandre Duret-Lutz 2014-12-29 23:42:06 +01:00
  • 21dcc73deb randaut: fix --uniq Alexandre Duret-Lutz 2014-12-29 11:13:17 +01:00
  • 36f995651e autfilt: move output functions to a separate file Alexandre Duret-Lutz 2014-12-28 12:01:18 +01:00
  • bbf019a450 * iface/ltsmin/Makefile.am: Fix location of -lpthread. Alexandre Duret-Lutz 2014-12-23 21:19:07 +01:00
  • 87c2b291ed tgba_digraph: force selection of properties kept on copy Alexandre Duret-Lutz 2014-12-23 19:35:08 +01:00
  • 77cb836e47 dotty: Specialize for tgba_digraph_ptr Alexandre Duret-Lutz 2014-12-23 17:54:46 +01:00
  • 1d7a20b2d5 * src/tgba/tgbagraph.hh: Add a format_state for unsigned. Alexandre Duret-Lutz 2014-12-23 17:54:26 +01:00
  • 0f178288c6 dotty: switch to horizontal output and add options Alexandre Duret-Lutz 2014-12-17 23:39:47 +01:00
  • 0842494fed * src/bin/autfilt.cc: Missing std::move. Alexandre Duret-Lutz 2014-12-23 14:21:36 +01:00
  • 84620175e6 * src/tgbatest/Makefile.am: Run and distribute uniq.test. Alexandre Duret-Lutz 2014-12-17 16:53:08 +01:00
  • a989d41b3f option --uniq in autfilt and randaut Thibaud Michaud 2014-12-17 05:01:26 +01:00
  • 176878554e Wrap are_isomorphic inside a class and optimize when deterministic Thibaud Michaud 2014-12-15 14:44:05 +01:00
  • 1995602df5 Adding function to canonicalize an automaton. Thibaud Michaud 2014-12-11 16:12:27 +01:00
  • b83d6d7f29 autfilt: %w shows an accepting word Alexandre Duret-Lutz 2014-12-17 10:19:49 +01:00
  • a626a32dbc autfilt: --instut, --destut, --is-empty Alexandre Duret-Lutz 2014-12-17 09:35:52 +01:00
  • 8e9c431706 merge transitions: also merge transitions with same conditions Alexandre Duret-Lutz 2014-12-17 09:04:28 +01:00
  • b8a38915e5 autfilt: --edges --acc-sets Alexandre Duret-Lutz 2014-12-16 15:57:44 +01:00
  • 56caacbf78 autfilt: support -n,--max-count Alexandre Duret-Lutz 2014-12-16 11:45:26 +01:00
  • 40c457b626 autfilt: add support for --name, %M, and %m Alexandre Duret-Lutz 2014-12-16 11:25:43 +01:00
  • 0d710f969b autfilt: --count Alexandre Duret-Lutz 2014-12-15 12:06:34 +01:00
  • cad4d94cc2 autfilt: --states=RANGE Alexandre Duret-Lutz 2014-12-15 11:59:06 +01:00
  • 1a022c8093 hoaparse: improve reporting of errors in LBTT guards Alexandre Duret-Lutz 2014-12-11 21:43:39 +01:00
  • f9e859d765 ltlparse: allow comments Alexandre Duret-Lutz 2014-12-11 21:43:08 +01:00
  • 9cee6e6fa1 autfilt: add options --is-deterministic --is-complete and -v Alexandre Duret-Lutz 2014-12-11 19:26:19 +01:00
  • 9c672ac49b autfilt: support --stats=%L to display the automaton location Alexandre Duret-Lutz 2014-12-11 15:45:14 +01:00
  • ac225c0ee9 ltlfilt: implement -q/--quiet as in grep Alexandre Duret-Lutz 2014-12-11 15:29:31 +01:00
  • 1e84bb1ee7 autfilt: add a --quiet option Alexandre Duret-Lutz 2014-12-11 15:15:23 +01:00
  • 541ce543c7 are-isomorphic: speed it up Alexandre Duret-Lutz 2014-12-11 08:32:22 +01:00
  • 6eb2b06fa7 hoaparse: also accept LBTT input Alexandre Duret-Lutz 2014-12-10 16:26:51 +01:00
  • e4158c21ee tgbaparse, lbttparse: do not pass an environment for acceptance sets Alexandre Duret-Lutz 2014-12-10 15:10:28 +01:00
  • be57ec290a are-isomorphic: small simplifications Alexandre Duret-Lutz 2014-12-10 17:38:00 +01:00
  • ff4dca48a5 autfilt: some cleanup around --are-isomorphic Alexandre Duret-Lutz 2014-12-10 17:02:50 +01:00
  • d033633be0 are_isomorphic: do not try to map initial state to a non-initial state Thibaud Michaud 2014-12-09 17:52:30 +01:00
  • 099d3d724a autfilt: rename --isomorph to --are-isomorphic Thibaud Michaud 2014-12-09 14:16:10 +01:00
  • b54fe4c035 autfilt: return with exit code 1 if there is no match Thibaud Michaud 2014-12-09 14:11:05 +01:00
  • 68adcc70fa Use autfilt --isomorph instead of a diff in some tests Thibaud Michaud 2014-12-09 05:01:40 +01:00
  • 1b9354c9b5 are_isomorphic: return the mapping found, not just true or false Thibaud Michaud 2014-12-08 21:42:27 +01:00
  • 97fdea9d71 Adding function to test if two büchi automata are isomorphic. Thibaud Michaud 2014-12-03 17:54:22 +01:00
  • 61edf7f41d tgba: simplify usage of named properties Alexandre Duret-Lutz 2014-12-09 16:20:12 +01:00
  • 5a1e38d90f hoa: store the automaton name as a property Alexandre Duret-Lutz 2014-12-09 16:00:10 +01:00
  • f37ff8407c hoa: mordenize printer slightly Alexandre Duret-Lutz 2014-12-08 23:33:23 +01:00
  • 45db1c5fb9 autfilt: add a --merge-transitions option Alexandre Duret-Lutz 2014-12-08 21:43:39 +01:00
  • fbbf584bbb graph: let transitions() iterate only on valid transitions Alexandre Duret-Lutz 2014-12-08 12:04:09 +01:00
  • 8014833ae3 autfilt: add a --product option Alexandre Duret-Lutz 2014-12-07 12:35:26 +01:00
  • 3e266a2a6c ltsmin: fix test cases and naming. Alexandre Duret-Lutz 2014-12-07 00:31:01 +01:00
  • dd4b821d93 Adding support for promela models via SpinS. Thibaud Michaud 2014-11-03 15:16:56 +01:00