Examples use an extra -funfolding-use-threshold30
-rw-r--r-- 328 Makefile
-rw-r--r-- 18 defineTOP.mk
drwxr-xr-x - dph-base
drwxr-xr-x - dph-prim-interface
drwxr-xr-x - dph-prim-par
drwxr-xr-x - dph-prim-seq
drwxr-xr-x - dph
drwxr-xr-x - examples
-rw-r--r-- 118 ndp.mk