| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-09-27 | Limits the creation of atom-relations to "String". | Nathanael Sensfelder | |
| The need for those relations is limited to the access of their atom in the formula. As, with the exception of String elements, the formula cannot directly reference an atom, only String atoms require their own relation. Going even further, only the String element referenced in the formula need their own relation. | |||
| 2017-07-31 | Adds a verbosity parameter. | Nathanael Sensfelder | |
| 2017-07-31 | Finer imports. | Nathanael Sensfelder | |
| 2017-07-25 | Gets the strings seemingly working. | Nathanael Sensfelder | |
| 2017-07-19 | Adds messages to follow the framework's flow. | Nathanael Sensfelder | |
| 2017-07-18 | Unused predicates & types -> not in kodkod. | Nathanael Sensfelder | |
| 2017-07-17 | Initial commit. | Nathanael Sensfelder | |