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
rename isl_upoly to isl_poly
2018-08-31
Sven Ver
d
oolaege
r
e
name isl_
u
poly
to i
s
l_poly
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl_basic_m
a
p_i
n
sert_dims: create
emp
t
y basic map
d
irect
l
y
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
extract o
u
t shared isl_
p
o
int_dim
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
V
e
rdoolaeg
e
extract out
sha
r
ed i
s
l_set_check_rang
e
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
V
er
d
oolae
g
e
extract out sh
a
r
ed isl_term_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
ool
a
ege
extract out shared i
s
l_space
_
c
h
eck_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
merg
e
isl*map_check_range implementat
i
ons
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
i
sl_map_f
i
x: re
u
se isl
_
map_c
h
eck
_
range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map_
f
ix
_
si: re
u
s
e isl
_
map_c
h
eck_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
s
l_map_oppo
s
e: reuse isl
_
map_chec
k
_range
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
isl_map
.
c: map_b
o
und_
s
i:
r
e
use i
s
l_map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
a
ege
isl_
m
ap
.
c: map
_
bound: reuse isl_
m
ap_che
c
k_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
g
e
isl_map_fix_val: reuse
isl_map_
c
hec
k
_ra
n
ge
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl_basic
_
map_dro
p
_core: reuse i
s
l
_basic_m
a
p
_
check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoo
l
ae
g
e
isl_ba
s
i
c_ma
p
_drop_div: implement in terms of isl
_
basic_map_
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
is
l
_basic_map_dro
p
:
extract out isl_
b
asi
c
_map_drop_core
commit
|
commitdiff
|
tree
2018-08-28
S
ven Ve
r
d
o
olaege
i
sl_basic_ma
p
_dro
p
: drop err
o
r l
a
bel
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl_bas
i
c_map_
d
r
o
p
_div: drop removal of co
n
strain
t
s
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
is
l
_m
a
p
_simplif
y
.
c
:
remove_
r
edundant_
d
ivs: drop d
i
v
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoo
l
aege
p
r
ivately export isl_
b
asi
c
_map_drop_constraints_inv
o
lving
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
isl_basic_map_drop_con
s
tra
i
n
t
s_inv
o
l
v
i
ng: mov
e
o
u
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_ma
p
_offset: use isl_
b
asic_ma
p
_
p
eek
_
spac
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
o
l
aege
isl_basic_map_o
f
f
set:
u
se isl_space
_
o
f
fset
a
nd isl_s
p
ace_
d
i
m
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_b
a
sic_map
_
contains_poin
t
: use isl_lo
c
al_extend_point_vec
commit
|
commitdiff
|
tree
2018-08-28
S
ven Ver
d
oolae
g
e
p
ri
v
at
e
ly export isl_local_
a
ll
o
c_from_ma
t
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
expose isl_local_free
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
V
e
r
doolaege
isl_map
.
c
:
add_
c
onstraints:
u
se
i
sl_basic_map_a
d
d_constraint
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
S
ven
Verdoolaege
i
s
l_basic
_
set_opt: reuse
i
sl_basic
_
set_get_divs
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
s
l_tab_pip
.
c
: im
p
lement split in ter
m
s of
spli
t
_domain
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoo
l
aege
isl_basic_set_total_dim: implement in terms of isl_basic_map
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
i
sl_constra
i
nt
.
c
: u
s
e
i
sl_ba
s
i
c
_set_off
s
et
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
isl_c
o
n
s
traint
.
c: use isl_basi
c
_map_offset
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
e
rdoolae
g
e
dro
p
isl_basic_set
_
extend
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoola
e
ge
d
r
op isl_basic_set
_
add_equality d
u
plicate
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoola
e
ge
isl_basic_m
a
p
_
add_{eq,ineq}: only m
o
dify sing
l
e copy
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl
_
qpolyn
o
mial_a
s
_
p
olynom
i
al_on_d
o
main:
use is
l
_local_space
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sven Verd
o
olaege
isl_qpolynomial_gis
t
: us
e
isl_loc
a
l_space_lift_set
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdoo
l
aege
add i
s
l_loc
a
l_spac
e
_
lift_basic_
s
et
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoolaege
isl_aff_gist
:
extract o
u
t isl_l
o
cal
_
sp
a
ce_
l
ift_set
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erd
o
o
laeg
e
isl_
b
as
i
c_map_iden
t
ity: use i
s
l_space
_
dim
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_map
.
c: basic_m
a
p_identity: reuse isl
_
basic_ma
p
_equal
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
is
l
_s
p
ace_unde
r
l
y
ing: r
e
turn set s
p
ace
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
i
sl_b
a
sic_set_
p
reimag
e
: use isl_basic_set_add_dims
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_unio
n
_*_set_has_
d
im: rename to
is
l
_union_*_set_
h
as_space
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_union_*
_
set_has_dim
:
rename "dim"
v
a
ri
a
ble to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doola
e
ge
isl_set_flatten_
m
ap: renam
e
"dim
"
vari
a
ble
s
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_tran
s
i
tive_c
l
osure
.
c: union_f
l
oyd_
w
arshall_on_list
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
i
s
l_s
p
ace_l
i
ft:
r
ename "
d
im" variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_s
p
ace_join:
r
ename "
d
i
m
" variab
l
e to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
ool
a
ege
i
s
l_s
p
a
ce_alloc: rename "d
i
m" variable
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdo
o
l
a
ege
i
s
l_local_space_of
f
s
et: rename "dim" variable to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
is
l
_transi
t
ive_clo
s
ure
.
c: construct_power:
rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_
m
ap
.
c
:
map
_
d
im_opt: ren
a
m
e
"dim" v
a
riable to
"space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olaege
i
sl_basic_set_sol
u
ti
o
ns:
rename "dim" var
i
able to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
olaege
isl_
b
asic_set_coefficients: rename "dim"
v
ar
i
a
b
le to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_set_lift: rename
"
dim" va
r
iable to "spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oolaege
isl
_
map
.
c: m
a
p
_
app
l
y_r
a
n
ge: rename "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_basic_s
e
t_sample_poi
n
t: rename "dim" variable
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
i
sl_f
a
ctorizer_g
r
o
u
ps: rename "dim" variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
l
a
e
ge
isl_basic_set_lift: re
n
a
me "dim
"
va
r
ia
b
l
e
to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaeg
e
isl_basic_map_add_const
r
aint:
r
e
n
ame "di
m
" variable
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_bernstein
.
c: bernstein_coeff
i
cient
s
_
c
ell:
r
ename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoola
e
ge
isl
_
union_pw_*_from_pw_*:
rename
"
dim"
va
r
ia
b
le to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_t
a
b_p
i
p
.
c: spli
t
_
d
omain: rename "dim" vari
a
b
le
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_
m
ap
_
delt
a
s_map:
rename
"domain_di
m
"
variab
l
e to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_t
r
ansi
t
ive_clos
u
re
.
c
:
a
dd_len
g
th: ren
a
me "d
i
m"
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_transitiv
e
_closure
.
c
: set_pa
t
h_length
:
rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_closure
.
c: p
a
th_along
_
delt
a
:: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdoolaeg
e
isl
_
b
a
sic
_
map_ran
g
e_produc
t
: rename "d
i
m"
variable
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_basic_
m
ap_product: ren
a
me
"dim" var
i
able to
"spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoola
e
ge
is
l
_b
a
sic_map_deltas_map:
renam
e
"dim" variab
l
e
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl
_
b
a
sic_map
_
d
o
m
a
in_
m
ap:
r
ena
m
e "dim" var
i
able
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_basic_map
_
apply_ra
n
ge: rename "dim"
v
ariable
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdool
a
ege
i
sl_local_space_alloc: rename "dim
"
variable to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdo
o
l
ae
g
e
isl_basic_ma
p
_less
_
at:
ren
a
me "d
i
m"
a
rgume
n
t to
"
s
p
ac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map
_
equal: r
e
name "dim"
a
rgument to "sp
a
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
i
s
l_output
.
c
:
print_
b
asic_set_c:
rename
"
dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
er
d
oolaeg
e
isl_local_space_alloc_
d
i
v: rename "d
i
m" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space
_
cow:
rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdo
o
laege
isl_sp
a
c
e
_lift
:
rename "dim
"
ar
g
ument
to
"spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_sp
a
ce_flatt
e
n: rename "dim"
argument to "
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_spac
e
_
rese
t
: rename "d
i
m" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_zi
p
: rename "dim" argum
e
n
t
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
doolaege
isl_sp
a
c
e
_unwrap: rena
m
e "dim"
argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
Verdo
o
laege
isl_s
p
ace_wrap:
rename
"di
m
" argume
n
t t
o
"
spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_sp
a
c
e_is_wrapp
i
n
g
: ren
a
me "di
m
" arg
u
ment
to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
i
sl
_
space_from_range: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_sp
a
ce_
f
rom_
d
omain: rename "dim" argument
to "
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_space_reve
r
se
:
ren
a
me "dim" argument
t
o "
s
pac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_space_set
_
dim_name: rename
"
dim" argument t
o
"spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
l
a
e
g
e
isl_spa
c
e
_
g
e
t_
t
uple
_
name: rename "d
i
m
"
argum
e
nt
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
e
g
e
isl_space_ge
t
_dim_name: rename "dim" ar
g
ument to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_sp
a
c
e
_s
e
t_tuple_name: r
e
name "di
m
"
argu
m
en
t
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaege
isl_space_get_dim_id: rename "dim
"
ar
g
ument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
is
l
_space_has_dim_id:
r
ename "d
i
m" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_spa
c
e_reset_tup
l
e_id:
rename "dim"
argum
e
nt to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_set_tu
p
l
e_i
d
: rename "
d
im" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olaege
isl_space_get_tuple_
i
d: rename
"dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_sp
a
ce_has
_
tupl
e
_id:
rename "dim" argument to "
s
p
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
s
pace
.
c: offse
t
: rena
m
e
"dim" argument
t
o "space"
commit
|
commitdiff
|
tree
next