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_basic_map_normalize_constraints: avoid NULL pointer dereference
2010-06-26
S
ven Verdoolaeg
e
isl_basic_map_normalize_constraints: avoid
N
ULL p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_basic_
m
ap_total_
d
im
:
avoi
d
NULL pointer d
e
r
e
fer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_basic_map_o
r
d
e
r_divs: avoid NULL pointe
r
deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_convex_hull
.
c: isl_basic_set_add_equality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoo
l
aege
i
s
l_con
v
e
x
_hull
.
c: co
m
pute_fac
e
t: avo
i
d NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_test
.
c
: map_is_eq
u
al: check
i
n
p
ut
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
ege
isl_di
m
.
c: copy_names
:
che
c
k input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_di
m
_dup: check in
p
u
t
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
ol
a
ege
is
l
_basic_m
a
p_cow
:
check result of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_str
e
a
m_new_str:
c
heck result of alloca
t
i
o
n
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
isl_s
t
r
eam
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab_pip
.
c
:
fix typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
isl_ta
b
.
c: fix typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
e
ge
isl_polyn
o
mia
l
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
i
sl_ve
r
t
i
ce
s
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
e
r
d
o
olaege
isl_morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
i
sl_map
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_map_simplif
y
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
isl_in
p
ut
.
c: accept more general affine expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_vec_a
d
d
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
add is
l
_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
e
rdoolaege
add isl_set
_
is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verd
o
olae
g
e
a
d
d
isl_ma
p
_is_t
r
a
n
sl
a
tion
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Verdoolaege
e
x
port is
l
_qpolyn
o
mial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verd
o
olae
g
e
i
sl_pol
y
n
o
m
ial
.
c: add missing in
c
lude
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
erd
o
ola
e
ge
isl_map_transitive_closure:
check wh
e
ther d
e
co
m
po
s
itio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
v
en V
e
rdoo
l
a
e
ge
a
dd isl_stream
_
flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdool
a
ege
add isl_s
t
ream_s
k
ip_line
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolaege
add rudiment
a
ry err
o
r reporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_
v
ersion
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verd
o
ola
e
ge
i
s
l
_
point_alloc: av
o
id potent
i
al memo
r
y leak on e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
ven Verdoolaege
doc: document isl_m
a
p_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sve
n
V
erdoolaege
isl_tab_pip
.
c
:
compa
r
e all coefficients when check
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
ven
Verdoolae
g
e
isl_pw_qpolynomial{
,
_fold}_gi
s
t: use
simple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Ver
d
oolaeg
e
add isl_set_set
_
di
m
_
n
a
me
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
rdoo
l
aege
add
isl_s
t
ream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
rdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doola
e
ge
isl_
q
p
o
lynomial_lift: fix lifting in absence of d
i
vs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
optionally (and by default) use ber
n
st
e
in expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
p
r
ivately export
isl_qpolynomi
a
l
_
f
o
ld_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
l
a
e
ge
a
d
d
is
l
_pw_
q
polynomial_fo
l
d_fore
a
ch_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
l
aege
add para
m
etric
vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
add is
l
_m
o
rph_dom_di
m
and isl_m
o
r
ph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl
_
basic_m
a
p_
i
s_ra
t
i
onal
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
laege
p
rivate
l
y
e
xport i
s
l_basic
_
s
e
t_s
o
rt_constrai
n
t
s an
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_detect_implicit
_
e
q
u
alities: also detect manife
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl_tab: optionall
y
only
mark stri
c
tl
y
redund
a
nt rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
generaliz
e
isl_pw_
q
polynomial_bound to
isl
_
pw_
q
pol
y
n
o
m
ial
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
extr
a
ct
o
ut generic part o
f
isl_pw_qpolynomia
l
_bound_range
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
isl_pw_q
p
o
lyn
o
mial
_
bound_range
:
a
lso set
e
xactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basic_set_fact
o
rize
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw_q
p
o
lynomial_fold_drop
_
dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verd
o
o
lae
g
e
export isl_qpolyn
o
mial_is_z
e
ro
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
l
aege
add isl_qp
o
l
ynomial_
c
oeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolyn
o
mial_fro
m
_a
f
fi
n
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolaege
export isl_qpolynomial_
a
dd_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_
q
polynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qp
o
lynomia
l
_
degree
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doolaege
a
dd
isl_
q
p
o
lyno
m
i
a
l
_insert_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomial
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
is
l
_ct
x
: add tw
o
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolaege
isl_ta
b
_detect
_
implicit_equa
l
ities: ret
u
rn intege
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdo
o
l
aege
add isl_tab_si
g
n_of_ma
x
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolaege
isl_tab_s
e
l
ec
t
_
fac
e
t: re
t
u
rn int
in
s
tead of
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
a
d
d isl_
b
asic
_
set_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
pr
i
v
a
tel
y
e
x
port isl_pw_qp
o
lynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpol
y
nomia
l
_fold_f
o
reach_qp
o
lynomia
l
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
a
dd isl_pw_qpolynomial_fold_foreach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
o
o
l
a
e
ge
expor
t
i
sl_pw_qpoly
n
omial_
f
old_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
privately
e
xport isl_morph_alloc and isl_morph_ident
i
t
y
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolaege
add
i
sl_qpolyn
o
mial_fold_
g
e
t
_
type
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
export is
l
_pw_
q
pol
y
nomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_ctx_
p
ee
k
_options
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl_range
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
ex
p
ort isl_set_is_bound
e
d
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
isl_bound:
plug
m
e
m
ory leak
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
f
ix isl
_
qpolynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl_
p
w_qpolyno
m
ial_bound_ra
n
ge: fix removal of dim
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
add b
o
u
nd_t
e
st
.
sh to distribut
i
on
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
doc:
d
ocumen
t
gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Ver
d
oolaege
doc: document isl
_
constrai
n
t
_
is_e
q
uality
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdo
o
l
a
ege
add isl_map_
i
s_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
e
r
doolaege
isl
_
basic_map_fore
a
c
h
_con
s
traint: make sure inpu
t
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_m
a
p_copy: mark dupli
c
ate
d
copy as fina
l
ized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoola
e
g
e
isl_basic_set_lift: fin
a
lize
r
esult
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoolaege
isl_bas
i
c_map_m
o
ve_dims: alw
a
ys finalize res
u
lt
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
laege
isl_basic_map_from_co
n
stra
i
nt: final
i
ze result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl_access_
i
nfo_compute_flo
w
: hand
l
e may ac
c
esses
commit
|
commitdiff
|
tree
2010-05-31
Sven
Verdoolaege
i
sl
_
access_info_comp
u
t
e_fl
o
w: h
a
ndle multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rd
o
olaege
remove
s
ome unused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoola
e
g
e
fix so
m
e
icc
wa
r
nings
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolae
g
e
rename
isl_pw_
q
polynomia
l
_move and add isl_pw_qp
o
l
yno
m
ial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdoolaege
i
sl
_
ctx: keep track of u
s
er o
p
tio
n
s
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Ve
r
dool
a
ege
improved ar
g
ument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdo
o
laeg
e
isl_opti
o
n
s
_p
a
rse:
print help messa
g
e
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoola
e
ge
add
i
s
l_bound test applicatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add is
l
_pw_q
p
o
l
ynomial_bou
n
d_ran
g
e
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
d
oola
e
ge
add isl_pw_qpolyn
o
mial_f
o
l
d
_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
a
d
d ru
d
imentary
i
s
l_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdo
o
la
e
ge
add isl_seq_s
e
t
commit
|
commitdiff
|
tree
next