summaryrefslogtreecommitdiff log msg author committer range path: root/cfg-to-paths/src/QuickParser.javaAgeCommit message (Expand)Author 2017-07-17Working on a way to CTL over DAG in Kodkod.Nathanael Sensfelder
