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

Commit graph

  • ed4629a2ad * NEWS, configure.ac: Bump version to 1.99.2a. Alexandre Duret-Lutz 2015-07-18 09:12:35 +02:00
  • ff57e3ef4c Release Spot 1.99.2 Alexandre Duret-Lutz 2015-07-18 00:37:45 +02:00
  • 4e025ecd2b org: Really fix example generation Alexandre Duret-Lutz 2015-07-17 22:28:45 +02:00
  • 67d3553b12 org: fix example generation Alexandre Duret-Lutz 2015-07-17 19:04:40 +02:00
  • fd16383e70 org: simplify the calls to ltl2dstar Alexandre Duret-Lutz 2015-07-17 18:00:05 +02:00
  • 750d352fb6 Fix many dead links. Alexandre Duret-Lutz 2015-07-17 17:55:15 +02:00
  • 44bc1d7e39 * NEWS: Reorganize. Alexandre Duret-Lutz 2015-07-17 14:57:11 +02:00
  • c9109335b3 org: more typos Alexandre Duret-Lutz 2015-07-17 10:06:49 +02:00
  • da0f863d64 debian: fix dependency between libspot-dev and libspotltlsmin0 Alexandre Duret-Lutz 2015-07-17 09:51:36 +02:00
  • 29052c4619 bin: better shell quoting for ltlcross and ltldo Alexandre Duret-Lutz 2015-07-16 22:25:34 +02:00
  • 31f5ea75b2 bin: document %% for ltldo and ltlcross Alexandre Duret-Lutz 2015-07-16 19:55:31 +02:00
  • a39ebcc8cc org: fix broken links to GraphViz Alexandre Duret-Lutz 2015-07-16 17:57:52 +02:00
  • c37fedb011 org: typos Alexandre Duret-Lutz 2015-07-16 17:52:45 +02:00
  • dafeda6fff bin: make it clear that -B produces state-based acceptance Alexandre Duret-Lutz 2015-07-16 17:49:21 +02:00
  • e6a5a743f7 remfin: avoid some loops in SCC that do not intersect any Fin Alexandre Duret-Lutz 2015-07-16 12:07:40 +02:00
  • d8a1dafad1 new conversion for Streett->GBA Alexandre Duret-Lutz 2015-07-10 19:02:21 +02:00
  • c0ffe5cdff * NEWS: Mention recent changes. Alexandre Duret-Lutz 2015-07-09 13:22:29 +02:00
  • 9af40bf14e sccinfo: remove useless fields from the root stack Alexandre Duret-Lutz 2015-07-09 11:21:33 +02:00
  • 344ac0f930 sccinfo: do not accumulate successors during merge Alexandre Duret-Lutz 2015-07-09 00:07:07 +02:00
  • b13b591f11 sccinfo: store live states in a separate stack Alexandre Duret-Lutz 2015-07-08 14:14:14 +02:00
  • c8cf86b081 sccinfo: stop keeping track of conditions between SCCs Alexandre Duret-Lutz 2015-07-07 21:04:10 +02:00
  • e540eaeee1 document that libraries have their own Debian packages Alexandre Duret-Lutz 2015-07-07 15:45:17 +02:00
  • 039b7bae14 ltsmin: install the library Alexandre Duret-Lutz 2015-07-06 19:49:36 +02:00
  • 7eb631dd3c debian: move libraries into separate packages Alexandre Duret-Lutz 2015-07-06 19:12:28 +02:00
  • 348e1ee22b * src/bin/ltlcross.cc: Fix 80 columns. Alexandre Duret-Lutz 2015-07-01 10:04:09 +02:00
  • 56188c7038 ltlcross: be more verbose about product size Alexandre Duret-Lutz 2015-06-30 22:52:43 +02:00
  • 36a3dc45a7 configure: diagnose missing Python.h Alexandre Duret-Lutz 2015-06-30 21:37:03 +02:00
  • 5cb19a290b scc_filter: do not remove Fin sets from rejecting SCCs Alexandre Duret-Lutz 2015-06-30 16:05:24 +02:00
  • 5d9e7d1f93 ltl: fix detection of some siPSL formulas Alexandre Duret-Lutz 2015-06-23 19:27:30 +02:00
  • 9ae2af209b * NEWS, configure.ac: Bump version to 1.99.1a Alexandre Duret-Lutz 2015-06-23 10:01:12 +02:00
  • b8c6eb04b3 Release Spot 1.99.1 Alexandre Duret-Lutz 2015-06-23 08:35:32 +02:00
  • 41a7b906d8 org: improve TOC display and specify viewport Alexandre Duret-Lutz 2015-06-22 09:24:32 +02:00
  • a184507848 * wrap/python/ajax/trans.html: Handle clicks on circled arrows. Alexandre Duret-Lutz 2015-06-21 19:00:49 +02:00
  • c7e6733eb3 * doc/Doxyfile.in: Upgrade to Doxygen 1.8.9.1. Alexandre Duret-Lutz 2015-06-21 13:59:26 +02:00
  • 0c4eccd8c7 * src/twaalgos/ltl2tgba_fm.hh: Typo in comment. Alexandre Duret-Lutz 2015-06-21 13:47:16 +02:00
  • b327565ca6 doxygen: fix membership to misc_tools module Alexandre Duret-Lutz 2015-06-21 13:40:12 +02:00
  • a9f4b01d9b ajax: relabel formula and automata around ltl3ba Alexandre Duret-Lutz 2015-06-20 20:37:05 +02:00
  • 11c453d426 ajax: fix UTF-8 output Alexandre Duret-Lutz 2015-06-20 18:33:05 +02:00
  • 813c3799c0 ltl: remove is_eltl_formula() Alexandre Duret-Lutz 2015-06-20 14:48:07 +02:00
  • ce3ad1e3ff * doc/org/tut20.org: Make sure the cleanup is run. Alexandre Duret-Lutz 2015-06-20 14:14:26 +02:00
  • ab83c798f6 * doc/org/syntax.css: Do not set the body colors. Alexandre Duret-Lutz 2015-06-20 14:13:16 +02:00
  • 27cab60c01 * doc/org/spot.css: Point to new website. Alexandre Duret-Lutz 2015-06-19 23:35:39 +02:00
  • c8d964df05 * doc/org/syntax.css: Fix syntax. Alexandre Duret-Lutz 2015-06-19 23:35:30 +02:00
  • 5b72c5a064 org: really fix the satmin.org example Alexandre Duret-Lutz 2015-06-19 23:14:19 +02:00
  • 28c8666cf8 doc: make clean should not need latexmk Alexandre Duret-Lutz 2015-06-19 17:08:26 +02:00
  • 162e114396 org: fix SAT example Alexandre Duret-Lutz 2015-06-19 17:04:10 +02:00
  • 9130cfa17f org: Simplify build Alexandre Duret-Lutz 2015-06-19 17:02:19 +02:00
  • 95ea1ee075 org: fix recursive compilation Alexandre Duret-Lutz 2015-06-18 14:31:36 +02:00
  • 0c3e10d1ec ajax: fix Python3 error in check for ltl3ba Alexandre Duret-Lutz 2015-06-18 11:05:03 +02:00
  • 673eb44d8f ajax: fetch the UI theme online, do not distribute it Alexandre Duret-Lutz 2015-06-17 22:34:31 +02:00
  • 286775ee68 * doc/org/index.org: Remove up/home links. Alexandre Duret-Lutz 2015-06-17 22:33:23 +02:00
  • c1a735b164 ajax: Upgrade to jquery-ui 1.10.1 Alexandre Duret-Lutz 2015-06-17 21:52:59 +02:00
  • d8b3062b35 * doc/Doxyfile.in: Fix input encoding. Alexandre Duret-Lutz 2015-06-17 11:37:30 +02:00
  • ccd60c8c5e org: link to Doxygen documentation, and to on-line translator Alexandre Duret-Lutz 2015-06-17 11:34:01 +02:00
  • 128f105fe5 * doc/mainpage.dox: Update URL. Alexandre Duret-Lutz 2015-06-17 00:03:39 +02:00
  • 1b3054d8a8 org: simplify calls to ltl2dstar Alexandre Duret-Lutz 2015-06-16 22:33:32 +02:00
  • c0aa403867 * doc/org/install.org: Do not use {{{LASTRELEASE}}} in <code>. Alexandre Duret-Lutz 2015-06-16 20:25:26 +02:00
  • 69f5f8a4f8 * NEWS: Update for recent changes. Alexandre Duret-Lutz 2015-06-16 19:28:43 +02:00
  • 35fea2f5d1 cgi: test formulas for stutter invariance Alexandre Duret-Lutz 2015-06-16 18:56:49 +02:00
  • de00bd3e25 cgi: fix cached output for Python3 Alexandre Duret-Lutz 2015-06-16 18:28:40 +02:00
  • 533fc21a25 * wrap/python/ajax/spotcgi.in: Simplify using spot.setup(). Alexandre Duret-Lutz 2015-06-16 18:03:02 +02:00
  • 7cc9980062 Rename the on-line translator to avoid conflicts with the doc Alexandre Duret-Lutz 2015-06-16 17:44:30 +02:00
  • b7fbf72461 bin: fix documentation of degeneralization option Alexandre Duret-Lutz 2015-06-15 21:54:18 +02:00
  • b2e812b105 ltlcross: skip product that require too much acceptance sets Alexandre Duret-Lutz 2015-06-15 23:35:31 +02:00
  • 7ea9ebe07a bin: typo in ltl3dra shorthand Alexandre Duret-Lutz 2015-06-15 18:42:27 +02:00
  • 3e853eedeb org: add utf-8 markers Alexandre Duret-Lutz 2015-06-14 23:40:34 +02:00
  • 200fcbfe49 cgi: update for recent changes Alexandre Duret-Lutz 2015-06-13 23:50:06 +02:00
  • 89592881c7 org: new example Alexandre Duret-Lutz 2015-06-12 21:59:00 +02:00
  • 562a8d0f20 * doc/org/tut21.org: Show the initial state number. Alexandre Duret-Lutz 2015-06-12 21:08:52 +02:00
  • 17dc2f8654 Rename src/tests/ltl2tgba as src/tests/ikwiad. Alexandre Duret-Lutz 2015-06-12 20:45:51 +02:00
  • 4d848e988c org: new example Alexandre Duret-Lutz 2015-06-12 00:28:53 +02:00
  • af8634d8c4 graph: rename num_transitions() as num_edges() Alexandre Duret-Lutz 2015-06-11 23:52:02 +02:00
  • a1ba0a89c5 * doc/org/tut20.org: Cleanup. Alexandre Duret-Lutz 2015-06-11 22:36:09 +02:00
  • 6f500f3f50 twa: forward num_sets() to acc_. Alexandre Duret-Lutz 2015-06-11 21:55:23 +02:00
  • a86391ab77 hoaparse: rename to parseaut Alexandre Duret-Lutz 2015-06-11 08:42:39 +02:00
  • 60bd9dd606 org: add a new code example Alexandre Duret-Lutz 2015-06-10 23:21:30 +02:00
  • 9f32021e0f lbtt: take options as a string like other print functions Alexandre Duret-Lutz 2015-06-10 22:37:00 +02:00
  • cf6c17b509 * src/twaalgos/hoa.hh (print_hoa): Add default value for opt. Alexandre Duret-Lutz 2015-06-10 08:27:39 +02:00
  • b229bfc224 rename hoa_reachable as print_hoa Alexandre Duret-Lutz 2015-06-10 00:10:22 +02:00
  • 2dee90b3fb * src/hoaparse/public.hh: Typo. Alexandre Duret-Lutz 2015-06-10 00:07:48 +02:00
  • da5ba0b138 hoaparse: catch non-Boolean guard in LBTT format Alexandre Duret-Lutz 2015-06-09 08:33:37 +02:00
  • 7f8aad05e8 tl: add grammar info for [:*] Alexandre Duret-Lutz 2015-06-08 23:53:25 +02:00
  • 2e34fa4248 org: add installation instructions Alexandre Duret-Lutz 2015-06-07 23:56:54 +02:00
  • f1d159845d * doc/org/tut10.org: Typo. Alexandre Duret-Lutz 2015-06-07 23:40:35 +02:00
  • 240d5b4605 * src/tests/ltl2dstar.test: Fix after recent change to relabeling_map. Alexandre Duret-Lutz 2015-06-07 19:11:48 +02:00
  • a8f02ed8ca org: add an index page Alexandre Duret-Lutz 2015-06-07 16:49:53 +02:00
  • e7f5af6c6a org: add example of LTL->BA translation Alexandre Duret-Lutz 2015-06-07 15:13:41 +02:00
  • 6c2985e753 fix Python bindings for relabeling_map, and document them Alexandre Duret-Lutz 2015-06-07 14:18:42 +02:00
  • a8f5e7fd8b org: Update tut01 Alexandre Duret-Lutz 2015-06-05 23:45:09 +02:00
  • 738f939ff8 adjust names for automata printers Alexandre Duret-Lutz 2015-06-05 21:35:22 +02:00
  • 8fb7b279f7 ltlvisit: rename tostring.hh as print.hh and rename printer functions Alexandre Duret-Lutz 2015-06-04 22:56:57 +02:00
  • 0cf952e793 stutter bench: fix so that is compile again Alexandre Duret-Lutz 2015-06-04 20:51:03 +02:00
  • 98790f5345 ltlparse: rename the main functions Alexandre Duret-Lutz 2015-06-03 09:03:50 +02:00
  • aedce8101c ltlvisit: merge lbt.hh into tostring.hh Alexandre Duret-Lutz 2015-06-03 08:38:33 +02:00
  • 8de524adb0 org: add a first code example Alexandre Duret-Lutz 2015-06-02 23:53:04 +02:00
  • 16336be3cc acc: Do not restrict acceptance codes to small vectors. Alexandre Duret-Lutz 2015-06-02 23:56:51 +02:00
  • 203d07693d bin: generalized shorthands for ltldo and ltlcross Alexandre Duret-Lutz 2015-06-02 18:20:47 +02:00
  • 6298918497 bin: Use --output-format=hoa by default when calling ltl2dstar Alexandre Duret-Lutz 2015-06-02 17:27:58 +02:00
  • 0218074b0b org: document HOA handling for missing initial states Alexandre Duret-Lutz 2015-06-02 09:34:44 +02:00
  • 715805fad3 randaut: add a --colored option Alexandre Duret-Lutz 2015-06-01 21:56:39 +02:00