Added logic for enforcing a maximum execution time and changed monitor() to print...
treeff7401ac70d308d797d8163363220d43550f39f0
-rw-r--r-- 25 .gitignore
-rw-r--r-- 1568 CHANGELOG
-rw-r--r-- 2861 LICENSE
-rw-r--r-- 1250 Makefile
-rw-r--r-- 3496 README.markdown
-rwxr-xr-x 863 configure
drwxr-xr-x - src