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
S
ve
n
Verdoolaege
isl_basi
c
_m
a
p_cow: check result of alloca
t
ion
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaege
isl_st
r
eam_new_st
r
:
c
heck result of all
o
cati
o
n
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
V
erdool
a
eg
e
isl_s
t
ream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdool
a
e
ge
i
s
l_tab_p
i
p
.
c:
f
ix typos
commit
|
commitdiff
|
tree
2010-06-25
S
ven
Verdo
o
l
a
ege
isl_tab
.
c: fix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
e
rd
o
olaege
isl_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
i
s
l_ver
t
i
ces
.
c:
fix t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
e
r
d
oolaege
isl_morph
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdo
o
lae
g
e
is
l
_
m
a
p
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verd
o
ol
a
e
g
e
isl_map_
s
implify
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Ver
d
oolaege
is
l
_input
.
c:
accept more general affin
e
expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_vec_ad
d
commit
|
commitdiff
|
tree
2010-06-25
Sven
Ve
r
d
ool
a
ege
add isl
_
vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoo
l
aege
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
add isl_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
r
dool
a
ege
e
x
port isl_q
p
olynomia
l
_involves_dim
s
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rdoo
l
a
ege
isl_polynomial
.
c: add
missing include
commit
|
commitdiff
|
tree
2010-06-21
Sven Ver
d
oolaege
i
s
l_map_transitive
_
c
l
osu
r
e: chec
k
whether
decompos
i
tion
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
olaege
add isl_stream_fl
u
s
h
_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaege
add isl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdoolaege
a
d
d rudimen
t
a
ry e
r
r
o
r
reporting mechan
i
sm
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdool
a
e
g
e
ad
d
isl_version
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoo
l
a
ege
i
s
l
_point
_
al
l
o
c: avoi
d
pote
n
tial
m
e
m
ory l
e
a
k
on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verd
o
olaege
doc
:
document
isl_ma
p
_de
l
ta
s
commit
|
commitdiff
|
tree
2010-06-15
Sven V
e
rdoolaege
isl_tab_pip
.
c: com
p
are all coefficients whe
n
checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
i
s
l_
p
w_q
p
olynomial{,_fold}_gist: use simple hul
l
instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verdoolaege
add isl_set_set_dim_n
a
me
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdoolaege
add isl_str
e
am_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
rdo
o
laeg
e
doc: f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
isl_qpolynom
i
al_lift: fix liftin
g
in absen
c
e of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
o
ptionally (and by default) us
e
bernstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
p
r
iv
a
tely export isl
_
qpolynomial_fo
l
d_f
o
l
d
_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_pw_qpolynom
i
al_fold_foreac
h
_piece
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolae
g
e
add parametric vertex
e
num
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
add
isl_morph_dom_dim
a
nd isl_mor
p
h
_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_basic_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
pr
i
vately
e
xport isl_basic_set_sort_constraints a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
isl_tab_det
e
ct_implicit
_
equalitie
s
: a
l
so detect m
a
nifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_
t
ab: opti
o
nall
y
only mark s
t
r
i
c
t
ly redu
n
d
a
nt
r
ows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
generalize isl_pw_qpol
y
nomial_bound to isl
_
pw_qpoly
n
omial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
extract out generic part
of isl_pw_qpo
l
ynomial_bound_
r
an
g
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
isl_pw
_
qpolynomial_
b
ound_ra
n
g
e
: also se
t
exa
c
tness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Ve
r
doolaege
add isl_ba
s
ic
_
set_fa
c
torizer
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
o
ola
e
ge
e
x
p
o
rt isl_pw_qpolynomial_fol
d
_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
d
oolaege
ex
p
ort
isl
_
q
polynomial_is
_
zero
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
g
e
add isl_qpol
y
nomial_coef
f
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdool
a
ege
a
dd isl_qpoly
n
omial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
export isl_qpolynomial_
a
dd_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
add isl
_
q
p
o
lynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl
_
qpol
y
nomial
_
degree
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Ve
r
doolaege
add isl_qpolynomial_insert_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
add isl_qpoly
n
omial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
ege
isl_ct
x
: add two
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolaege
isl_tab_dete
c
t_imp
l
icit_eq
u
ali
t
ie
s
: retu
r
n integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
aeg
e
add
i
sl_
t
ab
_
sign_of_m
a
x
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
i
s
l
_tab_select_facet: ret
u
rn int i
n
s
t
e
ad of i
s
l_tab
*
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_ba
s
ic_set_full_
c
ompre
s
si
o
n
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
pr
i
v
a
tely export isl
_
pw_
q
polynomial_
m
orph
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
add i
s
l
_qpolynomial_fold_foreach_qpolyn
o
mial
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
add isl_pw_qpolynomi
a
l_fo
l
d_
f
o
r
each_lif
t
ed_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
export isl_p
w
_qpolynomial
_
f
old_i
s
_zero
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
privatel
y
export isl_morph_alloc and isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add
isl_qpolyn
o
mia
l
_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ex
p
ort isl_pw_q
p
o
l
ynom
i
al
_
get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add isl_ctx_pe
e
k_optio
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
is
l
_
range
.
c: fix
t
ypo i
n
comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
expo
r
t isl_set
_
is_bo
u
n
de
d
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
isl_b
o
und: pl
u
g
m
emory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fi
x
is
l
_qpo
l
ynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
o
l
aege
isl_pw_qpolynomial_bound_ran
g
e: fix
r
emo
v
al of
d
ims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
d
oo
l
ae
g
e
add bound_test
.
sh
t
o
dist
r
ibution
commit
|
commitdiff
|
tree
2010-06-11
Sven V
e
rdoo
l
aege
do
c
:
d
ocum
e
n
t
gi
s
t
o
p
e
r
ations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdool
a
ege
d
o
c: docu
m
ent isl_constraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
a
dd
isl_map
_
i
s
_sing
l
e_
v
alued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
i
s
l
_
basic_map
_
f
oreac
h
_constrain
t
: mak
e
sure
input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
ve
n
V
erdoolaege
i
s
l_basi
c
_map_co
p
y
:
mar
k
du
p
licated
c
op
y
as finaliz
e
d
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoolaege
isl_basic_set_lift:
f
inalize result
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoo
l
aege
isl_
b
asic_ma
p
_
m
o
v
e_di
m
s
:
always finaliz
e
re
s
ult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_
b
a
s
ic_map_from_constraint: finalize
r
e
su
l
t
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
i
s
l_access_info_compute_flow: handle may a
c
cesses
commit
|
commitdiff
|
tree
2010-05-31
Sven
V
er
d
oolaege
isl_
a
c
c
ess_info_compute_flow: handle mult
i
-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoola
e
ge
remove some unused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaeg
e
r
e
name isl
_
pw_qpo
l
ynom
i
al_move and add isl_pw_qpolyn
o
m
ia
l
_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoolae
g
e
isl_ctx: keep track
o
f user options
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoolae
g
e
improved
argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_o
p
tions_parse: print
help messa
g
e
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
Verdoolaege
a
dd isl_bound test application
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
e
g
e
add isl_pw_qpolynomia
l
_
bound_r
a
nge
commit
|
commitdiff
|
tree
2010-05-13
S
ven V
e
rd
o
olaege
add isl_pw_qp
o
lynomial_f
o
l
d_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add r
u
dimentary isl_m
o
rp
h
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
add is
l
_seq_set
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoo
l
aege
i
s
l_equalities
.
c:
fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_mat_inser
t
_rows
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verd
o
olaege
add isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
o
laege
a
dd
isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_mat_lin_
t
o_aff: fix error h
a
n
dl
i
ng
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
isl_qpolyn
o
mial_opt_on_dom
a
in: handle empty
i
np
u
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
isl_name_alloc: fix err
o
r
handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
d
im_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doo
l
aege
i
s
l_
e
qualities
.
c:
f
ix typos in
comments
commit
|
commitdiff
|
tree
next