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_basic_map_is_div_constraint: use isl_basic_map_offset
2018-09-02
Sven Verdoolaege
i
sl_bas
i
c_map_is_d
i
v_con
s
tra
i
nt: u
s
e isl_basic_m
a
p_offse
t
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
i
s
l_map
_
s
implify
.
c
: e
l
iminate_unit
_
d
i
vs
:
use isl
_
b
asic_ma
p
_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoo
l
aege
isl_map_si
m
plify
.
c: check_for_div_con
s
traints
:
use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
olaege
isl_map_simplify
.
c: b
e
tt
e
r_div_
c
onstraint:
u
se is
l
_basic_map
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map_s
i
mplify
.
c: o
k
_to_set_
d
iv_from_
b
ound: use isl_bas
i
c_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_map_simplify
.
c: set
_
div_from_l
o
we
r
_
bound: use isl_
b
a
sic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
map
.
c: find_d
i
v: use isl_ba
s
ic
_
m
a
p_va
r
_o
f
f
s
et
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
ola
e
g
e
isl_basic_map_order
_
divs: use isl_basic_map_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
isl_
m
a
p
.
c
: basic_set_append_eq
u
a
l
ities
:
use is
l
_basic_s
e
t_offse
t
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_
m
ap
.
c
: insert_di
v
_rows:
use isl
_
b
a
s
ic_ma
p
_offset
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
laege
isl_b
a
sic
_
ma
p
_r
e
mo
v
e_
d
i
vs: use isl_ba
s
ic_map_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
ola
e
ge
isl
_
ba
s
ic
_
map_swa
p
_div: use isl_basic_m
a
p_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olae
g
e
isl_basic_ma
p
_
m
ake_st
r
ides_e
x
plicit: use isl_basic_map_
v
ar_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_aff_substitute
_
equa
l
ities_lift
e
d
:
use isl_bas
i
c_set_o
f
fs
e
t
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolaege
isl_basic
_
set_positiv
e
_
orth
a
nt: use isl_space_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
isl_basic_{se
t
,map}_pri
n
t_int
e
rnal:
use i
s
l_p
r
inter_prin
t
_b
a
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
l
aege
isl
_
transitive_closure
.
c: e
m
pty_pa
t
h_is_identity: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_simplify
.
c: div_find_coale
s
ce: re
u
se is_opposite
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ver
d
oolaege
i
s
l_map_s
i
m
pli
f
y
.
c: move up is_opposite
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdool
a
ege
i
sl_tab_pip
.
c: find
_
co
n
text_div: res
e
r
ve
n
egative r
e
tu
r
n
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_
m
a
p
_
simplify
.
c: div
_
f
in
d
_coalesce: re
s
erve negative
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_map
.
c: find_div: reserve negati
v
e ret
u
rn
value
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_bernstein
.
c: is_
t
ight: minor code simpl
i
ficat
i
on
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaeg
e
isl_m
a
p_s
i
mplify
.
c: l
o
wer_bound_
i
s_cst: return
-1 on
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verd
o
o
laege
add_
l
o
w
er_div_constraint: retu
r
n
return modified result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
add_upper_div_co
n
straint
:
r
e
tur
n
r
et
u
rn modified result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_basic_
m
ap_a
d
d_div_cons
t
raint: return return modified
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoolaege
isl_basi
c
_ma
p
_add_d
i
v_con
s
train
t
s:
return m
o
dif
i
ed
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
olaege
add_{upper
.
l
ower}
_
div_constraint: only pass in position
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoolaege
remov
e
now unused isl_basic_{set,map
}
_add_div_c
o
nstra
i
nts_var
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
a
ege
isl
_
local_space
.
c
: normalize
_
div: return mo
d
ified r
e
s
u
lt
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
norm
a
l
i
ze_
d
iv_expression: re
t
urn
m
o
d
ified re
s
ult
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
aege
isl_m
a
p_simpli
f
y
.
c:
el
i
mi
n
a
te_var_u
s
ing_equal
i
ty: return
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
a
p
.
c: set_ma_di
v
s
:
return modi
f
ied result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_basic_map_sw
a
p_div: r
e
t
urn modified
r
esult
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
V
e
rdoola
e
ge
isl_output
.
c: p
r
i
nt_
c
onstraint_
c
: drop now re
d
undant
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
r
d
o
ol
a
e
g
e
is
l
_outp
u
t
.
c: drop print_affin
e
_c
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_output
.
c:
p
rint_co
n
s
traint_
c
: use pr
i
n
t_ls_
a
f
f
i
n
e_c
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoola
e
ge
isl_outp
u
t
.
c: print_basic_
s
et_c: u
s
e pri
n
t_l
s
_par
t
ial_affine_c
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_cat: s
u
p
port C outp
u
t forma
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
i
s
l_transi
t
ive_closure
.
c: add_length: reus
e
i
nc
r
ement
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_transitive_c
l
o
sure
.
c:
m
ove up increment
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
e
g
e
isl
_
trans
i
t
ive_closure
.
c: increment:
r
et
u
rn
i
s
l_m
a
p
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tra
n
sitive_closure
.
c: increment: clean
up space
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_transitive_closure
.
c:
ma
p
_power: u
s
e stricter t
e
st
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ver
d
oolaege
isl_map_d
e
lt
a
s_map
:
extract out isl_map_che
c
k_equa
l
_
t
uples
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoo
l
aege
isl_
q
po
l
ynomial
_
get_den: r
e
tur
n
isl_
v
al
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
rename isl_upoly to is
l
_p
o
ly
commit
|
commitdiff
|
tree
2018-08-31
Sven Ve
r
doolae
g
e
isl_basic_
m
ap_insert_dims: create empty basic
map directly
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
extr
a
c
t
o
u
t
s
hared is
l
_point
_
dim
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Ver
d
oola
e
ge
extract out shared isl_set_che
c
k_
r
a
n
ge
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
ola
e
ge
e
x
tract out sha
r
ed is
l
_ter
m
_check_rang
e
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolae
g
e
extract out shar
e
d
i
sl_spa
c
e
_check
_
r
a
n
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aeg
e
merge isl*map_check_range
im
p
lementati
o
ns
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdool
a
e
g
e
isl_map_fix: reu
s
e isl_map_check
_
r
ange
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
V
e
rdo
o
laege
is
l
_map_fix_
s
i
:
reuse isl
_
m
a
p_check_
r
ange
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
is
l
_ma
p
_oppose
:
r
e
u
s
e
i
sl_ma
p
_check_ra
n
ge
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolae
g
e
isl_
m
ap
.
c: map_bo
u
nd_si: reuse
isl
_
m
a
p_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map
.
c
:
m
a
p_bou
n
d: reuse i
s
l_ma
p
_
c
heck_range
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoo
l
aege
isl_map_fix_val: reuse isl_map_check_rang
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
isl
_
basic_map_drop
_
c
ore: reuse isl_basic_map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdo
o
laege
i
s
l_b
a
s
ic_map_drop_d
i
v
: implement
i
n terms of i
s
l
_basic_map_
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
V
e
r
doolaege
i
s
l_basic_map_drop
:
extra
c
t out isl_bas
i
c_map_d
r
op_core
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basi
c
_ma
p
_dr
o
p: drop err
o
r
label
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoola
e
ge
i
s
l_basic_map_drop_
d
iv: drop r
e
moval of cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verd
o
olaege
isl_m
a
p
_
s
implify
.
c: remove_redun
d
ant_
d
ivs: drop d
i
v
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Ver
d
oola
e
ge
pr
i
vately
e
xport isl
_
basi
c
_
m
ap_drop_constraints_involv
i
n
g
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoola
e
ge
i
s
l
_basic_map_drop_constraints_invol
v
ing
:
m
o
v
e out
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
V
e
rdoolaege
i
sl
_
basic_map_o
f
fset: use i
s
l_basic_map_pe
e
k
_space
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
isl_basic_map_offset:
use isl_space_offset and i
s
l_sp
a
ce_dim
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoo
l
a
e
ge
isl_ba
s
ic_map_contains_point: u
s
e isl_local_extend_point_vec
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaeg
e
privately export isl
_
local
_
alloc
_
fr
o
m_mat
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
exp
o
se
i
sl_loca
l
_free
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_
m
ap
.
c: add_constraints
:
use isl_basic_map_add_co
n
s
t
r
aint
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
S
ven Ve
r
doola
e
ge
isl_basi
c
_set_o
p
t: reuse isl_
b
asic_
s
et_get_divs
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoo
l
aege
isl_tab
_
pi
p
.
c: impl
e
ment split in terms
of split_do
m
ain
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
isl_basic_set_total_dim: implement in t
e
rms of isl_b
a
sic_map
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl_constraint
.
c
:
use isl_
b
a
s
ic_set
_
offset
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Ver
d
oolaege
isl_co
n
straint
.
c: use isl_basic_
m
ap_offset
commit
|
commitdiff
|
tree
2018-08-25
Sven Ver
d
oola
e
ge
drop isl_basic_set_extend
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
e
rdoola
e
ge
drop isl
_
ba
s
ic_set_a
d
d_e
q
uality dupl
i
c
a
te
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdo
o
la
e
g
e
isl_basic_map_add_{e
q
,
i
n
e
q
}: only
m
odi
f
y
s
ingle copy
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
er
d
oo
l
a
ege
isl
_
qpolynomial_as
_
p
o
lynomial_on_domain: use
i
s
l_local_space
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdo
o
laege
isl_qpolynomial_gist: use isl_local_space_lift_se
t
commit
|
commitdiff
|
tree
2018-08-25
Sven
Ve
r
doolaege
add is
l
_local_space_lift_basic_se
t
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
erd
o
o
laege
i
s
l_aff_gist:
e
xtract out i
s
l_local_space_lift_set
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_basic_map_identity: use
i
sl_space_
d
im
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
map
.
c
:
basic_map_i
d
enti
t
y: re
u
se
isl_bas
i
c_map
_
equal
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoo
l
aege
isl_s
p
ace
_
underlying: re
t
urn set space
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoo
l
aege
i
s
l_b
a
sic_set_preimage:
u
s
e isl_basic_set_add_dims
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
aege
isl_union_*_set_h
a
s_dim: r
e
name to isl_
u
nion_*_set_has_space
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olae
g
e
isl_un
i
on_*_set_has_di
m
:
r
ename "dim" vari
a
b
le to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ola
e
ge
isl_set_flat
t
e
n_map:
r
ename "dim" va
r
iables to "sp
a
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
e
r
doolaege
isl
_
transiti
v
e_closure
.
c: uni
o
n_floyd_wars
h
all_on_
l
ist
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_lift: rena
m
e "dim" v
a
riable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
is
l
_
space_join:
r
ename "di
m
" variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
oolaege
isl_spa
c
e_all
o
c
: rename "dim" variab
l
e
t
o
"spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
oolaege
isl_
l
ocal_sp
a
ce_offset:
r
ename
"
d
im" variable
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_trans
i
t
ive_
c
losure
.
c: co
n
struct_
p
ower: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_map
.
c: ma
p
_d
i
m
_
opt: rename "dim" v
a
riable to "space"
commit
|
commitdiff
|
tree
next