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: empty_path_is_identity: use isl_basic_map_fix_si
2018-09-02
S
ven Ver
d
oo
l
a
e
g
e
i
sl_transiti
v
e
_c
l
os
u
r
e
.
c: empty_path_i
s
_identit
y
: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoo
l
aege
isl_map_simplify
.
c: div_fin
d
_coa
l
e
s
ce: r
e
use is_opposite
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n V
e
rdool
a
ege
isl_map_simplify
.
c
: move up is_o
p
posite
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ta
b
_
p
i
p
.
c
:
f
i
nd_cont
e
xt_
d
iv: reserve
negative re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laege
is
l
_ma
p
_simplify
.
c: div_find_co
a
l
esce: reserve negativ
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c: find_div:
reserve negative return
v
alue
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_bernstein
.
c
:
i
s
_
tigh
t
: minor code simplification
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doola
e
ge
isl_map_simplify
.
c: lower_boun
d
_
is_cst: retur
n
-
1
on
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
add_lower
_
d
i
v_constraint: r
e
t
u
r
n retur
n
modified result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
a
dd_upper_div_constraint: r
e
turn return modifi
e
d result
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoola
e
ge
i
s
l_ba
s
ic_m
a
p
_
add_di
v
_constraint:
return return modified
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdoolaege
isl_basi
c
_map_add_div_constrai
n
ts: return modif
i
ed
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdoolaege
add_
{
u
p
per
.
l
o
wer}
_
div_constraint:
only pass in position
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oolaege
remove now
unused
i
sl_basic_{set,m
a
p}_ad
d
_div_
c
onstra
i
nts_
v
ar
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl
_
l
o
cal_spa
c
e
.
c
:
norm
a
l
i
ze_div: return modified resul
t
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
normal
i
ze_
d
i
v
_expres
s
ion: return mo
d
ified result
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_map_simpl
i
fy
.
c:
eliminate
_
va
r
_
u
sing_equali
t
y:
r
eturn
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdoolaege
isl_map
.
c: set
_
ma_divs:
r
et
u
rn m
o
dified
result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic
_
map_swap_di
v
:
r
e
turn
mod
i
fied result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_output
.
c: print_constra
i
n
t_c: drop now redundant
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
i
s
l_output
.
c: drop pr
i
nt
_
affine_c
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_output
.
c: prin
t
_
c
onstra
i
nt_c: use print_ls_affine_c
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
oolaege
isl_output
.
c: print_basic_set
_
c: use p
r
in
t
_ls_partial
_
affi
n
e
_
c
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
oolaege
isl_cat: suppo
r
t C output
fo
r
ma
t
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdool
a
ege
isl_tr
a
nsitive_c
l
o
s
ure
.
c: add_
l
ength: reuse i
n
crement
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
d
oolaege
isl_
t
rans
i
ti
v
e_clos
u
re
.
c:
move up increme
n
t
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdoolaege
isl_transitive_closure
.
c: increment: return isl_map
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tr
a
n
sitive_closure
.
c: i
n
crement:
c
lea
n
up space
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl
_
tran
s
itive
_
closure
.
c: map_pow
e
r
: use st
r
icter t
e
st
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
oolaege
isl_map_delt
a
s_map:
e
xtract out isl_map_check_equal_
t
uples
commit
|
commitdiff
|
tree
2018-08-31
Sven
Verdoolaege
isl_qpoly
n
o
m
i
a
l
_get_den: retur
n
i
sl_val
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
e
rdoola
e
ge
r
enam
e
isl_upoly to isl_poly
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdool
a
ege
i
s
l_ba
s
ic_map_insert_dims: create em
p
ty
b
asic
map directly
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
extract o
u
t
shared
isl_point_dim
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract
o
ut shared isl_set
_
check
_
ra
n
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sven
Ve
r
doolaege
extract o
u
t
shared is
l
_term_check_ran
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extr
a
ct o
u
t sha
r
ed
isl_
s
pace_check_ran
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
m
e
rge isl*map_check_ran
g
e
implementa
t
ions
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
i
sl_
m
ap_fi
x
: r
e
use
i
sl_
m
ap_check_ra
n
ge
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdo
o
laege
isl_map_
f
i
x
_
si: reuse isl_map_c
h
eck_rang
e
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
isl_ma
p
_oppose: reuse isl_map_check_r
a
nge
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdool
a
ege
isl_map
.
c: map_bound_
s
i: reuse i
s
l_m
a
p_chec
k
_
r
ange
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
V
erdoolaege
i
s
l_m
a
p
.
c: map_bo
u
n
d
: reuse isl_ma
p
_
c
h
e
c
k_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map_
f
ix_val:
reuse
isl_map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
isl_basi
c
_map_drop_c
o
re
:
reuse i
s
l
_
b
asi
c
_map_che
c
k_ran
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaeg
e
isl_basic_ma
p
_
d
rop_di
v
: impleme
n
t in terms o
f
isl_b
a
sic_map_
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_basic_m
a
p_drop: extract out
i
sl_basic_map_drop_core
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_ma
p
_
drop: d
r
op error label
commit
|
commitdiff
|
tree
2018-08-28
Sven
Ve
r
d
o
olaege
isl
_
basic_map_drop_d
i
v: drop removal o
f
constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
isl_map_sim
p
lify
.
c: re
m
o
ve_redunda
n
t
_divs: drop
div
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
Verdoolaege
p
r
ivately
e
xport
i
s
l
_basic_map_drop_constraints_i
n
volving
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_basic_map
_
drop_constrai
n
t
s
_
i
nvolving: mo
v
e out
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoo
l
aeg
e
isl_basic_map_offset: use isl_basic_map_peek_space
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdoolaege
isl_ba
s
ic_map_offset:
use i
s
l_
s
pace_off
s
et and isl_
s
p
a
ce_di
m
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
isl_bas
i
c_map_contains
_
point: use isl_lo
c
a
l_extend_point
_
vec
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
Verdoolae
g
e
privat
e
ly export isl_local_
a
l
l
o
c_from_mat
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
Verdoolaege
expose i
s
l_local_free
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
i
s
l_m
a
p
.
c: add_constrain
t
s
:
use isl
_
basi
c
_ma
p
_
a
dd_constraint
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
ae
g
e
isl_basi
c
_se
t
_o
p
t: reuse isl_basi
c
_
set_
g
et_
d
ivs
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
isl
_
tab_
p
ip
.
c: implement split
in terms
of sp
l
i
t_domain
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
V
erdoolaege
isl_basic_set_tot
a
l_dim: implemen
t
in
term
s
of isl_basic_map
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n V
e
rdoolaege
isl_constrai
n
t
.
c: use
i
sl_basic_set_offset
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
isl_constraint
.
c
:
use i
s
l
_basi
c
_map_offset
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdoolaege
drop isl
_
basic_set_exten
d
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdo
o
laege
drop isl_
b
asic_set_add_equa
l
i
t
y duplicate
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
is
l
_basic
_
map_add_{eq,ine
q
}: only modify
s
ingle
c
opy
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl
_
q
p
o
l
y
n
omial_as_pol
y
nomial_o
n
_domain: use
isl_
l
o
cal_space
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdo
o
laege
isl
_
qpo
l
y
n
omial
_
gist: use
i
sl_local_
s
pace_lift_set
commit
|
commitdiff
|
tree
2018-08-25
S
ven Verdoola
e
ge
add isl_
l
ocal_spa
c
e_l
i
f
t
_basic_set
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaeg
e
isl_a
f
f_g
i
st: extrac
t
o
ut
i
sl_local_spa
c
e_lift_set
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
olaege
isl_basic_
m
ap_identity: use isl_s
p
ace_dim
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olaege
i
sl_map
.
c: basic_map
_
identity:
reuse isl_bas
i
c_map_equal
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolae
g
e
isl_space_u
n
derly
i
ng:
r
eturn set space
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_basic_set_p
r
eimage: use isl_
b
asic_set_add_dims
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
isl_union_
*
_
s
et
_
has
_
dim:
rename to
i
sl_un
i
on_*_set_has_space
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
i
s
l
_un
i
on_*_s
e
t_has_dim:
ren
a
me
"dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoo
l
ae
g
e
isl_
s
et_
f
latten_map
:
rename
"dim" var
i
ables to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
do
o
laege
isl_
t
ransitive
_
closure
.
c: uni
o
n
_
floyd_wars
h
all_on_list
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olaege
isl_space_lif
t
:
r
ename "dim" var
i
able
t
o
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erd
o
olae
g
e
isl
_
space_join: rename
"
d
i
m
"
variable to
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_space
_
alloc: rename "d
i
m" va
r
iable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_local_s
p
ace_offset: rename "dim"
v
ariable to "spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_clos
u
re
.
c: construct_p
o
wer: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
map
.
c: map_dim_
o
pt:
r
ename
"
di
m
" variable to "space
"
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Verdoola
e
ge
isl_basic_set_solutions: r
e
name "dim" variable
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_bas
i
c_set_coefficient
s
: rename "
d
im" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_set_lift: rename "dim" variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_map
.
c: map_apply_ran
g
e: rename "dim"
var
i
able to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olae
g
e
isl_ba
s
i
c
_set_
s
a
m
p
le_point:
rename
"d
i
m" va
r
iabl
e
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolae
g
e
isl_factorizer_groups: rename "dim" variable to "
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
is
l
_basic_set_lift: ren
a
m
e "dim" variable
to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
b
asic_map_add_constraint:
r
ename "dim" va
r
iable
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doo
l
aege
isl_ber
n
s
tein
.
c
:
bern
s
tei
n
_
c
oefficients_cell: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoo
l
a
e
g
e
isl_unio
n
_pw_*_from_pw_*: rename
"
dim" variab
l
e
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoolaeg
e
isl_tab
_
pip
.
c: split_domain
:
rename "d
i
m" v
a
riabl
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoola
e
ge
is
l
_
m
ap
_
delt
a
s
_map: r
e
name "doma
i
n_dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_t
r
ansitive_closure
.
c
:
add_le
n
gth:
rename
"
dim"
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoo
l
aege
is
l
_transitive_closure
.
c: set_pat
h
_length
:
r
e
name
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaege
isl_transiti
v
e_closu
r
e
.
c: path_along_delta:: renam
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_basic
_
map_ra
n
ge_product:
r
ena
m
e "dim"
v
a
r
iabl
e
.
.
.
commit
|
commitdiff
|
tree
next