iscc.c: use isl_stream_is_empty instead of reading eof field of isl_stream
[barvinok/uuh.git] / interface / 
tree12000a72ec7dd03838c16bedb1c2434258ff07cd
drwxr-xr-x   ..
-rw-r--r-- 122 all.h
-rw-r--r-- 621 isl.py.top