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_add_div_constraint: return return modified result
2018-09-02
Sven
Verd
o
olaege
isl_basic_map_add_div_constraint:
r
e
t
u
rn retur
n
modifie
d
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
eg
e
isl_
b
a
sic_map_add_div_constraints: return modified
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
ege
ad
d
_{upp
e
r
.
lowe
r
}_div_cons
t
raint:
only pass in
p
ositio
n
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
re
m
ove now unused isl_basi
c
_{set,map}_add_di
v
_
c
o
n
straints_var
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
isl_local_space
.
c:
norm
a
li
z
e_div: return modified
resu
l
t
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erd
o
o
l
aege
normalize
_
div_expression: return
m
od
i
f
i
e
d
result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_map_simplify
.
c: eliminate_va
r
_u
s
ing_equa
l
ity: re
t
u
r
n
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c: se
t
_ma_divs: retu
r
n mo
d
ified re
s
ul
t
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Ve
r
doolaege
isl_basic_map
_
swap_div: re
t
urn
m
o
d
ifi
e
d res
u
l
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolae
g
e
isl_output
.
c
:
print_constra
i
nt_c
:
dr
o
p now redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_output
.
c: drop print_affine_c
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
olae
g
e
isl_o
u
tput
.
c: print
_
constr
a
int
_
c: use p
r
int_ls_af
f
ine_c
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_output
.
c: print_basic_set_c: use
p
rint_ls
_
partial_af
f
ine_
c
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
sl_cat: support C out
p
ut
f
o
r
m
a
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
aege
isl_transitive
_
closure
.
c
:
a
dd_length: reuse
i
nc
r
e
ment
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
doola
e
ge
isl_transitive_closure
.
c: move u
p
i
n
crement
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_transitiv
e
_
cl
o
s
u
re
.
c:
i
ncr
e
ment
:
r
e
t
u
rn isl_map
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_t
r
ansitive
_
closure
.
c: inc
r
emen
t
: cl
e
an
u
p s
p
a
ce
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoola
e
ge
isl_
t
r
a
nsitive_c
l
osure
.
c: ma
p
_p
o
wer:
u
se
stricter test
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oolaege
isl_map_del
t
as_map
:
extract out isl_map_check
_
equal_tupl
e
s
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoola
e
ge
isl_qpolyno
m
ial
_
get_den: return isl_val
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoo
l
aege
rename isl_upoly to isl_
p
ol
y
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
erdoola
e
ge
is
l
_basic_map_insert_dim
s
: crea
t
e em
p
t
y
ba
s
ic m
a
p
directly
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extrac
t
out
s
h
a
r
ed isl_point_dim
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoola
e
ge
e
xtract out shared isl_se
t
_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
extract ou
t
share
d
isl_
t
erm_check_rang
e
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
extract out s
h
ared isl_space_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
o
o
l
a
ege
merge
i
sl
*
map_check_range implementations
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdo
o
laege
isl_
m
a
p_fix
:
reuse
is
l
_map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoola
e
ge
isl_map
_
fix_si: reuse
isl_map
_
check_ran
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
isl_map_oppose: r
e
us
e
isl_map_ch
e
c
k
_
r
ange
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl_map
.
c: map_bound_si: reuse
i
sl_map_check_rang
e
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Ve
r
doolaege
isl_map
.
c: m
a
p_b
o
u
n
d: reuse is
l
_
m
ap_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
is
l
_map_fix_val: reuse isl
_
m
ap_che
c
k_
r
ange
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
isl_basic_map_drop_core: reuse
i
sl_ba
s
ic_map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
is
l
_basic_map_drop_di
v
: im
p
le
m
ent in terms of isl_basic_map
_
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic
_
m
a
p_drop: extract out
isl_basic_m
a
p_drop_
c
ore
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
r
d
oolaege
isl_basic_m
a
p_drop: drop erro
r
label
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
V
e
rdoolaege
isl_basic_map_dro
p
_div: dro
p
r
e
moval of
c
onstra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_ma
p
_
simplify
.
c: re
m
ov
e
_re
d
unda
n
t_divs:
d
rop div
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
p
r
ivately
export isl_ba
s
ic_map_drop_constraint
s
_invol
v
ing
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoola
e
ge
isl_basic_map_drop_constraints_involving
:
move out
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolae
g
e
isl_basic_map_offset: use i
s
l_ba
s
ic
_
ma
p
_peek_space
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoola
e
ge
isl_basi
c
_map_offset: use isl_space_offs
e
t an
d
isl_
s
pace_d
i
m
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
is
l
_b
a
sic_map_
c
ontains_point:
u
se i
s
l_local_extend_point_vec
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Ve
r
dool
a
e
g
e
p
r
iv
a
tely export isl_local_alloc
_
from
_
m
at
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolae
g
e
expose isl_local_free
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolae
g
e
isl_map
.
c: add_constrain
t
s: use isl_bas
i
c_
m
ap_add_co
n
strain
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
s
l_basic_set_opt: reuse isl_basi
c
_set
_
get_divs
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdool
a
ege
i
s
l_tab_pip
.
c: imp
l
eme
n
t split in terms of split_
d
o
m
ain
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
isl_basic_set_total_dim: implement in
ter
m
s of isl_b
a
sic
_
map
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_constraint
.
c
: use isl_basic_set_o
f
f
s
et
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdo
o
laege
isl_
c
onstra
i
nt
.
c: use i
s
l_b
a
s
ic_
m
ap_offset
commit
|
commitdiff
|
tree
2018-08-25
S
v
e
n Verdo
o
laege
drop isl_
b
a
sic_set_extend
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
drop
i
sl_b
a
s
i
c_set_a
d
d_eq
u
ality duplicate
commit
|
commitdiff
|
tree
2018-08-25
Sven Ver
d
o
ola
e
g
e
isl_basic_map_add_{eq
,
ineq}
:
onl
y
modify single copy
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdo
o
laege
isl_qpolynomial_as_polyn
o
mial_
o
n_domain: use is
l
_local_space
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rdoolaege
i
s
l_qpolynomial_gi
s
t
:
use isl_local_sp
a
c
e
_li
f
t_s
e
t
commit
|
commitdiff
|
tree
2018-08-25
S
v
en V
e
rdoolaege
add isl_l
o
cal
_
space
_
lift_bas
i
c_
s
et
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
erdoolaege
isl_aff_gist: extrac
t
o
u
t
isl
_
loca
l
_sp
a
ce_lift_set
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoola
e
ge
isl
_
ba
s
i
c_
m
ap_identity: u
s
e
isl_space_dim
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
map
.
c
:
b
asic_map_id
e
nti
t
y: reu
s
e isl_basic_map_
e
qual
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_sp
a
c
e_underly
i
ng: retur
n
se
t
space
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolae
g
e
isl_basic_set_preimage:
u
se isl_basic_s
e
t_add_dims
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
i
s
l_union_*_
s
et_
h
as_dim:
r
e
na
m
e to isl_unio
n
_*_set_has_space
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolae
g
e
isl_union_*_set_has_dim
:
rename
"dim
"
variable
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdool
a
ege
isl_set_flat
t
en_map
:
renam
e
"dim" variab
l
e
s
to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
t
ransitive_c
l
osure
.
c: un
i
on_floyd_warshall_on_list
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_spa
c
e_
l
i
ft: r
e
nam
e
"dim" vari
a
ble to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_space_join: r
e
name
"
dim" variabl
e
to "
s
pace
"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_spac
e
_alloc: rename "di
m
" v
a
riable to "spa
c
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_
l
ocal_s
p
ace_o
f
f
s
et: renam
e
"dim" variable to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdool
a
ege
isl_transi
t
i
v
e_closure
.
c: co
n
struct_power: re
n
am
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_map
.
c:
m
a
p
_dim_opt:
r
e
n
ame
"
di
m
" va
r
iab
l
e
t
o
"s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_
s
et_so
l
utions: rena
m
e "
d
im" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
er
d
ool
a
eg
e
is
l
_basic_set
_
c
o
effi
c
ients:
r
e
name "dim" va
r
iable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoola
e
ge
i
s
l_
s
e
t
_
lift:
r
ename "dim" variable t
o
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
oo
l
ae
g
e
isl_map
.
c: map_apply_range: ren
a
me "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ol
a
eg
e
isl_basic_set_sampl
e
_point:
r
en
a
me "dim" variab
l
e
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_f
a
ctorize
r
_groups: renam
e
"di
m
"
variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_basic_s
e
t_lift:
rename "dim" variabl
e
t
o "spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_basic_ma
p
_add_
c
on
s
tr
a
int: rename "dim
"
variable
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdo
o
laege
isl_bernstein
.
c: ber
n
stein_coeffi
c
i
ent
s
_cell: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdo
o
laege
isl_u
n
io
n
_pw_*_from_pw_*: ren
a
me "dim
"
v
a
riable t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
aege
i
s
l_
t
ab_pip
.
c: split_do
m
ain: rena
m
e
"
dim" varia
b
le
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_map_d
e
l
t
a
s_map: ren
a
me "domain_dim"
v
ariable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
t
r
ansitive_clo
s
ure
.
c
:
add_l
e
ngth:
r
e
name "
d
im"
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_tr
a
ns
i
tive_cl
o
sur
e
.
c:
set_path_length: rena
m
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
a
ege
isl_transitive_closure
.
c: path_along_delta:
:
rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
eg
e
isl_basic_map_range_product: rename "dim
"
variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
oo
l
aege
isl_basic_map_product:
r
ename "dim
"
variable to
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_
b
a
s
ic_map_deltas_map: rename "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolae
g
e
isl_bas
i
c_map_domai
n
_m
a
p: rename "dim
"
v
a
riable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
d
oolae
g
e
isl_b
a
sic_map_
a
p
p
ly_
r
a
n
g
e: rename "dim" varia
b
le
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_
local_sp
a
ce_
a
l
loc: rena
m
e "dim
"
v
a
r
iable
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoo
l
aege
isl_basi
c
_map_less_at: r
e
name "dim
"
argu
m
ent to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verd
o
olaege
is
l
_basic_map_equal: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolae
g
e
isl_ou
t
put
.
c: print_basic_s
e
t_
c
: rename "dim"
argume
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoola
e
ge
isl_l
o
ca
l
_
s
pace
_
all
o
c
_div:
r
en
a
me "di
m
" argument t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erd
o
o
l
a
e
ge
isl_
s
pace_cow: rename "dim" arg
u
ment to "spa
c
e"
commit
|
commitdiff
|
tree
next