add bfin ice
[ICEs.git] / 225977 /
drwxr-xr-x   ..
-rwxr-xr-x 267 reduce-ice
-rw-r--r-- 436 texenvprogram.i
-rw-r--r-- 550840 texenvprogram.i.0
-rw-r--r-- 4790 texenvprogram.i.1
-rw-r--r-- 3072 texenvprogram.i.2
-rw-r--r-- 2076 texenvprogram.i.3
-rw-r--r-- 1237 texenvprogram.i.4
-rw-r--r-- 586 texenvprogram.i.bak
-rw-r--r-- 609 texenvprogram.i.ok
-rw-r--r-- 435 texenvprogram.i.unfiltered