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

Commit graph

  • b242122ce8 dot: add option 'A' to disable 'a' Alexandre Duret-Lutz 2017-08-30 15:08:53 +02:00
  • 205294c2c2 dot: display Rabin-like and Streett-like acceptances Alexandre Duret-Lutz 2017-08-30 13:52:20 +02:00
  • ed361bb0a9 org: add remark about "%h" Alexandre Duret-Lutz 2017-08-29 14:01:11 +02:00
  • f58f61b302 Improve tests of spot.dualize() Maximilien Colange 2017-08-28 17:38:24 +02:00
  • 1b2f2a79c1 Fix a bug in spot.complete() Maximilien Colange 2017-08-28 17:15:10 +02:00
  • eb91ecf66f Typos Maximilien Colange 2017-08-18 09:35:40 +02:00
  • f5dce597c6 switch to C++14 compilation Alexandre Duret-Lutz 2017-08-22 11:25:57 +02:00
  • 7f42782701 [buddy] switch to C++14 compilation Alexandre Duret-Lutz 2017-08-22 11:24:47 +02:00
  • b7d54c8b90 mention autcross in arch.tex Alexandre Duret-Lutz 2017-08-17 14:13:00 +02:00
  • 1cc45b2413 dot: display acceptance names Alexandre Duret-Lutz 2017-08-15 22:48:57 +02:00
  • f8ef06acc6 acc: fix operator| and operator& Alexandre Duret-Lutz 2017-08-15 22:40:28 +02:00
  • 2e8a67027f hierarchy: avoid sbacc() Alexandre Duret-Lutz 2017-08-15 14:44:31 +02:00
  • a3f5834249 org: update hierarchy Alexandre Duret-Lutz 2017-08-15 12:29:23 +02:00
  • e3b30e6d8e remfin: remove some unnecessary copies Alexandre Duret-Lutz 2017-08-15 11:41:48 +02:00
  • 4b5606e742 to_weak_alternating(): fixes a bug on generalized co-Büchi automata Thomas Medioni 2017-08-16 17:06:09 +02:00
  • df04c715cf remove_fin: fix incorrect state-based output Alexandre Duret-Lutz 2017-08-09 17:43:01 +02:00
  • 30a68d288b Fix typo automatons -> automata Thomas Medioni 2017-08-09 15:51:23 +02:00
  • f0161618ca * spot/twaalgos/simulation.cc (print_partition): Improve. Alexandre Duret-Lutz 2017-08-08 14:13:18 +02:00
  • 59c0f08278 * tests/core/optba.test: Use set -x. Alexandre Duret-Lutz 2017-08-08 09:49:11 +02:00
  • 80d50c5665 gnulib: upgrade to today's version Alexandre Duret-Lutz 2017-08-07 11:39:45 +02:00
  • aa8cf6ac92 typos in NEWS Alexandre Duret-Lutz 2017-08-04 17:00:50 +02:00
  • 55113ed1d0 fix error message in exception Alexandre Duret-Lutz 2017-08-04 15:15:33 +02:00
  • 1cf5778faa stats: allow counting complete SCCs Alexandre Duret-Lutz 2017-08-04 15:14:35 +02:00
  • 223b0c6a9e is_weak_scc and friend: make them work for alternating automata Alexandre Duret-Lutz 2017-08-03 18:27:47 +02:00
  • e041db6101 dot: extend the palette from 9 to 16 colors Alexandre Duret-Lutz 2017-08-03 14:32:11 +02:00
  • 85c23202b7 g++wrap: make it work with --enable-glibcxx-debug Alexandre Duret-Lutz 2017-08-02 15:26:35 +02:00
  • ab42075dce formula: hide throw statements from inline methods Alexandre Duret-Lutz 2017-08-02 11:13:00 +02:00
  • 6b96aa4f27 is_unabiguous: fix incorrect vector usage Alexandre Duret-Lutz 2017-08-01 18:04:07 +02:00
  • eb8df6d72c parseaut: allow the univ-branch diagnostics to be ignored Alexandre Duret-Lutz 2017-08-01 18:03:06 +02:00
  • d3607a7ce3 hoa: fix I/O of determinism Alexandre Duret-Lutz 2017-07-31 21:03:49 +02:00
  • 0cf250d839 bin: introduce autcross Alexandre Duret-Lutz 2017-07-27 18:42:05 +02:00
  • b9fff6a4b1 parseaut: make the scanner reentrant Alexandre Duret-Lutz 2017-07-26 18:25:09 +02:00
  • 6c3e09489e autfilt, dstar2tgba: remove some superfluous arguments Alexandre Duret-Lutz 2017-07-26 15:28:41 +02:00
  • 8be8bb2f95 autfilt, dstar2tgba: factorize input code Alexandre Duret-Lutz 2017-07-26 15:00:33 +02:00
  • 9690c2230d ltlcross, ltldo: rename "translators" to "tools" in the code Alexandre Duret-Lutz 2017-07-26 14:18:46 +02:00
  • 7bfe06b30b ltlcross: extract the color handling code Alexandre Duret-Lutz 2017-07-26 12:10:36 +02:00
  • ff4f4ee482 parseaut: use prop_universal() instead of prop_deterministic() Alexandre Duret-Lutz 2017-07-25 17:54:31 +02:00
  • abe2c08b78 acc: make &= and |= symmetrical Alexandre Duret-Lutz 2017-07-25 17:38:24 +02:00
  • 8e685e00c9 deprecate copy() in favor of make_twa_graph() Alexandre Duret-Lutz 2017-07-25 11:18:03 +02:00
  • 1e9daa73f3 complete: merge edges going to the sink Alexandre Duret-Lutz 2017-07-24 16:36:25 +02:00
  • 37f3154f1d degen, sbacc: merge accepting sinks Alexandre Duret-Lutz 2017-07-24 16:13:56 +02:00
  • d12b2cd5b0 honor SPOT_BDD_TRACE Alexandre Duret-Lutz 2017-07-24 12:08:07 +02:00
  • 361b44e571 [buddy] use powers of two for the sizes of all hash tables Alexandre Duret-Lutz 2017-07-24 12:01:48 +02:00
  • 98e7e4e49a bench: make ltlcross and ltlclass work again Alexandre Duret-Lutz 2017-07-23 11:33:38 +02:00
  • 7e7c257597 spot::sbacc() works on alternating automata, fix dualize Thomas Medioni 2017-06-30 15:01:04 +02:00
  • c8889e65f0 Implement to_weak_alternating() which weakifies tgbas Thomas Medioni 2017-06-20 11:32:19 +02:00
  • 71b08b034a tra2tba: Make result state-based if possible xlauko 2017-07-13 11:19:45 +02:00
  • d45b60a4e5 remfin: Use tra2tba as new rabin strategy in remove_fin xlauko 2017-06-29 22:11:17 +02:00
  • 2019315213 acc: Add support for rs_pairs view xlauko 2017-06-29 22:04:08 +02:00
  • bd8ede6226 tra2tba: Merge edges of resulting automaton xlauko 2017-06-13 18:45:49 +02:00
  • 69cf3c5590 tra2tba: Add support for Rabin like automata Henrich Lauko 2017-05-18 11:23:36 +00:00
  • e1271bf8b3 tra2tba: Implement transformation of TRA to TBA acceptance condition xlauko 2017-05-09 10:16:53 +02:00
  • 2ecd93ace8 python: export the sbacc() algorithm Alexandre Duret-Lutz 2017-07-17 14:20:45 +02:00
  • da0cdf1184 remfin: typo Alexandre Duret-Lutz 2017-07-17 09:32:04 +02:00
  • b9af535f3d * spot/twaalgos/strength.cc: Fix unsigned/signed cmp. Alexandre Duret-Lutz 2017-07-01 07:57:25 +02:00
  • 09e47d648a decompose: merge decompose_strength() and decompose_scc() Alexandre Duret-Lutz 2017-06-30 23:05:43 +02:00
  • fba3c78206 org: improve recurrence example Alexandre Duret-Lutz 2017-06-30 14:28:11 +02:00
  • 772404c131 twa: typo in error message Alexandre Duret-Lutz 2017-06-30 14:21:11 +02:00
  • efbce454e2 Merge branch 'master' into next Alexandre Duret-Lutz 2017-06-22 07:06:29 +02:00
  • 6c3daf0cd4 bump version Alexandre Duret-Lutz 2017-06-22 07:03:15 +02:00
  • af000edbf9 Release Spot 2.3.5 Alexandre Duret-Lutz 2017-06-22 06:58:01 +02:00
  • 20df3b4e98 acc: fix maybe_accepting() on Fin(x)|Fin(y)|Fin(z) Alexandre Duret-Lutz 2017-06-21 16:03:17 +02:00
  • fc609057d6 streett_like: clear the pair vector when non Streett-like Thomas Medioni 2017-06-20 11:50:16 +02:00
  • d62d848208 ltsmin: catch exceptions by reference Alexandre Duret-Lutz 2017-06-20 16:09:56 +02:00
  • 0a21a4c87e ltsmin: catch exceptions by reference Alexandre Duret-Lutz 2017-06-20 16:09:56 +02:00
  • 3f71521625 [buddy] fix handling of bdd_apply_biimp Alexandre Duret-Lutz 2017-06-20 15:17:28 +02:00
  • 2dd134b0aa doc: Jessie -> Stretch Alexandre Duret-Lutz 2017-06-19 18:00:10 +02:00
  • 05abed6d2f translate: use relabel_bse() to speed translations with a lot of APs Alexandre Duret-Lutz 2017-06-20 13:42:58 +02:00
  • 0bc1dd4446 relabel_here: make it compatible with relabel_bse Alexandre Duret-Lutz 2017-06-20 11:26:51 +02:00
  • 819cd7b8b6 [buddy] fix handling of bdd_apply_biimp Alexandre Duret-Lutz 2017-06-20 15:17:28 +02:00
  • 85e4cf510c doc: Jessie -> Stretch Alexandre Duret-Lutz 2017-06-19 18:00:10 +02:00
  • 413d2d6a6c stats: fix slow %s and inappropriate %S output Alexandre Duret-Lutz 2017-06-19 17:06:56 +02:00
  • 20a4959ff6 stats: fix slow %s and inappropriate %S output Alexandre Duret-Lutz 2017-06-19 17:06:56 +02:00
  • 97e903b13d libtool: surrender to Debian's castrated libtool Alexandre Duret-Lutz 2017-06-07 14:46:55 +02:00
  • 440380c5ca ikwiad: fix accepting run printing Etienne Renault 2017-06-07 17:05:25 +02:00
  • 7b5b8f34f0 streett_to_generalized_buchi() now works on Streett-like Thomas Medioni 2017-04-20 16:23:17 +02:00
  • 570c433122 autfilt: add option --simplify_acceptance Thomas Medioni 2017-05-04 14:49:22 +02:00
  • a12d676bdc introduce spot::simplify_acceptance() Thomas Medioni 2017-04-27 15:10:53 +02:00
  • 22620e185c style: allow the use of initializer-lists in if Thomas Medioni 2017-05-05 13:33:14 +02:00
  • d795955aaa cleanacc: add an option to not strip sets Alexandre Duret-Lutz 2017-04-07 23:25:37 +02:00
  • 24b5a350d4 Remove marks from acceptance condition without stripping Alexandre Duret-Lutz 2017-04-28 10:51:11 +02:00
  • 1042a8dae1 libtool: surrender to Debian's castrated libtool Alexandre Duret-Lutz 2017-06-07 14:46:55 +02:00
  • 4de44b42de ikwiad: fix accepting run printing Etienne Renault 2017-06-07 17:05:25 +02:00
  • 0e039a36b1 * AUTHORS: Add Henrich Lauko. Alexandre Duret-Lutz 2017-06-07 14:46:31 +02:00
  • 784681d833 remfin: Make removing of fins more modular. Henrich Lauko 2017-05-31 00:58:41 +00:00
  • 4f8a8f7305 Properly handle "simulated-states" property in twagraph::defrag_states. Maximilien Colange 2017-06-05 14:43:29 +02:00
  • acbb51062a * tests/core/ltlcross4.test: Ignore space diff in pandas' output. Alexandre Duret-Lutz 2017-06-03 11:03:58 +02:00
  • 526e19d4b6 * tests/core/ltlcross4.test: Ignore space diff in pandas' output. Alexandre Duret-Lutz 2017-06-03 11:03:58 +02:00
  • 526b299de8 work around change in pandas 0.20 Alexandre Duret-Lutz 2017-06-02 19:07:34 +02:00
  • ae0e84ac9e simulation: do not depend on bdd numbers for ordering classes Alexandre Duret-Lutz 2017-06-02 11:23:42 +02:00
  • dbcde8e346 work around change in pandas 0.20 Alexandre Duret-Lutz 2017-06-02 19:07:34 +02:00
  • 9ab4b840fd simulation: do not depend on bdd numbers for ordering classes Alexandre Duret-Lutz 2017-06-02 11:23:42 +02:00
  • 7b6cfd448c dot: fix printing of alternating automata Alexandre Duret-Lutz 2017-05-31 17:14:52 +02:00
  • 101c2533f1 sanity: ensure that all environment variables are documented Alexandre Duret-Lutz 2017-05-31 18:29:55 +02:00
  • 93969758ee sanity: catch undocumented named properties Alexandre Duret-Lutz 2017-05-31 17:51:45 +02:00
  • 97f3efabe3 dot: fix printing of alternating automata Alexandre Duret-Lutz 2017-05-31 17:14:52 +02:00
  • 617a7187b3 scc_info: keep track of common acceptance sets Alexandre Duret-Lutz 2017-05-31 12:16:04 +02:00
  • 78add1d44b acc: add a maybe_accepting() method Alexandre Duret-Lutz 2017-05-30 18:04:57 +02:00
  • f7d14ab526 Degeneralization keeps track of levels. Maximilien Colange 2017-05-31 11:11:31 +02:00
  • 7b5ab54530 Simulation keeps track of simulated states in the input automaton. Maximilien Colange 2017-05-19 17:44:02 +02:00