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_test.c: test_lexmin: abort on failed test
2019-06-20
Sven Ve
r
doolaege
isl_test
.
c:
t
est_lexmin: abo
r
t on failed test
commit
|
commitdiff
|
tree
2019-06-20
Sven
Verdoo
l
aege
i
s
l_space_zip: fix error message
commit
|
commitdiff
|
tree
2018-10-11
Sven Verdoolaege
export isl_ast
_
build_nod
e
_fr
o
m_schedule
commit
|
commitdiff
|
tree
2018-10-08
Sven Verdoola
e
ge
isl
_
basic
_
{map,set}_free_inequali
t
y
:
return mod
i
fied
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sve
n
Verdoolaege
isl_basic_ma
p
_free
_
ineq
u
ality: avo
i
d acces
s
ing ctx
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sven
V
e
r
d
oolaege
isl_basi
c
_{map,set}_free_e
q
uali
t
y:
retu
r
n
m
odified
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sven
Verdoola
e
ge
isl_b
a
si
c
_map_fre
e
_e
q
uality: avoi
d
a
ccess
i
ng ctx
f
i
eld
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
S
ven Verdoolaege
isl_o
u
t
p
ut
.
c: can
_
print_di
v
_expr:
u
se isl_loc
a
l
_
div
_
i
s_mark
e
.
.
.
commit
|
commitdiff
|
tree
2018-10-01
Sven Verdoolaege
add i
s
l
_
tab_sw
a
p_constraints
commit
|
commitdiff
|
tree
2018-09-06
Sven
V
erdoo
l
aeg
e
dr
o
p deprecat
e
d isl_ba
s
ic_
m
ap
_
n_*
commit
|
commitdiff
|
tree
2018-09-06
Sve
n
Verdoolaege
drop deprecated isl_map_n
_
param
commit
|
commitdiff
|
tree
2018-09-06
Sven V
e
rdoolaege
drop deprecated
isl_map_n_out
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
d
rop depre
c
a
ted isl_
m
a
p_n_in
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaeg
e
isl_map_d
i
m: use isl_space_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
s
e
t
_par
a
ms: implement i
n
terms
of isl_map_params
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_set_d
i
m
:
i
mplement in te
r
ms of i
s
l_map_d
i
m
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
laege
isl_morph
.
c: copy_e
q
uali
t
i
es: use
i
s
l_basic_set_ge
t
_
s
pace
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verd
o
olaeg
e
isl_map_subt
r
act
.
c
:
tab_ad
d
_constra
i
nt: us
e
isl_basic_map_di
m
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
a
p_
s
ubtract
.
c: tab_add_constrain
t
s: use isl_basic_map_dim
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolae
g
e
isl
_
basic_set_variable_compr
e
ssion: u
s
e i
s
l_basic_set_
o
f
fset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_
b
asic_map_domain_product
:
use isl_bas
i
c_map
_
g
e
t_
s
pa
c
e
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
s
l_basic_map_ove
r
lying_set: use isl_basic_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_basic_m
a
p_apply_range: use isl_b
a
s
i
c_map_get_spa
c
e
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdoolaege
isl_
m
ap
.
c: move_las
t
: use isl_basi
c
_map_of
f
set
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
is
l
_map
.
c: move_last: us
e
i
sl_basic_map
_
peek_space
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_ba
s
ic
_
map_move_di
m
s: use i
s
l
_basic_map_peek_
s
pace
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_basic
_
map_intersect: use
i
sl_ba
s
ic_m
a
p_pee
k
_space
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
i
s
l_basic_map
_
inter
s
e
c
t_r
a
nge: use isl_ba
s
ic_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oo
l
aege
i
sl_basic_
m
ap_int
e
rsect_domain: use isl_basic_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
o
laege
isl_
m
ap_s
o
lve_lp: use isl_map_dim
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
isl_polynomi
a
l
.
c
:
fix_inactive: use isl_set
_
dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
i
sl_output
.
c: drop_aff: use i
s
l_basic_
m
ap_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdool
a
e
g
e
isl_b
a
sic_map_dro
p
_re
d
und
a
nt_divs_in
e
q
:
use isl_basic_map_va
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
o
laege
isl_ma
p
_
s
i
mplify
.
c:
.
.
.
_drop_more_redu
n
dant_divs: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoo
l
aege
i
sl_map_simplify
.
c: c
o
alesce_divs:
u
s
e is
l
_basic_map_var_o
f
fset
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Ver
d
oolaege
isl_map_
s
implify
.
c
: div_is
_
redundant: use i
s
l_ba
s
ic_map_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_ba
s
ic_map_i
s
_div_cons
t
raint: us
e
isl_basic_map
_
offset
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaege
isl_map_simplify
.
c: el
i
min
a
te
_
unit_divs: use isl_basic_map
_
o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_map_simplify
.
c: ch
e
ck
_
for
_
div_con
s
traints: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simp
l
ify
.
c: bett
e
r_div_constraint: use isl_bas
i
c_m
a
p
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
i
sl_map_simplify
.
c: o
k
_to_set_div_
f
ro
m
_
b
o
und: use isl
_
basic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_m
a
p
_
simp
l
ify
.
c
:
set_d
i
v_fr
o
m_lo
w
er_bound: u
s
e isl_basic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olae
g
e
is
l
_map
.
c: find_div: use isl_basic_map_var_offse
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
sl_basic_m
a
p_order
_
divs: use isl_bas
i
c_map_var_offset
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_map
.
c: basic_s
e
t
_
a
p
pend_equalities
:
use isl_basic_set_off
s
et
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c: insert_div_rows: use
i
sl_basic_map_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_basic_m
a
p
_remov
e
_divs: use
i
sl_basic_map_va
r
_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
lae
g
e
isl_basi
c
_
map
_
swap_d
i
v:
u
se i
s
l_basic_map_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_basic_
m
ap_make_strides_exp
l
icit: use i
s
l_basic
_
map_var_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
o
olaege
isl_aff_substitu
t
e_e
q
ua
l
ities_lifted: u
s
e isl_basic_set_
o
ffset
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
ege
isl_ba
s
ic_set_posi
t
ive
_
orthant:
use isl_space_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_basic_{set,map}_print_inte
r
nal
:
u
s
e
i
sl
_
printer_print_b
a
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
laege
isl
_
t
r
a
nsitive_clo
s
u
r
e
.
c:
e
mpty_path_is_identity: u
s
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
olaege
isl_map_simplify
.
c: div_find_coales
c
e: reuse is_op
p
o
s
i
t
e
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
is
l
_map_simplify
.
c: m
o
ve up
is_o
p
posite
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_tab_
p
ip
.
c: find_cont
e
xt_d
i
v:
r
ese
r
ve negative return
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_map_simpl
i
fy
.
c: div_
f
i
n
d
_coalesce
:
reserve negative
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_map
.
c: find_
d
iv: res
e
rve negati
v
e
r
eturn value
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
laege
isl_
b
erns
t
ein
.
c: is_tight: m
i
nor code simp
l
ification
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
ege
isl_ma
p
_simpl
i
fy
.
c: low
e
r_
b
ound_is_
c
st:
r
eturn
-
1 on
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
add_lower_div_constrai
n
t: return return modified r
e
sult
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolae
g
e
add_upp
e
r_div_constraint:
r
eturn retur
n
modified result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
is
l
_basic_map_add_div_cons
t
raint: retur
n
return modified
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdoolaege
isl_
b
asic_map
_
add_div_constraints: return
m
odif
i
ed
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
add_{upper
.
lo
w
er}_div_co
n
straint: only pa
s
s in position
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
remove now unuse
d
isl_basic_
{
set,map}_add_d
i
v_const
r
aints_var
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_local_space
.
c: n
o
rma
l
i
ze_di
v
: ret
u
r
n
m
od
i
fied
r
esult
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
norm
a
lize_div_exp
r
es
s
ion: r
e
turn modified result
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_m
a
p
_simpl
i
fy
.
c: eliminate_var_using_
e
quality:
r
eturn
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_map
.
c: set_ma_divs: retu
r
n modified result
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
doo
l
aege
isl_ba
s
i
c
_map_swap_div:
return modified
r
e
s
ult
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_outp
u
t
.
c
:
p
rint_co
n
straint_c: drop
n
ow redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
doola
e
g
e
is
l
_output
.
c:
drop
p
rint_
a
ff
i
ne_c
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verd
o
olaege
isl_out
p
ut
.
c: print_constraint_c: use print_ls_affine_c
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Ve
r
doolaege
isl_output
.
c:
print_basic_
s
et_
c
: us
e
print_ls_p
a
rtial_affine_c
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_c
a
t: support C ou
t
put
forma
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_trans
i
tive
_
closure
.
c
:
a
d
d
_l
e
ngth:
reuse
i
ncrement
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_trans
i
tive_closur
e
.
c
:
move up increment
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
ool
a
ege
isl
_
transitive_closure
.
c: increm
e
nt: return
isl_ma
p
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
s
l_transitive_closure
.
c: increment: cle
a
n u
p
space
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_t
r
ansitive_closure
.
c: map_
p
ow
e
r: use stric
t
er test
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_
m
ap_deltas_ma
p
: extract out is
l
_map_check_equal_tuples
commit
|
commitdiff
|
tree
2018-08-31
Sven Ver
d
oolaege
i
s
l_qp
o
lyn
o
mial_get_den:
r
eturn isl
_
val
commit
|
commitdiff
|
tree
2018-08-31
Sven
Verdoolaege
rename
i
sl_
u
poly to is
l
_poly
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl
_
bas
i
c
_
map
_
i
n
sert_dims: create empty basic ma
p
directly
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extrac
t
o
u
t
sha
r
ed
i
sl_point_dim
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extrac
t
o
u
t
shared isl_set_chec
k
_
r
ange
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extra
c
t out shared
i
sl_term_check_ra
n
ge
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
extract out shared isl
_
space
_
check_range
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
merge isl*map_check_range implementati
o
ns
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
isl_map_fix
:
reuse isl_map_ch
e
ck_
r
a
ng
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
isl_map_fi
x
_
si: r
e
u
se isl_map
_
check_ra
n
ge
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
i
sl_map_oppo
s
e: reu
s
e
i
sl_map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
V
erdoola
e
g
e
isl_m
a
p
.
c: map_bound
_
si:
r
euse isl_ma
p
_che
c
k_ra
n
ge
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
isl_map
.
c: map_bound: r
e
use isl_map_chec
k
_r
a
nge
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_map_fix_val:
reuse
i
sl
_
map_chec
k
_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_b
a
sic_map
_
drop_core:
r
e
use i
s
l_basic_ma
p
_check_ran
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doola
e
ge
isl_
b
asic_map_d
r
op_div
:
impleme
n
t in term
s
of isl_
b
asic_m
a
p_
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
S
v
en V
e
rdoolaege
isl_
b
as
i
c
_
map_drop:
extract out
i
sl_basic_map_d
r
op_core
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
V
e
r
d
oolaege
isl_basic_map_drop: drop erro
r
label
commit
|
commitdiff
|
tree
next