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_tab_sample: treat emptiness of tableau as error
2012-11-20
S
v
en Verdoolaege
isl_tab_sa
m
ple: treat e
m
p
t
ines
s
of tableau
as
e
rror
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-16
Sven
Verdoolaege
AST generation: fix ha
n
dling
of separati
o
n classes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n Verdoolaeg
e
isl
_
pri
n
ter_print_{ba
s
i
c
_,
}
{
set,map}: don't
start new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ver
d
oo
l
aege
isl_printer_print_space: support printing i
n
"omega
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolae
g
e
r
ename isl_basi
c
_set_add
to isl_basic_set_
a
dd_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven
Verdoolaege
i
sl
_
aff_normalize:
plug in divs
w
ith unit coeffici
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven V
e
rdoolaege
isl_local_s
p
ace_sub
s
titute_se
q
: take
argument for th
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sve
n
Verdoolae
g
e
isl
_
a
f
f_floor: n
o
rmalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_aff_ce
i
l: compute ceil(e/m) as f
l
o
o
r((e + m - 1)/m)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-12
S
ven Verdoolaege
isl_a
f
f_gist:
add missing isl_ve
c
_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
Sven Verdoolaege
i
sl_union_set_compute_schedu
l
e: dou
b
l
e c
h
eck that we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
Sven
V
erdoolaege
i
sl_
u
n
i
on_se
t
_compute_schedul
e
: ensure
carry_depende
n
ces
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sve
n
Ve
r
doolaege
update for cha
n
ge in clang's DiagnosticOpti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
S
ve
n
V
erdoolaege
isl_
m
ap_plain_is_d
i
sjoi
n
t:
h
andle inputs with di
f
fe
r
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
S
ven Verdoolaege
add REA
D
M
E
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
A
ndreas Kloeckner
Introduce isl_in
t
_
f
r
e
e_s
t
r
to remove GMP dependency
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
Sven Verdoolaeg
e
i
sl_union
_
s
et_co
m
pu
t
e
_
sc
h
e
dule: handle re
s
ult w
i
th
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
Sv
e
n Verdoolae
g
e
isl_a
s
t_co
d
e
g
en
.
c: generate_domai
n
: postpone si
n
gle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sve
n
Verdoolaeg
e
i
sl_ast_build_a
s
t_from_schedule: ma
k
e co
n
structi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven
V
erdoola
e
ge
i
s
l_as
t
_buil
d
_ast_from_sche
d
ule: use
"<" if upper bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
isl_as
t
_expr:
a
dd i
s
l_as
t
_op_lt and
i
s
l_ast_op_
g
t
operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven
V
erdoolaege
add
i
sl_basic_set_from_p
a
ram
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoola
e
ge
i
s
l_ast_expr_from_aff: try
harder to use isl_a
s
t_op_pdiv_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
S
ve
n
Verd
o
olaege
i
s
l_as
t
_
b
u
i
ld_e
x
p
r
.
c: separ
a
te
o
ut extract_
m
odu
l
o function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdo
o
laege
i
s
l_ast_buil
d
_e
x
pr
.
c
:
f
i
x
t
ypo
i
n com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaeg
e
isl_ast_bu
i
ld_expr
.
c: r
e
move re
m
n
a
nts of code removed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-28
Sven Verdoolaege
add extra
AST generat
i
on test ca
s
e
f
rom
C
LooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
ven
V
erdoola
e
ge
isl_printer_print
_
str:
handle
N
U
L
L in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoola
e
ge
isl_a
s
t_expr
_
mod: p
e
r
f
orm missing
m
ultiplic
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Tobias
G
r
osser
Make se
d
e
x
pression
i
n
Makef
i
le compatible
with BSD
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
V
erdoolae
g
e
ad
d
isl_id_set_free
_
user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
isl_printer_print_pw_
a
ff
:
use
i
sl_ast_expr when print
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ve
r
do
o
laege
add suppor
t
for ge
n
erating ASTs from schedule rel
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Ver
d
oo
l
a
e
ge
ad
d
IS
L
_CTX_{GET,SE
T
}_S
T
R_DE
F
macros
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
doc: separate out poly
h
edral comp
i
l
a
t
i
o
n functionality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
rdoolaege
add isl_set_dim
_
has_{
l
ower,upper}_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doola
e
ge
isl_bas
i
c_se
t
_
substitute: check that inp
u
t af
f
i
n
e
express
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw_multi_
a
ff_substitute: improve err
o
r han
d
li
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
i
sl_ba
s
ic_m
a
p_align
_
divs: fix
potentia
l
i
n
valid access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
d
oolaege
isl_pw_multi_af
f
_from_
m
ap:
detect strides in out
p
ut
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
r
d
o
olaege
isl_pw_multi_aff
_
f
rom_map:
detect
e
a
sy floors directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
pri
v
ately exp
o
rt isl_
m
ap_
i
s_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
ad
d
i
sl_pw_*_pullback_
p
w_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verd
o
olaege
add is
l
_
p
w_*_pullback_
m
ulti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
add isl_multi_aff_pullback_multi_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
o
olae
g
e
ad
d
i
s
l_aff_pullba
c
k_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n V
e
rdoola
e
ge
add
is
l
_local_
s
pace_preimage
_
multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
Verdoolae
g
e
add is
l
_
set_preimag
e
_
p
w
_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
add is
l
_set_prei
m
age_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ve
r
doolaege
a
d
d i
s
l_basic_
s
e
t
_pre
i
mage_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
Verdoola
e
ge
isl_st
r
eam_new_str: fai
l
on
N
ULL i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolae
g
e
private
l
y export
i
sl_m
u
l
t
i_aff_
a
lig
n
_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
o
l
aege
add
isl_ba
s
ic_set_add_div_cons
t
raints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
isl_map_is
_
subset: support
rational m
a
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
isl_stream_re
a
d_ma
p
: fi
x
parsi
n
g
of Omega input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_st
r
ea
m
_read_
m
ap: add pa
r
tial suppo
r
t for r
e
a
din
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoo
l
aeg
e
i
s
l_pw_af
f
_n
o
nn
e
g_
s
et: return a rational set if the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
isl_
p
w_a
f
f
_
zero_set:
return
a rationa
l
set if
t
he input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en V
e
rdoolaege
add isl_
p
w
_
aff_list
_
set_rat
i
ona
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
e
g
e
add
i
s
l
_
p
w_
a
ff_se
t
_rat
i
onal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaeg
e
pr
i
vately
e
xport isl_set_set
_
rati
o
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
add isl_set_ha
s
_rationa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ver
d
oolaege
reimple
m
ent isl_
s
trea
m
_read_aff in
terms of isl_stream_read
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rd
o
olaeg
e
declar
e
isl_
s
t
r
eam_read_multi_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
ol
a
ege
is
l
_s
t
ream_read_multi_aff:
read
tu
p
les directly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
isl_input
.
c: change tuple parsi
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
d
d isl_pw
_
multi_aff_r
a
nge_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
add
isl_
m
ulti_
*
_splic
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_multi_*_range_splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add isl_multi_*_se
t
_tuple_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
dd isl_mu
l
ti_*_r
a
n
ge_pro
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Ver
d
oolaege
a
d
d isl
_
multi_*_
a
dd_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_multi_*_insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
dd isl_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
V
erdoolaege
add
i
s
l_multi_aff_
f
r
o
m_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
r
d
o
olae
g
e
is
l
_multi_templ
.
c
:
rename a
l
ign_para
m
s_multi_s
e
t_and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
a
ege
isl_mu
l
ti
_
temp
l
.
h
:
avoid reference to
explicit
element
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verd
o
olaege
isl_mult
i
_
*_r
e
set_space_a
n
d_domai
n
: ca
l
l is
l
_*_rese
t
_d
o
main_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
generalize
i
s
l_
m
ulti_aff_flat_r
a
nge_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
erdoolae
g
e
generalize isl_mult
i
_aff_drop_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n V
e
rdoolaege
genera
l
i
ze isl_multi_
a
f
f_set_dim_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Verd
o
ol
a
ege
gener
a
l
ize
i
sl_multi_aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Ver
d
oo
l
a
ege
general
i
ze isl_multi
_
aff_identit
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdool
a
eg
e
add i
s
l_pw_aff
_
zero_on_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
add isl_pw_aff_va
r
_o
n
_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ver
d
ool
a
ege
a
d
d
isl_aff_var_
o
n_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolae
g
e
isl
_
i
n
put
.
c: obj_re
a
d_bo
d
y: simp
l
ify error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
v
e
n
V
erdoolae
g
e
add
isl_basi
c
_set_drop_constraints_not_invol
v
ing_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolae
g
e
add isl
_
{
s
e
t
,map
}
_d
r
op_constraints_invol
v
i
n
g_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
er
d
oolaege
add isl_
s
e
t
_unsh
i
fted_si
m
ple_h
u
ll
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n Verdoolae
g
e
isl_stream_r
e
ad_
u
nion_map: force result to be a map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
Verdoolaeg
e
add isl_un
i
o
n_m
a
p_subtract_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verd
o
olaege
i
s
l_set_from_pw_mu
l
ti_af
f
: handl
e
NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
ven Verdool
a
ege
isl_union_
m
a
p
.
c
:
plain_
i
nj
e
ctive_on_range: silence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
v
en Ver
d
oolaege
i
s
l_transitive
_
cl
o
sure
.
c: union_component
s
: avo
i
d invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven
V
er
d
oolaege
isl
_
r
a
ng
e
.
c qpolynomial_bound_on_dom
a
in_range
:
av
o
id
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_co
n
v
ex_hull
.
c:
i
nitial_fa
c
et_constraint: avoi
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verdoolaeg
e
isl_m
a
p_union: spe
c
ial case un
i
versal inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verdoolae
g
e
isl_map_gist: special case
univ
e
rsal and
equal i
n
puts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n Ver
d
oolaege
export is
l
_
s
et_plain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next