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

Commit graph

  • 531252119c aiger: order the inputs of binary AND gates Alexandre Duret-Lutz 2023-07-26 23:57:12 +02:00
  • e548bf0a8e acc: remove some dead functions Alexandre Duret-Lutz 2023-07-26 23:00:24 +02:00
  • 69b9ffef9a bin: fix handling for --output & --format with LTL outputs Alexandre Duret-Lutz 2023-07-26 21:33:36 +02:00
  • 8065759fbd * HACKING: Mention the svgo version we use. Alexandre Duret-Lutz 2023-07-26 16:19:35 +02:00
  • 090dcf17eb work around spurious GCC 13 warnings Alexandre Duret-Lutz 2023-07-26 16:17:31 +02:00
  • bd1809f758 bin: handle thousands of output files Alexandre Duret-Lutz 2023-07-24 16:56:24 +02:00
  • adca03a30a * tests/core/ltlcross4.test: Work around recent Pandas change. Alexandre Duret-Lutz 2023-07-24 12:16:30 +02:00
  • 47674c0d2f fix spurious failure of ltlcross4.test Alexandre Duret-Lutz 2023-06-12 11:01:30 +02:00
  • 330b34e84d parity_type_to_parity: Add missing cases Florian Renkin 2023-05-04 15:28:48 +02:00
  • 75bd595d28 bitvect: work around incorrect warning from gcc Alexandre Duret-Lutz 2023-05-12 11:32:46 +02:00
  • 9c6fa4921b debian: add missing build dependencies Alexandre Duret-Lutz 2023-05-11 21:25:59 +02:00
  • 2495004afd avoid a g++-12 warning about potential null pointer dereference Alexandre Duret-Lutz 2022-12-09 16:35:05 +01:00
  • 16373cfb10 Work around spurious g++-12 warnings Alexandre Duret-Lutz 2022-12-08 17:27:32 +01:00
  • 69d9b78a55 mention the bug fixed in BuDDy Alexandre Duret-Lutz 2023-07-31 21:11:39 +02:00
  • d58b7da562 [buddy] fix cache index of bdd_forall Alexandre Duret-Lutz 2023-07-31 21:07:07 +02:00
  • e3e50672b5 * .gitlab-ci.yml: temporary disable raspbian. Alexandre Duret-Lutz 2023-07-28 16:20:18 +02:00
  • 7358a26492 improve coverage of LaTeX/utf8 printers for SERE Alexandre Duret-Lutz 2023-07-27 14:28:15 +02:00
  • 95e3bb815c bin: cover more tmpfile failure when running as root Alexandre Duret-Lutz 2023-07-27 10:23:33 +02:00
  • e1e9f960e6 tests: add some test to cover autcross' univ-edges removal Alexandre Duret-Lutz 2023-07-27 09:48:00 +02:00
  • 95379c18cc aiger: order the inputs of binary AND gates Alexandre Duret-Lutz 2023-07-26 23:57:12 +02:00
  • 37325f1942 acc: remove some dead functions Alexandre Duret-Lutz 2023-07-26 23:00:24 +02:00
  • 61e43edde8 bin: fix handling of -o '>>-' in the close/reopen path Alexandre Duret-Lutz 2023-07-26 21:50:16 +02:00
  • 0923f8efe2 bin: fix handling for --output & --format with LTL outputs Alexandre Duret-Lutz 2023-07-26 21:33:36 +02:00
  • 7f1a33cc61 * HACKING: Mention the svgo version we use. Alexandre Duret-Lutz 2023-07-26 16:19:35 +02:00
  • 06b1ecb50b work around spurious GCC 13 warnings Alexandre Duret-Lutz 2023-07-26 16:17:31 +02:00
  • 3b59240133 gen: generalize fin_unit to mafins() Alexandre Duret-Lutz 2023-07-25 16:44:21 +02:00
  • 40e30df7e3 bin: handle thousands of output files Alexandre Duret-Lutz 2023-07-24 16:56:24 +02:00
  • 17a5b41d8c * tests/core/ltlcross4.test: Work around recent Pandas change. Alexandre Duret-Lutz 2023-07-24 12:16:30 +02:00
  • 61b457a37e bin: allow %l to be used to print serial numbers Alexandre Duret-Lutz 2023-07-21 17:06:01 +02:00
  • 46aee256eb expansions: fixes + BDD encode changes + printer Antoine Martin 2023-07-04 07:21:20 +02:00
  • 8369663380 fix spurious failure of ltlcross4.test Alexandre Duret-Lutz 2023-06-12 11:01:30 +02:00
  • 094fa85b02 expansions: simple determinization Antoine Martin 2023-05-12 08:45:59 +02:00
  • 189dde38d3 expansions: signature merge impl Antoine Martin 2023-04-12 15:15:36 +02:00
  • 81a635c831 expansions: optimize sigma star encoding Antoine Martin 2023-04-04 14:52:14 +02:00
  • aeba9ff674 expansions: remove multiple old implementations Antoine Martin 2023-03-16 07:39:34 +01:00
  • 564e3af5dd expansions: fix first_match case Antoine Martin 2023-03-09 10:26:50 +01:00
  • 2c4f85f687 twaalgos: ltl2tgba_fm: allow disabling SCC trim Antoine Martin 2023-03-06 18:37:44 +01:00
  • d410435adc expansions: allow toggling merge_edges off Antoine Martin 2023-03-06 18:37:28 +01:00
  • 0168efea60 expansions: latest implementation Antoine Martin 2023-03-06 18:37:12 +01:00
  • 22f76b7e1c expansions: multimap version Antoine Martin 2023-02-13 14:35:47 +01:00
  • 66761b3980 expansions: determinize only once per state Antoine Martin 2023-02-06 11:04:47 +01:00
  • b62945b5de expansions: fix bdd method Antoine Martin 2023-02-01 17:31:22 +01:00
  • f4b2637c04 expansions: add BDD method Antoine Martin 2023-01-20 14:28:35 +01:00
  • 806b7319b9 expansions: multiple implementations Antoine Martin 2022-12-21 11:05:16 +01:00
  • 2e40892fd6 expansions: split-off OrRat case Antoine Martin 2022-12-15 10:44:37 +01:00
  • bd8b5b4b51 expansions: first_match deterministic Antoine Martin 2022-12-15 08:39:13 +01:00
  • 16fd28d29b expansions: draft Antoine Martin 2022-11-30 15:28:49 +01:00
  • 4ce9c483c1 derive: add options to control distribution Antoine Martin 2022-11-21 10:37:14 +01:00
  • b2b80831ca derive: option for some optimisations Antoine Martin 2022-11-10 07:18:29 +01:00
  • 2ef0ea00f4 sere_to_tgba: produce state-names Antoine Martin 2022-11-03 06:58:21 +01:00
  • 8abad2b4f7 ltl2aa: handle edge case in UConcat Antoine Martin 2022-09-30 01:32:01 +02:00
  • 2d11d907ef alternation: fix bug introduced in oe_combiner Antoine Martin 2022-09-30 01:25:45 +02:00
  • 66f0ab85d0 ltl2aa: implement EConcat Antoine Martin 2022-09-20 22:42:40 +02:00
  • 3744d0cbed ltl2aa: comment Antoine Martin 2022-09-16 15:49:56 +02:00
  • 36b09fa1f6 ltl2aa: finalize UConcat Antoine Martin 2022-09-16 15:48:07 +02:00
  • 88914c58c7 ltl2aa: finish SERE aut merging with rhs outedges Antoine Martin 2022-09-16 03:41:30 +02:00
  • 87c99cb38f ltl2aa: fix two bugs in SERE aut merge Antoine Martin 2022-09-16 03:40:22 +02:00
  • 2af19a485b ltl2aa: place new state in var_to_state map Antoine Martin 2022-09-06 16:31:50 +02:00
  • 44568b5622 ltl2aa: implem closure Antoine Martin 2022-09-06 16:31:17 +02:00
  • 85b8717c05 ltl2aa: share dict between sere and final aut Antoine Martin 2022-09-06 16:07:28 +02:00
  • c1a0b5aa46 ltl2aa: fix bdd manipulation in UConcat Antoine Martin 2022-08-31 13:59:05 +02:00
  • 7eacf99f76 ltl2aa: fix R & M operators handling Antoine Martin 2022-08-09 12:24:37 +02:00
  • 11c469648f Add ltl2aa binary to tests/core Antoine Martin 2022-08-31 10:59:39 +02:00
  • 8f4ba3ec1a psl not working Antoine Martin 2022-07-13 16:11:54 +02:00
  • be45ccd46d ltl2aa: factorize self-loop creation Antoine Martin 2022-07-07 17:57:05 +02:00
  • 06f21899b1 twaalgos: add LTL to AA translation Antoine Martin 2022-06-21 13:54:32 +02:00
  • 382acca320 twaalgos: filter accepting sinks in oe combiner Antoine Martin 2022-07-07 16:40:41 +02:00
  • abe3da54fb graph: filter accepting sinks in univ_dest_mapper Antoine Martin 2022-07-07 16:38:33 +02:00
  • f2063b7fc3 derive: use first Antoine Martin 2022-03-30 21:52:34 +02:00
  • 0d6c3cd6e9 derive: handle AndNLM Antoine Martin 2022-03-18 19:27:37 +01:00
  • 6882611d25 derive: extract AndNLM rewriting Antoine Martin 2022-03-18 19:27:19 +01:00
  • 2c89e09a47 derive: no nullptr handling Antoine Martin 2022-03-18 18:05:53 +01:00
  • 90be62be3d derive: use from_finite Antoine Martin 2022-03-15 17:06:05 +01:00
  • d2667d48f6 twaalgos: add from_finite Antoine Martin 2022-03-14 15:17:51 +01:00
  • 04112b26cc twaalgos: extract internal sere2dfa Antoine Martin 2022-03-10 15:45:50 +01:00
  • 1092e6c0c2 tl: implement SERE derivation Antoine Martin 2022-01-14 08:56:28 +01:00
  • f0e4efa238 twagraph: merge_edges supports finite automata Antoine Martin 2022-03-10 12:16:18 +01:00
  • d2bc100656 nix: provide package in release tarballs Antoine Martin 2022-03-03 11:31:03 +01:00
  • 4535b4a915 nix: setup Nix Flake file Antoine Martin 2021-10-20 11:54:16 +02:00
  • 7868115a8b parity_type_to_parity: Add missing cases Florian Renkin 2023-05-04 15:28:48 +02:00
  • abe7222973 bitvect: work around incorrect warning from gcc Alexandre Duret-Lutz 2023-05-12 11:32:46 +02:00
  • 134da9209c genem: Add yet another version of the algorithm Alexandre Duret-Lutz 2023-05-11 21:40:14 +02:00
  • 747ec8b1c5 debian: add missing build dependencies Alexandre Duret-Lutz 2023-05-11 21:25:59 +02:00
  • b487ff4190 Merge branch 'master' into next Alexandre Duret-Lutz 2023-04-20 09:49:51 +02:00
  • d0ae0dfc38 * NEWS, configure.ac: Bump version to 2.11.5.dev. Alexandre Duret-Lutz 2023-04-20 09:48:22 +02:00
  • b6c076ce19 release Spot 2.11.5 Alexandre Duret-Lutz 2023-04-20 09:43:33 +02:00
  • 184aa9931e org: replace version references with org-babel blocks Alexandre Duret-Lutz 2023-04-18 17:35:05 +02:00
  • eb80f5d5af powerset: fix segfault when the initial state is a sink Alexandre Duret-Lutz 2023-04-18 15:04:58 +02:00
  • eb0f40b9d6 twa_run: let as_twa work on the result of intersecting_run Alexandre Duret-Lutz 2023-04-18 14:48:10 +02:00
  • 993695a2c4 Fix parity solver if edgevector is not contiguous Philipp Schlehuber-Caissier 2023-03-30 14:32:26 +02:00
  • 0c8093eded correctly fails if emacs needed and missing Alexandre Duret-Lutz 2023-03-29 17:01:13 +02:00
  • 646b6e546f fix spurious test-case failure when Python is not installed Alexandre Duret-Lutz 2023-03-29 16:20:51 +02:00
  • 1a0b1f235d * doc/tl/tl.tex: Typo in firstmatch semantics. Alexandre Duret-Lutz 2023-03-24 13:52:37 +01:00
  • 5714ecce32 Ignore ltargz.m4 Philipp Schlehuber 2023-03-22 11:00:48 +01:00
  • dcd4759896 org: fix rendering of R examples for recent ESS/Org Alexandre Duret-Lutz 2023-03-03 00:14:18 +01:00
  • a146457ea1 * doc/org/tut03.org: Typos. Alexandre Duret-Lutz 2023-02-23 12:02:06 +01:00
  • d3013b072d org: do not require org-install Alexandre Duret-Lutz 2023-02-16 17:46:51 +01:00
  • c12b0622b4 org: replace version references with org-babel blocks Alexandre Duret-Lutz 2023-04-18 17:35:05 +02:00
  • 0e54a85310 powerset: fix segfault when the initial state is a sink Alexandre Duret-Lutz 2023-04-18 15:04:58 +02:00
  • ae10361bdd twa_run: let as_twa work on the result of intersecting_run Alexandre Duret-Lutz 2023-04-18 14:48:10 +02:00