-
Michele authored
added validity check on suspension automata. Implemented only quiescence reducibility. Optimized the quiescence reduicibility in the table
0d34ff34
added validity check on suspension automata. Implemented only quiescence reducibility. Optimized the quiescence reduicibility in the table