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_cow: check result of allocation
2010-06-26
Sven Verdoolaege
isl_
b
asic_map_cow
:
check resul
t
of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l_
s
tream_ne
w
_str: c
h
e
c
k
result
o
f a
l
locati
o
n
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdo
o
la
e
ge
i
s
l_st
r
eam
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
g
e
isl_tab_
p
ip
.
c: fix
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
d
o
ol
a
ege
is
l
_ta
b
.
c: f
i
x typ
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verd
o
olaege
isl_polyn
o
m
ial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_vertices
.
c: fix
t
ypo
s
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
erdoolaege
isl_m
o
rph
.
c
:
f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoo
l
aege
isl_map
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
S
ven V
e
rdoolae
g
e
isl_map_sim
p
li
f
y
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
i
sl_input
.
c: accept more gen
e
r
a
l affine expres
s
ions
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
V
erdoo
l
aege
add isl_vec_ad
d
commit
|
commitdiff
|
tree
2010-06-25
S
ven
Verdoolaeg
e
add isl_vec_sca
l
e
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verd
o
o
l
a
ege
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sv
e
n Verdoolaege
ad
d
isl_
m
ap_is_
t
ranslation
commit
|
commitdiff
|
tree
2010-06-21
S
ve
n
Verdo
o
l
aege
export isl_q
p
ol
y
nom
i
al_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
erdool
a
ege
isl_polynomial
.
c: add missing incl
u
de
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Verdo
o
laege
isl_map
_
transi
t
ive_closu
r
e
: check wh
e
ther decomposit
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdo
o
laege
add isl_stream_flush_
t
oken
s
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
er
d
oolaeg
e
add rudimen
t
ary
error repor
t
ing
me
c
hanism
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoo
l
aege
add i
s
l_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isl_point_alloc: a
v
o
id potentia
l
memo
r
y lea
k
o
n
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven
Verd
o
ol
a
ege
d
oc: docume
n
t isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
S
v
en
V
erdoolae
g
e
i
sl_tab_pip
.
c: co
m
p
a
re all coefficients when check
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven
Verdoolaege
isl_pw_qp
o
lynomi
a
l{,_fold}_gist: use simple
hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
olaege
add isl_set_set_dim_
n
ame
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdoolaege
add isl_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
d
o
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolae
g
e
isl_qpoly
n
omia
l
_lift: fix lifting in
a
bsence
of di
v
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
o
p
t
i
onally
(a
n
d by default)
use b
e
rnstein exp
a
nsion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
p
rivately export
i
s
l
_qpolynomi
a
l_fold
_
fo
l
d_
o
n_domain
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
add is
l
_pw_
q
polynomial_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add parametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_morph_dom_di
m
and i
s
l_morph_r
a
n
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolae
g
e
add
isl_basic_m
a
p
_
is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
rivat
e
ly export isl_basic_set_sor
t
_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolae
g
e
isl_tab_d
e
tect_
i
mplicit_e
q
ua
l
ities:
als
o
detect
man
i
fe
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_tab: optional
l
y only mark strictly redundant
ro
w
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doolaege
g
e
n
eralize isl
_
pw_qpol
y
nomial_bound to isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
extract
o
ut generic part of
i
sl_
p
w_qpolynomial
_
bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
isl_pw_qp
o
l
y
n
omial_bound_range: also set exa
c
tness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add i
s
l_basic_set_factorize
r
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
e
g
e
export isl_pw
_
qpol
y
nomial_fold
_
drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_
q
polynomial_is_z
e
ro
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oola
e
ge
add is
l
_qpolynomi
a
l_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolaege
ad
d
i
s
l_qpolyno
m
ial
_
fro
m
_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl
_
qpolyn
o
mial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
a
d
d
i
s
l_qpoly
n
omial
_
homogen
i
ze
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
a
d
d
isl_qpolyn
o
mial_degree
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoo
l
aege
add is
l
_qp
o
l
ynomial_inser
t
_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
a
d
d
i
sl_qpolynom
i
a
l_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
aege
isl_ctx: ad
d
t
wo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
is
l
_tab_detect_
i
mplicit_equalities: r
e
turn
in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
a
dd isl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_tab_select_face
t
:
retur
n
int inst
e
ad of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
erdoolaege
add isl_basic_set_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
pri
v
a
t
e
l
y expo
r
t is
l
_pw_qpolynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
add
i
s
l
_
q
p
o
lynomial_fo
l
d_fo
r
e
ach_qpolyn
o
mial
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
a
dd isl_pw_q
p
olynomial_fold_foreach_l
i
fted_piece
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
expo
r
t
i
sl
_
pw_qpolynomial_f
o
l
d_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolaege
pr
i
vately e
x
p
ort isl_m
o
r
p
h_alloc and isl_morph_ide
n
tit
y
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_qpolyno
m
ial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw_
q
polynom
i
al_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
ad
d
isl_ctx_
p
ee
k
_options
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_rang
e
.
c: fix typo in co
m
ment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
eg
e
ex
p
o
r
t isl_set_i
s
_bounde
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
l
_bound: plug mem
o
ry
l
eak
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aege
fix isl_qpolynomia
l
_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdool
a
ege
isl_p
w
_qpol
y
no
m
ial_bound_rang
e
:
fix removal of
dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd bound_test
.
sh to dist
r
ibu
t
io
n
commit
|
commitdiff
|
tree
2010-06-11
Sve
n
Verd
o
o
l
aege
doc: doc
u
m
e
nt gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Verdoolaege
doc
:
document isl_constrain
t
_is_equalit
y
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
V
erdoo
l
aege
add isl_
m
ap
_
i
s
_
s
ingle_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verd
o
olae
g
e
isl_basic_map
_
foreach_const
r
a
i
nt
:
make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaege
isl_basic_map_copy: mark
d
uplica
t
ed copy as fin
a
lized
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoolaeg
e
isl_basic_set_l
i
ft: finalize
result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
laege
is
l
_basic_map_move_dims: alwa
y
s finalize
r
esult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_ma
p
_from
_
constraint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl_acce
s
s
_
info_compute
_
fl
o
w: handle ma
y
acces
s
es
commit
|
commitdiff
|
tree
2010-05-31
Sv
e
n Verdoola
e
g
e
is
l
_access_info_comput
e
_
flo
w
: han
d
le multi-va
l
ue
d
si
n
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdool
a
e
ge
remove some unus
e
d v
a
riables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaeg
e
fi
x
som
e
icc war
n
i
ngs
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
rename
isl_
p
w_qpo
l
yn
o
mial_move
a
nd ad
d
isl_pw_qpolynomial_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
dool
a
ege
isl_ctx: keep t
r
ack of
user options
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
ola
e
ge
i
m
proved argument p
a
rsin
g
commit
|
commitdiff
|
tree
2010-05-15
S
ve
n
Verdoolaege
isl_options_parse:
pri
n
t h
e
lp mes
s
age
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
add isl_bound
t
est applic
a
tion
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaeg
e
add isl_pw_qpolynomial_bound_
r
ange
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ver
d
o
o
laege
a
d
d is
l
_pw_qpolynomial_
f
o
l
d_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add rud
i
mentary
i
sl_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add i
s
l_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
isl_equalities
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoolaege
ad
d
isl_m
a
t_in
s
ert_row
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_norma
l
ize
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaeg
e
a
dd isl_ma
t
_dia
g
onal
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdo
o
la
e
ge
isl_mat
_
lin_to_af
f
: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
is
l
_qp
o
l
ynomial_opt_
o
n_d
o
main: handle empty in
p
ut
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_name_alloc: fix
e
rro
r
handl
i
ng
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add is
l
_d
i
m_offset
commit
|
commitdiff
|
tree
next