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
doc: fix typos
2014-09-30
Sv
e
n
Ver
d
oolaeg
e
doc: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n Verdoolaege
do
c
ument isl_set_is_
s
ingleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
rdoo
l
aege
do
c
: upd
a
te
isl_*_lis
t
documentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n
Verdo
o
laeg
e
d
o
c
: clean up isl_v
a
l docum
e
ntation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ver
d
oolaege
i
sl_sched
u
le_constraints_c
o
mpute_schedule: c
o
mpress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoo
l
aege
isl_sched_
n
o
de: rename "d
i
m
" field t
o
"spa
c
e"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verd
o
olaege
a
d
d
isl_
m
orph_get_va
r
_
m
u
l
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en Ve
r
doola
e
ge
add isl_
m
or
p
h_get_dom_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ve
r
doolaege
add isl
_
morph_ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
privately export isl_aff_alloc_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verd
o
olaege
ad
d
isl_mat_is_sca
l
ed_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en Verdoola
e
ge
add isl_ma
t
_get_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
i
s
l_
b
asic_{set
,
m
ap}_has
_
defining_equality: allo
w
passin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-28
Sven Ve
r
d
o
olaege
doc
u
men
t
isl_spac
e
_tuple_match
a
s
i
s
l_space_tuple_is_equ
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sv
e
n
Ve
r
doola
e
ge
is
l
_map_p
l
ain_is_dis
j
oin
t
: c
h
ec
k
tupl
e
spaces be
f
ore
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
S
v
en Verd
o
o
laege
isl_space_
t
u
ple_match:
a
lso
i
g
n
ore parame
t
ers
in ne
s
ted
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Verdoola
e
ge
is
l
_space
_
tuple
_
m
a
t
c
h: rename "dim" varia
b
les to "spa
c
e"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl
_
test: take
o
ptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_
u
nion_*_ad
d
_*: pe
r
f
o
rm check
f
or "z
e
ro" part u
n
conditionally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en Verdool
a
ege
i
s
l_un
i
on
_
*
_
add_*: av
o
id
du
p
licate checks in callers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdoola
e
ge
isl_u
n
i
o
n_ma
p
_i
s
_single_valued: look a
t
domain
s
p
a
ces
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en Verd
o
olaege
isl
_
union_map_is_single_valued
:
e
x
tract out single_map_is_si
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven
V
erdoo
l
aege
isl_union
_
map_i
s
_si
n
gle_value
d
: ad
d
a
c
ouple
o
f ex
t
ra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
r
doolaege
i
sl_basic_map_output_defi
n
ing_equal
i
ty: accept divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
extr
a
ct out s
h
a
red isl_basic_
m
ap_out
p
ut_defining_equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaeg
e
AST
generato
r
:
d
rop redundan
t
lower
bounds on
s
trided
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en Verdo
o
l
aege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Ver
d
oolae
g
e
isl_pw_*_g
i
st:
specia
l
c
ase context equ
a
l
to single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
rdoo
l
aege
isl_pw_*_gist: special case
u
niverse context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdoolaege
isl_test:
g
eneraliz
e
isl_pw_qpolynomi
a
l_g
i
st tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoolaege
i
sl_map_simplify
.
c:
drop spuri
o
us semicolo
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoolaege
isl_map_gist
:
re
t
urn universe
o
n gist
with
e
mp
t
y
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoolaege
isl_input
.
c: basic_map_read: c
h
eck t
y
pe of result return
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
S
v
en Verdoolaege
isl_basic_map_gist: remove redunda
n
t div constrain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
isl_
b
asic_map_g
i
st:
remove obv
i
ousl
y
redun
d
an
t
r
e
du
c
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoo
l
aege
is
l
_bas
i
c_m
a
p_gist: avoid (
t
e
m
por
a
rily) adding context
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven
Verdoolaege
is
l
_map_subtract: che
c
k if
i
n
p
u
t
s are disjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoo
l
aege
doc/Submittin
g
Patches: mentio
n
th
a
t
each mail should
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sv
e
n V
e
rdo
o
laege
do
c
:
fix documentati
o
n
of isl_basic_set_{in,}equalities_m
a
trix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolae
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-09-11
S
ve
n
Verdoo
l
aege
i
s
l_convex_hu
l
l
.
c: convex_hu
l
l_pai
r
: add mis
s
ing return
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-04
Sven Verd
o
ola
e
ge
isl_m
a
p
_
{
do
m
ain,
r
a
n
ge}_pr
o
du
c
t
:
remo
v
e possible obvious
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sve
n
Verdoolaege
isl_map
.
c:
m
a
p_
p
roduct: rename "dim_pr
o
d
uct" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolaege
add isl_map_re
m
ov
e
_obvious_duplic
a
tes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolaege
isl_map_normalize: ex
t
ract out sort_and_remove_duplicates
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
S
ve
n
V
erdoolaege
is
l
_map_nor
m
alize: r
e
move empt
y
parts bef
o
r
e
sorting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven V
e
rdoolaege
isl_basic_map_so
r
t_constraints: use
i
sl_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
S
ven Verdoo
l
aege
isl_ba
s
ic_map_sort_co
n
straints: skip s
o
rt
i
n
g
if constra
i
nt
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
S
ven Verdoolaege
isl_basic_
m
ap_
a
lign
_
divs: o
n
ly extend dst
w
h
en needed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
S
v
en V
e
rdoolaege
clean up isl_b
a
sic_ma
p
_align_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdo
o
l
a
ege
isl_map_simp
l
ify
.
c: remove
_
redundant_di
v
s: update outdated
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
i
s
l_reordering_dump: also
dump target space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdool
a
ege
update
f
or change in Tar
g
etOptions refcounting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven
Verdo
o
laege
update for removal of
llvm/ADT/O
w
ningPtr
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Ve
r
doolaege
i
n
terface/ext
r
a
ct_interface
.
cc: avoid use of SourceManager
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-30
S
v
en Verdool
a
ege
up
d
ate for removal of
D
e
f
ault
I
mageN
a
me Driver constructor
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-29
Sv
e
n
V
e
rdoolaege
isl_printer_print_pw_aff: use
i
sl_ast_build_expr_from_pw_a
f
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-29
Sven
V
e
rdoolaege
add faber test case from CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-29
Sven
V
e
rdoolaege
A
ST generator: exploit
a
ll informatio
n
while lo
o
king
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sv
e
n Verdoolae
g
e
i
s
l_ast_
c
odegen
.
c: gener
a
te_doma
i
n: intersect
wi
t
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven V
e
rdoolaege
AST gen
e
rator: exploit implied g
u
ard
t
o s
i
mplif
y
inn
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdo
o
laege
drop isl
_
a
s
t_build_set_enforced
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdoolaege
a
dd a n
e
w AST
generat
o
r test c
a
se
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sve
n
Verdoolaege
AST ge
n
e
rator: improve handlin
g
of
p
e
n
din
g
c
onst
r
aints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
ven
Ve
r
doolaege
a
d
d isl
_
a
st_bui
l
d_
r
epla
c
e_
p
en
d
ing
_
by_g
u
a
rd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
v
e
n Verdoolaege
add isl_ast_bui
l
d_get_g
e
nerate
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
a
d
d isl_ast_b
u
ild_ge
t
_pending
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
ven
Verdoo
l
aege
e
x
p
o
se isl_ast_gra
f
t
_l
i
st
_
gist_guards
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven V
e
rd
o
o
l
aege
isl
_
ast_codegen
.
c
:
refine_generic:
h
oist o
u
t gist
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven
V
e
rdoolaege
i
s
l_ast_code
g
e
n
.
c: cr
e
ate_node_scal
e
d: pos
t
pone adding
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sve
n
Ve
r
do
o
laege
i
sl_as
t
_
c
odege
n
.
c: create_node_sc
a
le
d
: hoist i
n
cl
u
sion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaeg
e
drop isl_ast_graft_
a
l
l
oc
_
level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven
V
erdool
a
ege
isl_ast_
c
odegen
.
c
:
create_node_s
c
aled: i
n
lin
e
call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdo
o
laege
expose isl_ast_graft_list_extract
_
hoist
a
ble_guard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
ve
n
Verdool
a
ege
e
xpose i
s
l
_ast_gr
a
ft_li
s
t_e
x
tract_s
h
ared_enf
o
r
c
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven
V
erdoo
l
aege
extract out i
s
l
_
a
st
_
graf
t
_alloc_from_ch
i
ldre
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sve
n
Verdoolaege
isl_ast_codegen
.
c: refine_eli
m
inat
e
d: d
o
no
t
add stride
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sv
e
n Verdoolaege
i
s
l_ast_c
o
de
g
e
n
.
c:
m
ove up add_stride_
g
uard defi
n
ition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolae
g
e
isl_ast_b
u
ild_set_l
o
op_
b
ounds: do not
a
d
d
s
tride
co
n
strai
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sv
e
n Verdoolaege
push
isl_ast_build
_
include_stride into
i
sl
_
ast_build
_
set_loo
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
isl_a
s
t
_build
.
c: update_valu
e
s:
e
xplicitly
take into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven
Ver
d
oolaege
is
l
_
a
st_c
o
degen
.
c: generate_ne
x
t_l
e
vel: use isl_ast_
b
uild_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven V
e
rdoolaege
a
d
d
isl_ast_build_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verd
o
olaege
AST generator: take
i
n
to accoun
t
s
o
me parameter
c
on
s
t
r
aints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven V
e
r
doolaege
AST gener
a
tor:
p
erform more ag
g
ressi
v
e guard h
o
isting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven V
e
r
d
oo
l
aege
isl_a
s
t_graft
.
c: extra
c
t
_hoistable
_
guard: extrac
t
ou
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoola
e
ge
add
isl_set_unshifted_simple_h
u
l
l_from_
s
et_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolae
g
e
add
i
sl_set_get_basi
c
_
s
e
t_l
i
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven
V
erdoolaege
add
i
sl_basic_set_lis
t
_al
i
gn_divs_t
o
_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoo
l
aege
add isl_set_align_div
s
_to
_
bas
i
c
_
se
t
_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sv
e
n Verdoolaege
add is
l
_
b
a
si
c
_set_
l
i
s
t_underlying_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sve
n
Ve
r
doolaege
add isl_basic_s
e
t_lis
t
_inters
e
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
ven
V
e
rdoo
l
a
ege
isl_ast
_
cod
e
gen
.
c: add_
n
o
de
:
repl
a
c
e
gist
by pure specialization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sv
e
n
Verdoolaege
isl
_
ast_build_expr
_
from_p
w
_aff: exploit domain constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verd
o
ol
a
ege
isl_a
s
t
_
build_expr_from_basic_set: exp
l
o
it earlier
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
S
ven Verdoolaege
isl_a
s
t_build_expr_from
_
ba
s
ic_set: sort
c
onstraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
S
ven Verdoolaege
add isl_constraint_cmp_last_non
_
z
e
r
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdo
o
laege
add
i
sl_int_abs_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Ver
d
oolaege
add isl_cons
t
raint_plain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoo
l
aege
is
l
_ast_
b
uild_
e
xpr_from_basic_set: operate on list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next