All issues

Search results

capture group (NFA)

Status: Open.

#9 In Flydexo/tipe;

· Flydexo opened on Feb 6, 2026

dynamic blowup factor

Status: Open.

#8 In Flydexo/tipe;

· Flydexo opened on Feb 6, 2026

Hash not linked to the input word of the automata

Status: Open.

#7 In Flydexo/tipe;

· Flydexo opened on Feb 6, 2026

Shorter proof

Status: Open.

#6 In Flydexo/tipe;

· Flydexo opened on Feb 4, 2026

Faster

Status: Open.

#5 In Flydexo/tipe;

· Flydexo opened on Feb 4, 2026

Taking too much time on the cell 6 and I don't understand why

Status: Open.

#4 In Flydexo/tipe;

· Flydexo opened on Feb 4, 2026