summaryrefslogtreecommitdiff log msg author committer range path: root/data/property/cnesAgeCommit message (Expand)Author 2017-09-19Fixes case/when models, regroups properties.Nathanael Sensfelder 2017-09-18Moves the templates to accommodate the tests.Nathanael Sensfelder 2017-09-18Fixes copy/paste mistake in CNE_00100 + comments.Nathanael Sensfelder 2017-08-17Adds CNE_04500.Nathanael Sensfelder 2017-08-15Partial attr. support, build/run targets, literalsNathanael Sensfelder 2017-08-15Use of 'eq' greatly improves performance.Nathanael Sensfelder 2017-08-13Adds more (rather simple) properties.Nathanael 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
