summaryrefslogtreecommitdiff
path: root/instr-to-kodkod/src
AgeCommit message (Expand)Author
2017-08-01Fixes is_accessed_by. CNE_01700 is not working.Nathanael Sensfelder
2017-07-31Fixes typo with functions, errors in grammar.Nathanael Sensfelder
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-26(Woops) Adds anonymous strings support.Nathanael Sensfelder
2017-07-26First shot at (logic, not VHDL) functions.Nathanael Sensfelder
2017-07-25Gets the strings seemingly working.Nathanael Sensfelder
2017-07-25It seems to work.Nathanael Sensfelder
2017-07-25Improves error reports for the property.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-19More small mistakes removed. It seems to work now.Nathanael Sensfelder
2017-07-19Adds messages to follow the framework's flow.Nathanael Sensfelder
2017-07-19Fixes stupid mistakes.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-17Fixes a few dumb mistakes, adds ps example.Nathanael Sensfelder
2017-07-17Improves parameters handlingNathanael Sensfelder
2017-07-17Initial commit.Nathanael Sensfelder