aboutsummaryrefslogtreecommitdiffstats
path: root/research/experiments/045-proof-compiler
ModeNameSize
-rw-r--r--2026-10-19-break.jsonl3193logstatsplain
-rw-r--r--2026-10-19-ops.txt544logstatsplain
-rw-r--r--2026-10-19-where-app.txt2966logstatsplain
-rw-r--r--2026-10-19-where-range.txt2777logstatsplain
-rw-r--r--cost.c6139logstatsplain
-rw-r--r--events.c4982logstatsplain
-rw-r--r--native-hook.patch1295logstatsplain
-rw-r--r--ops-count.patch4634logstatsplain
-rw-r--r--stitch.c6456logstatsplain
-rw-r--r--unit.c2292logstatsplain
d---------units225logstatsplain
d---------variants168logstatsplain
-rw-r--r--where.c6744logstatsplain
-rw-r--r--where.py7659logstatsplain