summaryrefslogtreecommitdiff log msg author committer range path: root/data/level/control_flow_level.dataAgeCommit message (Expand)Author 2017-07-17Working on a way to CTL over DAG in Kodkod.Nathanael Sensfelder
