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: isl_basic_set_add_equality: avoid NULL pointer dereference
2010-06-26
Sve
n
Verdoo
l
a
e
ge
isl_convex_hull
.
c: isl_basic_se
t
_
a
dd_e
q
ualit
y
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaeg
e
isl_con
v
ex_hu
l
l
.
c: compute_fa
c
et:
a
void
NULL
p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Ver
d
oolaege
isl
_
te
s
t
.
c: ma
p
_
i
s_equal: check input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim
.
c: copy
_
names:
c
heck input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim_dup:
check
input
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_m
a
p_cow: check
r
esu
l
t of alloc
a
tion
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
isl_stream_new_s
t
r: check result of allocat
i
on
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoo
l
aege
isl_s
t
r
e
am
.
c:
f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
isl_ta
b
_pip
.
c:
f
ix t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
a
ege
isl_tab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl
_
p
olynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
V
erdoolaeg
e
isl_vertices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
erdoolaeg
e
i
s
l
_
morp
h
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
isl_map
.
c
: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
Verdoolaeg
e
isl_map_si
m
plify
.
c: f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdool
a
ege
isl_input
.
c: acce
p
t more ge
n
e
r
al affine
e
xpressi
o
ns
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolae
g
e
add
isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
e
rdoolaege
add
i
sl_
s
et_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verd
o
o
l
ae
g
e
add isl_map
_
is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
ex
p
ort
i
s
l
_qpoly
n
o
m
i
al_invol
v
es_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven
Verdool
a
ege
isl_polynom
i
al
.
c: add m
i
s
s
ing
includ
e
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoo
l
aege
i
s
l_map_tr
a
nsit
i
ve_closur
e
: check whethe
r
decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
V
erdoo
l
ae
g
e
add i
s
l_str
e
am_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaege
add isl
_
stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaege
add rudimentary e
r
ror
r
eportin
g
mechan
i
sm
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
o
laege
add is
l
_versio
n
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
isl_point_alloc:
a
v
o
id potent
i
al memory l
e
ak on err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaege
do
c
: documen
t
isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_tab_p
i
p
.
c
: compare all coef
f
ici
e
nts
when chec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven
Ve
r
d
o
olaege
i
s
l_pw_qpolynomial{,_fold}_gi
s
t
:
use
simpl
e
hull i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
a
d
d isl_set_set_dim
_
name
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verdoolaege
add isl_stre
a
m_read_se
t
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
ege
i
sl_qpolynomial_lif
t
:
fix lifting
in absence
of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optionally
(
a
n
d by
default)
use b
e
rnstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
privately
e
xp
o
rt isl_qpolynomial_fold
_
fold_on_
d
omain
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolae
g
e
add isl_pw_q
p
olyno
m
i
al
_
fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaege
add
p
arametric vertex enumer
a
tion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_morph_dom_di
m
and is
l
_
m
orph_r
a
n_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ba
s
ic_map_is_
r
a
tion
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
private
l
y
e
xport isl_b
a
sic_set
_
so
r
t_co
n
strai
n
t
s and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaege
isl_
t
ab_detect_implic
i
t_e
q
ualities:
a
lso detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
isl_
t
a
b
:
o
pt
i
o
n
all
y
only mark str
i
ctly re
d
undant rows
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdool
a
ege
gener
a
lize isl_pw_qpolynomial
_
b
ound
t
o
isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
extract ou
t
g
eneric part of isl_pw_qpolynomial_bound_
r
ange
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
l
aege
is
l
_pw_qpoly
n
omial_bound_ra
n
ge: also set
exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_
b
asic_se
t
_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
ae
g
e
exp
o
rt isl_p
w
_qpo
l
ynom
i
al_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
export i
s
l_qpol
y
n
omial_is_zer
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_qp
o
lynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
a
dd isl_
q
pol
y
nomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
e
x
po
r
t isl_qpolynomial
_
add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoo
l
aege
add is
l
_qpolynomial_homo
g
enize
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
laege
add isl_qp
o
lynomial
_
d
e
gree
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl_q
p
olynomial_insert
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdo
o
laege
add isl_qp
o
lynomial_
d
im
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
isl_
c
t
x
: ad
d
tw
o
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
laege
isl_t
a
b_detec
t
_im
p
licit_equalities: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoola
e
ge
add isl_
t
ab
_
si
g
n_
o
f_max
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
isl_
t
ab_select_facet: return int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd isl_basi
c
_set_full_compress
i
on
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
privately export isl_p
w
_qpolynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
add
i
sl_qpolynomial_fold_f
o
r
e
a
ch_qpolyn
o
mial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl_pw_qpol
y
no
m
ial_f
o
ld_foreach_lifte
d
_piece
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
export isl_pw_qpoly
n
omial_
f
old_is_z
e
ro
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oo
l
aeg
e
pr
i
vat
e
ly exp
o
rt isl_morph
_
alloc
a
nd
i
sl_mo
r
ph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
ge
add isl_qpol
y
nomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoo
l
aege
export isl_pw_qpoly
n
omia
l
_g
e
t_ct
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_c
t
x
_
p
eek_op
t
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
i
sl_range
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl
_
set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olae
g
e
isl_bound: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
fix
isl
_
qpolynomial
_
f
ol
d
_
d
up
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_p
w
_
q
po
l
ynomial_bound_range: fix remo
v
al of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olaeg
e
add bo
u
nd_test
.
sh to distribu
t
io
n
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoo
l
ae
g
e
doc: document gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
doc: docume
n
t isl_constraint_is_equ
a
lity
commit
|
commitdiff
|
tree
2010-06-04
S
v
e
n Verdoolaege
add isl_map_is_s
i
ngle
_
valued
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdoolaege
isl
_
ba
s
ic_map
_
foreach_constraint:
m
ake sure
inp
u
t has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olae
g
e
isl_ba
s
i
c
_
map_copy: mark du
p
licated copy a
s
finalize
d
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_
b
asic_s
e
t_l
i
ft: finalize
r
esult
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaege
isl_bas
i
c_map_move_dims: alway
s
finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoolaege
isl_basic_map_f
r
om_constraint: finalize
r
esult
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoola
e
ge
isl_access_inf
o
_compute
_
f
lo
w
: h
a
ndle
m
ay
a
ccesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Ver
d
oolaege
isl_acce
s
s_info_c
o
mput
e
_flow:
handle m
u
lti-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rd
o
ola
e
g
e
r
e
mov
e
some unu
s
ed va
r
iables
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdoolaeg
e
fix some icc warning
s
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
V
e
rdo
o
l
a
e
ge
rename isl_pw_qpol
y
nom
i
al_move and add isl_p
w
_qp
o
lynomial_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdool
a
ege
isl_ctx: keep track of user options
commit
|
commitdiff
|
tree
2010-05-30
S
v
en
V
e
rdo
o
laege
im
p
roved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
isl_opti
o
ns_parse: p
r
int help message
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ver
d
oo
l
ae
g
e
ad
d
isl_bo
u
nd test a
p
plication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl_
p
w_q
p
olynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add i
s
l_pw_qpolyno
m
i
a
l_fold_
m
orph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdool
a
ege
a
d
d
r
ud
i
mentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdool
a
ege
add isl_seq_s
e
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
do
o
laege
is
l
_equalities
.
c: fix typo in
c
o
mment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
mat
_
insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add isl
_
mat_
n
ormal
i
ze
commit
|
commitdiff
|
tree
next