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,set}_free_inequality: return modified result
2018-10-08
Sven Verdool
a
ege
isl_basic_{ma
p
,set}_f
r
ee
_
inequality
:
return modif
i
ed
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sven Verdoolaege
isl_b
a
sic_map
_
free_in
e
quality: avoid a
c
cessing c
t
x
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sven Verdoolaege
isl_basic
_
{
map,set}_free_equ
a
lity: return modified
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
S
v
en Verdoolaege
isl_
b
asic_m
a
p_free_equality: avo
i
d acces
s
ing ctx
fiel
d
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sve
n
Verdoolae
g
e
isl_output
.
c
:
can_print_div
_
e
x
p
r:
u
se
i
sl_local_
d
iv_is_
m
arke
.
.
.
commit
|
commitdiff
|
tree
2018-10-01
Sve
n
Verdo
o
laege
add
i
sl_tab_swap_constraint
s
commit
|
commitdiff
|
tree
2018-09-06
Sv
e
n
Verdool
a
ege
d
r
o
p
dep
r
e
c
a
ted is
l
_basic
_
map_n_*
commit
|
commitdiff
|
tree
2018-09-06
Sven Ver
d
oola
e
ge
dr
o
p
depr
e
cated isl_map_n_param
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
drop
d
eprecated
isl_ma
p
_
n
_out
commit
|
commitdiff
|
tree
2018-09-06
Sv
e
n V
e
rdoolaege
drop deprecated isl_
m
ap_n_in
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
laege
i
s
l_map_dim: use isl_space_
d
i
m
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_set_params: implement in
ter
m
s of
i
sl_map_params
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
d
o
olaege
isl_set_dim: implement in terms of
isl_map_
d
im
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
is
l
_morph
.
c
: copy_equali
t
ies: use isl_
b
asic
_
s
e
t_get_spa
c
e
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_map_subt
r
a
c
t
.
c: tab
_
add_cons
t
ra
i
nt: use isl_
b
asic_map_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laeg
e
isl_map_
s
ubtract
.
c
:
tab_add_const
r
a
i
nts: use isl
_
bas
i
c_map
_
dim
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaege
is
l
_basic_set_var
i
able_
c
ompression: use isl_basic_set_off
s
et
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_m
a
p_domain_product: use i
s
l
_
ba
s
ic
_
map_get_space
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
s
l_basic
_
map_ove
r
lying_set:
u
se i
s
l_b
a
sic_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_bas
i
c_
m
ap_apply_range:
u
se isl
_
basic_map_get_spac
e
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
isl
_
map
.
c:
m
o
v
e
_la
s
t: use isl_ba
s
ic
_
m
a
p_
o
ffset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
aege
is
l
_map
.
c: m
o
ve_last: use isl
_
basi
c
_map_peek_space
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_basic_ma
p
_
m
ove_
d
ims: u
s
e isl
_
b
a
sic_map
_
peek_space
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_basic_map_i
n
tersect: use
i
sl_basic
_
map_
p
eek_space
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Ve
r
doolaege
isl_basic_map_in
t
ersect_r
a
nge:
u
se is
l
_basic_set_d
i
m
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
is
l
_b
a
sic_map_intersect_domain: use isl_bas
i
c_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_
m
ap_solve
_
lp: use
isl_map_d
i
m
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoo
l
ae
g
e
isl_polynomial
.
c: fix_ina
c
tive: use isl_se
t
_
d
i
m
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaeg
e
isl_outpu
t
.
c: drop_aff: use isl_basic_ma
p
_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_basic_m
a
p_drop_redundant_divs_ineq: use is
l
_ba
s
ic_map_va
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doolaege
isl_map_s
i
m
p
l
ify
.
c:
.
.
.
_drop
_
more
_
redundant_divs:
use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoo
l
aege
isl_map_simplify
.
c:
c
o
a
lesc
e
_divs: use isl_b
a
sic_map_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_
s
implify
.
c
:
div_is_
r
edundant:
use
i
sl_basi
c
_map_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolae
g
e
isl_bas
i
c_map_is_div_c
o
n
s
traint: use isl_
b
asic_map_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
a
e
ge
isl_map_s
i
mp
l
ify
.
c: eliminate_unit_divs:
u
se isl_basic_map
_
o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: check_for_div_c
o
nstraints: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
m
a
p_sim
p
lify
.
c
: bette
r
_div_co
n
str
a
in
t
: use isl_b
a
s
i
c
_map
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_map_simpl
i
fy
.
c
:
ok_to_s
e
t_di
v
_from_b
o
und: use isl_basic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doo
l
aege
i
sl_m
a
p
_
simplify
.
c: set_
d
iv_from_lower_bound:
u
s
e isl_basic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
lae
g
e
isl
_
ma
p
.
c
:
f
i
nd_div: use isl_b
a
sic
_
m
ap_var_
o
f
fset
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
i
s
l_basic_map_
o
rde
r
_d
i
vs:
u
se
i
sl_
b
asi
c
_
map_v
a
r_off
s
et
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_map
.
c: basic
_
set_ap
p
end_equalities: use isl_basi
c
_
set
_
off
s
et
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
e
rdoolaeg
e
isl_map
.
c:
i
nsert_div
_
r
o
w
s: use
i
sl_
b
asic_map
_
of
f
s
et
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
e
rdoolaege
isl_basic_map_remove_divs: use is
l
_basic_map_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
is
l
_basic_map_swap_d
i
v:
u
se
i
sl
_
b
a
sic_map_v
a
r_o
f
fset
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
ege
isl_basic_map_make_stri
d
e
s
_expl
i
cit:
use i
s
l
_basic_ma
p
_
var_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_aff_sub
s
titute_equ
a
lities_lifted: use isl_basic_set_of
f
set
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ver
d
o
o
laege
is
l
_b
a
s
ic
_
s
et_pos
i
tive_orthant: use isl_space_d
i
m
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdool
a
ege
isl_basic_{
s
et,map}_print_in
t
ernal:
u
se isl_printer_p
r
int_ba
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erd
o
o
l
aege
isl_t
r
ansitive_c
l
osure
.
c: e
m
pty_path_is_iden
t
ity: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
e
rdoolaege
isl_map_s
i
mp
l
ify
.
c
: div_fin
d
_coalesce
:
reuse is_opp
o
s
i
te
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolae
g
e
isl_map
_
sim
p
lify
.
c:
m
ove up is_opposite
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_t
a
b_pip
.
c: find_context_div: r
e
serve ne
g
ative
return
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
i
sl_ma
p
_s
i
m
p
lify
.
c
:
div_find_coalesce: reserve negati
v
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
laege
isl_map
.
c:
f
i
nd
_
div: re
s
erv
e
n
eg
a
tive return
v
alue
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdoola
e
ge
i
sl_bernste
i
n
.
c:
i
s
_
tigh
t
: minor code simplification
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaeg
e
i
s
l
_map_
s
implify
.
c:
l
ower_bound_i
s
_cst: ret
u
rn -1 on
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add_
l
o
wer
_
div_const
r
a
i
nt: re
t
urn return mo
d
ified
r
esu
l
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
add_u
p
per_div_constraint: re
t
urn re
t
urn mo
d
ifi
e
d
re
s
ult
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
lae
g
e
isl_basic
_
map_add_div_constraint: retu
r
n r
e
t
u
r
n modified
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_basic
_
map_add_
d
iv_constraints:
r
eturn modified
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdool
a
e
ge
add_{upper
.
lower}_div_constraint: only pass i
n
position
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
ege
re
m
ove now unused
isl_b
a
sic_{se
t
,map}_ad
d
_div_
c
onstraints_var
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_local_space
.
c
: n
o
rmalize_div:
return modi
f
ied resu
l
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
no
r
malize_div_expressio
n
: return modi
f
ied result
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_map_
s
implify
.
c
:
eliminate_var_
u
sing_
e
quality: return
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
doolaege
isl_map
.
c: set_ma_
d
ivs: r
e
turn modified result
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_basic_map_swap_div: re
t
urn modified resu
l
t
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verd
o
olaege
isl_o
u
tput
.
c:
p
rin
t
_const
r
aint_c
:
drop now re
d
undant
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ou
t
p
u
t
.
c
: drop p
r
int_affine_c
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
o
l
aege
isl_output
.
c: print_const
r
aint_c
:
use print
_
ls_affine_c
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_output
.
c: p
r
int
_
bas
i
c
_
set_c: use
print
_
ls_partia
l
_
a
f
fine_c
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl
_
cat: support C output format
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
ge
i
sl_tran
s
iti
v
e_closure
.
c: ad
d
_length:
r
euse increment
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_t
r
ansitive_closure
.
c: mov
e
u
p
increment
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_transi
t
ive_cl
o
sure
.
c: increm
e
nt: re
t
ur
n
isl_map
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
olaege
isl
_
transitive_closure
.
c
:
i
n
crem
e
nt: clean up
s
pac
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
g
e
isl_t
r
ansitive_closure
.
c: map_power: use str
i
c
t
er test
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl
_
m
ap_deltas_map: ex
t
ract
o
ut is
l
_m
a
p_check
_
equal_tup
l
es
commit
|
commitdiff
|
tree
2018-08-31
S
ven Verd
o
o
l
aege
isl_q
p
oly
n
om
i
al_get
_
den: return isl_
v
al
commit
|
commitdiff
|
tree
2018-08-31
Sven Ver
d
o
o
la
e
ge
rename isl
_
upoly t
o
isl_poly
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
rdoolaege
isl_basic_map_i
n
sert_dims: create empty basic
m
ap di
r
ec
t
ly
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract out shared
i
s
l_point_dim
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
V
erdoolaeg
e
ext
r
act out shared isl_set
_
check
_
range
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
extra
c
t ou
t
shared isl_
t
erm_chec
k
_rang
e
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
e
x
tract out share
d
i
s
l
_
s
p
ac
e
_check_range
commit
|
commitdiff
|
tree
2018-08-28
S
ven Ve
r
dool
a
ege
merg
e
isl*map_check_ra
n
ge implement
a
ti
o
ns
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
isl
_
map_fix: reuse isl_map_ch
e
ck_ra
n
g
e
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
V
e
rdoolaege
i
s
l_map_fix_si:
reuse
i
sl_
m
a
p_check_r
a
nge
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdool
a
eg
e
isl_map_oppose: r
e
use isl_map_check_ran
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
V
e
rdoolaege
isl
_
map
.
c: map_boun
d
_
si: reuse isl_
m
a
p
_che
c
k_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map
.
c: map_
b
ound:
re
u
s
e i
s
l_map_check_rang
e
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Ver
d
oolaege
isl_map_fix_val: reu
s
e is
l
_m
a
p_check_
r
ange
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
i
sl_basic_map_drop_core:
r
euse i
s
l_basic_
m
ap_chec
k
_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
g
e
isl_basic_
m
a
p
_drop_d
i
v
:
i
m
pleme
n
t in terms of is
l
_b
a
sic_ma
p
_
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
i
s
l
_b
a
sic_map_drop: extr
a
ct
o
ut i
s
l
_
basic_m
a
p_drop_core
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
isl_b
a
sic
_
m
ap_drop
:
dro
p
err
o
r lab
e
l
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolae
g
e
isl_basic_
m
ap
_
drop_div
:
d
rop rem
o
val of co
n
s
t
raints
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl
_
m
ap_
s
implify
.
c: remove_red
u
ndant_divs: drop div
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
S
ven V
e
rdool
a
ege
private
l
y exp
o
rt
is
l
_basic_map_d
r
op_constraints_i
n
v
o
lving
commit
|
commitdiff
|
tree
next