isl_ctx: keep track of user options
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 21 May 2010 14:26:43 +0000 (16:26 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 30 May 2010 15:24:02 +0000 (17:24 +0200)
commit7adc3116c28a60bd8975a04e0041ea6005613249
tree9c46dbcb237295fa719b19270352bf3433f3d3da
parent57bcba36ff6b9d4854ad739e3ddc397cf1ca2343
isl_ctx: keep track of user options
bound.c
cat.c
closure.c
include/isl_ctx.h
isl_ctx.c
pip.c