| summaryrefslogtreecommitdiff |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-08-03 | Fixes issues in properties, Makefiles. | Nathanael Sensfelder |
| 2017-08-03 | Finishes the sol_pretty_printer, 'xcept Makefile. | Nathanael Sensfelder |
| 2017-08-01 | Adds more rules and prettyprint messages for them. | Nathanael Sensfelder |
| 2017-08-01 | Adds CNE_01800, as it's near identical to CNE_1700 | Nathanael Sensfelder |
| 2017-08-01 | Fixes is_accessed_by. CNE_01700 is not working. | Nathanael Sensfelder |
| 2017-08-01 | Fixes regex predicate + optimizes CNE_01700. | Nathanael Sensfelder |
| 2017-07-31 | Fixes typo with functions, errors in grammar. | Nathanael Sensfelder |