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_tab_pip.c: no_sol_in_strict: fix error handling
2010-06-26
Sven Verdoo
l
aeg
e
isl_tab_pip
.
c: no_sol_in_strict: f
i
x
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_aff
i
ne
_
hull
.
c: equalitie
s
_in_un
d
e
rly
i
ng
_
set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaege
isl
_
affine
_
h
u
ll
.
c: affine_
h
u
ll: fi
x
e
r
ro handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
is
l
_map_proj
e
ct_out: fi
x
er
r
or retu
r
n value
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
i
sl_
b
as
i
c_map_interse
c
t_ra
n
ge: avoi
d
N
ULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
l
a
ege
i
sl_tab_
p
ip
.
c: find_so
l
ution
s
: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_b
a
s
i
c_
m
ap_alloc_dim: fix erro
r
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
s
l_basic_map_int
e
rsect
:
avoid NULL p
o
i
nter derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
tab
_
pip
.
c
:
s
ol_map_
i
n
i
t: avoid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_basic_map_in
t
ersect_do
m
ain
:
a
v
oid NU
L
L
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaeg
e
i
sl_flow
.
c
:
com
p
ute_val_based_dep
e
nden
c
es: fix
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doo
l
aege
isl_acce
s
s_info_compute_f
l
ow: fix error han
d
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
laege
isl_
{
s
e
t,map}_fast
_
i
s_empty: avoid NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
ege
isl_flow
.
c
:
avoid access
i
ng
dim f
i
eld
dir
e
ctly
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
o
laege
isl_access_
i
nfo_compute_flow: avoid N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: obj_read
:
a
v
o
id NU
L
L
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
ge
i
s
l_m
a
p_subtra
c
t
.
c: tab_add_cons
t
raints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_tab
.
c
:
close_row
:
f
ix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_map
_
simplify
.
c: remove_duplicate
_
divs:
a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_bas
i
c
_map_
a
f
f
i
ne_hull: avoid
N
U
L
L p
o
inter d
e
refere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_tab_
a
dd_eq:
r
e
t
urn int i
n
stead
of isl
_
tab *
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
olaege
is
l
_map_sim
p
lify
.
c: remove_dup
l
icate_con
s
t
raints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoo
l
aege
isl_map_s
i
mp
l
ify
.
c: eliminate_div
s
_ineq:
a
v
oid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
isl_basic_map_e
l
iminate
_
vars:
avoid NULL
pointer derefe
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
olaege
is
l
_samp
l
e
.
c: in
t
erval
_
sample: avoid NULL p
o
inter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
isl_sam
p
le
.
c
:
drop_
c
onstrai
n
t
s_invo
l
vin
g
: avoid
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
i
sl_stream_new: read_defi
n
ed_var_list: a
v
o
id double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_basic_ma
p
_intersect:
a
vo
i
d N
U
L
L
p
o
inter de
r
efer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolaege
isl_sample
.
c: gbr
_
s
ample: avoid
N
U
L
L poin
t
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
isl_test
.
c:
avoid NULL po
i
nter
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_test: avo
i
d accessing basic set
i
nternals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl
_
in
p
ut
.
c
:
read_defined_var_l
i
st: avo
i
d
double
free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_convex
_
hul
l
: avoid NULL p
o
inter der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_bas
i
c
_m
a
p_nor
m
alize_
c
o
nstraints: avoid NULL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
isl_basic_map_total
_
d
i
m: avoid N
U
L
L
p
o
inte
r
der
e
feren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
sl_b
a
sic_ma
p
_order
_
d
i
vs:
avoid NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
isl_conve
x
_hu
l
l
.
c: isl_bas
i
c_set_a
d
d_equality: a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_convex_hull
.
c: compute_face
t
:
a
v
o
i
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
isl_test
.
c:
map_is_e
q
ual: check input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim
.
c
:
c
opy_nam
e
s: check
i
nput
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_dim_dup: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_bas
i
c_
m
ap_cow: check resul
t
of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
i
sl_stream_new_str: check
r
e
sul
t
of all
o
cation
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
Verdoolaege
isl_
s
tream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab_pip
.
c: f
i
x t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
isl_tab
.
c: fix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl
_
polyno
m
ial
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
isl_v
e
r
t
i
c
e
s
.
c: fix
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
isl_morph
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
o
o
laege
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_
m
ap_s
i
mplify
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
S
ven
Verdoolaege
isl
_
i
nput
.
c: a
c
cept more genera
l
a
ffine expr
e
s
s
ions
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
e
r
doolae
g
e
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Verdoolaege
ad
d
isl_vec_scal
e
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
add isl_set_is_bo
x
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdo
o
laeg
e
add
i
s
l_map_is_
t
rans
l
ation
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Verdoola
e
ge
e
xport isl_qpoly
n
omial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n V
e
rdoolaege
isl_polynomial
.
c: ad
d
mi
s
sing include
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Ve
r
doolaege
isl_map
_
t
r
ansi
t
ive
_
c
l
osure: c
h
ec
k
whether decompositio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
ven V
e
rdoolaege
add isl_stream_fl
u
sh_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaeg
e
add isl_st
r
ea
m
_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
o
olaege
a
d
d rudi
m
e
n
tary
error
r
eport
i
n
g me
c
hanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_ver
s
ion
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n
Verd
o
ol
a
ege
i
s
l_po
i
nt_alloc
:
a
void potential me
m
ory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoo
l
aege
d
oc
:
document i
s
l_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_tab_pip
.
c:
c
ompare
a
l
l
c
o
efficients wh
e
n checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoo
l
aege
isl_p
w
_qpol
y
n
o
mial{,_fold}_gist: u
s
e simple hull inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
olaeg
e
add i
s
l_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n Verdoolaege
add isl_stream_
r
ead_se
t
commit
|
commitdiff
|
tree
2010-06-14
Sven Ve
r
d
o
olaeg
e
doc:
fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_qpolyn
o
mial_lif
t
:
fix lifting in
abs
e
nc
e
of
divs
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
o
p
tionally (and by defau
l
t) use bernstei
n
expans
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
pr
i
vate
l
y
export isl_q
p
oly
n
omial_fo
l
d_fold_on_doma
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoo
l
aeg
e
add isl_pw_qpolynomial_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
a
d
d
p
arametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
a
dd isl_mo
r
ph_dom_dim and isl_m
o
rp
h
_
r
an_dim
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
rdoolaege
add isl_b
a
si
c
_map_is_
r
ational
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdo
o
laege
pr
i
vately
exp
o
rt isl_basi
c
_set_sort_
c
o
nstrai
n
ts and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rd
o
olaege
isl_tab_detect_implic
i
t_equa
l
ities: als
o
detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolaege
isl_tab: o
p
tio
n
al
l
y on
l
y ma
r
k strictly
r
e
dund
a
nt r
o
w
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
g
enera
l
ize isl_pw_qpolynomi
a
l_
b
ound to isl_pw_qpol
y
nomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
extr
a
ct out generic part of
isl_pw_
q
polynomial_boun
d
_ra
n
ge
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaeg
e
isl
_
pw_qpolynom
i
a
l
_b
o
und_range: also set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_
b
a
sic_set
_
facto
r
iz
e
r
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
export
isl_pw_qpolynomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ex
p
o
r
t isl_
q
polyno
m
ial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
ad
d
i
s
l_qpolynomial_
c
o
eff
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
ool
a
ege
add isl_qp
o
lynomial_
f
r
om_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
export isl_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl_qpolynomial
_
h
o
mogeniz
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
a
dd i
s
l_qpoly
n
omial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomia
l
_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doola
e
ge
a
dd
i
sl_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
l
_
ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
is
l
_ta
b
_de
t
ect_implicit_eq
u
alities: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
ad
d
isl_ta
b
_
sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_select
_
facet: return int in
s
t
ead of i
s
l
_
t
ab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_basic_set_fu
l
l
_
compression
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
p
r
ivately export isl_pw_qpolynom
i
al_mo
r
ph
commit
|
commitdiff
|
tree
next