summaryrefslogtreecommitdiff log msg author committer range path: root/dataAgeCommit message (Expand)Author 2017-07-27First shot at depths operators.Nathanael Sensfelder 2017-07-26New prNathanael Sensfelder 2017-07-26First shot at (logic, not VHDL) functions.Nathanael Sensfelder 2017-07-26Updates bce's AST to include functions.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-24Fixes connect_to/node_connect, configs Makefiles.Nathanael Sensfelder 2017-07-22Adds the "is_terminal" predicate.Nathanael Sensfelder 2017-07-19Formula.and(Formula...) != a.and(Formula...)Nathanael Sensfelder 2017-07-19forgot to use cfg-to-path. Still broken though.Nathanael Sensfelder 2017-07-19Dammit, it says flip-flops are combinational...Nathanael Sensfelder 2017-07-19Adds "real" property: Find combinational processesNathanael 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-18Adds missing predicate from g4 to instr scriptsNathanael Sensfelder 2017-07-17Adds the (rather costly) predicate to handle UntilNathanael 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-17Initial commit.Nathanael Sensfelder
