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
doc: document isl_map_deltas
2010-06-18
S
v
en
V
erdo
o
laege
doc: do
c
ument
i
sl_
m
ap_deltas
commit
|
commitdiff
|
tree
2010-06-15
S
v
en
V
erdoolaeg
e
isl_tab_pip
.
c: compare all coefficients w
h
en checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sv
e
n
V
e
rd
o
ola
e
ge
isl_pw_qpolynomial{,_fol
d
}_gist:
u
se simple hull
instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add
isl_set_set_
d
im_nam
e
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdoolaeg
e
add
isl_stream_
r
ead_set
commit
|
commitdiff
|
tree
2010-06-14
S
v
en Verdoolaege
doc: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_qpolynomial_lift: fix li
f
ting
i
n absence of
d
ivs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
o
p
tionally (and by default) use bernstein expans
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately e
x
port isl_qpoly
n
omial_fol
d
_fold
_
on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_pw_qp
o
ly
n
omial_fold
_
foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
add pa
r
ametric vertex
e
numera
t
io
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_morph_dom_dim an
d
isl_morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
add isl_basic_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaeg
e
privately
expor
t
is
l
_basic_set_sort_constrain
t
s and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_t
a
b
_
detec
t
_
implicit_equalities: a
l
so det
e
c
t manif
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_tab: optionally only m
a
rk
strictly redunda
n
t rows
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
generaliz
e
isl_pw_qp
o
l
ynomial_bound
to isl_
p
w_
q
polynomial
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
extra
c
t out generic
p
art of isl_pw_qpolyn
o
mial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
is
l
_
pw
_
q
po
l
yn
o
mi
a
l_b
o
und_r
a
n
g
e:
also set
exactn
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
isl_basic_set_fa
c
torizer
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
export
i
s
l_p
w
_qpoly
n
om
i
a
l_fold_drop
_
dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
expor
t
i
s
l
_qpolynomial
_
is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_
q
polynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
add i
s
l
_
qpol
y
nomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
export isl_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
add isl_qpoly
n
omial_
h
omo
g
enize
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add isl_qpolyn
o
mia
l
_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add isl_qp
o
l
ynomial_insert_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
o
o
laege
add
isl_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_ctx: add t
w
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_
t
a
b_de
t
e
c
t_im
p
licit_equalities: r
e
turn integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
isl_tab_select_fac
e
t: retu
r
n in
t
ins
t
e
a
d
o
f
i
s
l_t
a
b *
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verd
o
olaege
add isl_basic_set_full_com
p
ression
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolae
g
e
p
r
i
v
ately exp
o
rt isl_p
w
_qpol
y
nomial_
m
o
r
p
h
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add isl_qpolynomial_fold_fo
r
eac
h
_qpoly
n
o
m
ial
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
ool
a
ege
a
dd isl_pw_qpolyn
o
mial_fold_foreach_lift
e
d_piece
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
ege
e
x
port isl_pw_q
p
o
l
ynomial_fold_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
pr
i
vately
export
i
sl_morph_alloc and isl_mor
p
h_identity
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
ad
d
isl_qpolynomial_fold_get_
t
ype
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
expo
r
t
i
sl_pw
_
qpolyno
m
ia
l
_get_
c
tx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_ctx_peek_optio
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl
_
range
.
c
:
fix ty
p
o
i
n comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaeg
e
export i
s
l_se
t
_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_
b
o
u
nd: plug memory lea
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix
i
sl_q
p
olynomial_fold
_
du
p
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
l
a
ege
isl
_
pw_qpolynomia
l
_bo
u
nd
_
ra
n
g
e: fix rem
o
val of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdool
a
e
g
e
add b
o
und_
t
e
s
t
.
sh to d
i
st
r
ibution
commit
|
commitdiff
|
tree
2010-06-11
Sve
n
Verdoolaege
doc:
d
oc
u
ment
gist operations
commit
|
commitdiff
|
tree
2010-06-04
S
ven Verdoolaege
doc: document isl_c
o
nstraint_is_equal
i
ty
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rd
o
olaege
a
dd isl_map_is_single_va
l
ued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoola
e
ge
isl_
b
asic_m
a
p_for
e
a
c
h_constrai
n
t: make s
u
re input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_ba
s
ic_map_copy
:
mark d
u
plicated copy a
s
f
inaliz
e
d
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
oolae
g
e
isl_basic_set_lift: fi
n
alize
r
esult
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
doolaege
isl_basic_map_move_dims: alw
a
ys finali
z
e
result
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n
Verdoolaege
isl_basic
_
m
ap
_
from_constraint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
isl_access_info_compute_
f
lo
w
: hand
l
e may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Ver
d
oolaege
isl_access_in
f
o_compute_flow: handl
e
mult
i
-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ven Ve
r
doola
e
ge
remove s
o
me unus
e
d variab
l
es
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaege
fix
s
ome icc w
a
rnings
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Ver
d
oo
l
aege
rename i
s
l_pw_qpo
l
yno
m
ial_move and add isl_pw_qpolynomi
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdoolaege
isl_ctx:
k
eep track of u
s
er opt
i
ons
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
improved a
r
gument parsi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
isl_
o
pti
o
ns_par
s
e:
p
ri
n
t help message
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oola
e
ge
a
d
d isl_bound tes
t
a
p
plicatio
n
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
Ver
d
oolaege
add isl_pw_qpo
l
y
nomia
l
_bound_r
a
nge
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
a
dd isl_pw_qpolynomial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
V
e
rdo
o
l
aege
add rudimentary is
l
_mor
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdo
o
l
a
ege
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
i
sl_
e
qualities
.
c
:
fix
t
ypo in
c
omment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_insert_r
o
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_mat_no
r
malize
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
isl_mat_lin_t
o
_aff: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
e
g
e
isl_qpolynomial_opt
_
on_domai
n
: ha
n
d
l
e empty input
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdool
a
ege
i
sl_name_allo
c
: fix error
h
a
ndling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d
isl_di
m
_of
f
s
e
t
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
is
l
_
e
q
u
alit
i
es
.
c:
f
i
x typos in co
m
ments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
la
e
g
e
add is
l
_p
w
_qpolynomial_
f
ol
d
_
covers
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add i
s
l_qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
pri
v
ately
export isl_set_is
_
bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
ae
g
e
a
dd isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
a
d
d i
s
l_set
_
scan
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erdoo
l
aege
add isl_s
t
ream_read_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomial_from
_
term
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdo
o
l
a
ege
add isl_qpolynomi
a
l_f
r
om_
c
ons
t
rain
t
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolae
g
e
add i
s
l_basic_set_f
o
r
each_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomia
l
_as_
p
olynomial_on
_
domain
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoola
e
g
e
add isl_qpolynomial_su
b
stitute
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdool
a
ege
add
is
l
_bas
i
c_set_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
d
o
olaege
isl_ctx: add z
e
ro
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Verdoolaege
add isl_qpolynomial_negi
n
fty
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
add
isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdo
o
laeg
e
isl_q
p
o
lynomial_
f
old_opt_
o
n_domai
n
:
f
ix typo
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
isl_pw_*_eval
:
fix handl
i
ng
o
f empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
d
o
olaege
add is
l
_basi
c
_s
e
t_move_di
m
s
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laeg
e
export isl_qpolynomial_
s
ub
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
o
o
laege
add isl_qpo
l
y
nomial_g
e
t_d
i
m
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
isl_m
a
p_
t
ran
s
i
t
i
v
e_cl
o
sure: coalesc
e
in
p
ut before
c
he
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add map_lex_*
_
f
i
r
st
commit
|
commitdiff
|
tree
next