aboutsummaryrefslogtreecommitdiffstats
path: root/research/experiments/045-proof-compiler
ModeNameSize
-rw-r--r--2026-10-19-app.jsonl3479logstatsplain
-rw-r--r--2026-10-19-break.jsonl3680logstatsplain
-rw-r--r--2026-10-19-ops-v0r.txt398logstatsplain
-rw-r--r--2026-10-19-ops.txt544logstatsplain
-rw-r--r--2026-10-19-range.jsonl1723logstatsplain
-rw-r--r--2026-10-19-where-app.txt2966logstatsplain
-rw-r--r--2026-10-19-where-range.txt2777logstatsplain
-rw-r--r--2026-10-19-where-v0.txt2368logstatsplain
-rw-r--r--app-way.h11454logstatsplain
-rw-r--r--app.c20512logstatsplain
-rw-r--r--cost.c6212logstatsplain
-rw-r--r--events.c4982logstatsplain
-rw-r--r--native-hook.patch1295logstatsplain
-rw-r--r--ops-count.patch4634logstatsplain
-rw-r--r--range.c11938logstatsplain
-rw-r--r--stitch.c6456logstatsplain
-rw-r--r--unit.c2292logstatsplain
d---------units225logstatsplain
d---------variants211logstatsplain
-rw-r--r--where.c7537logstatsplain
-rw-r--r--where.py7659logstatsplain