drwxr-xr-x 475249 holtrace-20250617 56 files + 0 links
drwxr-xr-x   5259 autogen 4 files + 0 links
drwxr-xr-x 130116 doc 24 files + 0 links
-rw-r--r--    767 Makefile
-rwxr-xr-x  10838 holtrace-prune
-rwxr-xr-x     84 holtrace-save
-rwxr-xr-x  12243 holtrace-verify-simple
-rw-r--r--  76692 holtrace-verify.c
-rw-r--r--  20772 holtrace-worker.c
-rw-r--r--  27515 holtrace.ml
-rw-r--r--   9711 holtrace2ml.c
-rwxr-xr-x     61 holtrace2pt-names
-rwxr-xr-x     45 holtrace2pt-proofs
-rwxr-xr-x     47 holtrace2pt-theorems
-rwxr-xr-x     71 holtrace2tex
-rwxr-xr-x  38627 holtrace2tex-worker
-rw-r--r--   2003 holtrace_base32.c
-rw-r--r--    137 holtrace_base32.h
-rw-r--r--   1501 in.c
-rw-r--r--    111 in.h
-rw-r--r--    556 out.c
-rw-r--r--   1384 out.h
-rw-r--r--  23691 pt2holtrace.cc
-rwxr-xr-x   7306 ptparse.py
-rwxr-xr-x  14027 term.py
-rwxr-xr-x   1305 testtraces
-rw-r--r--  61332 testtraces.exp
-rw-r--r--  23192 testtraces.in
-rwxr-xr-x   2504 type.py
-rw-r--r--   3343 vector.h
-rw-r--r--      9 version