alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/spot
History
Exact
Antoine Martin c63412ab94 translate_aa: fix sere copy 
When adapting the code to handle transition-based acceptance, a bug was
introduced so that only accepting edges were copied to the result
automaton.

The self-loop labeled as false edge-case is here as prevention, I am not
sure it happens in practice.

* spot/twaalgos/translate_aa.cc: Here.
2025-10-17 17:40:11 +02:00
..
bricks * spot/bricks/brick-assert: include <cstdint>. 2023-12-17 21:34:51 +01:00
gen gen: rename pps-arbiter's APs 2024-09-19 18:45:44 +02:00
graph graph: filter accepting sinks in univ_dest_mapper 2025-03-17 16:11:36 +01:00
kripke Upgrade the Copyright strings to point to AUTHORS and drop years 2023-11-18 21:50:32 +01:00
ltsmin Fix typos in doc, comments and messages 2024-04-16 17:01:31 +02:00
mc Fix typos in doc, comments and messages 2024-04-16 17:01:31 +02:00
misc defrag_states: allow a permutation of state numbers 2024-09-18 13:59:51 +02:00
parseaut Fix typos in doc, comments and messages 2024-04-16 17:01:31 +02:00
parsetl Upgrade the Copyright strings to point to AUTHORS and drop years 2023-11-18 21:50:32 +01:00
priv Fix typos in doc, comments and messages 2024-04-16 17:01:31 +02:00
ta Fix typos in doc, comments and messages 2024-04-16 17:01:31 +02:00
taalgos Fix typos in doc, comments and messages 2024-04-16 17:01:31 +02:00
tl sonf: fix recursion of rewriting, was only called on operand 2025-10-15 16:38:20 +02:00
twa twagraph: merge_edges supports finite automata 2025-03-17 16:11:36 +01:00
twaalgos translate_aa: fix sere copy 2025-10-17 17:40:11 +02:00
twacube Fix typos in doc, comments and messages 2024-04-16 17:01:31 +02:00
twacube_algos Upgrade the Copyright strings to point to AUTHORS and drop years 2023-11-18 21:50:32 +01:00
.gitignore install pkg-config configuration files 2017-01-14 17:56:05 +01:00
libspot.pc.in Add a --enable-pthread option to activate experimental threading code 2022-06-21 09:56:13 +02:00
Makefile.am Upgrade the Copyright strings to point to AUTHORS and drop years 2023-11-18 21:50:32 +01:00