aboutsummaryrefslogtreecommitdiffstats
path: root/research/experiments/045-proof-compiler/variants
ModeNameSize
-rw-r--r--linebreak-keyed2.patch2865logstatsplain
-rw-r--r--range-out.patch1544logstatsplain
-rw-r--r--v0-empty.patch1487logstatsplain
-rw-r--r--v0r-range.patch1560logstatsplain
-rw-r--r--v1-lists.patch750logstatsplain
-rw-r--r--v2-text.patch519logstatsplain