Commit graph

  • 365fde8364 org: typo Alexandre Duret-Lutz 2019-01-07 11:26:45 +01:00
  • 98c8725d0c print_dot_psl: fix numbering of commutative operands Alexandre Duret-Lutz 2018-12-17 17:09:56 +01:00
  • dc1f713391 * tests/python/stutter-inv.ipynb: Add link to on-line translator. Alexandre Duret-Lutz 2018-12-13 11:22:19 +01:00
  • d67053a2da * NEWS: Typo. Alexandre Duret-Lutz 2018-12-13 11:17:04 +01:00
  • db02a0b270 * NEWS, configure.ac: Bump version number. Alexandre Duret-Lutz 2018-12-11 09:07:11 +01:00
  • 68da48484b Release Spot 2.7 Alexandre Duret-Lutz 2018-12-11 09:00:52 +01:00
  • 77f3ba9478 translate: fix stutter-invariant flag on leading Xs Alexandre Duret-Lutz 2018-12-07 15:53:54 +01:00
  • 560c6f2d48 * spot/twa/acc.hh: More documentation. Alexandre Duret-Lutz 2018-12-07 10:37:27 +01:00
  • c20f49aeac * NEWS: Add a missing entry. Alexandre Duret-Lutz 2018-11-13 10:42:43 +01:00
  • dba2305367 gitlab-ci: force distcheck to use included GNU ltdl Etienne Renault 2018-12-04 14:42:02 +00:00
  • 9038e48ea4 gitlab-ci: use the included GNU ltdl sources Etienne Renault 2018-12-03 14:52:13 +00:00
  • c2c8d21538 noexcept: please gcc snapshot Etienne Renault 2018-11-28 16:23:14 +01:00
  • b8164ef979 add an Alpine Linux build Alexandre Duret-Lutz 2018-11-10 22:15:59 +01:00
  • 3b830ec0aa fix rpm builds Alexandre Duret-Lutz 2018-11-10 22:11:51 +01:00
  • 6cfdf02c5a Fix Alpine Linux builds Alexandre Duret-Lutz 2018-11-10 12:46:09 +01:00
  • fd32ab5dd7 fix is_generalized_rabin and is_generalized_streett Alexandre Duret-Lutz 2018-11-08 11:35:15 +01:00
  • 29e08a1afb introduce count_univbranch_states() and count_univbranch_edges() Alexandre Duret-Lutz 2018-11-07 16:59:43 +01:00
  • 60296317c7 python: more conventional __repr__ for several types Alexandre Duret-Lutz 2018-11-02 17:18:42 +01:00
  • c3b7a691e4 python: add __repr__ for rs_pair Alexandre Duret-Lutz 2018-11-01 22:10:25 +01:00
  • 5bb9c87d4c python: fix return of is_rabin_like() and is_streett_like() Alexandre Duret-Lutz 2018-10-31 19:43:26 +01:00
  • 266581b272 python: fix binding of used_inf_fin_sets() Alexandre Duret-Lutz 2018-10-31 15:48:39 +01:00
  • 234c9c298f require bison 3.0 and fix obsolete api.location.type usage Alexandre Duret-Lutz 2018-10-29 15:31:14 +01:00
  • fa24cca76c parseaut: fix signed/unsigned comparison warning Alexandre Duret-Lutz 2018-10-29 11:26:25 +01:00
  • e0958ee7c6 python: add xargs support to translate() and postprocess() Alexandre Duret-Lutz 2018-10-17 18:16:46 +02:00
  • b8e47fdc28 * NEWS: Typo in release date. Alexandre Duret-Lutz 2018-10-17 14:16:55 +02:00
  • 235508416c Merge branch 'master' into next Alexandre Duret-Lutz 2018-10-17 09:35:24 +02:00
  • 1878e75ebc bump version to 2.6.3.dev Alexandre Duret-Lutz 2018-10-17 09:34:09 +02:00
  • 44283adfc6 Release Spot 2.6.3 Alexandre Duret-Lutz 2018-10-17 09:27:22 +02:00
  • 31bcb57648 fix ltlfilt --accept-word and --reject-word Alexandre Duret-Lutz 2018-10-15 21:17:18 +02:00
  • 34f9fb5d68 option --low should disable gf-guarantee Alexandre Duret-Lutz 2018-10-12 13:38:30 +02:00
  • 68a155a818 Büchi translation should not go through fg_safety_to_dca_maybe() Alexandre Duret-Lutz 2018-10-12 11:47:00 +02:00
  • 92369d68c6 solve build issue on Debian unstable i386 Alexandre Duret-Lutz 2018-10-08 13:48:38 +02:00
  • d94efe9fe1 implement is_liveness() and is_liveness_automaton() Alexandre Duret-Lutz 2018-10-15 21:35:09 +02:00
  • d2316b1428 fix ltlfilt --accept-word and --reject-word Alexandre Duret-Lutz 2018-10-15 21:17:18 +02:00
  • 58c1a968c7 option --low should disable gf-guarantee Alexandre Duret-Lutz 2018-10-12 13:38:30 +02:00
  • 3c86f034fc Büchi translation should not go through fg_safety_to_dca_maybe() Alexandre Duret-Lutz 2018-10-12 11:47:00 +02:00
  • e5f76b77d4 solve build issue on Debian unstable i386 Alexandre Duret-Lutz 2018-10-08 13:48:38 +02:00
  • 82a152c38a unabbreviate: add new rules based on eventual/universal arguments Alexandre Duret-Lutz 2018-10-01 17:41:10 +02:00
  • 0de334d783 * NEWS: Remove some items from 2.6.2. Alexandre Duret-Lutz 2018-10-01 16:40:03 +02:00
  • bfdeadcdbe Merge branch 'master' into next Alexandre Duret-Lutz 2018-09-28 10:31:43 +02:00
  • 4b2562a33f Bump version to 2.6.2.dev Alexandre Duret-Lutz 2018-09-28 10:12:36 +02:00
  • 2828e229bd Release Spot 2.6.2 Alexandre Duret-Lutz 2018-09-28 10:04:39 +02:00
  • 5172b9c7d9 org: adjust link to online translator Alexandre Duret-Lutz 2018-09-28 10:04:17 +02:00
  • 3eb26704d6 more gcc-snapshot warnings Alexandre Duret-Lutz 2018-09-27 10:22:49 +02:00
  • 438d9e6d02 * NEWS: Describe more fixed bugs. Alexandre Duret-Lutz 2018-09-26 17:58:01 +02:00
  • 406e3b4f22 exclusive_ap::constrain does not improve determism Alexandre Duret-Lutz 2018-09-26 11:35:19 +02:00
  • 1b92a8e605 * .gitlab-ci.yml: Fix docker names. Alexandre Duret-Lutz 2018-09-25 16:53:17 +02:00
  • 87ef2822df print_dot: add xlabel to colored states if too many colors in use Alexandre Duret-Lutz 2018-09-25 13:41:28 +02:00
  • c5abf1b334 * debian/copyright: Fix syntax. Alexandre Duret-Lutz 2018-09-01 20:23:11 +02:00
  • a69ea2a9cb remove more references to the old cgi-based translator Alexandre Duret-Lutz 2018-08-28 20:48:44 +02:00
  • 7a2e5d8bce debian: add missing build dependency Alexandre Duret-Lutz 2018-08-28 13:45:57 +02:00
  • 32a39c3f1a debiam: fix the regex from previous patches Alexandre Duret-Lutz 2018-08-22 11:21:22 +02:00
  • 3adc9e18cc debian: apply the mathjax regex to org output as well Alexandre Duret-Lutz 2018-08-19 23:52:23 +02:00
  • 9c356bfff6 * doc/org/setup.org: Typo. Alexandre Duret-Lutz 2018-08-17 22:15:36 +02:00
  • 89b55b7d8d debian: another mathjax regex Alexandre Duret-Lutz 2018-08-16 22:27:48 +02:00
  • a455a277ca debian: adjust the mathjax regex Alexandre Duret-Lutz 2018-08-15 23:11:05 +02:00
  • e7f11b8884 * debian/control: Typo. Alexandre Duret-Lutz 2018-08-14 19:29:56 +02:00
  • 0076b8f240 * HACKING: R is now required to build from git. Alexandre Duret-Lutz 2018-08-11 18:31:17 +02:00
  • 816e5752fb fix --disable-doxygen and --disable-c++17 Alexandre Duret-Lutz 2018-08-10 20:56:01 +02:00
  • 10d94d9ff9 gcc-snapshot warnings Alexandre Duret-Lutz 2018-08-10 16:22:57 +02:00
  • eb30d147d8 Adjust to Automake 1.16 Alexandre Duret-Lutz 2018-08-10 14:22:57 +02:00
  • 1be313ef0b get rid of the Python-based CGI translator Alexandre Duret-Lutz 2018-08-10 14:07:35 +02:00
  • 22ad9f5ed2 org: show some useful R operations on ltlcross output Alexandre Duret-Lutz 2018-08-09 14:39:11 +02:00
  • eae05119e5 exclusive_ap::constrain does not improve determism Alexandre Duret-Lutz 2018-09-26 11:35:19 +02:00
  • 23fe20c3e4 * .gitlab-ci.yml: Fix docker names. Alexandre Duret-Lutz 2018-09-25 16:53:17 +02:00
  • 250e121a60 print_dot: add xlabel to colored states if too many colors in use Alexandre Duret-Lutz 2018-09-25 13:41:28 +02:00
  • 9490179e27 * debian/copyright: Fix syntax. Alexandre Duret-Lutz 2018-09-01 20:23:11 +02:00
  • 2c3852597a remove more references to the old cgi-based translator Alexandre Duret-Lutz 2018-08-28 20:48:44 +02:00
  • 32affa88cb debian: add missing build dependency Alexandre Duret-Lutz 2018-08-28 13:45:57 +02:00
  • c4015bbcbb debiam: fix the regex from previous patches Alexandre Duret-Lutz 2018-08-22 11:21:22 +02:00
  • 68d89cf77f debian: apply the mathjax regex to org output as well Alexandre Duret-Lutz 2018-08-19 23:52:23 +02:00
  • a6414013ec * doc/org/setup.org: Typo. Alexandre Duret-Lutz 2018-08-17 22:15:36 +02:00
  • 87fd4813aa debian: another mathjax regex Alexandre Duret-Lutz 2018-08-16 22:27:48 +02:00
  • 39fb2c44e6 debian: adjust the mathjax regex Alexandre Duret-Lutz 2018-08-15 23:11:05 +02:00
  • 6669bc3608 * debian/control: Typo. Alexandre Duret-Lutz 2018-08-14 19:29:56 +02:00
  • f332cb0ae7 * HACKING: R is now required to build from git. Alexandre Duret-Lutz 2018-08-11 18:31:17 +02:00
  • 55dfbc8206 fix --disable-doxygen and --disable-c++17 Alexandre Duret-Lutz 2018-08-10 20:56:01 +02:00
  • 389ef16b1b gcc-snapshot warnings Alexandre Duret-Lutz 2018-08-10 16:22:57 +02:00
  • d147ad2510 Adjust to Automake 1.16 Alexandre Duret-Lutz 2018-08-10 14:22:57 +02:00
  • 03d9b0c2bb get rid of the Python-based CGI translator Alexandre Duret-Lutz 2018-08-10 14:07:35 +02:00
  • 042591a986 * NEWS: Reorganize entries for next release. Alexandre Duret-Lutz 2018-08-10 14:05:37 +02:00
  • ff19c0620f org: show some useful R operations on ltlcross output Alexandre Duret-Lutz 2018-08-09 14:39:11 +02:00
  • 640e54a5d9 Merge branch 'master' into next Alexandre Duret-Lutz 2018-08-04 08:57:24 +02:00
  • 90f529918b * NEWS, configure.ac: Bump version number. Alexandre Duret-Lutz 2018-08-04 08:56:38 +02:00
  • d743674729 Release Spot 2.6.1 Alexandre Duret-Lutz 2018-08-04 08:54:45 +02:00
  • 5c8cf1bc47 fix python bindings for spot::parsed_formula::f getter Alexandre Duret-Lutz 2018-08-02 23:05:22 +02:00
  • 8a26744720 fix python bindings for spot::parsed_formula::f getter Alexandre Duret-Lutz 2018-08-02 23:05:22 +02:00
  • 701a3b1c6a contains: fix the semantics Alexandre Duret-Lutz 2018-08-01 17:17:25 +02:00
  • 126d392355 tl: add some implication-based rewritings for "<->", "->", and "xor" Alexandre Duret-Lutz 2018-08-01 15:00:45 +02:00
  • d8419db618 * spot/twa/acc.hh: fix constness Maximilien Colange 2018-07-28 16:46:41 +02:00
  • 483b05c550 * spot/twaalgos/translate.cc: Typos in comments. Alexandre Duret-Lutz 2018-07-26 17:02:52 +02:00
  • b2e51545f9 scc_info: fix split_on_sets Alexandre Duret-Lutz 2018-07-26 14:04:52 +02:00
  • 2d8292c02e * .gitlab-ci.yml (debpkg-stable): Typo. Alexandre Duret-Lutz 2018-07-24 16:53:30 +02:00
  • 79a62ae1c9 ltlfilt: introduce --suspendable Alexandre Duret-Lutz 2018-07-24 14:52:14 +02:00
  • d5ffdb60b5 * spot/twa/twa.cc: Typo. Alexandre Duret-Lutz 2018-07-24 09:50:31 +02:00
  • 85eff247b2 HACKING: directory has moved Etienne Renault 2018-07-20 16:56:19 +02:00
  • e0b10d847a remove duplicated includes Etienne Renault 2018-07-20 16:21:01 +02:00
  • acf254243b remove useless forward declaration Etienne Renault 2018-07-20 15:55:27 +02:00
  • b33a88d8bb escape_rfc4180: document relation with std::quote Alexandre Duret-Lutz 2018-07-18 17:39:02 +02:00
  • 1edb47ad5b fix two issues related to jupyter notebook execution Alexandre Duret-Lutz 2018-07-11 15:43:01 +02:00