aboutsummaryrefslogtreecommitdiff
path: root/doc/code.tex
AgeCommit message (Collapse)AuthorFilesLines
2016-10-06Adds a trace codeCamil Staps1-0/+3
2016-09-25Added code: add, eq, ge, gt, le, lt, neCamil Staps1-1/+30
2016-09-25Update documentation: graph rewriting, code names listCamil Staps1-0/+18