summaryrefslogtreecommitdiff log msg author committer range path: root/instr-to-kodkod/src/VariableManager.javaAgeCommit message (Collapse)Author 2017-07-18Starting to link parser with the program.Nathanael Sensfelder But apparently I messed up some kodkod logic.
