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_order_divs: avoid NULL pointer dereference
2010-06-26
S
v
e
n
Verdoolaege
isl_b
a
sic_map_o
r
der_
d
ivs
:
av
o
id
NULL
p
ointer derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl
_
co
n
vex_hull
.
c: is
l
_
bas
i
c_set_add_
e
q
uality: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_convex_hull
.
c: compute_
f
acet: avoid NULL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_
t
est
.
c: m
a
p_i
s
_equa
l
: c
h
eck i
n
pu
t
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_
d
im
.
c: copy_n
a
m
e
s: chec
k
i
nput dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_dim_dup: ch
e
ck input dim
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
r
doolaeg
e
i
s
l_basic_
m
ap_cow: che
c
k
r
esult o
f
allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_stream_ne
w
_str: check r
e
sult of allocati
o
n
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
Verd
o
olaeg
e
isl_st
r
eam
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoola
e
ge
isl_tab_pip
.
c:
fix
t
y
p
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
is
l
_tab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
is
l
_pol
y
nomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Ve
r
dool
a
ege
isl_vertices
.
c
:
f
ix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
isl_morph
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_map
.
c
:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
r
d
o
o
laege
i
sl_map_sim
p
l
i
fy
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
isl_input
.
c: ac
c
ept more general aff
i
ne expre
s
s
i
o
n
s
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Ve
r
doolaege
add isl_vec_
a
dd
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
a
dd isl_v
e
c
_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdo
o
l
a
ege
add
i
sl_ma
p
_
i
s_translation
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Ver
d
oolaege
export isl_qpolynomial
_
i
n
volves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoo
l
aege
isl_pol
y
nom
i
al
.
c
:
ad
d
mis
s
i
n
g
include
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Verdoolaege
i
sl_map_transitive_closure: ch
e
ck
whether
d
ecom
p
o
s
it
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
laege
ad
d
isl
_
stream_flush
_
tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdoo
l
ae
g
e
add
i
sl_str
e
a
m_
s
k
ip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add rudimentary er
r
or
r
e
p
o
rting mech
a
nism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl
_
versio
n
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isl_point_al
l
oc:
a
vo
i
d p
o
t
en
t
ial memory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Ver
d
oolaege
do
c
: docu
m
ent isl_
m
ap_del
t
as
commit
|
commitdiff
|
tree
2010-06-15
Sven Ver
d
oolae
g
e
i
sl_
t
ab_pip
.
c: compare all coeffic
i
ents w
h
en ch
e
cking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Ve
r
dool
a
ege
i
s
l_pw_qpolynomial{,_fold}_gi
s
t: use simple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
S
v
en Verd
o
olaege
a
dd isl_set
_
se
t
_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
S
v
en
V
erdoolaege
doc: fix typ
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_qpolynomial_lift: fix liftin
g
i
n
absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aeg
e
o
ptionally
(
an
d
b
y default) use bern
s
t
e
in
e
xpa
n
sion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
p
rivatel
y
export
i
sl_qp
o
lynomial
_
fold_fold
_
on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
laege
add
isl_pw_q
p
olynom
i
al_fold_forea
c
h_
p
i
ece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
ege
a
dd parametric
vertex enume
r
ation
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdool
a
ege
add isl_m
o
rph_dom_
d
i
m
and is
l
_mor
p
h_ran_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl_b
a
sic_map_
i
s_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
pri
v
ately ex
p
ort
i
s
l
_basic
_
set_sort_constraints an
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
isl_tab_d
e
tect_i
m
p
l
i
cit_equalities: also det
e
c
t
man
i
fest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab: optionally only mark stri
c
tly
r
e
dundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
generali
z
e isl_p
w
_
q
po
l
ynomial_bound to isl_
p
w_qpoly
n
omial_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
olaeg
e
extract out generi
c
part of isl_
p
w
_qpoly
n
omia
l
_bound_
r
an
g
e
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
is
l
_pw
_
q
polynomial_bound
_
rang
e
: a
l
s
o set
e
xactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl_ba
s
ic_set_factoriz
e
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw_q
p
ol
y
nomial_fo
l
d_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
export i
s
l
_
qpolynomial
_
is_ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl
_
qpo
l
ynomia
l
_
c
oeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add is
l
_qp
o
lynomial_
f
rom_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ex
p
ort isl_qp
o
lyn
o
mial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
add isl_qpol
y
nomial_homogeni
z
e
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaege
ad
d
isl_qpo
l
ynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaeg
e
add isl_qpolynomial_i
n
s
e
rt_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Ver
d
oolaege
add isl
_
qpo
l
ynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_ctx: add
t
wo
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
i
s
l
_
t
a
b
_
detect_implicit_
e
qualitie
s
:
r
eturn integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_tab_sign_of
_
max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
l
a
ege
isl_tab_select_facet: ret
u
rn int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
a
d
d isl
_
basic_set_f
u
ll_
c
ompression
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
privately e
x
port isl_pw_qpolynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
add is
l
_qpolyn
o
mial_fold_fore
a
ch_q
p
olynomia
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
ad
d
isl_
p
w_qpolynom
i
al_fold_foreach_li
f
t
e
d_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
e
xp
o
rt isl_pw_qpol
y
nom
i
al
_
fold
_
is_ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
priva
t
ely expor
t
i
sl_morp
h
_alloc and
isl_mor
p
h
_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_
q
p
o
lynomial_fold_g
e
t
_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
export i
s
l_pw_q
p
olynomial
_
get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
add isl_ctx_peek_
o
pt
i
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_range
.
c: f
i
x typo i
n
comment
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
export isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
ae
g
e
isl
_
bound
:
plu
g
memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
o
l
aege
fix isl_qpolynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
i
s
l_pw_qpolynomial_
b
ound_range:
fix remova
l
of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
add bound_test
.
sh to di
s
tribut
i
o
n
commit
|
commitdiff
|
tree
2010-06-11
Sven Verd
o
ol
a
e
g
e
d
o
c: doc
u
ment
g
ist operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdool
a
ege
doc: document isl_constraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Ver
d
o
olaege
add is
l
_map_is_sing
l
e
_
v
a
lued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl_basi
c
_m
a
p_foreach_co
n
stra
i
nt: make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
ven
V
erdoo
l
aege
isl_
b
asic_map_c
o
py: mark
d
uplicated copy
as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
aege
i
s
l
_b
a
sic_set_lif
t
:
finalize resu
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdoolaege
i
s
l_ba
s
ic_map_move_d
i
ms: a
l
ways finalize r
e
sult
commit
|
commitdiff
|
tree
2010-06-03
S
ven V
e
rdool
a
ege
isl_basic_map
_
from_c
o
n
straint:
finali
z
e result
commit
|
commitdiff
|
tree
2010-06-01
S
v
en V
e
rdo
o
laege
isl_acc
e
ss_info_co
m
pute_flow: h
a
nd
l
e may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
i
s
l
_
acce
s
s_inf
o
_compute
_
flow: handle multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ve
n
Verdoola
e
ge
remove som
e
un
u
sed
var
i
a
ble
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
d
o
olae
g
e
fix
s
o
m
e icc
warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdool
a
e
g
e
r
e
name isl_pw_q
p
olynomial_move and add isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
ola
e
ge
isl_ctx: ke
e
p tra
c
k of us
e
r
o
ptions
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolae
g
e
improved
arg
u
m
e
n
t
p
ars
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doolaege
isl_opt
i
ons_
p
a
r
se
:
print h
e
lp message
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
rdoolaege
add
isl_bound tes
t
app
l
ication
commit
|
commitdiff
|
tree
2010-05-14
S
ven
V
erdoolaege
add isl
_
pw_qpoly
n
o
mial_b
o
und_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_qpolynomial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolae
g
e
a
d
d r
u
dimentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdool
a
ege
add isl_
s
eq_set
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
V
e
rdoolaege
i
s
l_
e
q
uali
t
i
es
.
c: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdo
o
laege
add isl_mat_insert_rows
commit
|
commitdiff
|
tree
next