summaryrefslogtreecommitdiff log msg author committer range path: root/instr-to-kodkodAgeCommit message (Expand)Author 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-27Fixes multiple issues with depths.Nathanael Sensfelder 2017-07-27First shot at depths operators.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-25Fixes issues with "_". things seem to work now.Nathanael Sensfelder 2017-07-25Improves error reports for the property.Nathanael Sensfelder 2017-07-24Lets users use projections in predicates.Nathanael Sensfelder 2017-07-24Fixes connect_to/node_connect, configs Makefiles.Nathanael Sensfelder 2017-07-20Removes TODO from the grammar.Nathanael Sensfelder 2017-07-19Formula.and(Formula...) != a.and(Formula...)Nathanael Sensfelder 2017-07-19This one seem to work -> bad CTL?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-19Signals being used instead of wfm + rec targetsNathanael Sensfelder 2017-07-19No longer add function and literals as waveforms.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-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-17Starting to work on a parser for the properties.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
