Commit graph

  • 09e4ab74a1 twa_run: reduce now diagnoses rejecting runs Alexandre Duret-Lutz 2021-07-07 17:20:33 +02:00
  • f493f72015 * spot.spec.in: Adjust names of Python libs. Alexandre Duret-Lutz 2021-07-07 13:11:46 +02:00
  • 1679d05bcd fix a gcc-snapshot -Wnoexcept diagnostic Alexandre Duret-Lutz 2021-07-05 16:00:57 +02:00
  • c5424e1c84 have a CI build with PyPy Alexandre Duret-Lutz 2021-07-05 15:01:06 +02:00
  • 058fdf1dc6 * spot/misc/bitset.hh (operator-=): Simplify sightly. Alexandre Duret-Lutz 2021-07-05 14:15:34 +02:00
  • b01bc62f52 bitset: fix implementation of operator-() Alexandre Duret-Lutz 2021-07-05 14:12:58 +02:00
  • 3d79022abb adjust some python tests to work with PyPy Alexandre Duret-Lutz 2021-06-29 23:16:40 +02:00
  • 47348a9755 improve PyPy support by following PEP 3149 Alexandre Duret-Lutz 2021-06-29 21:10:13 +02:00
  • d43f23b423 org: we have a conda-forge package. Alexandre Duret-Lutz 2021-06-29 11:54:17 +02:00
  • 7c5f81e3bb work around a null pointer dereference error Alexandre Duret-Lutz 2021-06-21 11:42:36 +02:00
  • ba0c8e8a29 use <cassert> and not <assert.h> in C++ Alexandre Duret-Lutz 2021-06-15 12:34:15 +02:00
  • 826577c81e * spot/twacube_algos/convert.cc: Avoid unnecessary std::function. Alexandre Duret-Lutz 2021-06-15 12:27:15 +02:00
  • 12cdf0d33d * README: Update documentation for --enable-c++20. Alexandre Duret-Lutz 2021-06-15 12:21:53 +02:00
  • b8c7eb7f2b fix some typos in the spot-x man page Alexandre Duret-Lutz 2021-06-14 10:04:30 +02:00
  • 08c2424e2e ltlfilt: fix a typo in the --help text Alexandre Duret-Lutz 2021-06-11 11:48:40 +02:00
  • 99241d0bea typos: coma -> comma Alexandre Duret-Lutz 2021-06-11 11:46:55 +02:00
  • e6055c57a7 [buddy] typo coma -> comma Alexandre Duret-Lutz 2021-06-11 11:46:27 +02:00
  • 4965aad0c2 * spot/misc/bddlt.hh: Use bdd_stable_cmp, just added to BuDDy. Alexandre Duret-Lutz 2021-06-10 18:01:01 +02:00
  • 9ed2682f67 [buddy] introduce bdd_stable_cmp Alexandre Duret-Lutz 2021-06-10 17:59:38 +02:00
  • edfcd5b0d8 merge_states: fix segfault reported by Philipp Alexandre Duret-Lutz 2021-05-31 15:59:31 +02:00
  • 634dd28379 merge_states: include sorting and detection of identical self-loops Alexandre Duret-Lutz 2021-05-17 18:30:16 +02:00
  • e12f22f82a * spot/graph/graph.hh (chain_edges_): Typo in doc. Alexandre Duret-Lutz 2021-05-17 18:14:32 +02:00
  • e53265dd44 Merge branch 'master' into next Alexandre Duret-Lutz 2021-05-12 16:42:06 +02:00
  • 30e82e7b1f Bump version to 2.9.7.dev Alexandre Duret-Lutz 2021-05-12 15:56:02 +02:00
  • bc768a7157 Release Spot 2.9.7 Alexandre Duret-Lutz 2021-05-12 11:20:37 +02:00
  • d3df766e56 org: add missing :exports results :results silent Alexandre Duret-Lutz 2021-05-11 18:25:55 +02:00
  • 6253885af7 improve documentation for -x sat-minimize Alexandre Duret-Lutz 2021-04-19 16:46:30 +02:00
  • caca8728fe * spot/twa/twagraph.cc (remove_unused_ap): Remove unused variable. Alexandre Duret-Lutz 2021-04-15 16:02:39 +02:00
  • 7ef69fa15b * doc/tl/tl.tex: Typo reported by Florian. Alexandre Duret-Lutz 2021-03-03 14:13:55 +01:00
  • 084964a9ff autfilt: fix incorrect diagnostic Alexandre Duret-Lutz 2021-02-19 15:58:49 +01:00
  • cad3d7706c twagraph: improve doc Alexandre Duret-Lutz 2021-02-18 22:15:58 +01:00
  • 4d23b7b770 work around a GraphViz 2.60.0 bug Alexandre Duret-Lutz 2021-02-03 17:10:41 +01:00
  • 244e3a9731 fix eventual/universal properties for ->/<->/xor Alexandre Duret-Lutz 2021-02-03 12:20:42 +01:00
  • b6c4145599 merge_edge: clarify documentation Alexandre Duret-Lutz 2021-01-20 22:18:42 +01:00
  • fe007b9de3 * doc/org/setup.org: Fix last release date. Alexandre Duret-Lutz 2021-01-18 18:19:23 +01:00
  • 9a5a2836a9 org: add missing :exports results :results silent Alexandre Duret-Lutz 2021-05-11 18:25:55 +02:00
  • 23323b743f postproc: introduce dba-simul, and have simul=0 disable all *-simul Alexandre Duret-Lutz 2021-05-03 12:57:56 +02:00
  • 0744052bc0 remove a useless test Alexandre Duret-Lutz 2021-04-29 17:29:01 +02:00
  • d32f19f5d0 postproc: add support for -x dpa-simul and simul-trans-pruning Alexandre Duret-Lutz 2021-04-29 17:24:26 +02:00
  • fca6513604 simulation: fix merging transiant SCCs Alexandre Duret-Lutz 2021-04-19 23:38:50 +02:00
  • cfa3417449 improve documentation for -x sat-minimize Alexandre Duret-Lutz 2021-04-19 16:46:30 +02:00
  • 803a61a03d parse_aut: add support for #line Alexandre Duret-Lutz 2021-04-16 18:04:41 +02:00
  • 093de290c1 python: add binding for spot::twa::prop_set Alexandre Duret-Lutz 2021-04-16 15:56:45 +02:00
  • b4b4730ecb * .gitlab-ci.yml (before_script): Ignore a missing */cpuset.cpus. Alexandre Duret-Lutz 2021-04-15 16:08:00 +02:00
  • 85581d7c3a * spot/twa/twagraph.cc (remove_unused_ap): Remove unused variable. Alexandre Duret-Lutz 2021-04-15 16:02:39 +02:00
  • 2a38328a5c replace bdd_satoneset(x,y,bddtrue) loops by minterms_of(x,y) Alexandre Duret-Lutz 2021-04-14 17:31:45 +02:00
  • d54dca610e replace bdd_satoneset(x,y,bddfalse) loops by minterms_of(x,y) Alexandre Duret-Lutz 2021-04-12 19:07:25 +02:00
  • f3c42596aa split_edges: actually use the cache, and minterms_of() Alexandre Duret-Lutz 2021-04-06 21:26:07 +02:00
  • c58aa678ec test minterms_of enumerator Alexandre Duret-Lutz 2021-04-06 21:22:34 +02:00
  • d2fe46136a [buddy] introduce minterm enumeration support Alexandre Duret-Lutz 2021-04-06 21:17:09 +02:00
  • ec4deb3219 split: Improve performance of split_edges() Jerome Dubois 2021-01-22 20:45:34 +01:00
  • b082df201f postproc: Add the new simulation in do_simul() Jerome Dubois 2021-02-19 17:09:22 +01:00
  • fb066ada0a simulation: Add simulation based reduction Jerome Dubois 2020-09-25 10:32:12 +02:00
  • 535d4555e5 bricks: fix the test-suite Alexandre Duret-Lutz 2021-03-24 10:04:38 +01:00
  • 64be4dc814 * doc/tl/tl.tex: Typo reported by Florian. Alexandre Duret-Lutz 2021-03-03 14:13:55 +01:00
  • caa960d857 twagraph: new kill_state method Alexandre Duret-Lutz 2021-02-19 16:31:49 +01:00
  • da0dd4c534 autfilt: fix incorrect diagnostic Alexandre Duret-Lutz 2021-02-19 15:58:49 +01:00
  • 7a56ae958e defrag_states: do not take the argument by rvalue ref Alexandre Duret-Lutz 2021-02-18 23:30:40 +01:00
  • 0b048e1c05 twagraph: improve doc Alexandre Duret-Lutz 2021-02-18 22:15:58 +01:00
  • 57b508c767 work around a GraphViz 2.60.0 bug Alexandre Duret-Lutz 2021-02-03 17:10:41 +01:00
  • c06e15e085 fix eventual/universal properties for ->/<->/xor Alexandre Duret-Lutz 2021-02-03 12:20:42 +01:00
  • 93d8f43285 translate: speed up some -G -D cases Alexandre Duret-Lutz 2021-01-27 11:03:11 +01:00
  • 238a9ffc1d merge_edge: clarify documentation Alexandre Duret-Lutz 2021-01-20 22:18:42 +01:00
  • 2072151499 twa_graph: swap the two passes of merge_edges() Alexandre Duret-Lutz 2021-01-19 20:58:04 +01:00
  • e8e31c2723 * doc/org/setup.org: Fix last release date. Alexandre Duret-Lutz 2021-01-18 18:19:23 +01:00
  • 2b51861953 Merge branch 'master' into next Alexandre Duret-Lutz 2021-01-18 11:15:25 +01:00
  • e5b90a8e00 * NEWS, configure.ac: Bump version to 2.9.6.dev. Alexandre Duret-Lutz 2021-01-18 11:09:49 +01:00
  • 93ea0e34b0 Release Spot 2.9.6 Alexandre Duret-Lutz 2021-01-18 11:05:03 +01:00
  • 507c4a509c * NEWS: Update for recent changes. Alexandre Duret-Lutz 2021-01-18 09:30:33 +01:00
  • f0e1ea1931 * .gitlab-ci.yml (alpine-gcc): Do not run both check and distcheck. Alexandre Duret-Lutz 2021-01-17 20:47:51 +01:00
  • 171c67c091 gfguarantee: fix automaton modification during iteration Alexandre Duret-Lutz 2021-01-17 20:44:33 +01:00
  • 91fc622d00 python: fix incorrect assertions on temporary objects Alexandre Duret-Lutz 2021-01-17 18:27:52 +01:00
  • b7accdcf0d * tests/python/ipnbdoctest.py: Work around failures on Fedora. Alexandre Duret-Lutz 2021-01-16 16:32:48 +01:00
  • a820c58e74 patch gnulib to accomodate autoconf 2.70 Alexandre Duret-Lutz 2021-01-14 15:29:48 +01:00
  • d779395db6 update obsolete autoconf constructs Alexandre Duret-Lutz 2021-01-12 16:11:12 +01:00
  • 7efdd497a8 require Autoconf 2.69 for building from git Alexandre Duret-Lutz 2021-01-12 09:20:14 +01:00
  • 4522891f13 * doc/org/oaut.org: Fix two broken displays of results. Alexandre Duret-Lutz 2021-01-07 09:49:47 +01:00
  • 0df98b33b0 bump copyright year Alexandre Duret-Lutz 2021-01-05 12:51:45 +01:00
  • 319204e868 * lib/.gitignore: More files to ignore. Alexandre Duret-Lutz 2021-01-05 12:54:47 +01:00
  • 26c232759e * doc/org/install.org: apt-key is deprecated in Bullseye. Alexandre Duret-Lutz 2021-01-05 12:54:28 +01:00
  • b16192ae19 translate: Correct the choice of the automaton with the fewest colors Florian Renkin 2020-12-16 12:51:40 +01:00
  • 3dfe0dad24 determinize: do not copy the "incomplete" property Alexandre Duret-Lutz 2020-12-14 22:55:37 +01:00
  • b073e70880 propagate: fix constness of scc_info argument Alexandre Duret-Lutz 2020-12-14 13:11:59 +01:00
  • 20e52cf7a5 * NEWS: Typo. Alexandre Duret-Lutz 2020-12-08 10:42:45 +01:00
  • a7d5d00f71 debian: do not install README in both spot and spot-doc Alexandre Duret-Lutz 2020-11-27 09:31:27 +01:00
  • 05d2f5fe37 * .gitlab-ci.yml: Remove reference to registry.lrde.epita.fr. Alexandre Duret-Lutz 2020-11-26 11:51:30 +01:00
  • 791daed851 debian: use -flto=jobserver. Alexandre Duret-Lutz 2020-11-26 09:58:51 +01:00
  • 75b95fd0f4 debian: upgrade dh-compat and standards versions Alexandre Duret-Lutz 2020-11-25 13:25:13 +01:00
  • adce0d2bfd * spot/twa/twagraph: Fix undefined behavior. Jerome Dubois 2020-11-23 09:58:20 +01:00
  • 6fd9717fbb simulation: remove unnecessary iteration Alexandre Duret-Lutz 2020-11-24 16:24:44 +01:00
  • 30b165d821 twagraph: fix merge_edges() ignoring the first edge Alexandre Duret-Lutz 2020-11-24 15:55:36 +01:00
  • 013eef7499 * .gitlab-ci.yml (alpine-gcc): Do not run both check and distcheck. Alexandre Duret-Lutz 2021-01-17 20:47:51 +01:00
  • 7a9f0a3fd9 gfguarantee: fix automaton modification during iteration Alexandre Duret-Lutz 2021-01-17 20:44:33 +01:00
  • 44c074bbad python: fix incorrect assertions on temporary objects Alexandre Duret-Lutz 2021-01-17 18:27:52 +01:00
  • 8e8f77756d gen, bitset: use clz() to simplify Alexandre Duret-Lutz 2021-01-17 16:09:14 +01:00
  • d1cc45f223 clz: inline the implementation Alexandre Duret-Lutz 2021-01-17 16:00:16 +01:00
  • a8ee291abe * tests/python/ipnbdoctest.py: Work around failures on Fedora. Alexandre Duret-Lutz 2021-01-16 16:32:48 +01:00
  • 99bc0f998f * .gitlab-ci.yml (before_script): Debug parallelization settings. Alexandre Duret-Lutz 2021-01-16 11:07:48 +01:00
  • 094a6fa57e patch gnulib to accomodate autoconf 2.70 Alexandre Duret-Lutz 2021-01-14 15:29:48 +01:00
  • 06b5a82950 [buddy] update obsolete autoconf constructs Alexandre Duret-Lutz 2021-01-12 16:12:51 +01:00