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_from_qpolynomial: use isl_basic_map_from_aff
2019-06-22
Sven
V
e
rdoolaege
add is
l
_pw_*_{take,
r
e
store}_base_at
commit
|
commitdiff
|
tree
2019-06-22
Sven Verdoolaege
add isl_pw_*_
{
take,re
s
t
o
re}
_
space
commit
|
commitdiff
|
tree
2019-06-22
Sven
V
erdo
o
laege
isl_pw
_
*: use base
type to identify elements
commit
|
commitdiff
|
tree
2019-06-22
Sven V
e
rdoolaege
isl_set
_
overlap
s
: implement in terms
o
f
i
sl_set_
i
s_di
s
joi
n
t
commit
|
commitdiff
|
tree
2019-06-20
Sven Verdoolae
g
e
isl
_
test
.
c
: test_
l
e
x
min: abort
on fa
i
l
e
d
test
commit
|
commitdiff
|
tree
2019-06-20
Sven Verdoolaege
isl_space_zi
p
: f
i
x err
o
r messa
g
e
commit
|
commitdiff
|
tree
2018-10-11
Sv
e
n Verdoolaege
export i
s
l
_ast_build_n
o
de_from_sch
e
dul
e
commit
|
commitdiff
|
tree
2018-10-08
Sven Verdoolaeg
e
isl_basic_{ma
p
,
s
et}_free_inequality:
return m
o
difie
d
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
S
v
e
n Verdoo
l
a
e
ge
is
l
_ba
s
ic_m
a
p_free_inequality: avo
i
d acces
s
ing ctx
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sven Ver
d
o
o
laege
isl_basic_{map,set}_free_eq
u
ality: return modified
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
S
ven Verdoolaege
i
sl_basic_map_
f
ree_equali
t
y: avoid ac
c
essing
ctx field
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sven
V
erdo
o
l
aege
isl_output
.
c: can_
p
rint_div_expr: use isl_local_div_i
s
_marke
.
.
.
commit
|
commitdiff
|
tree
2018-10-01
Sven
V
erdoolaege
a
d
d
i
sl_tab_swap_constraints
commit
|
commitdiff
|
tree
2018-09-06
S
v
e
n
Verdo
o
l
a
e
ge
drop deprecated isl_bas
i
c_map_n
_
*
commit
|
commitdiff
|
tree
2018-09-06
S
ven Ver
d
oolaege
dr
o
p deprecated isl_map_n_pa
r
am
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdool
a
ege
d
rop
d
eprecated is
l
_ma
p
_n
_
out
commit
|
commitdiff
|
tree
2018-09-06
Sven Ve
r
doolaege
drop
d
epre
c
at
e
d
isl_map_n
_
i
n
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_di
m
:
use isl_s
p
a
c
e_d
i
m
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_s
e
t_par
a
m
s
: imple
m
ent in terms of isl_
m
ap
_
pa
r
ams
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_set_dim
:
implement in te
r
ms of isl_map_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
ge
isl_morph
.
c: copy_equalit
i
es: use
isl_basi
c
_
s
et_get_space
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Ve
r
d
oola
e
ge
isl_m
a
p_sub
t
ract
.
c
: tab_add_constrain
t
: use isl_basic_m
a
p
_
dim
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
d
o
olaege
is
l
_
ma
p
_subtra
c
t
.
c
: tab_a
d
d_con
s
t
r
aints: use isl_basic_m
a
p_d
i
m
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_bas
i
c_set_varia
b
le_compre
s
sion
:
use isl_basic_set
_
o
ffset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_domain_product: use i
s
l_bas
i
c_map_get_sp
a
ce
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
ola
e
ge
isl_
b
as
i
c_ma
p
_overlyin
g
_set:
u
s
e isl_basic_set
_
d
i
m
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
o
l
aege
isl_b
a
sic_map_apply_range: use isl_basic_ma
p
_
ge
t
_space
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
ool
a
ege
i
sl_map
.
c:
m
ove_last: use is
l
_basic_map_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaeg
e
i
s
l_m
a
p
.
c
:
move_last: u
s
e i
s
l_basic_map_peek_space
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_basi
c
_map_move_dims: use i
s
l_basic_m
a
p_p
e
ek_space
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl
_
b
a
sic_map_
i
nte
r
s
ect: use is
l
_basic_
m
ap_peek_
s
pace
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oolaege
isl_ba
s
ic_map_inter
s
ec
t
_range:
u
se isl_basi
c
_set
_
dim
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
do
o
laege
is
l
_basic_map
_
i
n
terse
c
t_domain: use isl_basic
_
set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
ool
a
e
g
e
i
s
l_map_solve_
l
p: use isl_map_di
m
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_p
o
ly
n
omial
.
c
: fix_inactive: use isl_se
t
_
dim
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl
_
output
.
c:
drop_aff: use
i
sl_basic_map_va
r
_
of
f
set
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_basic
_
map_
d
rop
_
redundant
_
divs_i
n
e
q: use
i
sl_basic_ma
p
_
va
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
d
o
o
l
aege
isl
_
map_s
i
mplify
.
c:
.
.
.
_drop_more_re
d
u
n
dant_
d
i
vs: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_map_simplify
.
c: coa
l
esce_divs
:
use isl_
b
a
s
ic_map_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
g
e
isl_ma
p
_simplify
.
c:
div_is_red
u
n
dant: use
i
sl_basic_m
a
p
_
offse
t
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolae
g
e
i
s
l_basic_map_i
s
_div_
c
onstr
a
int: use isl_basic_map_of
f
set
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
g
e
isl_map_simplify
.
c: elimi
n
ate
_
un
i
t_div
s
:
use
isl_basic_map_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolae
g
e
isl
_
map_simplify
.
c:
che
c
k_for_div_
c
onstraints: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_map_simplify
.
c: be
t
ter_d
i
v_co
n
str
a
int: use isl_bas
i
c
_map
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
_
simplify
.
c:
o
k_t
o
_set_div_from_b
o
und: use isl_basic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_map_simp
l
ify
.
c:
set_di
v
_from_lowe
r
_bou
n
d
:
use isl_basic
_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdo
o
laeg
e
is
l
_map
.
c: find_d
i
v: use
i
s
l
_basic_map_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdool
a
eg
e
i
s
l
_
basic_map
_
or
d
er_di
v
s:
u
se isl_
b
asic
_
map_
v
ar_
o
ffset
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
olaege
isl_map
.
c: b
a
sic_set_append_
e
qualities: use isl_b
a
sic_set
_
offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c: insert_d
i
v_rows:
use isl_
b
asic_map_of
f
set
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdoola
e
ge
is
l
_basic_map_remove_di
v
s: use is
l
_basic_map
_
var_offset
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_basic_map_
s
wap_div:
use
isl_basic_ma
p
_
v
ar_offs
e
t
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaeg
e
i
s
l_
b
asic_ma
p
_make_stride
s
_explicit: us
e
isl_b
a
sic_map_v
a
r
_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oolaege
isl_aff_subst
i
tute_equ
a
lit
i
es_lifted: use isl_basic_set_offse
t
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolae
g
e
isl_ba
s
ic_set_positive_orthant: use isl_spa
c
e_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_
b
asi
c
_{set,ma
p
}_prin
t
_
int
e
rnal: use isl_printe
r
_print_ba
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
doo
l
aeg
e
isl_t
r
ansit
i
v
e
_c
l
osu
r
e
.
c: empty_path_i
s
_iden
t
ity:
u
se
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
o
l
a
ege
isl_
m
ap_si
m
pl
i
fy
.
c: div_fi
n
d_coale
s
ce: reu
s
e
is_opposite
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_map_simplify
.
c: move
up is_opposite
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
i
s
l_
t
a
b
_
pip
.
c:
f
ind_context_div
:
reserve
n
eg
a
tive return
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_map_si
m
plify
.
c: div_find_coal
e
sce:
r
eserve n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdoolaeg
e
isl_map
.
c: find_div: res
e
rve negati
v
e
re
t
urn value
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_bernstein
.
c: is_t
i
ght:
minor code simplification
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c:
lower_bound_is_cst
:
return
-
1
on
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
add_lower_div_const
r
aint:
return retu
r
n
m
odifi
e
d re
s
ult
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
a
d
d_upper_div_constraint: return r
e
turn modified result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
la
e
ge
is
l
_basic_map_add_div_co
n
straint: return return modifie
d
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoo
l
aege
isl_basic_map_ad
d
_div_
c
onstraints
:
return modified
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Ve
r
d
o
ola
e
ge
add_
{
upper
.
lower}_div_c
o
ns
t
rai
n
t: o
n
ly pass in po
s
ition
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
oolaege
remove n
o
w
unus
e
d
i
s
l
_ba
s
ic
_
{s
e
t,map}_add_div
_
c
onstraints_var
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_
l
ocal
_
s
p
ace
.
c
: normalize_div:
r
eturn modified
r
esult
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
normalize_
d
iv_expres
s
ion: retu
r
n modified result
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
o
l
a
e
ge
i
sl_map_simplify
.
c:
e
l
iminate_var_using_equality: return
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdo
o
laege
isl_map
.
c
:
set_ma_divs: return modif
i
ed
r
esult
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic
_
map_swap_div:
re
t
u
rn modified
r
e
s
ult
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdoolaege
isl_output
.
c: pri
n
t_constrai
n
t_c: dr
o
p now
r
e
dun
d
an
t
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
ege
isl_o
u
tput
.
c:
d
rop print
_
affine_c
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
V
e
rdoolaege
is
l
_out
p
u
t
.
c:
p
rint_constraint_c: use print_ls_af
f
ine_c
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
doolaege
isl_ou
t
put
.
c:
p
rint_basic_set_c:
use print_ls_pa
r
tia
l
_aff
i
ne
_
c
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oolaege
isl_cat: support C ou
t
put f
o
rmat
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_transitive_closure
.
c: add_length: reuse incr
e
ment
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
transitive_
c
losure
.
c
: mov
e
u
p increment
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
aege
isl_tr
a
n
s
itive_clos
u
re
.
c:
increment: return isl_
m
ap
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaeg
e
i
sl_trans
i
t
iv
e
_closure
.
c:
increment:
clean
up space
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oolaeg
e
isl
_
transit
i
ve_closure
.
c: map_
p
o
wer: use
s
tricter
t
est
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolae
g
e
isl_
m
ap_de
l
t
a
s_
m
ap: ex
t
ract out
i
s
l_m
a
p_check_equal_tuples
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolae
g
e
isl_qpolynomial_get_den: return is
l
_val
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolae
g
e
rena
m
e i
s
l
_
upoly
t
o isl_p
o
ly
commit
|
commitdiff
|
tree
2018-08-31
Sv
e
n
Verdo
o
laege
i
sl_basic_map_insert_d
i
ms: create empty
b
asic map dire
c
tly
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoo
l
aege
extract out shared isl_point_dim
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdool
a
ege
extract
ou
t
shared isl_
s
et_ch
e
c
k_r
a
n
ge
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
a
e
g
e
extract out
shared isl_term
_
check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
e
x
t
r
a
c
t
out shared isl
_
space_check_ran
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
m
erge
i
sl*ma
p
_check_range implemen
t
at
i
on
s
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
isl_map_fix: re
u
se isl_m
a
p_check_ra
n
ge
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoo
l
aege
isl_ma
p
_fix_si: reuse i
s
l_map_
c
heck_
r
ange
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aeg
e
i
sl_m
a
p_oppose: reuse
isl_
m
ap_chec
k
_range
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl
_
map
.
c: map_b
o
und_si: reuse
i
sl_map_check
_
ra
n
ge
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
r
d
oolaege
i
s
l_m
a
p
.
c
: map_bound: reu
s
e
isl_map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
o
olaege
i
s
l_map
_
fix_val: reuse isl_map_ch
e
ck_ran
g
e
commit
|
commitdiff
|
tree
next