stutter-invariant property on automata
Automata should have a stuter-invariant property that can be queried. The HOAF output would use it. Joachim would like to use it in ltl2dstar in the case where it reads HOA.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information