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: compute_facet: avoid NULL pointer dereference
2010-06-26
Sven V
e
rdool
a
ege
isl_conv
e
x_h
u
ll
.
c:
c
o
m
p
ute_
f
acet: avoid
N
ULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c: map_is_equal:
c
heck input
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
ege
isl_
d
im
.
c: copy_
n
ames: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_dim_dup: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
ola
e
ge
isl_basic_map_cow:
c
heck result
of allocat
i
on
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaege
isl_stream_new_str: ch
e
c
k
r
e
sul
t
of allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
isl_stream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_
t
ab_pip
.
c:
f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
i
s
l_tab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdo
o
laege
is
l
_p
o
lynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
d
oolaege
i
s
l_vertices
.
c
: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doola
e
ge
isl_m
o
rp
h
.
c: fi
x
t
y
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
e
r
doolaege
isl
_
map
.
c:
f
i
x t
y
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
i
s
l_m
a
p
_
simplify
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
isl_input
.
c: acce
p
t more gener
a
l af
f
i
ne
e
xpressi
o
ns
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
add
i
sl_v
e
c_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
add
isl_vec_
s
cale
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verd
o
olaege
add
i
sl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven
V
er
d
o
olaeg
e
add isl_map_is_transl
a
tion
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
export isl_qp
o
lynomial_invol
v
e
s
_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rdoolaege
isl_polynomia
l
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-21
Sven
Verdo
o
laege
isl_map_transitive_closure:
c
h
e
c
k whether
d
ecom
p
ositio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolaege
add isl
_
stream_flush_tok
e
ns
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
d
oolaege
add isl_stream_
s
kip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
add rudimenta
r
y error reporting mec
h
anism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
a
d
d
i
sl_
v
ersion
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isl_po
i
n
t
_
a
lloc: av
o
id
p
otentia
l
memo
r
y
leak o
n
er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaege
doc: docume
n
t isl_
m
ap
_
d
eltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl
_
t
a
b
_pip
.
c: compar
e
al
l
coeffici
e
nts when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
ve
n
Verdoo
l
a
e
ge
isl_
p
w_
q
polynomial
{
,_fold}_gist: use simp
l
e h
u
ll
i
n
s
te
a
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
a
dd i
s
l
_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
S
ven Ve
r
doo
l
aege
add isl_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verd
o
olaege
doc: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdo
o
laege
isl_
q
polyn
o
mial_l
i
ft: fix lifting
in absenc
e
of
d
ivs
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doola
e
ge
opti
o
nally (and by default)
use ber
n
stein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privatel
y
e
x
port isl
_
qpolynomial_fo
l
d
_
fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_pw_qpol
y
no
m
ial_fold_foreac
h
_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add
p
arametric vertex enumer
a
tion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd isl_morph_dom_
d
im a
n
d isl_morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaege
a
d
d
isl_basic
_
map_
i
s_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
privately expo
r
t
isl_
b
asic_se
t
_sort_constraints an
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
is
l
_tab_
d
ete
c
t
_impli
c
it
_
equaliti
e
s: also d
e
t
ect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ol
a
ege
isl_
t
a
b
: opti
o
n
a
lly only
m
a
r
k strictly r
e
dunda
n
t
ro
w
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
generalize isl
_
pw_q
p
olyn
o
mial
_
bound to i
s
l_p
w
_
q
po
l
y
n
om
i
a
l
_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
tract
o
ut
gen
e
ric part of isl
_
pw_qpoly
n
om
i
al_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
i
s
l
_pw_qpolynomial_bound_r
a
nge: also set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
a
dd isl_basic_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
export i
s
l_
p
w_qp
o
ly
n
omial_fol
d
_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_qpolyno
m
ial_i
s
_zero
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaeg
e
add isl_qpolynomial
_
coeff
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolaege
add
i
sl_qpolynomi
a
l_from
_
affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_
q
p
olynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolae
g
e
add isl_qpolynomial_homog
e
nize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_qp
o
l
y
nomi
a
l_
d
e
gree
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Ver
d
oolaege
add isl_qpolynomial
_
insert_dims
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
add isl_
q
p
olynomial_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
ge
isl_ct
x
: add
t
wo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_
d
etect_implicit_equaliti
e
s
:
r
etu
r
n
integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl_tab_si
g
n_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_s
e
lect_
f
acet
:
return int instead
o
f i
s
l_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
ege
a
d
d isl_ba
s
ic_set_full
_
compr
e
ssi
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
l
aege
privately
export isl_pw_qpolyn
o
mial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
a
d
d
isl_qpo
l
ynomi
a
l_fo
l
d
_for
e
ach_
q
polynomial
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erd
o
ola
e
ge
add
isl_p
w
_qpolynomi
a
l_fo
l
d_fore
a
ch_l
i
f
t
ed_
p
i
e
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
ol
a
ege
export
is
l
_pw_qp
o
lynomial_fold_is
_
zero
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
privately
e
xport isl_m
o
rph_a
l
l
oc an
d
isl_morph_ident
i
ty
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl
_
qpolynom
i
al_fold
_
get_
t
yp
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
exp
o
rt isl_pw_qpolynomial_g
e
t_c
t
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add isl
_
ctx_peek
_
options
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_range
.
c: fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
port isl_
s
et_is_bound
e
d
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
i
sl_bound: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix isl_qpolynomial
_
fold
_
dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_pw_qpolynomial_bound
_
rang
e
: fix remo
v
al of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add
bound_test
.
sh t
o
distributi
o
n
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
doc: document gi
s
t operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdool
a
ege
doc:
documen
t
isl
_
constraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n Verdoolaege
ad
d
i
sl
_
map_
i
s_single_value
d
commit
|
commitdiff
|
tree
2010-06-04
Sven Ver
d
oolaege
isl_b
a
si
c
_map
_
f
oreach_constraint: make s
u
re input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
e
rdoo
l
aege
i
sl_basi
c
_map_co
p
y: m
a
r
k d
u
pli
c
ated copy a
s
finaliz
e
d
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
doolaege
isl_basic
_
set_
l
ift: fin
a
l
ize re
s
ult
commit
|
commitdiff
|
tree
2010-06-03
Sven
Ve
r
doolaege
is
l
_
b
asic_
m
ap_
m
ove_dims: a
l
ways finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoola
e
ge
isl_ba
s
ic_map_from_constraint:
f
in
a
lize
result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl
_
a
ccess_info_c
o
mpute_flow:
h
andle may
a
c
c
esses
commit
|
commitdiff
|
tree
2010-05-31
Sven Ve
r
doolaeg
e
isl
_
access_info_compute_fl
o
w: handle multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
d
o
o
l
aege
remove some unus
e
d variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoola
e
ge
fix
s
o
m
e icc w
a
rnings
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdo
o
laege
rename i
s
l_pw_qpolynomial_move and add isl_
p
w_qpolynom
i
al_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
isl_ctx: keep track of user optio
n
s
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Ver
d
oolaege
i
mproved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
S
v
en
V
erdoolaege
isl_opti
o
ns_parse: print
hel
p
messa
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
add isl_boun
d
test app
l
ication
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
add
i
sl_p
w
_qpolyno
m
ial_bound_rang
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add isl_pw_qpolynomial_fo
l
d_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdool
a
ege
add rudimentary i
s
l_m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oo
l
aege
isl_equalities
.
c: fix typo in
comme
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
olaege
add i
s
l_ma
t
_i
n
sert
_
rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat
_
normal
i
ze
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
a
d
d isl_mat
_
diagonal
commit
|
commitdiff
|
tree
next