githwxi/ATS-Postiats — pull request #59 by bbarker (2014-02-18 02:50:58+00:00)
Title: added cnf_timeout script

make cnf_timeout will make the program
Amazingly, it seems to run very quickly for all human rules (this was not the case for one or two of them in my implementation.

Did you have out of memory or run-time issues for any rules previously, or just guess that it would be the case? Just want to verify.
------------------------------------------------------------------
Automatically generated squashed commits:

added some notes

nearly working alternative list cnfizer

typechecks

initial support for multiple makefile targets

minor changes

now compiles with grexplst_cnfize_except

finished initial version of cnf_timeout