Commit graph

Select branches

Hide pull requests

am/merged-work

am/nix

am/psl-derivation

am/psl2aa

am/sonf

am/thesis-fixes

Mono Color

• cd3281621b merge am/merged-work Antoine Martin 2025-03-07 11:58:47 +01:00
• c63412ab94 translate_aa: fix sere copy am/thesis-fixes Antoine Martin 2025-10-17 17:36:40 +02:00
• bb33c5120f translate_aa: fix construction for transition based acc Antoine Martin 2025-10-15 14:24:08 +02:00
• 8c6b1d90c6 translate_aa: expose lf-trans option Antoine Martin 2025-10-15 14:24:08 +02:00
• 5156ac1286 translate_aa: Factorize sere translation choice Antoine Martin 2025-10-10 16:49:34 +02:00
• be3597cb46 translate_aa: rename expansion option to lf Antoine Martin 2025-10-10 16:49:34 +02:00
• 59cfd6ed17 sonf: fix recursion of rewriting, was only called on operand Antoine Martin 2025-10-10 16:49:34 +02:00
• 059c5072df nix: provide package in release tarballs Antoine Martin 2022-03-03 11:31:03 +01:00
• c5746ef5cf expansions: fix bogus false pairs in linear forms Antoine Martin 2025-03-13 08:47:41 +01:00
• 42221100dd nix: setup Nix Flake file Antoine Martin 2021-10-20 11:54:16 +02:00
• 3d3f311733 expansions: remove unused lambda capture Antoine Martin 2025-03-13 08:47:41 +01:00
• 939942af30 expansions: fix sort behavior Antoine Martin 2025-03-07 11:24:00 +01:00
• 37b814c750 expansions: make signature canonical Antoine Martin 2025-03-04 19:20:50 +01:00
• 7fa1973613 expansions: fusion can produce false Antoine Martin 2024-10-23 14:00:15 +02:00
• a32431c341 ltl2tgba_fm: setup switch between bdd and exp Antoine Martin 2024-10-23 13:59:51 +02:00
• dfa828739b translate_aa: setup translation choice Antoine Martin 2024-10-23 13:56:00 +02:00
• f687ef7bbb ltl2tgba_fm: switch for expansions Antoine Martin 2024-09-24 11:36:17 +02:00
• 7cbf544d33 expansions: split Antoine Martin 2024-09-19 08:41:04 +02:00
• b15c0818c5 expansions: up variants Antoine Martin 2024-02-08 13:39:11 +01:00
• ed3d1ef4aa expansions: expose easy expansion in python Antoine Martin 2023-10-12 15:04:40 +02:00
• 90ea02d42a expansions: store as vector of pairs Antoine Martin 2023-10-12 15:04:06 +02:00
• d760d2cb3b expansions: US order in pipeline configurable Antoine Martin 2023-09-27 11:36:17 +02:00
• e50be0692d expansions: UniquePrefixSeenOpt Antoine Martin 2023-09-20 17:52:18 +02:00
• 29e0b22c2a expansions: fixes + BDD encode changes + printer Antoine Martin 2023-07-04 07:21:20 +02:00
• f09c1dd7f3 expansions: simple determinization Antoine Martin 2023-05-12 08:45:59 +02:00
• 931d39e739 expansions: signature merge impl Antoine Martin 2023-04-12 15:15:36 +02:00
• bbbcdc331a expansions: optimize sigma star encoding Antoine Martin 2023-04-04 14:52:14 +02:00
• a4091ffc37 expansions: remove multiple old implementations Antoine Martin 2023-03-16 07:39:34 +01:00
• 77d25d87a1 expansions: fix first_match case Antoine Martin 2023-03-09 10:26:50 +01:00
• 382c57923c twaalgos: ltl2tgba_fm: allow disabling SCC trim Antoine Martin 2023-03-06 18:37:44 +01:00
• b5f11f7366 expansions: allow toggling merge_edges off Antoine Martin 2023-03-06 18:37:28 +01:00
• 518c58fe52 expansions: latest implementation Antoine Martin 2023-03-06 18:37:12 +01:00
• 003230ed19 expansions: multimap version Antoine Martin 2023-02-13 14:35:47 +01:00
• ce9a94f224 expansions: determinize only once per state Antoine Martin 2023-02-06 11:04:47 +01:00
• faaefa7424 expansions: fix bdd method Antoine Martin 2023-02-01 17:31:22 +01:00
• 12a8d5382d expansions: add BDD method Antoine Martin 2023-01-20 14:28:35 +01:00
• 9361116431 expansions: multiple implementations Antoine Martin 2022-12-21 11:05:16 +01:00
• 3c6929829d expansions: split-off OrRat case Antoine Martin 2022-12-15 10:44:37 +01:00
• 1240fec39b expansions: first_match deterministic Antoine Martin 2022-12-15 08:39:13 +01:00
• b9f461c025 expansions: draft Antoine Martin 2022-11-30 15:28:49 +01:00
• 0fdd3c31f4 derive: add options to control distribution Antoine Martin 2022-11-21 10:37:14 +01:00
• 89543e6a73 derive: option for some optimisations Antoine Martin 2022-11-10 07:18:29 +01:00
• e80c98751d sere_to_tgba: produce state-names Antoine Martin 2022-11-03 06:58:21 +01:00
• 7b936819cc ltl2aa: handle edge case in UConcat Antoine Martin 2022-09-30 01:32:01 +02:00
• 07a283498f alternation: fix bug introduced in oe_combiner Antoine Martin 2022-09-30 01:25:45 +02:00
• 465b135f44 ltl2aa: implement EConcat Antoine Martin 2022-09-20 22:42:40 +02:00
• e5d7ba9e22 ltl2aa: comment Antoine Martin 2022-09-16 15:49:56 +02:00
• dec854ee07 ltl2aa: finalize UConcat Antoine Martin 2022-09-16 15:48:07 +02:00
• 0957c11c94 ltl2aa: finish SERE aut merging with rhs outedges Antoine Martin 2022-09-16 03:41:30 +02:00
• eca0bd4590 ltl2aa: fix two bugs in SERE aut merge Antoine Martin 2022-09-16 03:40:22 +02:00
• 93c50e1610 ltl2aa: place new state in var_to_state map Antoine Martin 2022-09-06 16:31:50 +02:00
• 58965475fb ltl2aa: implem closure Antoine Martin 2022-09-06 16:31:17 +02:00
• 4153ce0655 ltl2aa: share dict between sere and final aut Antoine Martin 2022-09-06 16:07:28 +02:00
• 0c76e6dd21 ltl2aa: fix bdd manipulation in UConcat Antoine Martin 2022-08-31 13:59:05 +02:00
• 8e8e44c5f9 ltl2aa: fix R & M operators handling Antoine Martin 2022-08-09 12:24:37 +02:00
• 7b376a212c Add ltl2aa binary to tests/core Antoine Martin 2022-08-31 10:59:39 +02:00
• ffd60219b5 psl not working Antoine Martin 2022-07-13 16:11:54 +02:00
• 43ed07d283 ltl2aa: factorize self-loop creation Antoine Martin 2022-07-07 17:57:05 +02:00
• e4bfebf36f twaalgos: add LTL to AA translation Antoine Martin 2022-06-21 13:54:32 +02:00
• 6ebbb93024 twaalgos: filter accepting sinks in oe combiner Antoine Martin 2022-07-07 16:40:41 +02:00
• 00ad02070b graph: filter accepting sinks in univ_dest_mapper Antoine Martin 2022-07-07 16:38:33 +02:00
• a046a4983c derive: use first Antoine Martin 2022-03-30 21:52:34 +02:00
• 1925910f4a derive: handle AndNLM Antoine Martin 2022-03-18 19:27:37 +01:00
• eea35cdb31 derive: extract AndNLM rewriting Antoine Martin 2022-03-18 19:27:19 +01:00
• 5b3b292b10 derive: no nullptr handling Antoine Martin 2022-03-18 18:05:53 +01:00
• 2df8e200d8 derive: use from_finite Antoine Martin 2022-03-15 17:06:05 +01:00
• 3b3ec16b20 twaalgos: add from_finite Antoine Martin 2022-03-14 15:17:51 +01:00
• 175012b919 twaalgos: extract internal sere2dfa Antoine Martin 2022-03-10 15:45:50 +01:00
• 4a646e5aa0 tl: implement SERE derivation Antoine Martin 2022-01-14 08:56:28 +01:00
• 2ae9da1bc6 twagraph: merge_edges supports finite automata Antoine Martin 2022-03-10 12:16:18 +01:00
• b6e782589e bin: handle '--parity=X --colored-parity' like '--colored-parity=X' Alexandre Duret-Lutz 2025-03-11 10:14:46 +01:00
• 1dd2ce3ae2 sanity: improve bin.test Alexandre Duret-Lutz 2025-03-11 09:29:31 +01:00
• c4e3509d18 * bin/.gitignore: Add ltlmix to gitignore Antoine Martin 2025-03-07 10:28:43 +01:00
• 539d250587 * spot/twaalgos/gtec/gtec.cc: Work around spurious warning. Alexandre Duret-Lutz 2025-02-26 10:44:59 +01:00
• 00456e5211 ltlfilt: add a --save-part-file option Alexandre Duret-Lutz 2025-02-14 14:27:48 +01:00
• b1b06ef7bd ltlsynt: remove superfluous output options Alexandre Duret-Lutz 2025-02-07 21:26:08 +01:00
• d0e404fec0 gnulib: fix argp --help formatting Alexandre Duret-Lutz 2025-02-06 21:51:09 +01:00
• 27fb175276 ltlsynt: fix a memory leak Alexandre Duret-Lutz 2025-02-06 17:15:48 +01:00
• aba0e8dd24 * spot/twaalgos/mealy_machine.hh: Typo in documentation. Alexandre Duret-Lutz 2025-02-04 21:12:13 +01:00
• 602aad013f aiger: never use state names for encoding Alexandre Duret-Lutz 2025-02-04 21:08:01 +01:00
• c5a0f323c8 Merge branch 'master' into next Alexandre Duret-Lutz 2025-01-18 16:24:27 +01:00
• 5cbc28897e * configure.ac, NEWS: Bump version to 2.12.2.dev. Alexandre Duret-Lutz 2025-01-18 11:12:22 +01:00
• ec3e6750ee release Spot 2.12.2 Alexandre Duret-Lutz 2025-01-17 22:50:20 +01:00
• 480e5e999b Fix slight error in aiger Philipp Schlehuber-Caissier 2025-01-05 13:18:35 +01:00
• 465210cbc9 python: improve ACD's CSS Alexandre Duret-Lutz 2025-01-17 21:46:43 +01:00
• e4a49cda02 work around a change in python 3.13 Alexandre Duret-Lutz 2025-01-01 21:46:35 +01:00
• c67332f825 Fix LaTeX rendering of strong next Alexandre Duret-Lutz 2024-12-09 12:09:15 +01:00
• 6e6219af54 correct to_finite Alexandre Duret-Lutz 2024-12-02 23:24:30 +01:00
• cd5ac041f2 hierarchy: improve error message Alexandre Duret-Lutz 2024-10-30 12:07:55 +01:00
• ddbe0e32b0 Fix slight error in aiger Philipp Schlehuber-Caissier 2025-01-05 13:18:35 +01:00
• 461dc842e9 work around a change in python 3.13 Alexandre Duret-Lutz 2025-01-01 21:46:35 +01:00
• c971ce57a6 Fix LaTeX rendering of strong next Alexandre Duret-Lutz 2024-12-09 12:09:15 +01:00
• 82401b3254 correct to_finite Alexandre Duret-Lutz 2024-12-02 23:24:30 +01:00
• 4a33f0fe65 hierarchy: improve error message Alexandre Duret-Lutz 2024-10-30 12:07:55 +01:00
• 368eb6e0cd Merge branch 'master' into next Alexandre Duret-Lutz 2024-09-23 13:34:10 +02:00
• b05c90cd87 bump version to 2.12.1.dev Alexandre Duret-Lutz 2024-09-23 13:33:08 +02:00
• b63f16060a release Spot 2.12.1 Alexandre Duret-Lutz 2024-09-23 12:04:28 +02:00
• c92418b51c * .gitlab-ci.yml (publish-stable): Add scp for LRE's dload host. Alexandre Duret-Lutz 2024-09-23 11:49:26 +02:00
• 376755dbd4 game: avoid a spurious g++14 warning Alexandre Duret-Lutz 2024-09-03 17:37:59 +02:00
• 941475fbdb fix spurious g++-14 warning Alexandre Duret-Lutz 2024-09-02 17:28:28 +02:00