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

Commit graph

  • d152b3a316 Fix parity solver if edgevector is not contiguous Philipp Schlehuber-Caissier 2023-03-30 14:32:26 +02:00
  • 0c34152a33 correctly fails if emacs needed and missing Alexandre Duret-Lutz 2023-03-29 17:01:13 +02:00
  • 039cd756d5 fix spurious test-case failure when Python is not installed Alexandre Duret-Lutz 2023-03-29 16:20:51 +02:00
  • 7a97a6080c * doc/tl/tl.tex: Typo in firstmatch semantics. Alexandre Duret-Lutz 2023-03-24 13:52:37 +01:00
  • 7a91cf78ec Ignore ltargz.m4 Philipp Schlehuber 2023-03-22 11:00:48 +01:00
  • e7e23d5ffc Adding option to solve parity games globally Philipp Schlehuber 2023-03-09 22:41:44 +01:00
  • 146942953a org: fix rendering of R examples for recent ESS/Org Alexandre Duret-Lutz 2023-03-03 00:14:18 +01:00
  • f117159ec4 * doc/org/tut03.org: Typos. Alexandre Duret-Lutz 2023-02-23 12:02:06 +01:00
  • 66839b1a29 bdd_to_formula: add CNF variant Alexandre Duret-Lutz 2023-02-23 11:53:07 +01:00
  • 8a5b86521c * NEWS: Remove duplicate entries. Alexandre Duret-Lutz 2023-02-16 17:48:49 +01:00
  • 4bd023e515 org: do not require org-install Alexandre Duret-Lutz 2023-02-16 17:46:51 +01:00
  • e16d82d5bd Merge branch 'master' into next Alexandre Duret-Lutz 2023-02-10 08:53:17 +01:00
  • e44cb5152a Bump version to 2.11.4.dev Alexandre Duret-Lutz 2023-02-10 08:51:29 +01:00
  • 50a58254a7 Release spot 2.11.4 Alexandre Duret-Lutz 2023-02-10 08:49:26 +01:00
  • 6fd0eebad4 to_finit: fix issue #526 Alexandre Duret-Lutz 2023-02-07 14:40:20 +01:00
  • a117fe1a22 to_finit: fix issue #526 Alexandre Duret-Lutz 2023-02-07 14:40:20 +01:00
  • 058975c167 dbranch: fix handling of state-based acceptance Alexandre Duret-Lutz 2023-02-03 09:35:46 +01:00
  • 43b4d80da1 dbranch: fix handling of state-based acceptance Alexandre Duret-Lutz 2023-02-03 09:35:46 +01:00
  • 5969aa4925 work around gcc-snapshot warnings about dangling references Alexandre Duret-Lutz 2023-01-30 17:51:48 +01:00
  • 2666072867 * .gitlab-ci.yml: Use pipeline id to name volumes. Alexandre Duret-Lutz 2023-01-24 15:54:39 +01:00
  • 126d9bc103 bin: fix number conversion routines on 32bit Alexandre Duret-Lutz 2023-01-24 15:48:06 +01:00
  • a1c02856ac autfilt: allow --highlight-word to work on Fin acceptance Alexandre Duret-Lutz 2023-01-24 11:35:14 +01:00
  • 315872a54b ltlsynt: typo in doc Florian Renkin 2023-01-20 15:57:46 +01:00
  • 9ca2927291 bin: update copyright year and laboratory name Alexandre Duret-Lutz 2023-01-23 16:07:49 +01:00
  • eae91e97cd robin_hood: update to version version 3.11.5 Alexandre Duret-Lutz 2023-01-23 15:25:06 +01:00
  • 7e1d684797 dbranch: fix handling of states without successors Alexandre Duret-Lutz 2023-01-23 11:59:49 +01:00
  • 39212bbcd2 more code smells Alexandre Duret-Lutz 2023-01-06 11:55:34 +01:00
  • 7b0507a950 bin: detect overflows in conversion functions Alexandre Duret-Lutz 2023-01-05 23:43:31 +01:00
  • 4a78d1bff4 fix some code smells reported by sonarcloud Alexandre Duret-Lutz 2023-01-05 23:34:10 +01:00
  • 36e79ecca6 * spot/twaalgos/game.cc: Fix incorrect std::forward. Alexandre Duret-Lutz 2023-01-05 17:49:00 +01:00
  • 344d82f2b4 simplify several comparison operators Alexandre Duret-Lutz 2023-01-05 17:48:14 +01:00
  • 403e55d555 * doc/org/spot.css: Do not define background twice. Alexandre Duret-Lutz 2023-01-05 17:47:46 +01:00
  • 104e98aca6 fix merging of initial states in state-based automata Alexandre Duret-Lutz 2023-01-04 15:11:21 +01:00
  • cab3ea7faf acd: rewrite Python wrapper without jQuery Alexandre Duret-Lutz 2022-12-09 12:04:15 +01:00
  • bdaa31ef21 work around gcc-snapshot warnings about dangling references Alexandre Duret-Lutz 2023-01-30 17:51:48 +01:00
  • d16183c053 * .gitlab-ci.yml: Use pipeline id to name volumes. Alexandre Duret-Lutz 2023-01-24 15:54:39 +01:00
  • 121d5e5524 bin: fix number conversion routines on 32bit Alexandre Duret-Lutz 2023-01-24 15:48:06 +01:00
  • e5150d0314 autfilt: allow --highlight-word to work on Fin acceptance Alexandre Duret-Lutz 2023-01-24 11:35:14 +01:00
  • 5b0143eba6 ltlsynt: typo in doc Florian Renkin 2023-01-20 15:57:46 +01:00
  • 60abfeb31f bin: update copyright year and laboratory name Alexandre Duret-Lutz 2023-01-23 16:07:49 +01:00
  • 3aba452b5b robin_hood: update to version version 3.11.5 Alexandre Duret-Lutz 2023-01-23 15:25:06 +01:00
  • a9c457f93f dbranch: fix handling of states without successors Alexandre Duret-Lutz 2023-01-23 11:59:49 +01:00
  • 09bbaa1e41 more code smells Alexandre Duret-Lutz 2023-01-06 11:55:34 +01:00
  • 96c3972c5c bin: detect overflows in conversion functions Alexandre Duret-Lutz 2023-01-05 23:43:31 +01:00
  • 05edab3f5a fix some code smells reported by sonarcloud Alexandre Duret-Lutz 2023-01-05 23:34:10 +01:00
  • 716bb781eb * spot/twaalgos/game.cc: Fix incorrect std::forward. Alexandre Duret-Lutz 2023-01-05 17:49:00 +01:00
  • 2ba6fba29f simplify several comparison operators Alexandre Duret-Lutz 2023-01-05 17:48:14 +01:00
  • 16ad7bdf77 * doc/org/spot.css: Do not define background twice. Alexandre Duret-Lutz 2023-01-05 17:47:46 +01:00
  • 396009c014 parseaut: better merge of multiple initial states Alexandre Duret-Lutz 2023-01-05 15:09:26 +01:00
  • daf797b9d4 fix merging of initial states in state-based automata Alexandre Duret-Lutz 2023-01-04 15:11:21 +01:00
  • c9ba998200 avoid a g++-12 warning about potential null pointer dereference Alexandre Duret-Lutz 2022-12-09 16:35:05 +01:00
  • ba695194cd priv: remove unused allocator.hh Alexandre Duret-Lutz 2022-12-09 16:22:06 +01:00
  • d0b1508831 acd: rewrite Python wrapper without jQuery Alexandre Duret-Lutz 2022-12-09 12:04:15 +01:00
  • 427f667f9f lazy eval for sat mealy minimization Philipp Schlehuber-Caissier 2022-10-06 22:03:28 +02:00
  • 6e2e7c942e Using partitioned_relabel_here Philipp Schlehuber-Caissier 2022-11-29 14:58:26 +01:00
  • fb63dfc309 introduce partitioned_relabel_here Philipp Schlehuber-Caissier 2022-11-29 14:01:45 +01:00
  • b02d8328ee Merge branch 'master' into next Alexandre Duret-Lutz 2022-12-09 09:43:56 +01:00
  • 09e147ee4b * NEWS, configure.ac: Bump version to 2.11.3.dev. Alexandre Duret-Lutz 2022-12-09 09:43:18 +01:00
  • d7feeca13e Release Spot 2.11.3 Alexandre Duret-Lutz 2022-12-09 09:40:27 +01:00
  • 1248d326aa Work around spurious g++-12 warnings Alexandre Duret-Lutz 2022-12-08 17:27:32 +01:00
  • 720c380412 formula: new trivial simplifications Alexandre Duret-Lutz 2022-12-08 13:54:19 +01:00
  • 8ed9e3381f formula: introduce one_plus(), and saturate predefined formulas Alexandre Duret-Lutz 2022-12-08 11:51:07 +01:00
  • 4629d074ab Fix semantics of [*i..j] and [:*i..j] Alexandre Duret-Lutz 2022-12-07 11:26:51 +01:00
  • 5dbf601afb * NEWS: Typos. Alexandre Duret-Lutz 2022-12-06 16:07:21 +01:00
  • 37d4e513d9 game: fix appending strategies bug Philipp Schlehuber-Caissier 2022-11-27 01:16:46 +01:00
  • 86c433cf80 mealy: fix incorrect assertion Philipp Schlehuber-Caissier 2022-12-01 13:26:53 +01:00
  • 6b70edabf0 getopt: do not include sys/cdefs.h to please Alpine Linux Alexandre Duret-Lutz 2022-12-02 17:30:29 +01:00
  • 29037c1f55 autfilt: print match count even on parse errors Alexandre Duret-Lutz 2022-12-02 15:22:32 +01:00
  • a032abf0c5 parseaut: diagnose states that are unused and undefined Alexandre Duret-Lutz 2022-12-02 14:44:03 +01:00
  • cfe1b0b70d configure: --with-pythondir should also override pyexecdir Alexandre Duret-Lutz 2022-11-17 11:14:32 +01:00
  • c2a3f2941d ltl_to_tgba_fm: fix a memory leak on abort Alexandre Duret-Lutz 2022-11-15 17:50:45 +01:00
  • 843c4cdb91 translate, simplify: limit containment checks of n-ary operators Alexandre Duret-Lutz 2022-11-15 17:27:10 +01:00
  • f2c65ea557 simplify: set exprop=false during containment checks Alexandre Duret-Lutz 2022-11-15 16:59:21 +01:00
  • a6c65dff8d misc Doxygen fixes Alexandre Duret-Lutz 2022-11-08 15:52:02 +01:00
  • 0f4f7ec287 * debian/copyright: Fix download URL. Alexandre Duret-Lutz 2022-11-08 15:51:27 +01:00
  • b36cee06a1 adjust to Swig 4.1.0 Alexandre Duret-Lutz 2022-11-07 16:24:33 +01:00
  • 6dc740184c * tests/sanity/style.test: Fix recent grep warnings. Alexandre Duret-Lutz 2022-11-07 09:37:26 +01:00
  • 5c5133348e mealy: improve error reporting Alexandre Duret-Lutz 2022-11-04 18:20:29 +01:00
  • fafe40c530 fix namespace for exception errors Alexandre Duret-Lutz 2022-11-04 17:11:51 +01:00
  • 17a959aa29 Bump version to 2.11.2.dev Alexandre Duret-Lutz 2022-10-26 11:24:20 +02:00
  • 66aaa11580 Release Spot 2.11.2 Alexandre Duret-Lutz 2022-10-26 11:15:39 +02:00
  • c312a05bbd do not use id for animating the logo Alexandre Duret-Lutz 2022-10-26 10:03:29 +02:00
  • 0a710eb995 declare all argp_program_doc as static Alexandre Duret-Lutz 2022-10-25 16:31:35 +02:00
  • 65bc67f300 relabel_here: make sure free_bddpair is called Alexandre Duret-Lutz 2022-10-25 11:53:05 +02:00
  • 0ecc870a0e [buddy] Add a default_deleter for bddPair Alexandre Duret-Lutz 2022-10-25 11:52:03 +02:00
  • 0ba6949f7d use bdd_restrict more Alexandre Duret-Lutz 2022-10-20 10:48:01 +02:00
  • de29ba9e4c stats: add options to count unreachable states and transitions Alexandre Duret-Lutz 2022-10-19 16:30:00 +02:00
  • 52ed3d1e8f * bin/common_aoutput.cc: Missing space in doc string. Alexandre Duret-Lutz 2022-10-19 14:54:34 +02:00
  • c4a33d3457 add a .mailmap for git Alexandre Duret-Lutz 2022-10-18 17:34:13 +02:00
  • 67722db78f reduce_parity: expose the internal vectors of colors Alexandre Duret-Lutz 2022-10-14 17:55:36 +02:00
  • b0c299b9e9 reduce_parity: add layered option Alexandre Duret-Lutz 2022-10-14 16:41:26 +02:00
  • eb2616efaa * .gitlab-ci.yml (debian-unstable-gcc-coverage): Disable devel mode. Alexandre Duret-Lutz 2022-10-14 09:44:17 +02:00
  • 179672fe3b relabel: fix handling of concat and fusion Alexandre Duret-Lutz 2022-10-13 11:34:38 +02:00
  • 666d78d499 * doc/org/init.el.in: Typo in comment. Alexandre Duret-Lutz 2022-10-13 11:22:14 +02:00
  • 7f6e3c2bf8 * NEWS: Add news entry for previous fix. Alexandre Duret-Lutz 2022-10-13 11:21:50 +02:00
  • da356f1142 substitute @LIBSPOT_PTHREAD@ in spot/libspot.pc Alexandre Duret-Lutz 2022-10-11 15:34:09 +02:00
  • bfb8f0a078 * .gitlab-ci.yml: Fail if coverage goes below 90.7%. Alexandre Duret-Lutz 2022-10-11 15:06:54 +02:00
  • dae46567e7 org: work around newer org-mode not displaying SVG as <object> Alexandre Duret-Lutz 2022-10-11 14:54:24 +02:00
  • 9de5455552 fix some typos Alexandre Duret-Lutz 2022-10-11 13:28:15 +02:00
  • 583ca38d91 replace bdd_relprod by bdd_restrict Alexandre Duret-Lutz 2022-10-11 10:43:27 +02:00