drwxr-xr-x 109996 nttcompiler-20220411/scripts 11 files
-rwxr-xr-x   6705 doublecheck
-rwxr-xr-x  57986 nttcompiler
-rwxr-xr-x  15821 opt2range
-rwxr-xr-x   5118 range2linear
-rwxr-xr-x    293 spec-eval
-rwxr-xr-x    808 spec-interp
-rwxr-xr-x   3271 unroll
-rwxr-xr-x  19249 unroll2opt
-rwxr-xr-x    311 verify
-rwxr-xr-x    329 verify-inv
-rwxr-xr-x    105 verifyall