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_transitive_closure.c: map_power: use stricter test of valid input
2018-09-02
S
ve
n
Verdoolaeg
e
isl_transiti
v
e_clo
s
ure
.
c
:
m
ap
_
pow
e
r: use stricter test
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
isl_map_delta
s
_ma
p
:
extract out isl_map_check_equal_tu
p
les
commit
|
commitdiff
|
tree
2018-08-31
Sven Ve
r
do
o
laeg
e
i
s
l_qpolynomia
l
_get_den:
return i
s
l_val
commit
|
commitdiff
|
tree
2018-08-31
Sven
Verdool
a
ege
rename isl_upoly to i
s
l_poly
commit
|
commitdiff
|
tree
2018-08-31
Sven Verd
o
olaege
isl_basic_map_i
n
sert_dims: c
r
e
a
te em
p
ty basic m
a
p directly
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
e
xtract ou
t
shared i
s
l_p
o
int_dim
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Verdool
a
ege
extract
out shared isl_set_check_r
a
n
ge
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoola
e
g
e
extract out
s
hared isl
_
t
erm_ch
e
ck
_
range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
e
x
tract out shared
i
s
l_space
_
ch
e
ck
_
ran
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
merge isl*ma
p
_check_range impleme
n
tations
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_map_fix: re
u
s
e
isl_ma
p
_check_
r
ange
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoo
l
aege
isl_
m
ap_f
i
x_si: re
u
se
isl_map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olae
g
e
i
sl
_
m
a
p_
o
ppose:
r
e
u
se isl_map_c
h
eck_r
a
nge
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
isl_m
a
p
.
c: map_bound_si: reuse
isl_ma
p
_chec
k
_ran
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolae
g
e
isl_map
.
c: map_bound: reuse
isl_m
a
p_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Ve
r
doolaege
isl_map_fix_
v
al
:
re
u
se isl_ma
p
_check_rang
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_drop
_
core: reuse isl_b
a
sic_map
_
ch
e
c
k
_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
a
ege
i
s
l_ba
s
ic_map_drop_div: imp
l
e
m
ent in terms of isl_basic_map_
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_basic_m
a
p_drop: extract o
u
t isl_basic_ma
p
_drop_core
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl_bas
i
c_map_dr
o
p: drop error l
a
bel
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
isl_b
a
sic_map
_
drop_div: drop removal
of
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
i
sl_map_sim
p
lify
.
c: remove
_
redun
d
ant_divs: dro
p
di
v
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
o
olaege
p
r
ivate
l
y e
x
por
t
i
sl_basic_map_drop_c
o
nstrain
t
s_involving
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
i
s
l_basic_map_drop_c
o
nst
r
aints_involving: move out
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_
b
asic_map_offset: us
e
is
l
_basic_map_peek_space
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl_bas
i
c
_
map_offset: u
s
e isl_space_off
s
et
a
n
d
isl_spac
e
_dim
commit
|
commitdiff
|
tree
2018-08-28
S
ve
n
Verdoolaege
isl_basic_m
a
p_contain
s
_
p
oin
t
: use isl
_
local_ext
e
n
d_
p
o
int_vec
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdool
a
ege
p
r
ivatel
y
export isl_
l
o
c
a
l_alloc_from
_
mat
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
e
x
pose isl_loca
l
_free
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoo
l
aege
isl_
m
ap
.
c:
add_constra
i
nts: use isl_basic
_
map_add_constraint
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laeg
e
isl_bas
i
c_set_
o
pt:
reuse isl_bas
i
c_
s
et_get
_
divs
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
a
ege
is
l
_
t
ab
_
pip
.
c: im
p
lement split in ter
m
s of
s
plit_domain
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
V
e
r
dool
a
ege
isl_basic
_
set_tot
a
l_dim: imp
l
ement
i
n terms of isl_ba
s
ic_map
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
isl_c
o
n
straint
.
c: use i
s
l_basic_s
e
t_offs
e
t
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
isl_con
s
trai
n
t
.
c: use isl_basi
c
_map
_
offse
t
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Ve
r
doolae
g
e
drop isl_basic_s
e
t
_extend
commit
|
commitdiff
|
tree
2018-08-25
S
ven Verdo
o
laege
drop
isl_basic
_
set_add_equ
a
lity duplicate
commit
|
commitdiff
|
tree
2018-08-25
Sven Verd
o
ol
a
ege
isl_basic_map_add_
{
eq,ineq}: only m
o
dif
y
single copy
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_qpolynomia
l
_a
s
_
polynomial_on_domain: us
e
isl_local_space
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n
Verdoolaege
i
s
l_qpol
y
n
omial_gi
s
t
: us
e
i
sl
_
local_spa
c
e_lif
t
_se
t
commit
|
commitdiff
|
tree
2018-08-25
Sven Ver
d
oolaege
add isl
_
local_space_
l
ift_
b
asi
c
_set
commit
|
commitdiff
|
tree
2018-08-25
Sven Verd
o
olaege
isl_aff_g
i
st: extract out isl_local
_
s
p
ace_lift_set
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
e
rdoolae
g
e
isl_b
a
sic_map_identity:
use
i
sl_space_dim
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
is
l
_
ma
p
.
c
:
bas
i
c_map_iden
t
ity: reuse isl
_
basic
_
map_equal
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_space_
u
nderlying: retu
r
n
s
et space
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_set_preima
g
e
: use isl_b
a
sic_set_add_di
m
s
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_unio
n
_*_set
_
has_di
m
: rename to isl_union_*_set
_
h
a
s_space
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
l
aege
isl_unio
n
_
*
_set_has
_
dim: rename "d
i
m" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
set_flatten_map:
rename "dim" variables
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
aege
isl_transitive_closure
.
c: uni
o
n_floyd_w
a
rshall_on_l
i
st
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_space_
l
ift: rename "dim" var
i
able to "sp
a
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_s
p
ace_join:
r
e
n
ame
"
dim" variabl
e
t
o
"spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdoolaeg
e
isl_
s
pace_all
o
c: rena
m
e "di
m
" variable
to
"spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl
_
loc
a
l_space_offset
:
renam
e
"dim
"
variable to
"
s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
o
o
l
a
ege
i
sl_
t
ransitive_closure
.
c: co
n
struct_power: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
isl_
m
a
p
.
c: map_dim_opt:
renam
e
"dim" variab
l
e to "
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laeg
e
i
s
l_b
a
sic_se
t
_
s
olutions: rena
m
e "dim"
v
a
riable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_ba
s
ic_set_coefficients: rename "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
rdoolaeg
e
isl_se
t
_lift:
r
e
n
a
m
e "di
m
" variab
l
e to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_m
a
p
.
c
:
map_apply_ra
n
g
e:
rename
"dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaeg
e
is
l
_basic_s
e
t
_
sample_point: rename "dim" vari
a
ble to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
sl_factorizer_groups:
r
ename "dim" variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic
_
set_lift
:
ren
a
me "d
i
m" varia
b
l
e to "
s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verd
o
olaege
isl_basic_
m
ap_add_constraint: rename "dim" va
r
iable
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_bernste
i
n
.
c: bernste
i
n
_coefficients_cell: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl
_
union_
p
w_*_from_pw_*:
rename
"
dim
"
v
a
riable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_tab_pip
.
c: sp
l
it_dom
a
in: rename "d
i
m" variabl
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_map_d
e
l
t
a
s
_
m
ap:
r
ename "domain
_
dim
"
variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_transitive_
c
losure
.
c
:
add_length:
r
ena
m
e "dim"
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_transitive_closur
e
.
c: set_path_l
e
n
g
th: rena
m
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolae
g
e
isl_transitive_closure
.
c:
p
ath
_
a
long_delta:: re
n
a
m
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_ran
g
e_product: rename
"d
i
m"
v
ari
a
ble
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
e
ge
isl_b
a
sic_map_p
r
oduct: rename "di
m
"
variable t
o
"
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_deltas_map: rena
m
e "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_basic_map_domain_map:
r
ename "d
i
m" va
r
iable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_basic_map_a
p
ply_range: rename "dim" v
a
riable
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oo
l
ae
g
e
isl_loc
a
l_space_alloc: ren
a
me
"dim" variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdo
o
laege
i
s
l
_
b
a
sic_map_
l
ess_at:
r
e
n
ame "dim" argum
e
nt to
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_
b
asic_map_equal: rename "d
i
m"
argument to
"
sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
ege
isl_outpu
t
.
c: print_b
a
sic_set
_
c:
rena
m
e "dim" arg
u
ment
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_local_space_alloc
_
d
iv: rename "dim"
a
rgument t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
space_cow: rena
m
e
"dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
i
sl
_
sp
a
ce
_
lift: rena
m
e
"dim" argument to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
is
l
_
space_flatten: ren
a
me
"dim" ar
g
umen
t
to
"
spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_sp
a
ce_reset: rename "dim" argument to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaeg
e
i
s
l
_spac
e
_zi
p
: re
n
ame "dim" argument to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
r
d
oolae
g
e
isl_spac
e
_unwrap: rename
"
d
i
m" a
r
gument
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
i
s
l_space_
w
ra
p
:
r
e
n
a
me "
d
im" argument to
"
space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_spa
c
e_is_wrapping: rename "dim" ar
g
ume
n
t to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olaege
i
sl_space_from_r
a
nge: r
e
name "dim" arg
u
ment to "
s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
e
ge
isl_space_from
_
domain: rename
"
dim" argum
e
nt to
"
sp
a
c
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_
r
eve
r
se: rename "dim" argu
m
ent
to
"spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
doolaeg
e
isl
_
space_s
e
t_
d
i
m
_name: rename "dim"
argument t
o
"space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdo
o
laege
isl_space_g
e
t_tuple_name:
rena
m
e "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
i
s
l_spac
e
_g
e
t_dim_n
a
me: r
e
na
m
e "dim" argum
e
nt t
o
"
s
pa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_set_tuple_nam
e
:
r
e
n
ame "dim"
a
rgument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdool
a
eg
e
isl_space_get_dim_id:
rename "dim"
a
rgume
n
t
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_space
_
h
a
s
_
d
i
m_id: rena
m
e
"dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
l
aeg
e
isl_
s
pa
c
e_
r
es
e
t_tuple_i
d
:
rename "dim"
a
rg
u
ment to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_space_set
_
tu
p
le_id: rename "
d
im" argumen
t
to
"
space"
commit
|
commitdiff
|
tree
next