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

Commit graph

  • d7d6b40926 minimize_wdba: fix nondeterministic execution Alexandre Duret-Lutz 2016-07-25 12:00:30 +02:00
  • 20cf43b3ea use SPOT_ASSERT instead of assert Alexandre Duret-Lutz 2016-07-24 23:26:59 +02:00
  • 9f7bf5ab2d configure: support --enable-glibgxx-debug Alexandre Duret-Lutz 2016-07-24 00:05:25 +02:00
  • 1a5de86c1e * spot/tl/formula.hh: Fix some comments. Alexandre Duret-Lutz 2016-07-24 00:02:34 +02:00
  • 71e2490643 twa: rename twa::succ_iterable into internal::twa_succ_iterable Alexandre Duret-Lutz 2016-07-22 14:14:23 +02:00
  • 7534f62dba org: add autfilt decoration examples Alexandre Duret-Lutz 2016-07-20 11:22:20 +02:00
  • dd6875d5fe bin: overhaul default input selection Alexandre Duret-Lutz 2016-07-19 21:55:12 +02:00
  • abff7eba8e simplifier: new PSL simplifications Alexandre Duret-Lutz 2016-07-19 16:40:59 +02:00
  • d5b2de7fa8 simplifier: new LTL simplifications Alexandre Duret-Lutz 2016-07-19 15:44:48 +02:00
  • e37f62dc75 python: have %%dve and %%pml honor SPOT_TMPDIR and TMPDIR Alexandre Duret-Lutz 2016-07-19 14:23:27 +02:00
  • b136b81c6d new test case to improve coverage stats Alexandre Duret-Lutz 2016-07-19 13:35:47 +02:00
  • 4c0500a8a9 autfilt: add --stutter-invariant Alexandre Duret-Lutz 2016-07-19 13:20:08 +02:00
  • 5a2bc9f915 stutter: complement non-det automata via determinization Alexandre Duret-Lutz 2016-07-19 12:02:08 +02:00
  • 29a1e3a299 python: add missing bindings for randomize() Alexandre Duret-Lutz 2016-07-19 02:55:07 +02:00
  • 69b687ab66 dot: preserve highlights for <N output Alexandre Duret-Lutz 2016-07-19 02:41:34 +02:00
  • 014a9dbd6b twa: add accepting_run() and accepting_word() methods Alexandre Duret-Lutz 2016-07-18 23:20:49 +02:00
  • 3836ea8d18 python: more examples of highlighting Alexandre Duret-Lutz 2016-07-18 19:14:22 +02:00
  • d1aca565b5 remove the incorrect project_twa_run() Alexandre Duret-Lutz 2016-07-18 18:11:21 +02:00
  • b13caea3d8 autfilt: --highlight-word Alexandre Duret-Lutz 2016-07-18 17:59:25 +02:00
  • 6793d6de7d highlight: do not reset existing highlights Alexandre Duret-Lutz 2016-07-18 15:36:19 +02:00
  • 57f47c16e7 genltl: support --positive and --negative Alexandre Duret-Lutz 2016-07-18 14:17:26 +02:00
  • 31a1dfbc6a autfilt: add --nondet-states=RANGE Alexandre Duret-Lutz 2016-07-18 13:51:38 +02:00
  • 9af7001329 autfilt: swap transformation and filtering --help Alexandre Duret-Lutz 2016-07-18 13:26:04 +02:00
  • b6cd54ab16 autfilt: add highlighting options for nondeterminism Alexandre Duret-Lutz 2016-07-18 13:12:58 +02:00
  • 39332fb118 highlight: improve support for highlighted edges Alexandre Duret-Lutz 2016-07-18 12:01:40 +02:00
  • e17a617bc2 hoa: output highlighted states and edges in v1.1 Alexandre Duret-Lutz 2016-07-15 20:03:12 +02:00
  • bbc3afe1cf org: document named properties Alexandre Duret-Lutz 2016-07-15 18:52:06 +02:00
  • 486d9edad7 ltlcross: list collected automata on --verbose Alexandre Duret-Lutz 2016-07-13 15:34:13 +02:00
  • fafb135c87 isdet: update prop_deterministic in count_nondet_states() Alexandre Duret-Lutz 2016-07-13 15:09:32 +02:00
  • a2f0b22810 ltlcross: fix swapped automata in error diagnostic Alexandre Duret-Lutz 2016-07-13 14:33:18 +02:00
  • 556db2a203 Merge branch 'master' into next Alexandre Duret-Lutz 2016-07-11 11:06:05 +02:00
  • 2abfd73a30 Release Spot 2.0.3 Alexandre Duret-Lutz 2016-07-11 10:59:23 +02:00
  • 2665b5780a relabel: do not unregister old AP that are also new Alexandre Duret-Lutz 2016-07-07 15:57:14 +02:00
  • 70064d0b75 ltl2tgta: remove options --ba, --tgba, and friends Alexandre Duret-Lutz 2016-07-06 14:08:59 +02:00
  • d4a385e341 ajax: fix GTA construction Alexandre Duret-Lutz 2016-07-06 10:55:54 +02:00
  • a4c7016f52 degen: fix handling of degen-lcache=1 Alexandre Duret-Lutz 2016-06-21 18:03:02 +02:00
  • a78f5feecf * tests/core/degenlskip.test: Typo. Alexandre Duret-Lutz 2016-06-21 17:43:46 +02:00
  • ebd4c2dc7a * doc/org/citing.org: Typo. Alexandre Duret-Lutz 2016-06-20 13:31:33 +02:00
  • 3f9925c9cb * NEWS: Typo. Alexandre Duret-Lutz 2016-07-11 10:46:32 +02:00
  • 421a9a1b12 relabel: do not unregister old AP that are also new Alexandre Duret-Lutz 2016-07-07 15:57:14 +02:00
  • 91e8493c7f ltl2tgta: remove options --ba, --tgba, and friends Alexandre Duret-Lutz 2016-07-06 14:08:59 +02:00
  • e4134af15f ajax: fix GTA construction Alexandre Duret-Lutz 2016-07-06 10:55:54 +02:00
  • 8dee359e5a ajax: get rid of the logos Alexandre Duret-Lutz 2016-07-06 10:42:53 +02:00
  • ed04e2b421 adjust tests to SpinS 1.1 Alexandre Duret-Lutz 2016-06-22 21:26:35 +02:00
  • e80b443bc8 sat-minimize: check for unused options Alexandre Duret-Lutz 2016-06-22 21:15:15 +02:00
  • e419150c30 option_map: Diagnose unused option on request Alexandre Duret-Lutz 2016-06-22 20:41:14 +02:00
  • f7f353db68 bin: improve range diagnostic Alexandre Duret-Lutz 2016-06-21 18:15:08 +02:00
  • 205e2116d1 degen: fix handling of degen-lcache=1 Alexandre Duret-Lutz 2016-06-21 18:03:02 +02:00
  • 488ef820d5 * tests/core/degenlskip.test: Typo. Alexandre Duret-Lutz 2016-06-21 17:43:46 +02:00
  • 9080a9227f * doc/org/citing.org: Typo. Alexandre Duret-Lutz 2016-06-20 13:31:33 +02:00
  • 31627eac0b Merge branch 'master' into next Alexandre Duret-Lutz 2016-06-17 16:41:48 +02:00
  • 01e71d108a * NEWS, configure.ac: Bump version number. Alexandre Duret-Lutz 2016-06-17 16:40:51 +02:00
  • 1cce09bc80 Release Spot 2.0.2 Alexandre Duret-Lutz 2016-06-17 16:33:30 +02:00
  • 5f3cc52255 org: add a citing page Alexandre Duret-Lutz 2016-06-17 15:06:15 +02:00
  • b2a306c8d3 python: add the examples from the ATVA'16 paper Alexandre Duret-Lutz 2016-06-17 14:18:48 +02:00
  • b439fc674b org: add a citing page Alexandre Duret-Lutz 2016-06-17 15:06:15 +02:00
  • a1260105a4 python: add the examples from the ATVA'16 paper Alexandre Duret-Lutz 2016-06-17 14:18:48 +02:00
  • 125ca7df7a tests: reset CFLAGS Alexandre Duret-Lutz 2016-06-14 14:39:53 +02:00
  • 91e8ced372 * tests/Makefile.am: Distribute elevator2.1.pm. Alexandre Duret-Lutz 2016-06-14 12:02:41 +02:00
  • ab42b2ece3 tests: reset CFLAGS Alexandre Duret-Lutz 2016-06-14 14:39:53 +02:00
  • f46d39f852 * tests/Makefile.am: Distribute elevator2.1.pm. Alexandre Duret-Lutz 2016-06-14 12:02:41 +02:00
  • 9293ac9dad fix a few copyright headers Alexandre Duret-Lutz 2016-06-14 11:32:26 +02:00
  • bb47d13fcd fix a few copyright headers Alexandre Duret-Lutz 2016-06-14 11:32:26 +02:00
  • dc5237c7e7 relabel: fix infinite recursion in relabel_bse() Alexandre Duret-Lutz 2016-06-14 09:56:17 +02:00
  • a0cd56735a relabel: fix infinite recursion in relabel_bse() Alexandre Duret-Lutz 2016-06-14 09:56:17 +02:00
  • 272daf62fc python: add a %%pml magic Alexandre Duret-Lutz 2016-06-12 12:53:55 +02:00
  • a7e4395f9d tests: rename ltsmin.ipynb Alexandre Duret-Lutz 2016-06-12 12:27:13 +02:00
  • 2cda41e244 * doc/org/tut04.org: Typos. Alexandre Duret-Lutz 2016-05-30 16:27:04 +02:00
  • b408827110 add binding for language_containment_checker and document them Alexandre Duret-Lutz 2016-05-25 15:12:45 +02:00
  • 1c8c86914f * doc/org/tut.org: Typo. Alexandre Duret-Lutz 2016-05-25 11:05:16 +02:00
  • 69cea65b35 * doc/org/tut.org: Typo. Alexandre Duret-Lutz 2016-05-25 11:05:16 +02:00
  • 1f9b18f54a org: fix sat-minimize example Alexandre Duret-Lutz 2016-05-17 20:58:19 +02:00
  • 2d304f3dcf org: fix never claim example Alexandre Duret-Lutz 2016-05-17 20:57:14 +02:00
  • d145e566dc org: fix sat-minimize example Alexandre Duret-Lutz 2016-05-17 20:58:19 +02:00
  • 7c1a94721b org: fix never claim example Alexandre Duret-Lutz 2016-05-17 20:57:14 +02:00
  • 0605181c7a * spot/twaalgos/postproc.cc: Typo. Alexandre Duret-Lutz 2016-05-17 15:40:40 +02:00
  • ce5da5cdbf * spot/twaalgos/postproc.cc: Typo. Alexandre Duret-Lutz 2016-05-17 15:40:40 +02:00
  • 2bcaff138a * doc/org/ltlcross.org: Fix explanation. Alexandre Duret-Lutz 2016-05-11 16:19:13 +02:00
  • c94787b7d9 * doc/org/ltlcross.org: Fix explanation. Alexandre Duret-Lutz 2016-05-11 16:19:13 +02:00
  • 1780208961 ajax: add <h1> title Alexandre Duret-Lutz 2016-05-10 10:44:38 +02:00
  • 86287be2ef org: disable postamble in html export Alexandre Duret-Lutz 2016-05-10 10:37:34 +02:00
  • bb2c697072 org: add a description for each page Alexandre Duret-Lutz 2016-05-10 08:37:09 +02:00
  • e75605529a attempt to fix clang++ compilation error Alexandre Duret-Lutz 2016-05-09 22:01:57 +02:00
  • 0e9ccabbe8 ajax: add <h1> title Alexandre Duret-Lutz 2016-05-10 10:44:38 +02:00
  • d0c5991768 org: disable postamble in html export Alexandre Duret-Lutz 2016-05-10 10:37:34 +02:00
  • c035ea1822 org: add a description for each page Alexandre Duret-Lutz 2016-05-10 08:37:09 +02:00
  • 0278735ebe attempt to fix clang++ compilation error Alexandre Duret-Lutz 2016-05-09 22:01:57 +02:00
  • d4c1db287b * NEWS: Update for next version. Alexandre Duret-Lutz 2016-05-09 13:13:02 +02:00
  • 694e485ec2 Merge branch 'master' into next Alexandre Duret-Lutz 2016-05-09 09:46:02 +02:00
  • bd5ac37e7c * configure.ac: Bump version number. Alexandre Duret-Lutz 2016-05-09 09:42:20 +02:00
  • cfd4a1b98d Release Spot 2.0.1 Alexandre Duret-Lutz 2016-05-09 09:33:24 +02:00
  • 73621e8f17 record properties as side-effect of is_deterministic() / is_weak() / ... Alexandre Duret-Lutz 2016-05-08 15:31:15 +02:00
  • 4cc6df102a bench: fix bench/ltl2tgba for new bin location Alexandre Duret-Lutz 2016-05-05 18:11:46 +02:00
  • 465fda2b35 * bin/man/genltl.x: Typo. Alexandre Duret-Lutz 2016-05-05 14:06:01 +02:00
  • b708ab778f genltl: add formulas from three papers Alexandre Duret-Lutz 2016-05-05 18:39:13 +02:00
  • fd5d59984b bench: fix bench/ltl2tgba for new bin location Alexandre Duret-Lutz 2016-05-05 18:11:46 +02:00
  • 79ef4e5a1e * bin/man/genltl.x: Typo. Alexandre Duret-Lutz 2016-05-05 14:06:01 +02:00
  • 9149724617 doc: add a spot(7) man page Alexandre Duret-Lutz 2016-05-02 10:41:41 +02:00
  • d6e491a761 doc: fix css to not highlight table row in man pages Alexandre Duret-Lutz 2016-05-02 10:12:32 +02:00
  • 5e6d096e0f * doc/org/tools.org: Minor tweaks. Alexandre Duret-Lutz 2016-05-02 10:06:29 +02:00