summaryrefslogtreecommitdiff log msg author committer range path: root/instr-to-kodkod/parserAgeCommit message (Expand)Author 2017-07-17Starting to work on a parser for the properties.Nathanael Sensfelder
