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

Commit graph

  • d919b78c89 simulation: do not purge unreachable states when recording implications Alexandre Duret-Lutz 2016-11-01 09:03:22 +01:00
  • adc40fdcb6 ltlsmin: revert part of 630e90b9 Alexandre Duret-Lutz 2016-10-30 08:13:37 +01:00
  • 40ed12050b parsetl: fix crash in debug-mode Alexandre Duret-Lutz 2016-10-29 13:13:09 +02:00
  • a5fb5784f6 print: fix str_sere() and str_utf8_sere(), as found by PVS-Studio Alexandre Duret-Lutz 2016-10-28 23:07:20 +02:00
  • 24d19a6703 bitvect: do not leak on realloc failure, flagged by PVS-Studio Alexandre Duret-Lutz 2016-10-28 23:06:35 +02:00
  • 288f6ead9f randomltl: fix initialization of the simplifier, caught by PVS-Studio Alexandre Duret-Lutz 2016-10-28 23:05:35 +02:00
  • c31ba658bf optionmap: remove superfluous code Alexandre Duret-Lutz 2016-10-28 23:02:25 +02:00
  • 65955b44d9 rearrange some code to trigger less warning from PVS-Studio Alexandre Duret-Lutz 2016-10-28 23:00:52 +02:00
  • 835b5ee1cf improve some conditions, as hinted by PVS-Studio Alexandre Duret-Lutz 2016-10-28 22:59:12 +02:00
  • 40b8bab890 remove some dead code discovered while studying PVS-Studio's report Alexandre Duret-Lutz 2016-10-28 22:55:48 +02:00
  • 279bfa00bd fix some implicit promotion from bool, as suggested by PVS-Studio Alexandre Duret-Lutz 2016-10-28 22:53:29 +02:00
  • 630e90b9cc ltsmin: fix constness of arguments as suggested by PVS-Studio Alexandre Duret-Lutz 2016-10-28 22:45:40 +02:00
  • 26e94b774f taproduct: fix incorrect assert() flagged by PVS-Studio Alexandre Duret-Lutz 2016-10-28 22:43:54 +02:00
  • d0112a7b8a fix unpaired copy-ctor/op= reported by PVS-Stydio Alexandre Duret-Lutz 2016-10-28 22:41:41 +02:00
  • 63818a3e69 [buddy] Fix several PVS-Studio warnings Alexandre Duret-Lutz 2016-10-28 17:12:21 +02:00
  • 41b47966b0 * README: Update description of Spot and its documentation. Alexandre Duret-Lutz 2016-10-25 23:17:37 +02:00
  • f9991288f7 compression: fix bad encoding Etienne Renault 2016-10-25 14:12:50 +02:00
  • ce63c30c0b translate: reset the LTL simplifier on set_level(). Alexandre Duret-Lutz 2016-10-25 13:53:28 +02:00
  • 4be7065b81 simulation: speedup on deterministic automata Alexandre Duret-Lutz 2016-10-23 19:52:09 +02:00
  • 6ca555ed89 determinize: improve the storage of implications Alexandre Duret-Lutz 2016-10-21 13:56:36 +02:00
  • 7ea9454614 * spot/misc/bitvect.hh (is_subset_of): Fix implementation. Alexandre Duret-Lutz 2016-10-20 21:00:27 +02:00
  • a32ccd649d [buddy] slight optimization of bdd_implies Alexandre Duret-Lutz 2016-10-20 20:59:28 +02:00
  • 41866b370c * spot/twaalgos/simulation.cc: Simplify some part. Alexandre Duret-Lutz 2016-10-19 16:55:28 +02:00
  • 57a055b656 [buddy] typo in comment Alexandre Duret-Lutz 2016-10-19 16:54:59 +02:00
  • 56f768f5a6 remove_fin: improve behavior on unclean acceptance Alexandre Duret-Lutz 2016-10-19 10:34:23 +02:00
  • 3dc084c4f6 use mask_keep_accessible_states Alexandre Duret-Lutz 2016-10-18 22:39:54 +02:00
  • 4c1147e497 [buddy] speedup bdd_init and bdd_noderesize Alexandre Duret-Lutz 2016-10-18 21:25:20 +02:00
  • ad478bd31a sccinfo: improve detection of rejecting 1-self-loop SCCs Alexandre Duret-Lutz 2016-10-18 18:12:45 +02:00
  • 5384a3b89a is_unambiguous: rewrite more efficiently Alexandre Duret-Lutz 2016-10-18 17:37:55 +02:00
  • 9b3451c52e * NEWS: Typo, reported by Alexandre Gbaguidi Aïsse. Alexandre Duret-Lutz 2016-10-17 11:43:19 +02:00
  • de665ce28f * configure.ac, NEWS: Bump version to 2.1.2.dev. Alexandre Duret-Lutz 2016-10-14 17:30:07 +02:00
  • b0c60e799a Release Spot 2.1.2 Alexandre Duret-Lutz 2016-10-14 17:18:23 +02:00
  • 497710ecc2 dtgbasat: rename all.log into all.csv Alexandre Duret-Lutz 2016-10-14 16:05:35 +02:00
  • 70fa739fd1 dot: improve option initialization Alexandre Duret-Lutz 2016-10-14 14:05:23 +02:00
  • 48655c6875 complete Alexandre's patch Alexandre Duret-Lutz 2016-10-13 15:55:25 +02:00
  • ba4345a42b dtgbasat: Fix dtgbasat bench errors Alexandre GBAGUIDI AISSE 2016-09-21 17:27:11 +02:00
  • 3b5fa22a3b ltlcross: add option --strength and --ambiguous Alexandre Duret-Lutz 2016-10-13 15:41:49 +02:00
  • cc1191cd66 ltlcross: fix --verbose --no-check crash Alexandre Duret-Lutz 2016-10-13 13:53:42 +02:00
  • ad502eb324 * doc/org/citing.org: Update references. Alexandre Duret-Lutz 2016-10-13 12:04:54 +02:00
  • 062643cc88 * doc/org/tut51.org: Typos. Alexandre Duret-Lutz 2016-10-12 10:53:03 +02:00
  • 8a8fcf2ac1 spot.ltsmin: fix errors on Darwin Etienne Renault 2016-10-10 13:22:25 +02:00
  • a2575e0d3e org: really hide the plantuml logo Alexandre Duret-Lutz 2016-10-10 15:40:19 +02:00
  • ed45be98ea * spot/misc/common.hh (SPOT_FALLTHROUGH): Work around Clang 3.5. Alexandre Duret-Lutz 2016-10-10 14:29:20 +02:00
  • 7ff50d8913 configure: enable -Wimplicit-fallthrough Alexandre Duret-Lutz 2016-10-07 17:26:58 +02:00
  • a5d6aa2533 introduce SPOT_FALLTHROUGH to cope with -Wimplicit-fallthrough Alexandre Duret-Lutz 2016-10-07 17:25:09 +02:00
  • fa80571d44 org: avoid displaying the plantuml log during builds Alexandre Duret-Lutz 2016-10-07 15:29:41 +02:00
  • 9ccdd8c618 genltl: add some formulas from Tabakov & Vardi (RV'10) Alexandre Duret-Lutz 2016-10-03 17:41:14 +02:00
  • e2b4d38ade more file to ignore Alexandre Duret-Lutz 2016-10-03 16:15:35 +02:00
  • 959e757a22 org: cleanup some temporary Alexandre Duret-Lutz 2016-10-03 15:26:25 +02:00
  • 0c9c4be4ae bin: workaround flushing issues Alexandre Duret-Lutz 2016-10-03 15:19:02 +02:00
  • 0678d1a662 change the version from 2.1.1a to 2.1.1.dev for Debian Alexandre Duret-Lutz 2016-09-23 15:04:41 +02:00
  • 6528d75339 simplify: rewrite GF(a & GFb) as G(Fa & Fb) Alexandre Duret-Lutz 2016-09-22 17:37:55 +02:00
  • 01d84c4d52 formula: fix valgrind error in is_Kleene_star() with clang++ Alexandre Duret-Lutz 2016-09-22 17:36:43 +02:00
  • 633906e347 * bench/dtgbasat/README: Update references. Alexandre Duret-Lutz 2016-09-21 13:51:49 +02:00
  • 5558bcf05a * NEWS, configure.ac: bump version number Alexandre Duret-Lutz 2016-09-20 11:52:35 +02:00
  • fd6614181b Release Spot 2.1.1 Alexandre Duret-Lutz 2016-09-20 08:54:56 +02:00
  • d618495440 * doc/org/citing.org: Add LNCS number. Alexandre Duret-Lutz 2016-09-19 21:50:13 +02:00
  • 90214d7c39 genltl: fix typo in --help Alexandre Duret-Lutz 2016-09-15 15:36:53 +02:00
  • 3bb881218f * NEWS: Typoa. Alexandre Duret-Lutz 2016-09-14 16:47:33 +02:00
  • 851502ab93 dtwasat: typo in DEBUG mode Alexandre Duret-Lutz 2016-09-06 13:09:31 +02:00
  • 120118f66b man: two fixups for spot-x Alexandre Duret-Lutz 2016-09-06 12:24:43 +02:00
  • ed254ea19f man: fix an apostrophe Alexandre Duret-Lutz 2016-09-05 14:01:44 +02:00
  • cc761870c2 kripkegraph: fix g++ warning Alexandre Duret-Lutz 2016-09-04 17:25:24 +02:00
  • ca6435d847 help2man: update to 1.47.4 Alexandre Duret-Lutz 2016-09-03 19:10:53 +02:00
  • 2dfe429447 org: fix an example input Alexandre Duret-Lutz 2016-08-19 14:30:05 +02:00
  • 571f0112ab bin: add options for --stats=%c Alexandre Duret-Lutz 2016-08-17 15:20:32 +02:00
  • 4f0a630dbc stats: preparatory change of the implementation of %c Alexandre Duret-Lutz 2016-08-17 14:17:37 +02:00
  • 70de1328d8 bin: hide the hoa_state_printer code Alexandre Duret-Lutz 2016-08-17 13:40:02 +02:00
  • 825332029c autfilt: implement %D, %N, %P, %W Alexandre Duret-Lutz 2016-08-16 19:17:25 +02:00
  • 926ffbf965 bin: %a,%b,%s format specs for LTL output Alexandre Duret-Lutz 2016-08-15 15:45:26 +02:00
  • 0210080152 * spot/tl/length.hh: Fix comment. Alexandre Duret-Lutz 2016-08-15 14:57:30 +02:00
  • e97ea5fa74 bin: diagnose more write errors Alexandre Duret-Lutz 2016-08-14 18:18:20 +02:00
  • 53e6640034 Bump version to 2.1.0a Alexandre Duret-Lutz 2016-08-08 16:30:56 +02:00
  • 78232df3bf Release Spot 2.1 Alexandre Duret-Lutz 2016-08-08 13:23:18 +02:00
  • ca0d81b5d7 autfilt, dstar2tgba: add CSV input Alexandre Duret-Lutz 2016-08-08 12:21:34 +02:00
  • f423c424eb bin: --stats=%H --stats=%h Alexandre Duret-Lutz 2016-08-08 10:48:06 +02:00
  • 0d753048ce formater: add support for double-quoted fields Alexandre Duret-Lutz 2016-08-08 10:13:26 +02:00
  • 6ed0830f87 fix two minor issues reported by clang-analyzer Alexandre Duret-Lutz 2016-08-07 19:45:01 +02:00
  • 2b4cf8e7cb org: more typos and small fixups Alexandre Duret-Lutz 2016-08-06 11:49:53 +02:00
  • ce7b9c5161 org: fix some automata rendering Alexandre Duret-Lutz 2016-08-05 20:47:33 +02:00
  • 06d5aa5ea2 org: several typos Alexandre Duret-Lutz 2016-08-05 11:13:15 +02:00
  • 14bee1ae7f implement conversion to GRA and GSA Alexandre Duret-Lutz 2016-08-04 22:24:30 +02:00
  • 736003057c * NEWS: Minor typos and reorganization. Alexandre Duret-Lutz 2016-08-03 12:23:46 +02:00
  • 51afd4adfe ltlcross: prefer execl("/bin/sh", ...) to execlp("sh", ...) Alexandre Duret-Lutz 2016-08-02 14:20:46 +02:00
  • 7524e05128 ltlcross: bypass the shell for simple command Alexandre Duret-Lutz 2016-08-02 13:33:10 +02:00
  • d2068bb1a0 sbacc: improve using SCCs and common marks Alexandre Duret-Lutz 2016-07-31 22:57:50 +02:00
  • d271dfd592 python: make it possible to modify edges during iteration Alexandre Duret-Lutz 2016-07-29 16:09:54 +02:00
  • 09c6393942 * NEWS: Typo. Alexandre Duret-Lutz 2016-07-29 11:59:31 +02:00
  • 59efe470ca ltlcross: show cross-comparison checks counterexamples Alexandre Duret-Lutz 2016-07-29 11:49:43 +02:00
  • f6c7ed54c7 update gnulib Alexandre Duret-Lutz 2016-07-29 10:59:21 +02:00
  • 561672d3d7 lbtt: fix a memory leak detected by asan. Alexandre Duret-Lutz 2016-07-27 20:09:16 +02:00
  • a9fc5d49d8 misc: fix some signed shifts Alexandre Duret-Lutz 2016-07-27 19:44:25 +02:00
  • a7842ac47f tests: disable ltsmin tests if --disable-shared Alexandre Duret-Lutz 2016-07-27 19:43:34 +02:00
  • 8e69530023 [buddy] fix an undefined behavior Alexandre Duret-Lutz 2016-07-27 18:23:14 +02:00
  • fcd6783157 * doc/org/tut50.org: Simplify UML diagrams. Alexandre Duret-Lutz 2016-07-27 16:21:37 +02:00
  • 15ea2e66e8 org: show how to implement Kripke structures Alexandre Duret-Lutz 2016-07-27 16:19:04 +02:00
  • 6617538156 kripke: rename state_acceptance_conditions Alexandre Duret-Lutz 2016-07-27 11:13:06 +02:00
  • 096edf227d * NEWS: Reword some entries. Alexandre Duret-Lutz 2016-07-27 10:35:59 +02:00
  • 64c7036660 active -Wsuggest-override where supported Alexandre Duret-Lutz 2016-07-27 10:10:50 +02:00
  • da464d8199 org: document explicit vs. on-the-fly Alexandre Duret-Lutz 2016-07-26 11:20:29 +02:00