handle impl crashes by catching SIGPIPE
tree2af23c8866b61853aea16f426be8510028c4d302
-rw-r--r-- 26 .gitignore
-rw-r--r-- 175 Makefile
-rw-r--r-- 2752 README
drwxr-xr-x - checker
drwxr-xr-x - impl-libc
drwxr-xr-x - impl-mpfr
drwxr-xr-x - impl-myrddin