barvinok.cc: basic_map_card: rename "dim" variable to "space"
[barvinok.git] / interface / 
tree9d70f1f6d697eb8e8041c3a94f9a9c1ef81fbdf5
drwxr-xr-x   ..
-rw-r--r-- 26 all_barvinok.c
-rw-r--r-- 43 all_barvinok.h
-rw-r--r-- 631 isl.py.top.no_pet
-rw-r--r-- 701 isl.py.top.pet