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
implement antiquated isl_set_n_* in terms of isl_set_dim
2010-06-26
S
v
e
n
Verdoolaeg
e
implement antiqu
a
ted isl_set_n_*
in te
r
ms of isl_set_
d
im
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
sl_map_simplify
.
c: norma
l
ize_divs
:
avoid NULL
p
o
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
sl_in
p
ut
.
c: va
r
s
_
d
r
op: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolae
g
e
isl_convex_hull
.
c: uset_convex_h
u
ll_
w
r
ap
_
bounded: f
i
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaege
i
sl_s
e
t_wrap_facet: f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laege
isl_tab_
m
in: av
o
i
d NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_
a
ffin
e
_hull
.
c
: extend_affine_hu
l
l
:
avoi
d
NU
L
L p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
ege
isl_basic_m
a
p_exte
n
d: plug memory leak o
n
error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_aff
i
ne_
h
ull
.
c: e
q
ualities_i
n
_u
n
derlying_set: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
b
asic_set_preimage: avoi
d
NULL pointer derefer
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oola
e
ge
isl_tab_pip
.
c: no_sol_in_strict: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolaege
isl_aff
i
n
e_hull
.
c: equalities_in_underlying_set: plu
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaeg
e
isl_affine_hull
.
c: a
f
fine_
h
ull
:
fix
erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
lae
g
e
i
s
l_map_
p
r
o
j
ect
_
out: f
i
x error
re
t
urn value
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_basic
_
map_intersect_ra
n
ge: avoid NULL po
i
n
t
er de
r
ef
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
ae
g
e
is
l
_tab_pip
.
c:
f
i
nd_solutions: fi
x
error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_bas
i
c_map_alloc_dim: f
i
x e
r
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
a
e
g
e
isl_ba
s
ic_map_intersect: avoid NUL
L
po
i
n
t
er de
r
efer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoo
l
aege
isl_tab_pip
.
c: sol
_
map_init: a
v
oid
NULL
p
ointer derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_basic_map_inte
r
sec
t
_do
m
ain: avoid NU
L
L p
o
i
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
i
s
l_flow
.
c:
c
ompute_v
a
l
_b
a
s
e
d_dependences
:
fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_f
l
ow_alloc: fix error h
a
ndl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl
_
ac
c
ess
_
info_com
p
ute_flow:
f
ix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_{s
e
t,
m
ap}
_
fast_is_empty:
a
void N
U
L
L
pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_flow
.
c: avoid ac
c
es
s
ing dim field directly
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolae
g
e
isl_acc
e
s
s
_info_compute
_
flo
w
: avoid NU
L
L pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoolaege
isl_input
.
c
:
obj_r
e
ad: avoid NULL
pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
isl_ma
p
_subtract
.
c: ta
b
_add_
c
onstrain
t
s
: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
aege
i
sl_tab
.
c
: close_row
:
fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_map_s
i
m
p
lify
.
c: rem
o
ve
_
duplic
a
t
e_
d
iv
s
:
avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_basic_map_affi
n
e_hull: avoid
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_tab_add_eq: retur
n
int in
s
tead of
isl_
t
a
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map
_
simplify
.
c: rem
o
ve_d
u
pli
c
a
te
_
constraints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aeg
e
isl_map_
s
imp
l
ify
.
c: eli
m
inate_divs_
i
neq: avoid
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_el
i
minate_vars:
a
void NULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_samp
l
e
.
c: int
e
rval_sample:
a
v
oid NULL pointer dere
f
e
ren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
ool
a
ege
isl_
s
ampl
e
.
c: drop_con
s
t
r
aints_i
n
volvi
n
g: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_stream_new: read_d
e
f
i
ned_var_list: avoid doubl
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
olaege
isl_
b
a
sic_map_intersect: avoid
NULL point
e
r
deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolae
g
e
isl_sample
.
c: gbr_
s
ample:
a
voi
d
N
U
L
L pointer
d
erefer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c:
a
vo
i
d NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laeg
e
is
l
_
t
e
st: avoid accessin
g
bas
i
c set inter
n
a
l
s
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
i
sl_input
.
c
: read_defined_var_list: avoid do
u
b
l
e
free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
is
l
_
map_convex_hul
l
:
avoid NULL
po
i
nt
e
r de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
b
asic_map_normaliz
e
_con
s
tr
a
ints: avoid NUL
L
p
ointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
is
l
_ba
s
ic_
m
ap_to
t
al_dim: avoid NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
a
eg
e
isl_b
a
sic_map_order_divs:
avoid NULL
poin
t
er dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
er
d
oolaege
i
sl_con
v
ex_hu
l
l
.
c
:
isl
_
b
asi
c
_set_add_equality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_
c
o
n
vex_hull
.
c: compute_facet
:
avoid
N
UL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c: ma
p
_is_e
q
ual: check
input
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolae
g
e
i
s
l
_dim
.
c: copy_name
s
:
check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
s
l_dim
_
dup: check in
p
ut di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laege
i
s
l_basic_map
_
cow
:
check resul
t
of allocation
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_s
t
ream_new_str: check result of allocation
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
Verdo
o
laege
isl
_
stream
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en
V
erdoolaege
isl_tab_pip
.
c: f
i
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_
t
a
b
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
isl_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
isl
_
vertice
s
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
en V
e
r
d
oo
l
aege
is
l
_
morph
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Ver
d
oolae
g
e
isl
_
map
.
c
:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
la
e
g
e
isl_map_
s
implify
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdo
o
laege
isl_input
.
c: accept
m
ore gen
e
ral affine expre
s
sions
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
add
i
sl_vec_
a
dd
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolae
g
e
add isl
_
v
e
c
_
scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
a
dd
i
sl_set_is_bo
x
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoola
e
ge
ad
d
isl_map_is_
t
ranslation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
export i
s
l_qpolyn
o
mial_inv
o
lves_dims
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoolaege
i
sl_p
o
lynomi
a
l
.
c:
add missing include
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n
Ver
d
o
o
l
aege
isl_map_transitive_closure: che
c
k whether decomp
o
s
it
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
v
e
n Verdoolae
g
e
add i
s
l_stream_flu
s
h
_t
o
kens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
la
e
ge
add isl_stream_
s
kip_lin
e
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Ve
r
doolaege
add rudimenta
r
y error reportin
g
m
echanis
m
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
add isl
_
ve
r
sion
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
e
r
doolaege
i
s
l_
p
oi
n
t_allo
c
: a
v
oid potent
i
al
mem
o
ry leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verd
o
olaege
doc: d
o
c
u
m
e
nt
isl
_
m
a
p_delta
s
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_tab_pip
.
c: compare
a
ll coe
f
ficients when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
v
en Verdoolaege
isl_pw_qpolynomial{,_fold}_gi
s
t: use simple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Ver
d
oolaege
add isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Ver
d
oolaege
a
d
d isl_stre
a
m_r
e
ad_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_qpol
y
nomial_lift
:
fix
l
ifti
n
g in abse
n
c
e of
d
ivs
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
optionally (
a
n
d
b
y
d
efault) use bernst
e
in expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately export
i
sl_qpo
l
ynomial_fo
l
d
_
fold_on_
d
omain
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
add isl_pw_
q
pol
y
nomi
a
l_fold_foreach_p
i
ece
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add
parametric vertex e
n
umeration
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rd
o
o
l
a
e
ge
add
isl_mor
p
h_dom_d
i
m and isl
_
morph_r
a
n_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
ge
add is
l
_b
a
s
i
c
_
ma
p
_is_ration
a
l
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
privat
e
ly exp
o
rt isl_basi
c
_set_sort_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
ola
e
ge
isl_tab_detect_implici
t
_
e
qua
l
ities: also detect
m
anifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab: optional
l
y
o
nly ma
r
k strictly r
e
dundant ro
w
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaeg
e
generalize i
s
l_pw_qpolynomial_bound
t
o
isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oola
e
g
e
e
x
trac
t
out gen
e
ric part of isl_p
w
_qpolynomial_b
o
u
nd_r
a
nge
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl_pw_qp
o
lyno
m
ial_bound_range: also set
exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
ad
d
isl_b
a
sic_set_
f
actori
z
e
r
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
exp
o
r
t
isl_pw_qpoly
n
omial_f
o
l
d
_drop_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
export isl_
q
po
l
y
nom
i
al_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add i
s
l_qpolyno
m
ial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
ege
add isl_q
p
olyno
m
ial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
expo
r
t
i
s
l_qpolynomi
a
l_add_
d
i
m
s
commit
|
commitdiff
|
tree
next