| summaryrefslogtreecommitdiff |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-02-13 | Seems to work reasonably well.code-improvements | Nathanael Sensfelder |
| 2017-02-08 | Changes knowledge structure, defines protocol. | Nathanael Sensfelder |
| 2017-02-03 | Continuing Implementation... | Nathanael Sensfelder |
| 2017-01-29 | Trying out ACSL, continuing implementation. | Nathanael Sensfelder |