chiark / gitweb /
move stuff into Parse.pm; build system
-rw-r--r-- 54 .gitignore
-rw-r--r-- 528 Makefile
-rw-r--r-- 4299 Parse.pm
-rw-r--r-- 143 TODO
-rw-r--r-- 2752 input-graph
-rwxr-xr-x 780 parse-input-graph