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_flow.c: avoid accessing dim field directly
2010-06-26
Sven Verdoolaege
isl_flow
.
c: avoi
d
a
c
c
e
ssing dim f
i
eld
d
irectly
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
isl_access_inf
o
_
compute_
f
l
o
w:
a
void N
U
LL
poi
n
t
e
r
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
ool
a
ege
isl_input
.
c: obj_read:
a
void
N
UL
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
rdoolaege
isl_map_s
u
b
t
ract
.
c: tab_
a
dd
_
constraints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_t
a
b
.
c: close_row: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oola
e
ge
isl_map_simplify
.
c: remov
e
_
dupl
i
ca
t
e_
d
ivs: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
a
ege
isl_basic_m
a
p_af
f
i
n
e_hull: avoid NULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl
_
t
ab_add_eq: retur
n
in
t
instead of i
s
l_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
map
_
si
m
p
l
ify
.
c
: remove_duplicate_con
s
tr
a
in
t
s
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdool
a
ege
isl_map_simplify
.
c
: elim
i
na
t
e_d
i
vs_ineq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_bas
i
c_m
a
p_elimina
t
e_var
s
: avoid NUL
L
po
i
nter derefe
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
ae
g
e
isl_sample
.
c: interva
l
_sample:
avoid NULL
poi
n
ter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
isl_
s
ample
.
c:
dro
p
_constraint
s
_involving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
o
l
a
ege
i
s
l_str
e
am
_
ne
w
: read
_
defined_va
r
_list:
av
o
id doubl
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolae
g
e
isl_ba
s
ic_map
_
intersect: avoid NU
L
L point
e
r
derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_samp
l
e
.
c: gbr_sample: avoid
N
ULL point
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_tes
t
.
c: avoid NULL pointer d
e
refere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_te
s
t:
a
v
oid accessi
n
g
basic set internal
s
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaege
isl_input
.
c:
r
ead_def
i
ned_v
a
r
_list: avoid
double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_map_convex_hull: avoid NULL poi
n
ter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_basic
_
map_nor
m
a
l
iz
e
_cons
t
raints:
a
void
NULL poin
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
e
g
e
isl_basic_map_total_dim: avoid NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic
_
map_order_divs: avoid
NULL
p
o
i
nt
e
r deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
isl_convex_hull
.
c: isl_bas
i
c_set_add_equality: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_convex
_
hull
.
c: compute_
f
acet
:
av
o
id NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_tes
t
.
c: map_is_eq
u
al: che
c
k input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_
d
im
.
c:
copy_
n
ames: che
c
k input
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolae
g
e
isl_dim_dup
:
check
i
npu
t
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_bas
i
c_map_cow:
c
heck result
o
f
a
lloc
a
t
io
n
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoola
e
ge
isl_stre
a
m_new_
s
t
r: check r
e
sult of all
o
catio
n
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
isl_stream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
g
e
isl_tab_
p
ip
.
c
: fix
t
ypos
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Verdoolae
g
e
isl_tab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoo
l
a
ege
is
l
_polynomia
l
.
c:
f
i
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Ve
r
d
oolaege
is
l
_
vertice
s
.
c: f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolae
g
e
isl
_
morph
.
c:
f
i
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_
m
ap_simplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
Verd
o
o
l
aege
isl_input
.
c: accept more gener
a
l
a
ffine expr
e
s
s
io
n
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laeg
e
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
add i
s
l_vec_scal
e
commit
|
commitdiff
|
tree
2010-06-25
S
ven V
e
rdoo
l
aege
add isl_set_i
s
_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaeg
e
a
d
d
i
sl_map_i
s
_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
e
xport isl_qp
o
l
y
nomial_involves_di
m
s
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Verdoolaege
i
s
l_po
l
y
n
o
m
ial
.
c: add m
i
ssing include
commit
|
commitdiff
|
tree
2010-06-21
Sven Ver
d
oo
l
a
e
ge
isl_map_t
r
ansitive_clos
u
re: chec
k
whether dec
o
mpos
i
tion
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Ve
r
doo
l
a
e
g
e
add i
s
l
_
stream_fl
u
sh_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add i
s
l_st
r
eam_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Ve
r
doolaege
a
d
d rudimenta
r
y
erro
r
reporting mecha
n
ism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
a
e
ge
a
dd is
l
_version
commit
|
commitdiff
|
tree
2010-06-19
S
v
en
V
erd
o
olaege
isl_point_alloc:
a
void pote
n
tial memory leak on e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
ven Verdoo
l
aege
do
c
:
docum
e
nt
i
sl_map
_
de
l
ta
s
commit
|
commitdiff
|
tree
2010-06-15
S
v
en
Verd
o
olaege
isl_t
a
b_pip
.
c: compare
all coefficien
t
s when
checkin
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_p
w
_
q
polynomia
l
{
,
_fold}_gi
s
t: use simple hull
instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Ver
d
oolaege
add isl_set
_
set_dim_
n
ame
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdo
o
laege
ad
d
isl_str
e
am_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
ola
e
ge
doc: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_qpol
y
n
omial_lift: fi
x
lift
i
ng in absence
of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolaege
optiona
l
ly (and by default) use be
r
nste
i
n expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
riv
a
t
e
l
y
e
x
port isl_qpolynomial_fol
d
_
fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add is
l
_pw_qpolynomia
l
_
f
old
_
foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
parametric vertex en
u
merat
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_morph_dom_dim a
n
d isl_m
o
rph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add is
l
_b
a
sic_map_
i
s
_
ration
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately exp
o
rt isl_basic_set_sort_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_tab_detect_imp
l
icit_equalities: also det
e
ct
m
anifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoo
l
aeg
e
isl_ta
b
: optionally o
n
ly mark st
r
ictly
r
e
d
u
ndant ro
w
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
g
e
nerali
z
e isl_pw_qpolynom
i
al_bound to
i
sl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
tract out gene
r
ic part
o
f
i
sl_pw_qpoly
n
om
i
al_bound
_
ra
n
ge
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
er
d
oola
e
g
e
isl_pw_qp
o
lyno
m
ial_bound_r
a
nge: also set ex
a
ctness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_
b
asic_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
expo
r
t is
l
_pw_qp
o
lyn
o
mial_fold_dr
o
p_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_qpolynomia
l
_is_zer
o
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add
i
sl_qpolynomia
l
_coeff
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
ege
add isl_qpoly
n
omial
_
from_affi
n
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
ege
export isl_q
p
olynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add isl_qpolyno
m
ial_
h
o
mogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
ge
add isl_qpolynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomi
a
l_inser
t
_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
add isl_qpo
l
ynomial_
d
im
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaeg
e
isl_ctx
:
add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
ae
g
e
isl_tab_detect_im
p
licit
_
e
qualitie
s
: ret
u
rn i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_t
a
b
_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
doo
l
aege
i
sl
_
tab_select_f
a
cet: re
t
urn int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdool
a
ege
add isl_basic_set_ful
l
_compre
s
sio
n
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
privately ex
p
ort is
l
_p
w
_qpol
y
nomial_mo
r
ph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_
q
polyno
m
ial_fold_foreach_q
p
olynomial
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add isl_pw_q
p
olynomial_fo
l
d_foreach_l
i
ft
e
d
_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
ex
p
ort isl_
p
w_
q
polynomi
a
l_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately export isl_morph_alloc and isl
_
mo
r
p
h_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add
i
s
l_qpolynomi
a
l_fold_g
e
t_type
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
export isl_pw
_
q
p
olynom
i
al_ge
t
_c
t
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
a
dd isl_ctx_peek_
o
pt
i
on
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_ran
g
e
.
c: fi
x
t
ypo in comme
n
t
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
la
e
ge
exp
o
r
t is
l
_set_is_bou
n
ded
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
isl_bound: pl
u
g
mem
o
ry le
a
k
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolaeg
e
fi
x
i
sl_
q
polynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_qpo
l
ynomial_boun
d
_
ra
n
ge:
f
ix remov
a
l of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdool
a
ege
add bound_test
.
sh t
o
d
is
t
r
i
butio
n
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
do
c
: docume
n
t gist operations
commit
|
commitdiff
|
tree
next