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

Commit graph

  • d02ee34e10 doc: add a spot(7) man page Alexandre Duret-Lutz 2016-05-02 10:41:41 +02:00
  • 923f4b6277 doc: fix css to not highlight table row in man pages Alexandre Duret-Lutz 2016-05-02 10:12:32 +02:00
  • 48e6ef7065 * doc/org/tools.org: Minor tweaks. Alexandre Duret-Lutz 2016-05-02 10:06:29 +02:00
  • e91c6ba2f1 python: support operator rewriting in __format__ Alexandre Duret-Lutz 2016-05-01 18:58:08 +02:00
  • d9174593c8 common_trans: allow rewriting operators Alexandre Duret-Lutz 2016-05-01 18:37:24 +02:00
  • 52e722c818 * spot/misc/tmpfile.hh: Disallow copy. Alexandre Duret-Lutz 2016-05-01 18:35:55 +02:00
  • 925785e85f * spot/misc/tmpfile.hh: Disallow copy. Alexandre Duret-Lutz 2016-05-01 18:35:55 +02:00
  • a1b3b065fa print_hoa: output all registered APs Alexandre Duret-Lutz 2016-04-30 23:54:31 +02:00
  • dad17b36b8 honor ap() when counting transitions Alexandre Duret-Lutz 2016-04-29 18:07:44 +02:00
  • 4f913c7fb5 autfilt: fix simpification of exclusive AP Alexandre Duret-Lutz 2016-04-29 12:08:32 +02:00
  • 7531c88671 * spot/twa/twagraph.cc: Fix comment. Alexandre Duret-Lutz 2016-05-01 13:28:27 +02:00
  • f5bfc07cfc autfilt: add --unused-ap and --used-ap Alexandre Duret-Lutz 2016-05-01 13:27:40 +02:00
  • 95d16ba009 autfilt: add --remove-unused-ap Alexandre Duret-Lutz 2016-05-01 13:03:18 +02:00
  • 1c2c914d7e print_hoa: output all registered APs Alexandre Duret-Lutz 2016-04-30 23:54:31 +02:00
  • 9afa98a1dd honor ap() when counting transitions Alexandre Duret-Lutz 2016-04-29 18:07:44 +02:00
  • 1ceb0ed272 autfilt: fix simpification of exclusive AP Alexandre Duret-Lutz 2016-04-29 12:08:32 +02:00
  • 0b05a8f98b * tests/python/ltsmin.ipynb: Remove some debugging code. Alexandre Duret-Lutz 2016-04-22 18:49:50 +02:00
  • 1d739d766f python: export tgba_determinize Alexandre Duret-Lutz 2016-04-22 18:48:03 +02:00
  • fcbb950c0f Update list of dependencies. Etienne Renault 2016-04-22 14:37:08 +02:00
  • 188cb8e4ab * tests/python/ltsmin.ipynb: Remove some debugging code. Alexandre Duret-Lutz 2016-04-22 18:49:50 +02:00
  • 33391798a3 python: export tgba_determinize Alexandre Duret-Lutz 2016-04-22 18:48:03 +02:00
  • 8641271cad Update list of dependencies. Etienne Renault 2016-04-22 14:37:08 +02:00
  • 6acd03a142 doc: ltlcross is not only about Büchi anymore Alexandre Duret-Lutz 2016-04-21 17:13:13 +02:00
  • 2b5516ba66 * bin/autfilt.cc: Typos in --help. Alexandre Duret-Lutz 2016-04-21 14:43:32 +02:00
  • 9d5d1dc8dd doc: ltlcross is not only about Büchi anymore Alexandre Duret-Lutz 2016-04-21 17:13:13 +02:00
  • e50ff35d0f autfilt: add options to filter by SCC count and types Alexandre Duret-Lutz 2016-04-21 16:44:24 +02:00
  • b79e307258 * bin/autfilt.cc: Typos in --help. Alexandre Duret-Lutz 2016-04-21 14:43:32 +02:00
  • 7d930359c1 ltldo: add option --errors Alexandre Duret-Lutz 2016-04-21 14:39:56 +02:00
  • 370ac51b6b docyment make_emptiness_check_instantiator() Alexandre Duret-Lutz 2016-04-20 21:39:54 +02:00
  • adb99869cc bitvect: tweak to please icc Alexandre Duret-Lutz 2016-04-20 19:41:47 +02:00
  • f904c0e05c docyment make_emptiness_check_instantiator() Alexandre Duret-Lutz 2016-04-20 21:39:54 +02:00
  • 2c68842a5a bitvect: tweak to please icc Alexandre Duret-Lutz 2016-04-20 19:41:47 +02:00
  • 7c7f0df8a8 check_strength(): also check negated properties Alexandre Duret-Lutz 2016-04-20 15:18:01 +02:00
  • f50486b4cf parseaut: fix parsing of /*****/ Alexandre Duret-Lutz 2016-04-18 18:38:55 +02:00
  • 7144efabb9 hoa: add option to output version 1.1 Alexandre Duret-Lutz 2016-04-20 15:19:14 +02:00
  • fd33eedf4b check_strength(): also check negated properties Alexandre Duret-Lutz 2016-04-20 15:18:01 +02:00
  • ae82f1a85d parseaut: fix parsing of /*****/ Alexandre Duret-Lutz 2016-04-18 18:38:55 +02:00
  • 134982c08b Typo in --help output Alexandre Duret-Lutz 2016-04-18 17:41:41 +02:00
  • 5185844d8a * NEWS, configure.ac: Bump version number. Alexandre Duret-Lutz 2016-04-11 09:59:11 +02:00
  • 17c57b5272 Typo in --help output Alexandre Duret-Lutz 2016-04-18 17:41:41 +02:00
  • 7006ef492b * NEWS, configure.ac: Bump version number. Alexandre Duret-Lutz 2016-04-11 09:59:11 +02:00
  • 96a2a13c85 Release Spot 2.0 Alexandre Duret-Lutz 2016-04-11 06:52:12 +02:00
  • ab20585180 * spot/graph/graph.hh: Typo in comment. Alexandre Duret-Lutz 2016-04-10 18:05:46 +02:00
  • a6afaf3d9d adjust for recent renaming of valid_trans() Alexandre Duret-Lutz 2016-04-10 17:20:48 +02:00
  • fb6cc0dff7 * doc/org/concepts.org: Fix reference to BuDDy. Alexandre Duret-Lutz 2016-04-10 14:11:49 +02:00
  • 9d6941f038 * spot/graph/graph.hh: More Doxygen comments. Alexandre Duret-Lutz 2016-04-10 14:11:36 +02:00
  • 5e47d4df38 update some URLs to skip permanent redirections Alexandre Duret-Lutz 2016-04-10 12:16:28 +02:00
  • 868f2634f8 org: document automata properties Alexandre Duret-Lutz 2016-04-10 11:25:12 +02:00
  • 4299517c8d org: add picture for the architecture Alexandre Duret-Lutz 2016-04-10 10:04:14 +02:00
  • 949638930b * NEWS: Mention recent python changes. Alexandre Duret-Lutz 2016-04-09 10:14:31 +02:00
  • 59e1f6a339 ltlfilt: implement --reject-word and --accept-word Alexandre Duret-Lutz 2016-04-09 10:10:41 +02:00
  • 901f287032 python: add prints for atomic_prop_set Alexandre Duret-Lutz 2016-04-08 23:01:07 +02:00
  • e429e2f056 * tests/sanity/style.test: Cancel set -x. Alexandre Duret-Lutz 2016-04-08 22:34:17 +02:00
  • ed3b58c99c let ltsmin.model.kripke() take the output of atomic_prop_collect() Alexandre Duret-Lutz 2016-04-08 18:46:08 +02:00
  • a4f111f342 * spot/tl/formula.hh: More doxygen comments for fnode. Alexandre Duret-Lutz 2016-03-30 17:19:49 +02:00
  • 50c2192edf tests: correctly declare word.ipynb Alexandre Duret-Lutz 2016-03-17 18:07:45 +01:00
  • d8a9737f02 * NEWS, configure.ac: Bump version to 1.99.9a. Alexandre Duret-Lutz 2016-03-13 16:54:23 +01:00
  • 54d6507fc2 Release Spot 1.99.9. Alexandre Duret-Lutz 2016-03-13 16:45:08 +01:00
  • 2402c2141d Mark more classes are final. Alexandre Duret-Lutz 2016-03-13 16:03:39 +01:00
  • 8814f16637 * python/ajax/spotcgi.in: Fix error message. Alexandre Duret-Lutz 2016-03-13 15:10:04 +01:00
  • e081926885 * spot/twaalgos/word.hh: Add documentation. Alexandre Duret-Lutz 2016-03-13 15:06:52 +01:00
  • 8bc10dea82 * tests/core/ikwiad.cc: Rewrite the help text without std::endl. Alexandre Duret-Lutz 2016-03-13 13:37:34 +01:00
  • 546fa92a5d * spot/tl/formula.hh (binop): Fix Doxygen comment. Alexandre Duret-Lutz 2016-03-12 19:43:45 +01:00
  • 1287525afa * doc/org/autfilt.org: Add missing text. Alexandre Duret-Lutz 2016-03-09 16:19:07 +01:00
  • 81333df2c3 * python/Makefile.am: Fix Makefile's targets in separated folder. Laurent XU 2016-03-01 21:33:08 +01:00
  • 5313098308 * AUTHORS: Add Laurent Xu. Alexandre Duret-Lutz 2016-03-10 17:21:35 +01:00
  • 73e4fcd033 ensure the no-tab rule Alexandre Duret-Lutz 2016-03-10 17:16:41 +01:00
  • f7e7b4f14e sanity: Replace tabulars by spaces in *.cc *.hh *.hxx Laurent XU 2016-03-09 00:23:20 +01:00
  • 1eee12b8b4 python: add wrapper on twa_graph::edges() Laurent XU 2016-03-08 15:59:14 +01:00
  • cd661801df word: throw an exception when printing an empty word Alexandre Duret-Lutz 2016-03-08 14:22:58 +01:00
  • 7e2e4df1bb autfilt: add a --reject-word option Alexandre Duret-Lutz 2016-03-08 11:10:59 +01:00
  • 774895418a * tests/python/word.ipynb: Add a new test and some comments. Alexandre Duret-Lutz 2016-03-08 10:34:15 +01:00
  • 6bfde8e454 eval: Fix typography in error messages Alexandre Duret-Lutz 2016-03-07 22:34:06 +01:00
  • f9e2143a53 * bin/autfilt.cc: Mention --accepting-word if its argument is bogus. Alexandre Duret-Lutz 2016-03-07 22:30:24 +01:00
  • e018608177 * AUTHORS: Add Amaury Fauchille. Alexandre Duret-Lutz 2016-03-07 22:20:57 +01:00
  • 897a6ddc04 autfilt: fix --accept-word Alexandre Duret-Lutz 2016-03-07 21:38:59 +01:00
  • 8360c4e856 eval: adjust to recent parser changes Alexandre Duret-Lutz 2016-03-07 21:04:26 +01:00
  • 1c82444376 autfilt: add new option --accept-word Amaury Fauchille 2016-02-05 17:26:31 +01:00
  • 1fd76ee918 word: implement twa word parsing Amaury Fauchille 2016-02-02 19:07:42 +01:00
  • 61b1f200b6 rename tgba_reachable_iterator as twa_reachable_iterator Alexandre Duret-Lutz 2016-03-06 11:40:42 +01:00
  • ad08a585af rename two confusing methods of emptiness_check_instantiator Alexandre Duret-Lutz 2016-03-03 18:16:25 +01:00
  • cf79cefd9a fix installation of gtec.hh Alexandre Duret-Lutz 2016-03-03 16:47:16 +01:00
  • e87b271ba5 * doc/org/upgrade2.org: Discuss get_dict(). Alexandre Duret-Lutz 2016-03-03 16:46:58 +01:00
  • 18d7d0a644 * doc/org/upgrade2.org: More text. Alexandre Duret-Lutz 2016-03-03 10:29:12 +01:00
  • 892e648970 org: add some help for upgrading old code Alexandre Duret-Lutz 2016-03-02 17:42:40 +01:00
  • 65726c0f60 twa: rename as_var() as as_vars() Alexandre Duret-Lutz 2016-03-02 16:04:15 +01:00
  • 4f1fad80a4 * spot/kripke/fwd.hh: Typo. Alexandre Duret-Lutz 2016-03-01 17:06:58 +01:00
  • b2d31b4170 org: Fix a section title. Alexandre Duret-Lutz 2016-03-01 14:27:07 +01:00
  • 5ec2f8b7b0 * python/buddy.i: Add a hash function for BDDs. Alexandre Duret-Lutz 2016-02-23 15:58:08 +01:00
  • e471d4e67d scanaut: add missing braces to please -Wdangling-else Etienne Renault 2016-02-29 09:01:43 +01:00
  • 092e3630f4 Force casts to please clang on OSX Etienne Renault 2016-02-29 09:05:03 +01:00
  • 1e18c1a3d4 * NEWS, configure.ac: Bump version number. Alexandre Duret-Lutz 2016-02-18 16:16:37 +01:00
  • 6b7f0399f4 Release Spot 1.99.8 Alexandre Duret-Lutz 2016-02-18 14:28:06 +01:00
  • d30f7e1f0f * doc/org/index.org: Link to spot-sandbox. Alexandre Duret-Lutz 2016-02-18 14:24:07 +01:00
  • f59042fc9f * python/ajax/spotcgi.in: Thinko. Alexandre Duret-Lutz 2016-02-18 09:08:08 +01:00
  • 22f442f758 parsetl: change the interface to return a parsed_formula Alexandre Duret-Lutz 2016-02-17 19:39:43 +01:00
  • cf4f58c34b Update paths to please Darwin Etienne Renault 2016-02-17 13:56:12 +01:00
  • a45de35244 * debian/python3-spot.examples: Fix wildcard. Alexandre Duret-Lutz 2016-02-17 14:31:22 +01:00
  • cbfca2291e * tests/Makefile.am: Move ltsmin.ipynb to TESTS_ipython. Alexandre Duret-Lutz 2016-02-17 13:43:28 +01:00
  • b56aec242a debian: do not distribute _*.ipynb files Alexandre Duret-Lutz 2016-02-17 08:41:34 +01:00