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

Commit graph

  • e076645382 update obsolete autoconf constructs Alexandre Duret-Lutz 2021-01-12 16:11:12 +01:00
  • e497ee26dd require Autoconf 2.69 for building from git Alexandre Duret-Lutz 2021-01-12 09:20:14 +01:00
  • da869b7ddf * debian/copyright: Add missing licenses for m4/ files. Alexandre Duret-Lutz 2021-01-11 19:43:13 +01:00
  • 92ce384c80 fix compilation of core/bricks with clang++10 Alexandre Duret-Lutz 2021-01-11 19:27:37 +01:00
  • 170a4ac164 * doc/org/oaut.org: Fix two broken displays of results. Alexandre Duret-Lutz 2021-01-07 09:49:47 +01:00
  • 449c1a582a bump copyright year Alexandre Duret-Lutz 2021-01-05 12:51:45 +01:00
  • 1d8b00cf4c * lib/.gitignore: More files to ignore. Alexandre Duret-Lutz 2021-01-05 12:54:47 +01:00
  • 4a626c34e7 * doc/org/install.org: apt-key is deprecated in Bullseye. Alexandre Duret-Lutz 2021-01-05 12:54:28 +01:00
  • 8785f5a74b bin: add support for -b/--buchi Alexandre Duret-Lutz 2020-12-15 17:55:39 +01:00
  • 7c6b35313a translate: Correct the choice of the automaton with the fewest colors Florian Renkin 2020-12-16 12:51:40 +01:00
  • 7e2f091839 determinize: do not copy the "incomplete" property Alexandre Duret-Lutz 2020-12-14 22:55:37 +01:00
  • f6be083050 determinize: don't emit colors for temporary braces Alexandre Duret-Lutz 2020-12-14 22:48:51 +01:00
  • 142460628c translate: add support for -x exprop Alexandre Duret-Lutz 2020-12-14 15:53:19 +01:00
  • 71f1928052 propagate: fix constness of scc_info argument Alexandre Duret-Lutz 2020-12-14 13:11:59 +01:00
  • 9a17f5676c game: rewrite, document, and rename solve_reachability_game Alexandre Duret-Lutz 2020-12-09 17:18:20 +01:00
  • 05449a42d3 move game.cc from misc/ to twaalgos/ Alexandre Duret-Lutz 2020-12-09 16:47:18 +01:00
  • 459088b887 game: add solve_reachability_game Jerome Dubois 2020-09-25 10:29:54 +02:00
  • 2d6c7ac045 minimize_wdba: improve handling of terminal automata Alexandre Duret-Lutz 2020-12-08 20:02:33 +01:00
  • 48edfd80c2 powerset: deal with accepting sinks more effectively Alexandre Duret-Lutz 2020-12-08 17:55:50 +01:00
  • eeaed5592f fix ignored aborter in WDBA-minimization Alexandre Duret-Lutz 2020-12-08 11:56:29 +01:00
  • 9da0b3a1c4 * NEWS: Typo. Alexandre Duret-Lutz 2020-12-08 10:42:45 +01:00
  • 8ac9684a69 debian: do not install README in both spot and spot-doc Alexandre Duret-Lutz 2020-11-27 09:31:27 +01:00
  • 83e8886d60 * .gitlab-ci.yml: Remove reference to registry.lrde.epita.fr. Alexandre Duret-Lutz 2020-11-26 11:51:30 +01:00
  • c8a32f62c7 debian: use -flto=jobserver. Alexandre Duret-Lutz 2020-11-26 09:58:51 +01:00
  • 8d2155d632 debian: upgrade dh-compat and standards versions Alexandre Duret-Lutz 2020-11-25 13:25:13 +01:00
  • b2d88d7153 * spot/twa/twagraph: Fix undefined behavior. Jerome Dubois 2020-11-23 09:58:20 +01:00
  • 97eedd7c5c simulation: remove unnecessary iteration Alexandre Duret-Lutz 2020-11-24 16:24:44 +01:00
  • fb224d3f63 twagraph: fix merge_edges() ignoring the first edge Alexandre Duret-Lutz 2020-11-24 15:55:36 +01:00
  • 71060db9dd timer: use monotonic clock and accumulate walltime Antoine Martin 2020-11-17 16:28:39 +01:00
  • d7871e549e Merge branch 'master' into next Alexandre Duret-Lutz 2020-11-19 10:47:02 +01:00
  • c5c8e8c516 * NEWS, configure.ac: Bump version. Alexandre Duret-Lutz 2020-11-19 10:42:46 +01:00
  • a5385bb886 Release Spot 2.9.5 Alexandre Duret-Lutz 2020-11-19 10:39:43 +01:00
  • aecdab7ba7 * NEWS: Update for recent fixes. Alexandre Duret-Lutz 2020-11-08 14:20:17 +01:00
  • bcd88df0fe python: rename aux.py to aux_.py Alexandre Duret-Lutz 2020-11-08 12:04:55 +01:00
  • ffc0138ed6 python: rename aux.py to aux_.py Alexandre Duret-Lutz 2020-11-08 12:04:55 +01:00
  • 5ea20db6b4 ltlsmin: fix incorrect check for dlsym error Alexandre Duret-Lutz 2020-10-17 20:39:34 +02:00
  • 7697adf645 org: work around ESS issue 1052 Alexandre Duret-Lutz 2020-10-07 09:45:55 +02:00
  • 53a68f99f4 org: various improvements Alexandre Duret-Lutz 2020-09-28 17:59:55 +02:00
  • 4ca2f394e4 org: fix local export Alexandre Duret-Lutz 2020-09-23 17:53:18 +02:00
  • ef41b6af56 tests: do not override DYLD_LIBRARY_PATH Alexandre Duret-Lutz 2020-09-23 13:25:58 +02:00
  • 5401d4c8ce tests: fix import of libspotgen on Darwin Alexandre Duret-Lutz 2020-09-23 13:13:28 +02:00
  • a4978ed33d Update HACKING Alexandre Duret-Lutz 2020-09-23 11:35:11 +02:00
  • 66944e866f tests: fix non-portable use of sed Alexandre Duret-Lutz 2020-09-23 11:31:45 +02:00
  • c57a147d3d tests: use $PERL instead of perl Alexandre Duret-Lutz 2020-09-23 11:06:03 +02:00
  • 23709101c5 tests: replace non-portable use of sed by $PERL Alexandre Duret-Lutz 2020-09-23 11:01:05 +02:00
  • 59124f9178 minimize_wdba: avoid memory leak Alexandre Duret-Lutz 2020-09-15 12:28:30 +02:00
  • 579708543e * AUTHORS: Add myself. Jerome Dubois 2020-09-16 10:23:54 +02:00
  • d342d4c6fd python: add check for panda Jerome Dubois 2020-09-15 15:30:42 +02:00
  • b30521351b * .gitlab-ci.yml: Fix images names. Alexandre Duret-Lutz 2020-09-13 10:57:50 +02:00
  • b5c20f72f6 i386 Debian builds need x86 builders Alexandre Duret-Lutz 2020-09-11 10:06:48 +02:00
  • 43e9050b83 org: greatly reduce the size of satmin.svg Alexandre Duret-Lutz 2020-09-10 14:04:33 +02:00
  • af800182c5 minify SVG images if possible Alexandre Duret-Lutz 2020-09-10 11:22:24 +02:00
  • 14a992bb89 ltlsmin: fix incorrect check for dlsym error Alexandre Duret-Lutz 2020-10-17 20:39:34 +02:00
  • 43bd39f13f revert a7842ac for building static modelcheck Etienne Renault 2020-10-09 11:33:40 +02:00
  • eb7097ba78 org: work around ESS issue 1052 Alexandre Duret-Lutz 2020-10-07 09:45:55 +02:00
  • 9cc1bdf10f postprocess, translate: add support for Büchi (not state-based) Alexandre Duret-Lutz 2020-10-06 17:46:34 +02:00
  • 72c492b0cf org: various improvements Alexandre Duret-Lutz 2020-09-28 17:59:55 +02:00
  • 29055c8109 Improving split and reorganizing philipp 2020-09-24 16:25:53 +02:00
  • ca043bd62d game: mention Oink Alexandre Duret-Lutz 2020-09-24 15:41:20 +02:00
  • 324b0872a4 game: let highlight_strategy work for non-parity games Alexandre Duret-Lutz 2020-09-24 13:28:29 +02:00
  • 392c1a0ec3 game: fix handling of useless SCCs Alexandre Duret-Lutz 2020-09-24 12:18:14 +02:00
  • 2f819e5034 org: fix local export Alexandre Duret-Lutz 2020-09-23 17:53:18 +02:00
  • 7b2e32e291 tests: do not override DYLD_LIBRARY_PATH Alexandre Duret-Lutz 2020-09-23 13:25:58 +02:00
  • 2a7bbb1cdc tests: fix import of libspotgen on Darwin Alexandre Duret-Lutz 2020-09-23 13:13:28 +02:00
  • 3d2cac7275 Update HACKING Alexandre Duret-Lutz 2020-09-23 11:35:11 +02:00
  • b43f378db5 tests: fix non-portable use of sed Alexandre Duret-Lutz 2020-09-23 11:31:45 +02:00
  • b0730852bf tests: use $PERL instead of perl Alexandre Duret-Lutz 2020-09-23 11:06:03 +02:00
  • 3a6d967872 tests: replace non-portable use of sed by $PERL Alexandre Duret-Lutz 2020-09-23 11:01:05 +02:00
  • 133896d584 game: reimplement parity game solving philipp 2020-09-22 20:45:34 +02:00
  • f6ac69d0d2 * spot/misc/common.hh: Require C++17 and simplify some macros. Alexandre Duret-Lutz 2020-09-21 14:19:07 +02:00
  • ea3e396427 * AUTHORS: Add Philipp. Alexandre Duret-Lutz 2020-09-18 16:30:09 +02:00
  • 0d43bedacb game: reimplement print_aiger philipp 2020-06-10 18:12:47 +02:00
  • f5965966e9 translator: add tls-max-states option Alexandre Duret-Lutz 2020-09-17 20:49:23 +02:00
  • 9d7e6386e4 python: reduce automata width to prevent overflows with Jupyter Alexandre Duret-Lutz 2020-09-17 10:25:00 +02:00
  • 69c821154c postproc: add simul-max and wdba-det-max options Alexandre Duret-Lutz 2020-09-15 16:57:33 +02:00
  • a814334342 minimize_wdba: avoid memory leak Alexandre Duret-Lutz 2020-09-15 12:28:30 +02:00
  • 5fc026ed13 * AUTHORS: Add myself. Jerome Dubois 2020-09-16 10:23:54 +02:00
  • 229be9a5db python: add check for panda Jerome Dubois 2020-09-15 15:30:42 +02:00
  • ae7d4504cd game: Add set_state_player() and get_state_player() Jerome Dubois 2020-09-15 14:26:11 +02:00
  • 0339e1fec8 * .gitlab-ci.yml: Fix images names. Alexandre Duret-Lutz 2020-09-13 10:57:50 +02:00
  • 64b82d25f3 i386 Debian builds need x86 builders Alexandre Duret-Lutz 2020-09-11 10:06:48 +02:00
  • ef1c49dafd org: greatly reduce the size of satmin.svg Alexandre Duret-Lutz 2020-09-10 14:04:33 +02:00
  • 5f253d1665 minify SVG images if possible Alexandre Duret-Lutz 2020-09-10 11:22:24 +02:00
  • 760bde093b python: add some parity-game bindings Alexandre Duret-Lutz 2020-09-09 15:26:59 +02:00
  • 9e8a842975 game: make a propagate_players() function public Alexandre Duret-Lutz 2020-09-08 22:25:24 +02:00
  • 41d088ea95 dot: add support for two-player games Alexandre Duret-Lutz 2020-09-08 16:52:22 +02:00
  • ea9384dd4b extend HOA I/O to preserve the state-player property Alexandre Duret-Lutz 2020-09-08 16:25:36 +02:00
  • 25c75c55b1 game: git rid of the parity_game class Alexandre Duret-Lutz 2020-09-07 17:41:11 +02:00
  • 6379d9889f * doc/org/spot.css: Remove margin-bottom from pre.example. Alexandre Duret-Lutz 2020-09-07 16:05:19 +02:00
  • a266f726c6 * doc/org/spot.css: Remove margin-bottom from pre.example. Alexandre Duret-Lutz 2020-09-07 16:05:19 +02:00
  • 2879c1d8e2 Merge branch 'master' into next Alexandre Duret-Lutz 2020-09-07 10:56:24 +02:00
  • 9a3c809f10 * NEWS, configure.ac: Bump version to 2.9.4.dev. Alexandre Duret-Lutz 2020-09-07 10:56:01 +02:00
  • b956bfe90f Release Spot 2.9.4 Alexandre Duret-Lutz 2020-09-07 10:50:01 +02:00
  • 46b11baf05 * .gitlab-ci.yml: Update docker images, for buildenv#1. Alexandre Duret-Lutz 2020-09-03 14:45:07 +02:00
  • b0f8170055 * .gitlab-ci.yml: Update docker images, for buildenv#1. Alexandre Duret-Lutz 2020-09-03 14:45:07 +02:00
  • 33a79a34d3 Fix typo Florian Renkin 2020-09-01 17:25:31 +02:00
  • 149fbb73bf configure.ac: Correct warning message Florian Renkin 2020-09-01 17:19:44 +02:00
  • af81266877 Fix typo Florian Renkin 2020-09-01 17:25:31 +02:00
  • d2e7cdb377 configure.ac: Correct warning message Florian Renkin 2020-09-01 17:19:44 +02:00
  • 6f76121b89 [buddy] get rid of many recursive algorithms Alexandre Duret-Lutz 2020-06-08 22:19:17 +02:00