Commit graph

  • b91ba58bbe Fix compilation with clang on ArchLinux Alexandre Duret-Lutz 2019-09-11 21:32:01 +02:00
  • c1d6d13d6e debian: use a specific directory for .gcda files Alexandre Duret-Lutz 2019-09-11 11:42:18 +02:00
  • b1007a3d03 fix failing tests on Debian unstable Alexandre Duret-Lutz 2019-09-10 14:56:53 +02:00
  • 8868bc67ba update to gnulib d77a23b15925e5554325ea3553c940133734eee3 Alexandre Duret-Lutz 2019-09-10 16:30:42 +02:00
  • 25eb9d4979 ltsmin: update Doxygen documentation for DEAD Alexandre Duret-Lutz 2019-08-27 17:08:37 +02:00
  • b9808144b3 Upgrade parsers to Bison >= 3.0 Alexandre Duret-Lutz 2019-08-26 17:07:15 +02:00
  • e52aa8f9eb * tests/python/sum.py: Simplify code. Alexandre Duret-Lutz 2019-07-30 15:34:46 +02:00
  • 95087030b0 * spot/twaalgos/dualize.cc: Improve comment. Alexandre Duret-Lutz 2019-07-30 15:34:02 +02:00
  • 8ec6ea838d twa_graph: fix precondition on set_init_state Alexandre Duret-Lutz 2019-07-30 15:30:36 +02:00
  • f29eb91192 org: add syntax highlighting for three HOA examples Alexandre Duret-Lutz 2019-07-30 14:47:00 +02:00
  • 11262d0495 * NEWS, configure.ac: Bump version to 2.8.1.dev. Alexandre Duret-Lutz 2019-07-18 10:09:19 +02:00
  • 2e28f8c93b Release Spot 2.8.1 Alexandre Duret-Lutz 2019-07-18 10:01:09 +02:00
  • 6f37ff8ed0 ltlcross, autcross: add --quiet/-q option Alexandre Duret-Lutz 2019-07-17 17:34:01 +02:00
  • 6a71438268 allow gcc-snapshot failures because of GCC bug 91184 Alexandre Duret-Lutz 2019-07-17 09:14:20 +02:00
  • 738515d7fd org: work around emacs/gnutls interaction bug Alexandre Duret-Lutz 2019-07-16 10:32:45 +02:00
  • 09c93a3a3d forbid the use of std::endl on std::cerr Alexandre Duret-Lutz 2019-07-15 02:31:13 +02:00
  • b4cced9ba8 genltl: add --pps-arbiter-{strict,standard} Alexandre Duret-Lutz 2019-07-12 16:26:53 +02:00
  • eba6f66cb3 * spot/gen/formulas.cc: Add missing delete[]. Alexandre Duret-Lutz 2019-07-12 16:21:56 +02:00
  • e2fad2d7ae complement: fix handling of output_aborter with postproc Alexandre Duret-Lutz 2019-07-11 14:48:50 +02:00
  • 1f8a777e1f * doc/org/install.org: Debian stable is now Buster. Alexandre Duret-Lutz 2019-07-10 14:22:54 +02:00
  • 2c2daf6b8a Bump version to 2.8.0.dev Alexandre Duret-Lutz 2019-07-10 06:19:57 +02:00
  • 85b2d426d9 Release Spot 2.8 Alexandre Duret-Lutz 2019-07-10 06:13:19 +02:00
  • 5b1350cab5 autcross: add shorthand for dra2dpa Alexandre Duret-Lutz 2019-07-09 22:10:09 +02:00
  • 1d7ad07c83 product: fix handling of output_aborter Alexandre Duret-Lutz 2019-07-09 14:05:06 +02:00
  • 396dcabd7d * doc/spot.bib: Fix some urls. Alexandre Duret-Lutz 2019-07-08 16:11:20 +02:00
  • 5af4612eda genem: cite our ATVA'19 paper Alexandre Duret-Lutz 2019-07-08 16:03:25 +02:00
  • 9f616e0451 ltldo, ltlcross: add support from ltl2ba, ltl2nba, ltl2dgba Alexandre Duret-Lutz 2019-07-08 15:36:13 +02:00
  • 0d9cc29b46 tl: eight new simplification rules Alexandre Duret-Lutz 2019-07-08 10:59:36 +02:00
  • d244ff5432 * NEWS: Fix some typos. Alexandre Duret-Lutz 2019-07-05 22:43:04 +02:00
  • bfe0ada634 deprecate spot::acc_cond::format() Alexandre Duret-Lutz 2019-07-05 17:04:32 +02:00
  • 822fe77891 python: cleanup with autopep8 Alexandre Duret-Lutz 2019-07-02 10:12:44 +02:00
  • 5b01ce32dd * spot/tl/simplify.cc: Fix typos in tracing code. Alexandre Duret-Lutz 2019-06-30 23:01:03 +02:00
  • caad07cfa4 * doc/tl/tl.tex: Typo. Alexandre Duret-Lutz 2019-06-30 19:06:50 +02:00
  • ad2f5524bb doc: add tut90.org about bdd_dict Alexandre Duret-Lutz 2019-06-26 20:56:39 +02:00
  • 7f48a08ead postproc: fix a fixme Alexandre Duret-Lutz 2019-06-21 22:38:28 +02:00
  • 030ebed367 scc_has_rejecting_cycle: rewrite without copy Alexandre Duret-Lutz 2019-06-21 22:36:33 +02:00
  • c830b5db25 * spot/tl/formula.cc: Fix two fixmes. Alexandre Duret-Lutz 2019-06-21 22:01:42 +02:00
  • dc34862d3b twa: get rid of intersecting_run()'s second argument Alexandre Duret-Lutz 2019-06-21 21:38:05 +02:00
  • f3e57901a4 simulation: improve merging of transiant-SCCs Alexandre Duret-Lutz 2019-06-20 13:23:37 +02:00
  • c9ddbd0a73 ltlsynt: use reduce_parity() Alexandre Duret-Lutz 2019-06-19 23:15:02 +02:00
  • c66b3d88d0 toparity: revert symmetry-based optimization of LAR Alexandre Duret-Lutz 2019-06-18 17:35:57 +02:00
  • ed52f3c48c re-enable tests incorrectly disabled Alexandre Duret-Lutz 2019-06-18 17:30:16 +02:00
  • a8e47d0bd2 toparity: typo in pretty print Alexandre Duret-Lutz 2019-06-18 16:26:04 +02:00
  • 8c13d7209e ltlsynt: misc typos Alexandre Duret-Lutz 2019-06-18 13:22:40 +02:00
  • 8df5f5137e gfguarantee: fix #357 again Alexandre Duret-Lutz 2019-06-18 10:06:56 +02:00
  • da5d23f0a2 simplify: GF(f)=GF(dnf(f)) FG(f)=FG(cnf(f)) Alexandre Duret-Lutz 2019-06-17 00:19:02 +02:00
  • df326e032b use a bibtex file to collect all references in Doxygen Alexandre Duret-Lutz 2019-06-14 15:53:52 +02:00
  • d064b7dad2 is_parity: fix unitialized value of max on False return Alexandre Duret-Lutz 2019-06-13 09:55:35 +02:00
  • b4da0cf660 hierarchy: add a new way to check DBA-realizability via DPA Alexandre Duret-Lutz 2019-06-12 23:38:17 +02:00
  • 2617c17b45 * NEWS: Typos. Alexandre Duret-Lutz 2019-06-12 22:09:07 +02:00
  • eb7b68ad58 use reduce_parity in translator and posprocessor Alexandre Duret-Lutz 2019-06-12 22:01:51 +02:00
  • ebfa3a377a parity: introduce reduce_parity() Alexandre Duret-Lutz 2019-06-11 22:18:18 +02:00
  • f6575d2ec5 improve cleanup_parity() and colorize_parity() Alexandre Duret-Lutz 2019-06-11 14:04:51 +02:00
  • f0b77e21c8 autcross: simplify code using complement() and intersecting_word() Alexandre Duret-Lutz 2019-06-07 14:56:56 +02:00
  • cba012328e genaut: introduce --m-nba Alexandre Duret-Lutz 2019-06-07 14:14:48 +02:00
  • 435fec89b0 Merge branch 'master' into next Alexandre Duret-Lutz 2019-06-05 08:10:24 +02:00
  • f30c941583 * NEWS, configure.ac: Bump version to 2.7.5.dev. Alexandre Duret-Lutz 2019-06-05 08:09:19 +02:00
  • e9fb50114f Release Spot 2.7.5 Alexandre Duret-Lutz 2019-06-05 08:05:24 +02:00
  • 0ff6c5c43b * NEWS: Mention swig4 support. Alexandre Duret-Lutz 2019-06-04 11:52:53 +02:00
  • 57e6208e1e Update instructions for divine-ltsmin installation Alexandre Duret-Lutz 2019-06-04 11:49:29 +02:00
  • 7d6bfe545f remprop: reset no-terminal property Alexandre Duret-Lutz 2019-06-02 09:00:08 +02:00
  • 65e8d16f57 tests: add missing copyright blobs Alexandre Duret-Lutz 2019-06-02 08:33:13 +02:00
  • 4a5259d1fa work around another swig4 change Alexandre Duret-Lutz 2019-06-01 22:27:06 +02:00
  • bae8be9333 work around swig4 regression Alexandre Duret-Lutz 2019-06-01 20:30:32 +02:00
  • 05b3007885 work around new import statements generated by swig-4.0 Alexandre Duret-Lutz 2019-05-29 15:48:50 +02:00
  • 428607df1a python: remove the -nofastproxy option Alexandre Duret-Lutz 2019-05-28 21:40:18 +02:00
  • bdd5a0b981 test: add missing copyright boilerplate Alexandre Duret-Lutz 2019-05-24 23:26:49 +02:00
  • 2950833929 translate: relabel_bool was ignored when option_map was not supplied Alexandre Duret-Lutz 2019-05-18 20:51:38 +02:00
  • 11e8f9592f dot: replace large labels by "(label too long)" Alexandre Duret-Lutz 2019-05-18 13:46:33 +02:00
  • 58389bdb80 tl: extend F[n:m] and G[n:m] to the case of m=$ Alexandre Duret-Lutz 2019-06-02 14:36:07 +02:00
  • 74786324f4 remprop: reset no-terminal property Alexandre Duret-Lutz 2019-06-02 09:00:08 +02:00
  • 03b8db0fed tests: add missing copyright blobs Alexandre Duret-Lutz 2019-06-02 08:33:13 +02:00
  • 1cb92f8da1 work around another swig4 change Alexandre Duret-Lutz 2019-06-01 22:27:06 +02:00
  • 52e2d11330 work around swig4 regression Alexandre Duret-Lutz 2019-06-01 20:30:32 +02:00
  • 72d6527b6c work around new import statements generated by swig-4.0 Alexandre Duret-Lutz 2019-05-29 15:48:50 +02:00
  • 377285b1d6 python: remove the -nofastproxy option Alexandre Duret-Lutz 2019-05-28 21:40:18 +02:00
  • a85045091b introduce output_aborter, and use it in ltlcross Alexandre Duret-Lutz 2019-05-27 23:08:13 +02:00
  • 5c3a33f720 test: add missing copyright boilerplate Alexandre Duret-Lutz 2019-05-24 23:26:49 +02:00
  • 36d20696bf word: introduce use_all_aps() Alexandre Duret-Lutz 2019-05-24 21:42:42 +02:00
  • 90a88d0b5a tl: fix handling of f##[0:0]g, and of ##[0:n]g Alexandre Duret-Lutz 2019-05-20 20:59:33 +02:00
  • 66a3b6f7cb tl: fix the definition of ##[i:j] Alexandre Duret-Lutz 2019-05-19 09:12:59 +02:00
  • 60bdf5de19 translate: relabel_bool was ignored when option_map was not supplied Alexandre Duret-Lutz 2019-05-18 20:51:38 +02:00
  • 89fcd2b455 dot: replace large labels by "(label too long)" Alexandre Duret-Lutz 2019-05-18 13:46:33 +02:00
  • f476483f4a tl: add support for ##[+] and ##[*] Alexandre Duret-Lutz 2019-05-18 11:59:27 +02:00
  • b726d78cbd tl: new simplification rules Alexandre Duret-Lutz 2019-05-18 11:34:09 +02:00
  • 066133b829 tl: implement relabel_apply() Alexandre Duret-Lutz 2019-05-18 09:33:30 +02:00
  • e325289a12 simplify: more rules for first_match Alexandre Duret-Lutz 2019-05-10 22:54:55 +02:00
  • c6605e951d tl: add some simplifications for first_match Alexandre Duret-Lutz 2019-05-08 15:05:47 +02:00
  • b7cd475632 tl: first_match does not preserve syntactic_si Alexandre Duret-Lutz 2019-05-06 21:52:05 +02:00
  • ef8de879dc tut03: add missing operators Alexandre Duret-Lutz 2019-05-06 15:15:44 +02:00
  • 6fac026454 implement SVA's first_match operator Alexandre Duret-Lutz 2019-05-06 14:59:05 +02:00
  • caf1eaa4ce tl.pdf: add missing precedence and grammar rules Alexandre Duret-Lutz 2019-05-04 22:04:27 +02:00
  • 60d488b30c tl: add support for ##n and ##[i:j] from SVA Alexandre Duret-Lutz 2019-05-04 21:50:59 +02:00
  • 00f70257db Merge branch 'master' into next Alexandre Duret-Lutz 2019-04-27 06:30:08 +02:00
  • 09d9e0c52a Bump version to 2.7.4.dev Alexandre Duret-Lutz 2019-04-27 06:28:04 +02:00
  • 90e5f6ed7d Release Spot 2.7.4 Alexandre Duret-Lutz 2019-04-27 06:25:21 +02:00
  • ba89cb5db5 * THANKS: Add Victor Khomenko. Alexandre Duret-Lutz 2019-04-26 23:01:43 +02:00
  • 4d16c0760f formula: b* is siSERE Alexandre Duret-Lutz 2019-04-26 22:14:19 +02:00
  • 9e7e6d50fb formula: b* is siSERE Alexandre Duret-Lutz 2019-04-26 22:14:19 +02:00
  • d66eb84643 org: better sitemap Alexandre Duret-Lutz 2019-04-26 15:56:22 +02:00