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
interface/isl_test_cpp-noexceptions.cc: extend test of overloaded methods
2017-11-16
Sven Verdoola
e
ge
int
e
r
f
ace/isl_test_cpp-no
e
xceptions
.
cc:
extend test
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verd
o
olaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-11-16
Sven Verd
o
olaeg
e
pytho
n
: specifically handle
long
a
rguments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
S
ven Verdoolaege
export
i
s
l_union_se
t
_preimage_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Ve
r
doolaege
expor
t
isl_union_map_e
q
_at_m
u
lti_un
i
on_p
w
_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Ve
r
doolaege
expose i
s
l_space_
f
latten_
{
domain,range}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Ve
r
d
oolaege
isl_sp
a
ce_flatten_range:
r
ena
m
e
"dim" argument t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
i
s
l
_
space_flatten_
d
omain
:
r
e
name "di
m
" arg
u
ment to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven V
e
rdool
a
ege
interface/pytho
n
.
cc: fix typo i
n
co
m
ment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
doc: fi
x
typo
s
in
i
sl
_
sched
u
l
e_node documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sve
n
Verdoolaeg
e
isl_s
c
heduler
.
c: fix typo in
comm
e
nt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ver
d
ool
a
e
g
e
isl_schedule
_
tree
.
c: fix t
y
po in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
isl
_
schedule_nod
e
.
c: fix ty
p
os i
n
c
omments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
isl_union_map
.
c
:
fix
t
y
pos in
c
o
mments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sve
n
Verdoolaege
is
l
_morph
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven
V
erd
o
olaege
isl_
t
ab_p
i
p
.
c: fix typo in com
m
ent
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoola
e
ge
i
s
l_mult
i
_tem
p
l
.
c:
f
ix typo
in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
isl_aff
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven
V
erdoolaege
isl_val
.
c: fix typo
i
n
c
omment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-18
Sven
V
erdoolaege
isl_stream_e
a
t: print error m
e
ssa
g
e on EOF
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-17
Sve
n
V
e
rdoolae
g
e
isl_
m
ulti_u
n
ion_pw_aff_zero: check that input i
s
not
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
dr
o
p d
e
precated isl_i
n
t inte
r
f
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
v
e
n Verdool
a
ege
private
l
y e
x
pos
e
i
s
l
_qpol
y
nomial_fold_sc
a
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven
V
erdool
a
ege
privately exp
o
se
isl_aff_scale_down
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verd
o
olaege
isl_test
.
c: us
e
is
l
_constra
i
nt_set_co
n
stan
t
_
s
i instead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ver
d
oolae
g
e
isl
_
test
.
c: use
i
s
l_constraint_set_coeffic
i
e
n
t_si i
n
stead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoo
l
ae
g
e
isl_test
.
c: test_fi
x
ed_pow
e
r
:
use isl
_
val instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
bo
u
nd
.
c
: use is
l
_
v
al inste
a
d o
f
isl_int
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n
V
e
rdoolaege
e
x
pose isl_pw_qpolynomi
a
l_fold_fix_v
a
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoo
l
a
ege
remove deprecated band f
o
r
e
sts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Verdoolaege
drop i
s
l_basic
_
map_fore
a
ch_lexopt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
is
l
_map_dim_{min,max}: u
s
e
isl_ba
s
ic_m
a
p
_lexopt_pw_multi_
a
ff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Oleksandr Zinenko
mu
l
ti
.
h: fix wr
o
ng m
e
mory manageme
n
t annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-12
S
v
en Verdool
a
ege
isl_
t
ab_
b
asic_map_partial_l
e
xopt: split on pa
r
ame
t
ric
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
isl_
t
est
.
c: test
_
dim_max_1:
e
xtract out check_single_
p
iece
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c
:
ex
t
ract ou
t
s
h
ared {row,col}
_
i
s
_parame
t
e
r
_var
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n Verdoolaege
isl_tes
t
.
c:
t
e
s
t_lis
t
:
do not
c
on
s
ide
r
in
t
e
rnal failure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdool
a
ege
isl_test
.
c
: te
s
t_un_val: do not
co
n
sider
internal fa
i
lure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaege
i
sl_tab_ba
s
ic
_
se
t
_non_trivial_lex
m
in:
e
xt
r
act ou
t
b
etter
_
nex
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
is
l
_
t
ab
_
basic_set_constrained_lexmin: extract out pick_si
d
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl_tab_bas
i
c_se
t
_
n
on_trivia
l
_lexmin
:
ski
p
known impos
s
i
ble
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
isl_t
a
b
_pip
.
c:
e
n
t
e
r
_level: extract
out finis
h
ed_all_cas
e
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl_tab_
b
asi
c
_set_n
o
n_trivial_lex
m
in: extract out enter_level
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl
_
ta
b
_p
i
p
.
c: move cur
r
ent b
e
st
solution
i
nto is
l
_lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdool
a
ege
i
s
l_tab_basi
c
_
set_non_triv
i
al_lexmin: extr
a
ct
o
ut init
_
l
exm
i
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl_ta
b
_pip
.
c: first_trivial_region:
p
ass isl_lexmin_dat
a
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ver
d
oolaege
isl_ta
b
_pip
.
c:
m
o
v
e tableau into isl_lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n
Verd
o
olaeg
e
isl_tab_
b
asic_set_non_trivial
_
lexmin: extract o
u
t
u
pdate_out
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
s
l
_
tab_pip
.
c
: move isl_
l
o
cal
_
region array into
i
sl_lexmin_d
a
ta
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
V
e
rdo
o
laege
i
s
l
_t
a
b_basic_set
_
n
on
_
tr
i
vial
_
lexmin: extract out clear_lexm
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
isl_tab_basic_s
e
t_non_trivial_lexmin: extrac
t
o
ut init_local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c:
i
sl_lexmin_data:
s
t
o
re
a copy of arra
y
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
isl_tab_pip
.
c
: mo
v
e up isl_lexmin_data declaration
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Ve
r
doolaege
isl_t
a
b
_pip
.
c: ren
a
me isl_trivia
l
_global to isl_le
x
min_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdool
a
ege
isl_tab_pip
.
c
: f
u
rth
e
r extend doc
u
m
e
ntati
o
n of isl_loca
l
_region
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolae
g
e
isl_
t
ab
_
pip
.
c: rename isl_trivial to is
l
_
l
ocal_region
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab
_
b
asic_set_non_tri
v
i
al_lexmin
:
p
o
st
p
one rollba
c
k
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
add isl_mat_h
a
s_linearly_independent_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doola
e
ge
add is
l
_
m
at_
r
ow_ba
s
is_
e
xtensi
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
r
doolaege
add is
l
_mat_
r
ow_basis
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
isl_mat
_
ri
g
h
t
_kernel: reuse h
e
rmite_first
_
zer
o
_col
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_
m
at_right_kernel: a
d
d
m
emory management annotations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
Ver
d
oo
l
a
ege
isl_mat
.
c: hermite_first
_
zero_col: exploit
column
e
chelon
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
s
l_ma
t
_ran
k
: extract out
h
ermite_first_zero_col
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
move isl_mat_rank to isl_mat
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
expose
i
sl_mat_r
a
n
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
ad
d
i
sl
_
vec_zero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaeg
e
add isl_schedu
l
e_n
o
d
e
_every_descendant
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verd
o
olaege
isl
_
schedule_no
d
e_foreach_de
s
cendant
_
top_d
o
wn: update
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
add isl_union_
m
ap_remove_m
a
p_if
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
i
sl_
u
ni
o
n_
m
a
p
.
c: isl_un_op_cont
r
ol: allo
w
user data
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdool
a
ege
add isl_u
n
ion_map_every_map
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdool
a
ege
doc
:
isl
_
un
i
on_*_fore
a
ch_*:
s
p
ecify header
to include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
isl_st
r
eam_read
_
sc
h
edule_
c
onstr
a
i
n
ts: do n
o
t
use
d
e
faul
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
V
erdoo
l
aege
isl_sche
d
uler
.
c: graph_free: extract out
clear_no
d
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoo
l
ae
g
e
isl_
s
cheduler
.
c
: graph_fi
n
d_n
o
d
e:
h
and
l
e N
U
LL input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoola
e
ge
isl_schedul
e
r
.
c: graph_alloc:
a
dd some d
o
c
umentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
isl_scheduler
.
c: g
r
ap
h
_alloc: ret
u
rn isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
isl_sched
u
ler
.
c: extract
_
s
u
b_gra
p
h: r
e
turn isl_sta
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
isl_scheduler
.
c: update_edge: ret
u
r
n is
l
_
s
t
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
e
g
e
isl_sc
h
ed
u
ler
.
c:
copy_edges: re
t
urn i
s
l_st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
isl_sche
d
u
ler
.
c
: copy_n
o
d
es: return i
s
l_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoo
l
aege
isl_sched
u
ler
.
c
:
reset_b
a
nd:
r
e
turn isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ver
d
ool
a
ege
i
sl_scheduler
.
c: detect_cc
s
:
r
eturn isl_
s
tat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
isl_sched
u
l
e
r
.
c: isl_sched_n
o
de:
clarify that
nvar
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
V
e
rdoo
l
a
e
ge
isl_sched
u
le
r
.
c: a
d
d refere
n
ce to technical repor
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_space_factor_
d
omain:
a
ccept
set space inpu
t
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olae
g
e
is
l
_space
.
c: move is
l
_space_
f
actor_domai
n
down
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_printer_print_schedule_constra
i
nts: only
print
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
a
dd isl_union_map_
p
l
a
i
n_is_em
p
t
y
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
doc: isl_*
_
is_
e
mpty: s
p
ecify header t
o
includ
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n V
e
rd
o
olaege
isl_printer_print_map: t
r
y and print equa
l
ity constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
isl_o
u
t
p
ut
.
c: p
r
int_con
s
traint: dr
o
p isl_b
a
sic_ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_outp
u
t
.
c: p
r
i
nt_half_cons
t
raint: drop i
s
l
_
basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
isl_output
.
c
: print_affine: drop i
s
l_basic_map a
r
gument
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaeg
e
is
l
_output
.
c: print_disjunc
t
: pas
s
valid local variables
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
do
o
lae
g
e
is
l
_
output
.
c: print
_
constraints: handle conjunction
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl_print_*: prin
t
unsatisfi
a
b
l
e constraints as "false
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl_scheduler
.
c: non_neg_lexmin: fix double free on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-26
Sven Ver
d
oolaege
isl_m
a
p_coalesce:
e
xtend
ha
n
dling
o
f inequ
a
lity a
d
j
acent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next