drwxr-xr-x 546869 holtrace-20250629 65 files + 0 links
drwxr-xr-x   5745 autogen 5 files + 0 links
drwxr-xr-x 162606 doc 28 files + 0 links
-rw-r--r--    767 Makefile
-rwxr-xr-x   7952 hashtt
-rwxr-xr-x    403 hashtt-undo
-rwxr-xr-x  10869 holtrace-prune
-rwxr-xr-x    110 holtrace-save
-rwxr-xr-x  12274 holtrace-verify-simple
-rw-r--r--  74857 holtrace-verify.c
-rw-r--r--  20772 holtrace-worker.c
-rw-r--r--  33596 holtrace.ml
-rw-r--r--   9739 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
-rwxr-xr-x  12578 ot2holtrace
-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--  62314 testtraces.exp
-rw-r--r--  23342 testtraces.in
-rw-r--r--  12217 trace.py
-rwxr-xr-x   2504 type.py
-rw-r--r--   3343 vector.h
-rw-r--r--      9 version