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_point_alloc: avoid potential memory leak on error path
2010-06-19
Sven Verdoola
e
ge
i
s
l_point_alloc: avoid poten
t
ial m
e
m
o
ry leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven
V
e
r
doolaege
doc: document is
l
_
m
ap_deltas
commit
|
commitdiff
|
tree
2010-06-15
S
v
en
Ver
d
o
o
laege
i
s
l_ta
b
_pip
.
c
:
compare
all coeffici
e
nts when
checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sve
n
Ver
d
oolaege
isl_
p
w_qpolynomial{,_f
o
ld}_g
i
st
:
use simple
hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verdoolaege
add isl_set
_
s
et_dim_n
a
me
commit
|
commitdiff
|
tree
2010-06-14
Sven Ver
d
oolaege
add isl_str
e
a
m
_read_
s
et
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
rdo
o
l
aege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
isl_qpolyn
o
mial_lift: fix lifting in absen
c
e
of d
i
vs
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erd
o
olae
g
e
opt
i
onally (and
by default)
u
se bernstein
e
xpan
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
priv
a
te
l
y
export isl_qpo
l
ynomial_fold_fol
d
_
o
n
_domai
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd isl_pw
_
qpolynomial_fold_foreac
h
_pie
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d parametri
c
vertex e
n
umeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_morph_dom_dim and
isl_morph_
r
an_dim
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
ge
add
isl_basic_map_is_ration
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
privately
e
x
po
r
t isl_basic_set_sort_c
o
nstraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doo
l
aege
is
l
_ta
b
_detect_
i
mplicit_equa
l
ities: also detec
t
m
a
nif
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl_ta
b
: optio
n
ally only mark strictly
red
u
ndant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
gene
r
alize is
l
_pw_qp
o
lynomi
a
l_
b
ound to is
l
_pw_qpolynomi
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
extra
c
t out
ge
n
e
r
i
c
part of isl_pw
_
qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_qpolynomial
_
bound_range
:
also
set ex
a
ctness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaeg
e
add isl_basic_s
e
t_f
a
ctori
z
er
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
export
isl_pw_qpolynomial_fold_dro
p
_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
xport
isl_qpo
l
ynomial_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add isl
_
qpolyn
o
mial_coe
f
f
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolae
g
e
add isl_qpolynomial_from
_
a
ffine
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
export isl_qpol
y
nomial_add_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
isl_qpolyno
m
ial
_
h
o
mogenize
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add i
s
l_qpolynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
laege
ad
d
is
l
_qpolynomial_ins
e
rt_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_qp
o
lynomi
a
l_di
m
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
ol
a
ege
isl_ct
x
: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_detect_imp
l
i
c
i
t_equalities
:
r
e
turn int
e
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
do
o
l
aege
add isl_tab_s
i
gn_o
f
_max
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl_tab_selec
t
_f
a
cet: r
e
turn
i
nt instead of i
s
l_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add isl_basic_se
t
_fu
l
l_c
o
mpression
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
privately export isl_pw_qpo
l
y
n
omial_m
o
r
p
h
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
a
d
d
isl_qpolynomial_fold_foreach_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add
isl_pw_qpol
y
nomial_fol
d
_foreach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
expo
r
t is
l
_
p
w_q
p
olynomial_fo
l
d_is_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
pr
i
va
t
ely expo
r
t isl_morph_alloc and isl_morph_i
d
entit
y
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolae
g
e
add isl
_
qpol
y
no
m
ia
l
_
fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
export isl_pw_qpolyno
m
ial_get
_
ctx
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
do
o
laege
a
d
d isl_ct
x
_pee
k
_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
isl_range
.
c: fix typo
i
n
comment
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdool
a
ege
export isl_se
t
_is_bound
e
d
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
i
s
l
_
bound: plug memory lea
k
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
fix isl_qpolynomial
_
fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaeg
e
isl
_
p
w_q
p
olynomial_bound_range:
f
i
x
removal of d
i
ms
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaeg
e
add bound_te
s
t
.
s
h
to distr
i
b
ution
commit
|
commitdiff
|
tree
2010-06-11
Sven V
e
r
d
oolaege
doc
:
docume
n
t g
i
st operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
d
o
c: doc
u
ment isl_constraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdool
a
eg
e
add
i
sl
_
map_is_single_v
a
l
u
ed
commit
|
commitdiff
|
tree
2010-06-04
Sven
Verdoolaege
isl_
b
a
sic_
m
ap_foreach_co
n
s
train
t
: mak
e
sure i
n
p
ut has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
i
s
l_basic_map_copy: mar
k
d
u
plicated
copy as
f
inal
i
zed
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
i
sl_basi
c
_s
e
t_lift:
f
i
nalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
aege
isl_basic_map_move_d
i
m
s
:
al
w
ays
f
inalize res
u
lt
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
V
e
r
dool
a
e
ge
isl_basic_map_from_constr
a
int:
fina
l
iz
e
result
commit
|
commitdiff
|
tree
2010-06-01
S
ven
Verdoolae
g
e
isl_a
c
ce
s
s_info
_
compute_flow: handle may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoo
l
aege
isl_access_info_
c
om
p
ute_flow: handle multi-valued
sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
e
r
doo
l
aege
rem
o
v
e some un
u
sed variabl
e
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
f
i
x some
i
cc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
oolaege
ren
a
me
i
s
l_p
w
_qpol
y
nomial_m
o
ve and add
i
s
l_pw_qpo
l
ynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoola
e
ge
isl_ctx: ke
e
p track
o
f
user
o
p
tion
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
improved arg
u
ment parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
do
o
laege
isl_
o
ptions_pars
e
: pr
i
n
t
hel
p
message
commit
|
commitdiff
|
tree
2010-05-14
S
ven
Verdoola
e
ge
add
i
sl
_
bound test a
p
pl
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
add is
l
_pw_qpolynomial_bound
_
ran
g
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
p
w_qpolynomial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add rudimentary is
l
_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add
isl_se
q
_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
isl_equ
a
lities
.
c: fix
t
yp
o
in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl_m
a
t_
i
nsert_
r
o
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
er
d
ool
a
ege
add isl_ma
t
_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
doo
l
a
ege
add isl
_
mat_diag
o
n
al
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
s
l_mat
_
lin_t
o
_aff: fix er
r
or
h
and
l
ing
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_qpolynomial
_
opt_o
n
_domain: handle empty
i
npu
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
isl_n
a
me_alloc: fix error
handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_dim_off
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdool
a
ege
i
sl_equalities
.
c: f
i
x typos in commen
t
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
a
dd is
l
_pw_qpolynomial_fol
d
_c
o
vers
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add i
s
l_qpol
y
nomial_le_c
s
t
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoo
l
aege
privately export isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_set_count_up
t
o
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add
i
s
l_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
ad
d
is
l
_strea
m
_read_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
e
g
e
add isl_qpolynomia
l
_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoola
e
ge
add isl
_
qpolynomial_from_constra
i
nt
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
r
d
oolaeg
e
add
i
sl_basic_set_fo
r
e
a
ch_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_
q
p
o
l
ynomial_as_polynomi
a
l_o
n
_d
o
main
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add
i
sl_qpo
l
ynomial_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
oolaege
add isl
_
b
asic_set_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
l
a
ege
isl
_
ctx: add z
e
r
o
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoo
l
aege
add isl
_
qp
o
ly
n
omial
_
n
e
ginfty
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
add i
s
l_basic_set_dro
p
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
isl_qp
o
lynomial_fold
_
opt
_
on_do
m
ain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdool
a
e
ge
isl
_
pw_*
_
eval: fix handling
of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
add is
l
_b
a
sic_set_move_
d
ims
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
e
xport i
s
l_qpolynomial_
s
u
b
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
ad
d
isl_q
p
olynomial
_
get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
isl_map_transitive_closure: coa
l
e
sce input be
f
ore ch
e
cking
.
.
.
commit
|
commitdiff
|
tree
next