To download and unpack the latest version of the HOLTrace package:

wget -m https://holtrace.cr.yp.to/holtrace-latest-version.txt
version=$(cat holtrace.cr.yp.to/holtrace-latest-version.txt)
wget -m https://holtrace.cr.yp.to/holtrace-$version.tar.gz
tar -xzf holtrace.cr.yp.to/holtrace-$version.tar.gz
cd holtrace-$version

Then install and test.

Archives

holtrace-20250624.tar.gz browse

In holtrace_restore, allow alpha-equivalent definitions of existing constants.

Print matching+creating statistics for holtrace_restore.

Revamp holtrace-verify data structures for types and terms. This improves code clarity and provides a slight speedup.

Print some profiling information for holtrace-save.

In holtrace-save, actively remove $HOLTRACE_SAVE to avoid potential bad interactions between a previous writer and the new writer, just in case the filename collides.

Add a few more test traces.

Miscellaneous documentation improvements.

holtrace-20250617.tar.gz browse

First release.