Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2016-10-06 | Adds a trace code | Camil Staps | 1 | -0/+3 | |
2016-09-25 | Added code: add, eq, ge, gt, le, lt, ne | Camil Staps | 1 | -1/+30 | |
2016-09-25 | Update documentation: graph rewriting, code names list | Camil Staps | 1 | -0/+18 | |