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