summaryrefslogtreecommitdiff log msg author committer range path: root/instr-to-kodkod/src/VariableManager.javaAgeCommit message (Expand)Author 2017-07-18Starting to link parser with the program.Nathanael Sensfelder
