summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)AuthorFilesLines
2015-07-11Improve documentation documentationLars-Dominik Braun1-10/+16
2015-07-11Rename Operation to InstructionLars-Dominik Braun6-58/+59
2015-07-04Lint: Restrict rangesLars-Dominik Braun1-0/+27
2015-07-04Rewrite motivationLars-Dominik Braun1-31/+77
2015-06-29Use cabal’s testsuite interfaceLars-Dominik Braun1-1/+2
2015-06-28Replace file magic with directivesLars-Dominik Braun6-54/+109
2015-06-14First public versionLars-Dominik Braun10-0/+1346
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-24 16:11:27 +0000