repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
isl_dim_replace: call isl_dim_cow before changing isl_dim
2010-10-06
Sven
Ver
d
oola
e
ge
is
l
_
dim
_
re
p
lace: call
isl_di
m
_cow before c
h
a
nging is
l
_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-25
Sven Verdoo
l
a
e
g
e
export isl_access_inf
o
_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-25
Sven Verdoolaege
add isl_basic_map_get_
t
upl
e
_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-25
S
ven
Verdoolaege
add
i
sl
_
basic_
m
ap_re
m
o
v
e_
d
ivs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-25
Sven Ver
d
o
o
l
aege
add isl_union_map_co
m
pute_flow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-25
Sven Ver
d
oolaege
isl_access
_
info_compute_flow: preserve dime
n
s
i
o
n
specificat
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-25
S
ven
Verdoolaege
d
o
c: document ty
p
e
o
f
i
sl_access_info
_
a
lloc callback
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-25
Sven Verdoolaege
add isl_u
n
i
o
n
_map_
r
ange_map and i
s
l_union_map_doma
i
n
_
ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-25
S
v
en Ve
r
doolaege
add is
l
_
b
asic_map_from_
d
om
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-25
Sven
V
erdoo
l
aege
add isl_union_
m
ap_appl
y
_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-25
Sven
V
e
rdoolaege
add i
s
l_dim_from_domain and is
l
_dim
_
fr
o
m
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-25
Sven Verdo
o
laege
d
oc: d
o
cument
some isl_dim manipu
l
ation
f
unctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-25
S
v
en Verdool
a
ege
a
d
d
isl_se
t
_se
t
_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-25
Sven
Verdoola
e
ge
add isl_basic_{set,map}_from_c
o
nstraint_matrices
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-25
Sven Verdo
o
laege
add isl_
b
asi
c
_m
a
p_{in,}equalities_matrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-22
Sven Verdoola
e
ge
isl_input
.
c: accept divs in affine e
x
pressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-22
S
v
en V
e
rdoolaege
Reve
r
t
"i
s
l_inpu
t
.
c: re
a
d_tuple: construct
isl_dim
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-22
Sven Verdoolaege
isl_input
.
c:
obj
_
read: error out on i
n
term
e
diate NULL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-22
Sven V
e
rdool
a
ege
add isl
_
vec_z
e
ro_exten
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-22
Sven
Verdo
o
laege
isl_input
.
c:
stor
e
div definition in va
r
iab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-22
Sve
n
Verdoolaege
isl_basic_set_s
w
a
p
_vars: finali
z
e r
e
sul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-21
Sven Verdoolaege
i
s
l
_prin
t
e
r_print_qpo
l
ynomial: put
parenth
e
ses around
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-16
Sven Verdoo
l
aege
add isl_basic_set_mu
l
tiplicati
v
e_call
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-16
Sven Verdoolaege
add isl_
q
pol
y
nomial_one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-16
Sven Verdoolaege
m
erge
isl
_
basi
c
_set_drop_constraints_involving implementations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-16
Sven
V
erdoola
e
g
e
a
d
d isl_basic_map_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-11
Sven Verd
o
olaege
fix parameter alig
n
me
n
t when a
l
i
g
n
e
e
has zer
o
par
a
meters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
is
l
0
.
04
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-10
S
v
e
n Ve
r
d
oolaege
add isl_un
i
on_set_lex_[lg][et
]
_u
n
ion_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Verdoolae
g
e
isl_dim_replace: re
c
ursively replace p
a
rameters
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-04
S
ven Verdoolaeg
e
isl_input
.
c
a
dd_equalities: gauss and final
i
ze result
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-04
Sven Verdoolaege
add publi
c
API fo
r
m
a
trices
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-04
S
ven Verdool
a
eg
e
i
sl_coale
s
ce
.
c: fix typos
i
n com
m
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-04
Sven Verdo
o
la
e
ge
isl_p
o
l
y
to
p
e
_s
c
an:
i
mprove error h
a
ndli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-09-04
Sven Ve
r
doolaege
a
dd
isl_pw_qpolynomial_
s
plit
_
perio
d
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-29
Sven Verdool
a
ege
isl_polynomial
.
c:
s
ort_divs: remov
e
duplicate divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-29
Sven
Verdoolae
g
e
isl
_
p
olynomial
.
c: sort_d
i
vs: fix or
d
e
ring of div rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoo
l
aege
argume
n
t p
a
rsing
:
add IS
L
_ARG_USE
R
_OPT_C
H
O
ICE
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdo
o
laege
align
par
a
met
e
rs
o
f
u
nion arguments to binary functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
a
dd is
l
_dim
_
repl
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdoolaege
add
is
l
_union_
*
_du
m
p for d
e
b
ugging
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
V
e
rdoolaege
clean up isl_pw_qpolyno
m
i
a
l_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
i
s
l_unio
n
_templ
.
c:
m
ino
r
clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-26
S
v
en Verdoolaege
add i
s
l_mat_i
n
sert_zero
_
cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
add i
s
l_
b
asic_map_g
e
t_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-24
Sven Verdoolaeg
e
i
s
l
_
ma
p
_re
a
d_f
r
o
m_s
t
r: parse
t
uple entries wi
t
h leading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
S
ven Ve
r
doolae
g
e
add
isl_map
_
apply
_
pw_qpolynom
i
al_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
add
i
sl
_
union_pw_qpolynomia
l
_fold_get_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laeg
e
add isl
_
pw_qpolynom
i
al_fold_insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
add i
s
l_union_pw_
q
po
l
ynomial_fold_
a
dd_union_pw_
q
po
l
ynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n V
e
rdoolaege
add ty
p
e to is
l
_{union_,
}
pw_qpolynom
i
al
_
fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
f
ix isl_qpolynomial
_
fold_
r
eset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
sl_input
.
c: read_ter
m
:
allow terms st
a
rting
with negat
i
ve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
isl_uni
o
n_p
w
_qpolynomial_add_pw_qpo
l
y
n
o
mial: don't
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
isl_st
r
eam_
r
ead_obj: rea
d
r
eductions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
isl_input
.
c: r
e
ad_fac
t
or: fix
read a
f
t
e
r free in
e
rro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
i
s
l_stream
_
err
o
r
: print
unexpected
iden
t
ifier name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdool
a
ege
rena
m
e
i
sl_pw_qpo
l
ynomial_f
o
ld
_
a
d
d t
o
isl_pw_
q
p
olynomial_f
o
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
doc: minor clarifi
c
a
tion on operations on union sets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
add isl_
u
nion_set
_
g
e
t
_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-11
Sven
V
erdoolaeg
e
isl_map_gist: a
l
so perform gis
t
in universe c
o
n
t
ext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-10
Sven V
e
rdoolaeg
e
isl_union_map: construct n
e
w isl_union_map on o
p
erations
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-10
Sven Ve
r
doolaege
isl_union_map_
i
s_empty:
fix
t
ypo that resulted i
n
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verd
o
olaege
add isl_basic_map_has_defining_equalit
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdoolaeg
e
a
dd isl_set_get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-08
Uday Kumar Reddy
update
.
gitignore
commit
|
commitdiff
|
tree
2010-08-07
Sv
e
n Ve
r
d
o
olaege
i
s
l_p
r
inter
_
print_map: fix printing i
n
l
a
tex for
m
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoo
l
aege
isl_s
e
t
_
wrap_facet:
normalize resu
l
ting fac
e
t constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaeg
e
isl
_
coalesce
.
c: fix typo in commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sv
e
n Verd
o
olaege
isl_pw_qpoly
n
omial_intersect_
d
omain: si
m
plify polynomia
l
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
isl_qpolynomial_move_dims: plug memory leak and fi
x
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Ve
r
doolaeg
e
add isl_pw_qpolynom
i
al_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
S
ven Verdoolaege
add isl_qpolyno
m
ia
l
_
fold_
s
ubstitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
isl_pw_qpolyno
m
ial_i
n
tersect_domain: drop piece
s
that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
s
l
_
map
_
product: used n
e
ste
d
spaces i
n
res
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdo
o
laeg
e
isl_pw_qpo
l
ynomial_b
o
un
d
:
h
andle is
l
_pw_q
p
oly
n
omials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verd
o
olaege
sup
p
ort ne
s
t
ed isl_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
r
do
o
la
e
ge
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n
Verdoolaege
export isl_dim_tu
p
le_m
a
tch
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
er
d
oolaege
i
s
l_o
u
tput
.
c: ext
r
ac
t
ou
t
common
p
rint_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
v
en
Verdoolaege
isl_input
.
c: read_tu
p
le: construct isl_d
i
m instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verd
o
ol
a
ege
do
c
:
remove d
e
s
cript
i
on of how
to get th
e
pip
l
ib submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolae
g
e
isl_p
r
inter_prin
t
_pw_qpoly
n
omia
l
_
f
o
ld: print dim as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
oolaege
a
d
d isl_pw_qpol
y
nomial_inse
r
t_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_se
t
_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
er
d
o
o
la
e
ge
add
isl_ba
s
ic
_
m
a
p_image_is_bounded
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdoolaeg
e
a
void NULL p
o
int
e
r exception in isl_basic_m
a
p_n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdoolae
g
e
fix isl_pw_qpo
l
ynomial_rese
t
_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ve
r
d
o
o
laege
add isl_mat_add_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolae
g
e
a
d
d isl_mat_add_zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
Sven Ver
d
oolaeg
e
export is
l
_b
a
sic_map_move_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
hide isl
_
dim
i
nter
n
als
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
add is
l
_
dim
_
get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven V
e
rdoolaeg
e
isl_basic_
m
ap_reset_dim: fin
a
lize
r
esult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoo
l
aege
isl
_
transit
i
ve_cl
o
s
u
r
e
.
c:
anonym
i
ze input
map du
r
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl
_
transitive_c
l
os
u
re
.
c:
k
ee
p
t
r
ack of domain
s
for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaeg
e
isl_di
m
_drop: always rem
o
ve
t
uple name, even if number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoola
e
ge
i
sl
_
di
m
_set_tuple
_
name:
a
l
l
ow
ex
p
licit removal of tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaeg
e
add suppo
r
t for union set
s
and relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Ver
d
o
o
l
aege
isl_t
r
ansitiv
e
_closure
.
c: extract out s
o
m
e
re
u
sab
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
