| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | 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 | |