chiark / gitweb /
Output dissection in the same format as partition.py.
-rw-r--r-- 55 .gitignore
-rw-r--r-- 257 Makefile
-rw-r--r-- 5385 bounds.py
-rw-r--r-- 24226 main.c
-rwxr-xr-x 5983 partition.py
-rwxr-xr-x 4251 print.py
-rwxr-xr-x 1156 test.pl