aboutsummaryrefslogtreecommitdiffstats
path: root/research/experiments/045-proof-compiler/units
ModeNameSize
-rw-r--r--append.aup130logstatsplain
-rw-r--r--arith.aup111logstatsplain
-rw-r--r--call.aup167logstatsplain
-rw-r--r--mod.aup114logstatsplain
-rw-r--r--read-direct.aup256logstatsplain
-rw-r--r--read.aup263logstatsplain