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_convex_hull.c: compute_facet: avoid NULL pointer dereference
2010-06-26
Sven Verdoo
l
aege
isl_convex_hull
.
c:
c
ompute_facet
:
avo
i
d NULL p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
s
l_test
.
c
:
map_is_equal: ch
e
ck input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
sl_di
m
.
c:
c
o
py_name
s
: check input dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
is
l
_di
m
_
d
u
p: check
i
n
put dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolae
g
e
isl_
b
asic_map_cow: che
c
k result of
a
llocation
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdo
o
laege
isl_stream_new_str: c
h
eck
r
esult o
f
allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
e
rdo
o
laege
isl_stream
.
c: fi
x
typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaeg
e
isl_tab_pip
.
c:
f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
is
l
_ta
b
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verd
o
olaege
isl_polynomial
.
c
: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_
v
e
r
tices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
Verdool
a
e
g
e
i
s
l_mor
p
h
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
eg
e
isl_map
.
c
:
fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
Verdoolaege
i
s
l_map_simplify
.
c
: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en V
e
rdo
o
l
a
ege
is
l
_input
.
c: accept more general aff
i
ne expressions
commit
|
commitdiff
|
tree
2010-06-25
S
ve
n
Verd
o
o
laege
add isl
_
v
ec
_
add
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
add
i
sl_vec_scal
e
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
a
e
ge
add isl_s
e
t
_
is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoo
l
ae
g
e
add isl_map_is_transl
a
tion
commit
|
commitdiff
|
tree
2010-06-21
S
ve
n
V
erdo
o
lae
g
e
export isl_qp
o
ly
n
omial_inv
o
lves_dims
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Verdoolaege
isl_polynom
i
a
l
.
c:
add mis
s
ing
i
n
clude
commit
|
commitdiff
|
tree
2010-06-21
Sven
Verdoolaege
isl
_
map_tra
n
sitive_closure: check
w
hether decom
p
osition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_stream
_
fl
u
s
h_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
add is
l
_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add r
u
dimen
t
ar
y
error reporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolaege
add isl_
v
e
r
sion
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolaege
isl_point_al
l
oc: avoi
d
pote
n
tial memory leak on e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verd
o
olaege
doc: document isl
_
map_deltas
commit
|
commitdiff
|
tree
2010-06-15
S
v
e
n
Ver
d
oolaege
is
l
_
tab_pip
.
c: com
p
are
all
c
o
effici
e
nts when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven
V
e
rdoo
l
aege
isl_pw_qpolynomial{,_f
o
ld}_g
i
st: use simp
l
e
h
ull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add
isl_
s
et_se
t
_
d
im_name
commit
|
commitdiff
|
tree
2010-06-14
S
ven
Verdoolaege
add
i
sl_str
e
am
_
read_
s
e
t
commit
|
commitdiff
|
tree
2010-06-14
S
v
e
n
Verdoola
e
ge
d
o
c: fi
x
typ
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
l
_qpolynomial_
l
ift: fix liftin
g
in abse
n
ce of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
optionally (and by d
e
fault
)
u
s
e bernstein expan
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
priv
a
tely export
isl_qpolynomi
a
l_
f
old_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdo
o
l
a
ege
a
d
d
isl_p
w
_qp
o
lynomia
l
_
f
old_foreach_
p
iec
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
add pa
r
a
metric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolaege
add is
l
_morph
_
dom_di
m
and isl_morph_r
a
n_dim
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolaege
add isl_basic_map_i
s
_ration
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
privately expor
t
isl_basic_set_sort_con
s
traints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaege
isl_tab_
d
ete
c
t_imp
l
i
cit_equal
i
t
i
es: also detec
t
manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
isl_tab: op
t
io
n
ally only mar
k
strictly r
e
dunda
n
t rows
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
gener
a
l
i
ze isl_pw
_
qpolynomial_bound to
i
sl_pw_qpolyno
m
i
al_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolaeg
e
ext
r
ac
t
out generic p
a
rt o
f
isl_pw_qpolynom
i
al_
b
o
u
n
d_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
isl_pw
_
qpolynomial_bound_ran
g
e: a
l
so set exact
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
l
ae
g
e
add isl
_
basic_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
e
x
port isl_pw_qp
o
lynomial_fo
l
d_drop_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aeg
e
e
x
port isl_
q
po
l
ynomia
l
_
is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add isl_qpolynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
r
d
o
olaege
add
i
sl_qpolynomi
a
l
_
from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
export
is
l
_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdool
a
ege
ad
d
isl_qpolynom
i
al_homoge
n
ize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add isl_
q
polyno
m
ial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_qpol
y
n
o
m
i
al_in
s
ert_
d
i
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
l
_ct
x
: add t
w
o
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
ge
isl_tab_detect_imp
l
icit_equa
l
ities:
r
e
t
u
r
n
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd
isl
_
t
a
b_sign_of_ma
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
i
sl_tab_select_facet: re
t
ur
n
int inste
a
d of i
s
l_tab
*
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaege
add i
s
l_b
a
sic_se
t
_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
priva
t
ely
e
xport
i
sl_pw_qpolynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add i
s
l_qpolynomial_fold_for
e
ach_qp
o
l
y
nomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
a
dd i
s
l_pw_qpolynomial
_
fold_foreach_lifte
d
_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
export isl_pw_qpolynomial_
f
old_is_zer
o
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaeg
e
privatel
y
ex
p
ort
i
sl_
m
orph_alloc and isl_morph_identit
y
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add isl_q
p
o
l
ynomial
_
fold_get
_
type
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoola
e
ge
exp
o
rt isl_
p
w_
q
polynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
add isl_c
t
x_peek_o
p
tions
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
ge
isl_range
.
c: fix typ
o
i
n
com
m
ent
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
xp
o
rt is
l
_
s
e
t
_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
is
l
_bound: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdool
a
ege
fi
x
is
l
_qp
o
lyn
o
mial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_pw
_
qpoly
n
o
m
ial_bound_range: fix r
e
moval of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
b
o
u
nd_test
.
s
h
to dis
t
ribution
commit
|
commitdiff
|
tree
2010-06-11
Sven V
e
rdoolaege
do
c
: document gist
o
p
erations
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
e
rdoolaeg
e
doc: do
c
u
m
ent isl_constraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add is
l
_map_is_singl
e
_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdoo
l
a
ege
i
sl_
b
a
sic_map
_
foreach
_
constra
i
nt
:
m
ake su
r
e input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
ven
Ver
d
oolaege
isl_basic_map_copy: mark
duplic
a
te
d
c
op
y
a
s finaliz
e
d
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_set_lift: finalize
r
esul
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
is
l
_basi
c
_map_move_dims
:
always
f
i
na
l
i
ze
r
esult
commit
|
commitdiff
|
tree
2010-06-03
S
ven V
e
rdool
a
ege
isl_basic_m
a
p_from_
c
o
nstra
i
n
t: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl_acces
s
_
info_co
m
pute_flow:
h
andle may
a
cces
s
e
s
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdool
a
e
g
e
isl_access_info_comp
u
te_flow
:
handle multi-valued s
i
nk
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
o
ol
a
e
ge
r
emo
v
e some u
n
used var
i
ables
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
r
dool
a
ege
f
ix some
i
cc warni
n
gs
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolae
g
e
rename isl_pw_qpolynomia
l
_move and add isl_p
w
_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Ve
r
doolaege
isl_ctx: keep tra
c
k of user o
p
tions
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaeg
e
improved
a
r
gument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doolaege
i
s
l_options_parse: print help
message
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolae
g
e
add isl_boun
d
t
est
a
p
p
lication
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oola
e
g
e
add isl_p
w
_q
p
olynomial_
b
ound_range
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verd
o
olaege
add
i
sl_pw_qpolynomi
a
l_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oola
e
ge
add rudiment
a
r
y i
s
l_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdo
o
laege
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_
e
qualities
.
c: fi
x
typo in
c
omm
e
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_
m
at_inser
t
_rows
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
a
d
d i
s
l_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ver
d
oolaeg
e
add isl_ma
t
_d
i
agonal
commit
|
commitdiff
|
tree
next