mCRL2 icon indicating copy to clipboard operation
mCRL2 copied to clipboard

Published 20 hours ago • verified publisher icon mCRL2org

ltsgraph could show livelocked states in a selectable color

Open mlaveaux opened this issue 1 year ago • 1 comments

This feature could be enabled through the color menu, painting deadlocks and livelocks in the selected color.

mlaveaux avatar Feb 23 '24 09:02 mlaveaux

Implemented marking the deadlock states, but not yet the livelocked states.

mlaveaux avatar Mar 05 '24 15:03 mlaveaux