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