| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-07-31 | Fixes typo with functions, errors in grammar. | Nathanael Sensfelder | |
| Looking for the groups matching CNE_01700 appears to take a really long time. The formula is quite complex, yet unlikely to be one of the most complex ones, so we'll have to see what can be done. | |||
| 2017-07-31 | Adds a verbosity parameter. | Nathanael Sensfelder | |
| 2017-07-25 | Gets the strings seemingly working. | Nathanael Sensfelder | |
| 2017-07-25 | Improves error reports for the property. | Nathanael Sensfelder | |
| 2017-07-19 | More small mistakes removed. It seems to work now. | Nathanael Sensfelder | |
| 2017-07-19 | Fixes stupid mistakes. | Nathanael Sensfelder | |
| 2017-07-19 | First shot at the framework (it does compile). | Nathanael Sensfelder | |
| 2017-07-18 | Starting to link parser with the program. | Nathanael Sensfelder | |
| But apparently I messed up some kodkod logic. | |||
| 2017-07-17 | Fixes a few dumb mistakes, adds ps example. | Nathanael Sensfelder | |
| 2017-07-17 | Improves parameters handling | Nathanael Sensfelder | |