Commit graph

  • dc7ca7d8d2 Force Clang and GCC to have the same behaviour. Etienne Renault 2015-04-17 08:55:56 +01:00
  • 439517736f autfilt: --remove-unreachable-states, --remove-dead-states Alexandre Duret-Lutz 2015-04-18 21:40:29 +02:00
  • a83bde72b3 hoa: diagnose undefined states that appear as destination Alexandre Duret-Lutz 2015-04-18 20:54:04 +02:00
  • 9e959cdc7e stutter: new variant of Etessami's check Alexandre Duret-Lutz 2015-04-17 15:18:47 +02:00
  • ecfd9b7776 dot: add option to number transitions Alexandre Duret-Lutz 2015-04-16 12:42:40 +02:00
  • dfd080e005 acc: add a parser for string -> acc_code Alexandre Duret-Lutz 2015-04-14 20:28:37 +02:00
  • c65bf731fd acc: more helper functions Alexandre Duret-Lutz 2015-04-14 20:27:15 +02:00
  • 39b92a6dea python: fix non-determinism in the test suite. Alexandre Duret-Lutz 2015-04-14 17:57:06 +02:00
  • ebdb5b7c90 python: avoid some locking errors with the history Alexandre Duret-Lutz 2015-04-14 17:56:23 +02:00
  • 98e4d99b24 more final keywords Alexandre Duret-Lutz 2015-04-13 18:28:31 +02:00
  • ab7ee2c460 python: fix error handling while reading automata Alexandre Duret-Lutz 2015-04-13 16:39:19 +02:00
  • a637e23d84 debian: ship the ipython notebooks as examples Alexandre Duret-Lutz 2015-04-03 14:28:27 +02:00
  • 57b0586400 totgba: fix conversion of false acceptance Alexandre Duret-Lutz 2015-04-03 08:16:52 +02:00
  • e589e208bd new transformation from Fin-less to TGBA Alexandre Duret-Lutz 2015-04-02 22:23:18 +02:00
  • 16204e8e61 python: better bindings for testing automata Alexandre Duret-Lutz 2015-04-02 18:29:42 +02:00
  • 7bb183b929 degen: add a lowinit option Alexandre Duret-Lutz 2015-04-01 16:25:23 +02:00
  • 6e8170e386 degen: do not mark initial trivial SCCs as accepting Alexandre Duret-Lutz 2015-04-01 15:26:05 +02:00
  • 54a8ce502d python: LRU cache for the dot->svg conversion Alexandre Duret-Lutz 2015-04-01 14:44:10 +02:00
  • 31b3862f48 python 2 is no longer supported Alexandre Duret-Lutz 2015-04-01 14:01:26 +02:00
  • a18327d488 stutter: improve closure Alexandre Duret-Lutz 2015-03-31 19:18:41 +02:00
  • 2f42c1c9bf randaut: add option --acc-type=random Alexandre Duret-Lutz 2015-03-31 13:46:25 +02:00
  • d3ee61979c python: binding and example for cleanup_acceptance Alexandre Duret-Lutz 2015-03-31 11:25:32 +02:00
  • df981a0676 rename cleanup_acceptance() as cleanup_acceptance_here() Alexandre Duret-Lutz 2015-03-31 10:44:53 +02:00
  • c5ecd09fb6 bin: Update default options of ltl3dra Alexandre Duret-Lutz 2015-03-30 17:37:19 +02:00
  • 961d005b84 python: read automata from pipes Alexandre Duret-Lutz 2015-03-30 17:05:04 +02:00
  • af8e7d62de * src/tgbatest/defs.in: Unset SPOT_DOTDEFAULT and SPOT_DOTEXTRA. Alexandre Duret-Lutz 2015-03-30 12:24:31 +02:00
  • 75328f1a21 autfilt: add a --simplify-exclusive-ap option Alexandre Duret-Lutz 2015-03-30 11:37:32 +02:00
  • 25de479e12 python: add a spot.automata(filename) interface, yielding automata Alexandre Duret-Lutz 2015-03-27 10:04:36 +01:00
  • 8e6b35e5e3 org: uses nice dot arrows Alexandre Duret-Lutz 2015-03-26 09:26:25 +01:00
  • 30b8788676 debian: disable -flto for binaries Alexandre Duret-Lutz 2015-03-26 07:56:10 +01:00
  • 483212d275 Make --keep-states more useful by actually removing states. Alexandre Duret-Lutz 2015-03-25 21:29:42 +01:00
  • 23bcbb5b37 complete: Fix completion of automata using Fin-acceptance Alexandre Duret-Lutz 2015-03-25 20:00:27 +01:00
  • 7353e47f0c cleanacc: better cleanup Alexandre Duret-Lutz 2015-03-25 18:29:07 +01:00
  • bf42ac3699 * wrap/python/tests/automata.ipynb: Update for recent changes. Alexandre Duret-Lutz 2015-03-24 23:48:34 +01:00
  • 4553ac06cf autfilt: add a --remove-ap option Alexandre Duret-Lutz 2015-03-24 17:58:39 +01:00
  • e592832a3e maskacc: reverse the way the acceptance condition is stripped Alexandre Duret-Lutz 2015-03-24 16:33:33 +01:00
  • 020bbd4473 remove_fin: remove useless states Alexandre Duret-Lutz 2015-03-24 12:04:30 +01:00
  • b4e22a3c7e org: more examples for autfilt Alexandre Duret-Lutz 2015-03-24 11:29:52 +01:00
  • ead2ca0158 dot: better support of state-based acceptance Alexandre Duret-Lutz 2015-03-23 19:38:47 +01:00
  • fb7b7a944a autfilt: add a --exclusive-ap option Alexandre Duret-Lutz 2015-03-23 18:14:46 +01:00
  • 544c533ed3 ltlfilt: add a --exclusive-ap option Alexandre Duret-Lutz 2015-03-23 16:47:04 +01:00
  • 57cd9f2d2c Replace guards by pragma once. Etienne Renault 2015-03-20 15:15:37 +01:00
  • b8bc619ddf Fix mac OSX support for echo -n. Etienne Renault 2015-03-21 09:26:04 +01:00
  • c26457b02b tgba: add a release_named_properties() method Alexandre Duret-Lutz 2015-03-22 12:05:05 +01:00
  • d1efe9a75a ipnbdoctest: ignore transform=".*" Alexandre Duret-Lutz 2015-03-21 20:36:52 +01:00
  • 441d408b9e configure: disable Python when --disable-shared Alexandre Duret-Lutz 2015-03-21 13:22:01 +01:00
  • 125fa983ab Do not store getenv() pointers in static variables. Alexandre Duret-Lutz 2015-03-20 19:07:02 +01:00
  • 519f5e3cee hoa: fix an assert() when initial states are not declared Alexandre Duret-Lutz 2015-03-20 18:01:14 +01:00
  • b803a0ee4d get rid of prop_single_acc_set() and set_single_acc_set() Alexandre Duret-Lutz 2015-03-18 21:50:37 +01:00
  • d2f11e4075 move set_generalized_buchi and set_buchi to tgba Alexandre Duret-Lutz 2015-03-18 20:52:58 +01:00
  • 47d9a2d57c rename set_single_acceptance_set() to set_buchi() Alexandre Duret-Lutz 2015-03-18 20:27:37 +01:00
  • 2dbef514bd move copy_acceptance_of and copy_ap_of to tgba.hh Alexandre Duret-Lutz 2015-03-18 20:19:03 +01:00
  • a79267b8a3 rename copy_acceptance_conditions_of() Alexandre Duret-Lutz 2015-03-18 20:07:57 +01:00
  • c3fbbaa87c python: more automata examples Alexandre Duret-Lutz 2015-03-18 18:45:05 +01:00
  • 231b3e1809 * src/tgba/tgbagraph.hh: Remove orphaned prototype. Alexandre Duret-Lutz 2015-03-18 16:10:05 +01:00
  • 316401c5c3 debian: fix some lintian warnings and errors Alexandre Duret-Lutz 2015-03-18 10:54:44 +01:00
  • 72eed9b2e2 sat: add missing prop_state_based_acc() call Alexandre Duret-Lutz 2015-03-17 18:29:28 +01:00
  • 6712fa3c65 man: fix section number of spot-x.7 Alexandre Duret-Lutz 2015-03-17 18:20:36 +01:00
  • 838bfb2ae3 dotty: colored acceptance sets Alexandre Duret-Lutz 2015-03-17 09:08:20 +01:00
  • 7caf2b83d6 dot: allow extra configuration via environment Alexandre Duret-Lutz 2015-03-16 17:19:37 +01:00
  • b6762b7dc9 * wrap/python/spot.py: Typo. Alexandre Duret-Lutz 2015-03-16 16:41:31 +01:00
  • 1f7c374798 python: More fixes for GraphViz variations Alexandre Duret-Lutz 2015-03-16 16:03:50 +01:00
  • 3c38780d50 python: some bindings for translating formulas and diplaying automata Alexandre Duret-Lutz 2015-03-15 19:50:40 +01:00
  • d05404a61e * wrap/python/tests/ipnbdoctest.py: Typo. Alexandre Duret-Lutz 2015-03-13 10:22:50 +01:00
  • 127b77fb25 python: be more robust to different graphviz version in tests Alexandre Duret-Lutz 2015-03-11 23:43:27 +01:00
  • 1ffdd57383 [buddy] backport some fixes from upstream Alexandre Duret-Lutz 2015-03-11 23:32:48 +01:00
  • 2d13fd50ab python: get ipnbdoctest to work with ipython 3.0 Alexandre Duret-Lutz 2015-03-11 22:47:18 +01:00
  • 2362b9ab68 python: improve handling of formulas Alexandre Duret-Lutz 2015-03-11 19:41:24 +01:00
  • a6dbf5cf5e debian: harden version requirements Alexandre Duret-Lutz 2015-03-11 16:18:31 +01:00
  • 787e3f9315 [buddy] fix undefined behavior Alexandre Duret-Lutz 2015-03-10 15:44:08 +01:00
  • ffabbfb048 * debian/rules: Do not hard-code the path to the LTO plugin. Alexandre Duret-Lutz 2015-03-09 18:07:45 +01:00
  • 5adec9199b debian: build a python3 package Alexandre Duret-Lutz 2015-03-08 21:22:15 +01:00
  • 4ffb0cb98d randltl: some code cleanup Alexandre Duret-Lutz 2015-03-08 13:50:12 +01:00
  • 72c7ad9fcd * wrap/python/tests/ipnbdoctest.py: Skip if IPython is missing. Alexandre Duret-Lutz 2015-03-08 10:50:17 +01:00
  • 3bf3d2c8a1 Adding python functions to mirror the functionalities found in src/bin Thibaud Michaud 2014-11-06 16:02:57 +01:00
  • cb9867b7d4 org: fix -o example Alexandre Duret-Lutz 2015-03-05 20:42:38 +01:00
  • a0ac8dc512 acc: add a to_cnf() function Alexandre Duret-Lutz 2015-03-05 09:13:08 +01:00
  • b71e6addd2 acc: fix is_dnf() Alexandre Duret-Lutz 2015-03-05 08:44:23 +01:00
  • 518de8d5eb acc: implement to_dnf() using BDDs Alexandre Duret-Lutz 2015-03-04 22:44:20 +01:00
  • ebe4ffc507 sccinfo: introduce is_rejecting() Alexandre Duret-Lutz 2015-03-03 18:09:44 +01:00
  • 8658441839 bin: use enums instead of #define for option codes Alexandre Duret-Lutz 2015-03-02 16:55:56 +01:00
  • a530498fbd Fix a bug seen with link-time optimizations enabled. Alexandre Duret-Lutz 2015-03-01 11:20:35 +01:00
  • 9454584074 stutter.test: Fix for failure seen on arch linux. Alexandre Duret-Lutz 2015-03-01 10:48:37 +01:00
  • 6bacbe1e92 * src/ltltest/stutter.test: Run time only if present. Alexandre Duret-Lutz 2015-03-01 00:15:58 +01:00
  • 176a7bf199 debian: include the number of git patches in the version Alexandre Duret-Lutz 2015-02-28 18:24:43 +01:00
  • 1f0bb428b0 add a stutter-invariant property to automata Alexandre Duret-Lutz 2015-02-28 16:44:06 +01:00
  • 566118a5be hoa: add option to output implicit labels Alexandre Duret-Lutz 2015-02-28 12:48:23 +01:00
  • 5749fe6f7c * src/tgbaalgos/isweakscc.cc (is_inherently_weak_scc): Allow Fin. Alexandre Duret-Lutz 2015-02-27 23:58:02 +01:00
  • b396f373fa debian: First attempt at creating Debian packages Alexandre Duret-Lutz 2015-02-27 22:16:32 +01:00
  • e05ec12b37 Clang needs explicit copy-initialization for sets. Etienne Renault 2015-02-27 14:50:57 +01:00
  • 734bceff8e random: Get rid of uniform_distribution (non-portable). Etienne Renault 2015-02-11 11:19:25 +01:00
  • 5610d10ac3 simplify: resolve assertion failed. Etienne Renault 2015-02-11 11:17:45 +01:00
  • 58da54e79a * src/tgbaalgos/remfin.cc: Purge unreachable states. Alexandre Duret-Lutz 2015-02-26 17:44:47 +01:00
  • f93fc98655 More files to ignore Alexandre Duret-Lutz 2015-02-26 16:48:14 +01:00
  • 7bac775ad4 Bump version to 1.99b to celebrate support for generic acceptance Alexandre Duret-Lutz 2015-02-26 16:42:56 +01:00
  • b321a410d5 org: more documentation Alexandre Duret-Lutz 2015-02-26 11:56:19 +01:00
  • af1d05fd13 bin: better documentation for --hoaf=s Alexandre Duret-Lutz 2015-02-26 11:35:20 +01:00
  • 5b3034b605 dot: add an option to display the acceptance Alexandre Duret-Lutz 2015-02-26 11:24:29 +01:00
  • 095ac93b5b postproc: make sure WDBA have an acceptance set if BA is desired Alexandre Duret-Lutz 2015-02-25 23:38:24 +01:00
  • f0b1b9438f Prefix many algorithms with runtime_error for unexpected acceptance Alexandre Duret-Lutz 2015-02-25 22:59:33 +01:00