summaryrefslogtreecommitdiff log msg author committer range path: root/data/propertyAgeCommit message (Expand)Author 2017-08-04For some reason, CNE_01700 no longer works.improved_makefilesNathanael Sensfelder 2017-08-03Fixes issues in properties, Makefiles.Nathanael Sensfelder 2017-08-03Finishes the sol_pretty_printer, 'xcept Makefile.Nathanael Sensfelder 2017-08-01Adds more rules and prettyprint messages for them.Nathanael Sensfelder 2017-08-01Adds CNE_01800, as it's near identical to CNE_1700Nathanael Sensfelder 2017-08-01Fixes is_accessed_by. CNE_01700 is not working.Nathanael Sensfelder 2017-08-01Fixes regex predicate + optimizes CNE_01700.Nathanael Sensfelder 2017-07-31Fixes typo with functions, errors in grammar.Nathanael Sensfelder 2017-07-26New prNathanael Sensfelder 2017-07-25It seems to work.Nathanael Sensfelder 2017-07-25Fixes issues with "_". things seem to work now.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-19First shot at the framework (it does compile).Nathanael Sensfelder
