summaryrefslogtreecommitdiff log msg author committer range path: root/instr-to-kodkod/src/Main.javaAgeCommit message (Expand)Author 2017-07-31First shot at the handling of regular expressions.Nathanael Sensfelder 2017-07-31Adds a verbosity parameter.Nathanael Sensfelder 2017-07-31Finer imports.Nathanael Sensfelder 2017-07-31Improves solution displaying.Nathanael Sensfelder 2017-07-31Tagged variables are now the only skolemized vars.skol_only_the_solutionNathanael Sensfelder 2017-07-28Removes repetitions, prepares for skol. of sol.Nathanael Sensfelder 2017-07-25Gets the strings seemingly working.Nathanael Sensfelder 2017-07-19forgot to use cfg-to-path. Still broken though.Nathanael Sensfelder 2017-07-19The formula seems correct, which is worrisome.Nathanael Sensfelder 2017-07-19Adds messages to follow the framework's flow.Nathanael Sensfelder 2017-07-19First shot at the framework (it does compile).Nathanael Sensfelder 2017-07-18Starting to link parser with the program.Nathanael Sensfelder 2017-07-18Unused predicates & types -> not in kodkod.Nathanael Sensfelder 2017-07-17Improves parameters handlingNathanael Sensfelder 2017-07-17Initial commit.Nathanael Sensfelder
