summaryrefslogtreecommitdiff log msg author committer range AgeCommit message (Expand)Author 2017-07-19Fixes stupid mistakes.Nathanael Sensfelder 2017-07-19First shot at the framework (it does compile).Nathanael Sensfelder 2017-07-18Adds missing predicate from g4 to instr scriptsNathanael Sensfelder 2017-07-18It compiles... Ship it!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-18Antlr now creates the associated Java files.Nathanael Sensfelder 2017-07-18Solves previous problem by changing path def.Nathanael Sensfelder 2017-07-18Hit a small issue with my current idea.Nathanael Sensfelder 2017-07-18Adds some ideas on how to retrieve p. data.Nathanael Sensfelder 2017-07-18First shot at a grammar for the properties.Nathanael Sensfelder 2017-07-17Adds the (rather costly) predicate to handle UntilNathanael Sensfelder 2017-07-17Starting to work on a parser for the properties.Nathanael Sensfelder 2017-07-17First shot at cfg-to-paths.Nathanael Sensfelder 2017-07-17Fixes a few dumb mistakes, adds ps example.Nathanael Sensfelder 2017-07-17Working on a way to CTL over DAG in Kodkod.Nathanael Sensfelder 2017-07-17Improves parameters handlingNathanael Sensfelder 2017-07-17Initial commit.Nathanael Sensfelder [prev]
