drwxr-xr-x 567227 holtrace-20250714 67 files + 0 links
drwxr-xr-x   6939 autogen 5 files + 0 links
drwxr-xr-x 182123 doc 28 files + 0 links
-rw-r--r--    731 Makefile
-rwxr-xr-x  10869 holtrace-prune
-rwxr-xr-x    110 holtrace-save
-rwxr-xr-x  12274 holtrace-verify-simple
-rw-r--r--  67407 holtrace-verify.c
-rw-r--r--  20772 holtrace-worker.c
-rw-r--r--  33473 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     45 install
-rwxr-xr-x     52 install+hashtt
-rwxr-xr-x  12089 install-worker
-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--  64514 testtraces.exp
-rw-r--r--  24589 testtraces.in
-rw-r--r--  12217 trace.py
-rwxr-xr-x   2504 type.py
-rwxr-xr-x     47 uninstall
-rw-r--r--   3274 vector.h
-rw-r--r--      9 version