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

Commit graph

  • c87c13db67 autfilt: better handling of chain of products with -B Alexandre Duret-Lutz 2018-05-24 13:36:17 +02:00
  • a738801edf product: optimize product with weak automata Alexandre Duret-Lutz 2018-05-23 18:34:31 +02:00
  • b655038803 ltlsynt: improve coverage Maximilien Colange 2018-05-23 18:39:36 +02:00
  • 61b2b9b140 genltl: improve coverage Maximilien Colange 2018-05-23 16:56:29 +02:00
  • 321230f869 ltlfilt: improve coverage Maximilien Colange 2018-05-23 11:35:43 +02:00
  • 1a4117a07f randltl: fix option --allow-dups Maximilien Colange 2018-05-23 10:58:32 +02:00
  • cde0977ef8 hide implementation of spot::acc_cond::mark_t Maximilien Colange 2018-05-23 00:18:17 +02:00
  • c6c085ab22 various fixes to bitset Maximilien Colange 2018-05-22 16:07:30 +02:00
  • 74651c811d optionmap: fix set() Alexandre Duret-Lutz 2018-05-22 16:07:08 +02:00
  • a3b9469d67 gtec: hide some debugging code behind #if/#endif Alexandre Duret-Lutz 2018-05-22 15:06:14 +02:00
  • 75550112a7 bin: remove some dead code Alexandre Duret-Lutz 2018-05-21 22:42:04 +02:00
  • 0205ff1394 build with a large spot::acc_cond::mark_t Maximilien Colange 2018-05-22 13:57:00 +02:00
  • f4476e78c8 building spot::acc_cond::mark_t from unsigned is deprecated Maximilien Colange 2018-05-22 13:56:11 +02:00
  • 17532163d2 more portable configure.ac Maximilien Colange 2018-05-22 13:54:17 +02:00
  • 65a56f4cef improve coverage Maximilien Colange 2018-05-22 11:28:16 +02:00
  • 6f057941ce better coverage for ltlsynt Maximilien Colange 2018-05-22 11:24:17 +02:00
  • d7ee23ed2f acc_cond::mark_t now relies on bitset Maximilien Colange 2018-03-06 15:06:26 +01:00
  • d77d046d26 a new bitset class with static size Maximilien Colange 2018-03-01 13:49:37 +01:00
  • 1aaeccf1d3 remove parity_product and parity_product_or Maximilien Colange 2018-05-04 18:29:16 +02:00
  • 8120587fbf * .gitlab-ci.yml: Remove spot.cc and spot-x.cc from coverage report. Alexandre Duret-Lutz 2018-05-21 15:43:26 +02:00
  • 924a642939 * tests/core/randtgba.cc: Remove code related to random formulas. Alexandre Duret-Lutz 2018-05-21 15:42:21 +02:00
  • 6e8af75ee9 autcross: exercise %S, %L, and {name{nest}} Alexandre Duret-Lutz 2018-05-21 15:17:18 +02:00
  • 3334a6a679 bin: remove dead code from ltl2tgta Alexandre Duret-Lutz 2018-05-21 15:10:15 +02:00
  • c369f899a3 bin: teach conversion options to report about the options Alexandre Duret-Lutz 2018-05-21 14:59:38 +02:00
  • 1f9f3c77ea bin: abort autcross on input parse error Alexandre Duret-Lutz 2018-05-21 13:21:37 +02:00
  • faca835a5e bin: improve coverage of range-checking code Alexandre Duret-Lutz 2018-05-21 11:00:36 +02:00
  • eca96cdf80 parseaut: accept Alias: before AP: Alexandre Duret-Lutz 2018-05-21 10:24:25 +02:00
  • 7b580e006a bin: add --usage back Alexandre Duret-Lutz 2018-05-20 17:36:24 +02:00
  • af3f62c1c8 ltlcross, ltldo, autcross: add support for Rabinizer 4 tools Alexandre Duret-Lutz 2018-05-20 17:22:58 +02:00
  • 2e90460b8a tests: exercise --stats='%[v]c %[IW]c' and friends Alexandre Duret-Lutz 2018-05-18 18:13:29 +02:00
  • 47974cd004 autfilt: support --is-colored Alexandre Duret-Lutz 2018-05-18 17:57:24 +02:00
  • 00c3271c72 python: tests exceptions raised by is_weak_scc() and friends Alexandre Duret-Lutz 2018-05-18 17:45:16 +02:00
  • 2f8ae55f6b bin: diagnose failures to print --help Alexandre Duret-Lutz 2018-05-17 16:59:17 +02:00
  • a80cd361c0 bin: finish removal of --usage Alexandre Duret-Lutz 2018-05-17 16:44:15 +02:00
  • 021c0ed0b5 gnulib: add the closeout and secure_getenv modules Alexandre Duret-Lutz 2018-05-17 16:53:58 +02:00
  • 2076197e8d update gnulib to b35c22af02271c8dd9844b98db17702b8bf2bd93 Alexandre Duret-Lutz 2018-05-17 16:05:57 +02:00
  • 645bb55622 bin: factor exception-handling code Alexandre Duret-Lutz 2018-05-16 18:35:59 +02:00
  • fc0ed01a45 randomltl: avoid #define Alexandre Duret-Lutz 2018-05-16 17:38:59 +02:00
  • 565e25502c bin: stop supporting the hidden --usage Alexandre Duret-Lutz 2018-05-16 17:18:48 +02:00
  • f0b57d7264 tests: use ltlcross --color for better code coverage Alexandre Duret-Lutz 2018-05-16 17:04:51 +02:00
  • 70b4aa7b7e bin: remove some dead code Alexandre Duret-Lutz 2018-05-16 17:01:01 +02:00
  • 589a4035bc tests: cover error handling of ltlfilt -r Alexandre Duret-Lutz 2018-05-16 16:58:27 +02:00
  • a94cc623ad * tests/core/bdd.test: Cover garbage collection hooks. Alexandre Duret-Lutz 2018-05-16 16:11:49 +02:00
  • f3a80a58c5 remove useless reachiter.hh includes Alexandre Duret-Lutz 2018-05-16 14:27:49 +02:00
  • 4d82758726 autfilt: --complement accepts non-deterministic input Alexandre Duret-Lutz 2018-05-16 14:11:32 +02:00
  • 605bcd723d Upgrade to GitLab 10.7 Alexandre Duret-Lutz 2018-05-16 10:34:31 +02:00
  • 36b5b76ca5 python: improve formating of double-quoted AP in MathJax Alexandre Duret-Lutz 2018-05-15 17:27:21 +02:00
  • 965d0ed6b7 * doc/org/tut04.org: Show are_equivalent(). Alexandre Duret-Lutz 2018-05-15 16:17:00 +02:00
  • 6a808492c1 python: implicit str->formula conversion Alexandre Duret-Lutz 2018-05-15 16:07:14 +02:00
  • 5c1d9c492c dot: add option K Alexandre Duret-Lutz 2018-05-14 17:02:26 +02:00
  • 75b5449ac3 org: fix and improve hoa.org Alexandre Duret-Lutz 2018-05-14 16:33:28 +02:00
  • 9361bd9401 python: add a show= keyword to display_inline() Alexandre Duret-Lutz 2018-05-11 14:58:55 +02:00
  • 60898b6d22 dot: support 'u' Alexandre Duret-Lutz 2018-05-11 14:50:14 +02:00
  • 13c227a099 remove a useless exception Maximilien Colange 2018-05-04 18:12:30 +02:00
  • 26f5e93e90 * tests/python/stutter-inv.ipynb: Remove debug print. Alexandre Duret-Lutz 2018-05-04 17:44:09 +02:00
  • 9f30b9244f org: add link to stutter checks and autcross on main page Alexandre Duret-Lutz 2018-05-04 17:28:27 +02:00
  • d6f9618172 introduce containement checks functions Alexandre Duret-Lutz 2018-05-04 17:00:38 +02:00
  • 58d9a12495 python: introduce spot.jupyter.display_inline() Alexandre Duret-Lutz 2018-05-04 15:27:51 +02:00
  • b0b431a5a4 improve gf_guarantee_to_ba Alexandre Duret-Lutz 2018-05-03 17:35:02 +02:00
  • 1fdc32f9bb ltlsynt: improve construction of turn-based games Maximilien Colange 2018-04-23 10:51:17 +02:00
  • 4fbcdaca91 print_dot: correctly escape \n in html output Alexandre Duret-Lutz 2018-04-24 23:24:02 +02:00
  • 9d34c1f500 fix parity game printing Maximilien Colange 2018-04-23 14:29:41 +02:00
  • 9698363ef5 parity game: various improvements Maximilien Colange 2018-01-24 18:05:46 +01:00
  • 0e29d30d1b ltlsynt: fix the construction of the arena Maximilien Colange 2018-03-13 11:58:48 +01:00
  • 5d80cc556c Add a verbose option to ltlsynt Maximilien Colange 2018-01-02 09:24:31 +01:00
  • bc2fa1a2a3 * tests/python/satmin.ipynb: Remove a debug statement. Alexandre Duret-Lutz 2018-04-20 16:55:20 +02:00
  • c2e177ee09 Merge branch 'master' into next Alexandre Duret-Lutz 2018-04-20 08:06:33 +02:00
  • fea122f7ba Bump version to 2.5.3.dev Alexandre Duret-Lutz 2018-04-20 07:59:33 +02:00
  • 8de9f6aa26 Release Spot 2.5.3 Alexandre Duret-Lutz 2018-04-20 07:57:01 +02:00
  • 965ae855c2 is_unambiguous: fix false negatives again Alexandre Duret-Lutz 2018-04-15 13:51:39 +02:00
  • 2fe67769d7 is_unambiguous: fix false negatives again Alexandre Duret-Lutz 2018-04-15 13:51:39 +02:00
  • befdb03c9a * debian/rules: Disable valgrind. Alexandre Duret-Lutz 2018-04-10 14:14:08 +02:00
  • 978cebe606 is_unambiguous: fix false negatives Alexandre Duret-Lutz 2018-04-09 10:22:49 +02:00
  • e2a71cba38 org: fix broken links Alexandre Duret-Lutz 2018-04-06 10:59:12 +02:00
  • 8add81824a gitlab-ci: skip org-mode in mingw builds Alexandre Duret-Lutz 2018-04-07 13:50:37 +02:00
  • 568a6180f1 is_unambiguous: fix false negatives Alexandre Duret-Lutz 2018-04-09 10:22:49 +02:00
  • 6cec43294d dot: name the digraph Alexandre Duret-Lutz 2018-04-06 15:56:03 +02:00
  • 2775b0abc8 dot: use tooltips with option "1" Alexandre Duret-Lutz 2018-04-06 15:03:04 +02:00
  • 99876048ed org: adjust to org-mode 9.1 Alexandre Duret-Lutz 2018-04-06 14:10:48 +02:00
  • 309eb0bbaa org: fix broken links Alexandre Duret-Lutz 2018-04-06 10:59:12 +02:00
  • be9096a5cd gitlab-ci: skip org-mode in mingw builds Alexandre Duret-Lutz 2018-04-07 13:50:37 +02:00
  • af6b09408a python: make sure spot.automata() terminates the command Alexandre Duret-Lutz 2018-04-03 15:12:58 +02:00
  • cbfbf53617 python: make sure spot.automata() terminates the command Alexandre Duret-Lutz 2018-04-03 15:12:58 +02:00
  • 6afc2d45e0 complete reference to Esparza/Křetínský/Sickert LICS'18 paper Alexandre Duret-Lutz 2018-04-02 16:40:39 +02:00
  • c766f58d5d sat_minimize: improve logs and document Python bindings Alexandre Duret-Lutz 2018-03-30 11:31:46 +02:00
  • 5266010889 gfguarantee: fix a typo in the code Alexandre Duret-Lutz 2018-03-29 14:02:07 +02:00
  • 85db27694a * .gitlab-ci.yml (publish-stable): Use scp instead of cp. Alexandre Duret-Lutz 2018-03-28 14:15:53 +02:00
  • fc786d401a autfilt: fix --sat-minimize -B Alexandre Duret-Lutz 2018-03-28 14:08:35 +02:00
  • 71fbca8b0d python: fix error message of translate()/posprocess() Alexandre Duret-Lutz 2018-03-28 10:31:02 +02:00
  • c9716018ce * spot/twaalgos/strength.cc: Typo. Alexandre Duret-Lutz 2018-03-28 10:27:50 +02:00
  • 5e2a8a581a to_dca/to_nca: fix handling of co-Büchi input Alexandre Duret-Lutz 2018-03-28 10:26:10 +02:00
  • a9bf4dfa58 work around some g++-7.3 issues Alexandre Duret-Lutz 2018-03-27 22:20:49 +02:00
  • 7a65bdf6bc specialized translation for GF(guarantee) and FG(safety) Alexandre Duret-Lutz 2018-03-28 10:32:38 +02:00
  • 89f7047925 * .gitlab-ci.yml (publish-stable): Use scp instead of cp. Alexandre Duret-Lutz 2018-03-28 14:15:53 +02:00
  • 82796c04ae autfilt: fix --sat-minimize -B Alexandre Duret-Lutz 2018-03-28 14:08:35 +02:00
  • ee30f96676 python: fix error message of translate()/posprocess() Alexandre Duret-Lutz 2018-03-28 10:31:02 +02:00
  • 4ac3143b53 * spot/twaalgos/strength.cc: Typo. Alexandre Duret-Lutz 2018-03-28 10:27:50 +02:00
  • 7957a231a1 to_dca/to_nca: fix handling of co-Büchi input Alexandre Duret-Lutz 2018-03-28 10:26:10 +02:00
  • fc205c1883 work around some g++-7.3 issues Alexandre Duret-Lutz 2018-03-27 22:20:49 +02:00
  • 095d019940 Merge branch 'master' into next Alexandre Duret-Lutz 2018-03-25 10:01:18 +02:00