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
Merge branch 'maint'
2011-01-16
S
v
e
n Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
i
s
l_basic_map_from_constra
i
nt
_
matrices:
clear
n
ewly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verd
o
olaege
i
s
l_toke
n
_free: fre
e
string re
p
resen
t
ation of
keyw
o
rds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Ve
r
doolaege
is
l
_in
p
ut
.
c: read_factor: drop unexpe
c
ted i
d
entifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verdoolaege
isl_input
.
c: accept_aff
i
ne_factor: avo
i
d
d
oub
l
e
free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
T
o
bi
a
s Grosser
A
dd
i
sl_uni
o
n_(set/map)_detect_equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
isl_stream_read_map: allow sp
a
ce nam
e
s that happen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdo
o
l
a
ege
isl_stream_ne
x
t
_t
o
ken: keep
track of str
i
ng representati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n Verdoola
e
g
e
a
dd
isl_basic_set_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
a
dd
i
sl
_
union_ma
p
_simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
Merge
bran
c
h 'm
a
int'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Ve
r
doo
l
aege
add is
l
_set_r
e
mov
e
_unknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
isl_map_is_subse
t
: don't
c
om
p
ute divs
of minuend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n
Ver
d
oolaege
ren
a
me isl_map
_
is_singleton to
i
sl_map_
f
ast_i
s
_singl
e
t
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdoolaege
add
i
sl_map
_
fast_is_sin
g
le_va
l
u
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verd
o
o
l
a
ege
add i
s
l_qp
o
lynomia
l
_
d
ump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
ege
export is
l
_union_set_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
e
g
e
isl_q
p
olynomial_add_on_domain:
comput
e
gist wi
t
h
respe
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven
Verdool
a
eg
e
isl_union
_
map_
c
oalesce and isl_union_map
_
co
m
pute_d
i
vs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sv
e
n Ve
r
doo
l
aege
isl_basic_ma
p
_sol
v
e_
l
p: us
e
denominator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
e
rdoolaege
Merge
c
omm
i
t '
i
sl-0
.
05
.
1'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
v
en Ve
r
doolaege
isl_tab_basic_map_partial_lexopt
:
fi
x
up symm
e
try detection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdo
o
laege
i
s
l_basic_map
_
univer
s
e
: fin
a
lize re
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaeg
e
isl_seq
.
h: a
l
low inc
l
usi
o
n
from C++
commit
|
commitdiff
|
tree
2010-12-31
T
o
b
i
a
s
Grosser
A
d
d
G
DB module tha
t
defines
a
n
i
slprint
c
ommand
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
ven Verdoolaege
reimpl
e
ment isl_map_parti
a
l_lex
o
p
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sve
n
Ve
r
d
oolaege
i
sl_map: fi
x
typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sv
e
n Ver
d
oolaege
add some mo
r
e
i
sl_map_l
e
x
min tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n Verdoolae
g
e
a
dd isl_qpolynomial_add_is
l
_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add is
l
_pw
_
qpolynomial_fold_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
doolaeg
e
a
dd isl_pw_q
p
ol
y
n
omial_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdool
a
ege
a
d
d
isl_q
p
o
lynomial_fold_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verd
o
o
l
aege
add
i
s
l
_qpolynomial_fold_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Verdoolaege
isl_printer_print_q
p
olynomi
a
l_fold: s
u
pport C for
m
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven V
e
rdool
a
ege
ex
p
or
t
isl_
p
rinter_print_
q
polynomial_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaeg
e
export is
l
_uni
o
n_map_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven V
e
rdoolaege
ad
d
is
l
_{set,map}_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Ve
r
d
oolaeg
e
add is
l
_basic_{set,map}_
d
ump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verd
o
olaege
isl_printer_print_
b
a
s
ic
_
{set,m
a
p}:
d
on't print newline
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Verdool
a
ege
r
e
n
ame
i
s
l_*_d
u
m
p to isl_*_p
r
i
nt_internal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-27
Sven Ve
r
doolae
g
e
make isl/point
.
h
self-c
o
nt
a
ined
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Ve
r
dool
a
e
g
e
isl
0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdoolaege
isl_printer_print_basi
c
_
map: p
l
ug memory leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
S
ven
V
erdoo
l
aege
i
s
l_dim_set_
n
a
m
e: plug memory leak when overwrit
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_tab_basi
c
_map_partial_le
x
opt
:
detect a
n
d
expl
o
it
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
S
ven Verdoo
l
aege
isl_tab_p
i
p
.
c: fix ty
p
os
in comm
e
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sv
e
n Verdoola
e
ge
isl_pip: limit the tot
a
l number of parameter values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
S
ven
V
erdo
o
laege
add
isl_basic_set
_
cou
n
t_u
p
to
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_sca
n
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-17
Tobias Gr
o
ss
e
r
Do not
hash the memor
y
add
r
e
s
s
o
f an isl_
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdo
o
l
aege
isl_flow
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sve
n
Verdoolaege
i
s
l_
u
nion_m
a
p_compu
t
e_flow: exploit fix
e
d
d
imensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
isl_union_map_compute_flow: avoid de
p
endence
on
p
oin
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoo
l
aege
da
t
a
f
l
o
w an
a
lysis: allow absence of "textua
l
" or
d
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven V
e
rdoolaege
a
dd isl_
m
ap_get_has
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sv
e
n Verdoolaege
ba
s
i
c_map_read_polylib: ad
d
more
s
anity
c
hecks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-13
S
ven
V
erd
o
o
l
aege
isl_pip:
p
r
e
se
r
v
e na
m
es of para
m
eters in
i
nput
c
ont
e
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-13
Sven Verdoolaege
is
l
_tab_basic_map
_
partial_lexopt: avoid
m
e
mory leak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-11
S
ve
n
Verd
o
o
l
a
e
g
e
isl_pw_
q
polynomial_fold_bound: avoi
d
access to freed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolae
g
e
isl_basic_set
_
lift: properly
u
p
d
ate the number of ex
t
ra
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sve
n
V
e
rdoo
l
aeg
e
do
c
: em
p
hasize
the need for isl_i
n
t_get_gmp
and isl_int
_
se
t
_gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
S
ven Verdoolaege
i
sl
_
qpolynomial_div:
further normali
z
e divs by
re
d
ucing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
isl
_
s
tream_re
a
d_
p
w_qpo
l
y
nomial: ac
c
ept
p
owers o
n
c
o
mpound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Ver
d
oo
l
ae
g
e
add isl
_
qpolynomial_pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sve
n
Ve
r
doolaeg
e
isl_qpol
y
n
o
mial:
prope
r
ly merge identical nested
d
ivs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven
Ve
r
doolaege
add isl_mat_col_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven V
e
rdoo
l
aege
avoi
d
using isl_basi
c
_set and isl_bas
i
c_
m
a
p internals
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
S
v
en Verdoolaege
h
ide isl_map in
t
ernals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
S
ven Ver
d
oolae
g
e
hide i
s
l_set
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sv
e
n Verdoo
l
aege
hi
d
e isl_basic_map i
n
t
e
rn
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Ve
r
doolaege
hide isl_ba
s
ic_se
t
i
n
ternals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-27
Sven
V
erdoolaege
add i
s
l_basic_set_{in,}equali
t
ies_matrix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven
V
erdoolaeg
e
i
s
l_ar
g
_parse: sup
p
ort footer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en Verdoolaeg
e
isl_arg_par
s
e:
a
void dupli
c
a
t
e
n
ew
l
in
e
in
h
elp output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven
V
e
rdoolaege
is
l
_
arg_parse: suppo
r
t grouping of opt
i
ons wi
t
hin the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verd
o
olaege
isl_arg_parse: support int options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven
Verdoolaege
isl_arg_parse: support ISL
_
ARG_H
I
D
D
EN flag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven V
e
rdoolaege
isl_arg_parse: s
u
pport ISL_ARG_BOOL_ARG flag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven V
e
rdoo
l
aege
isl_arg_parse: supp
o
rt ISL_
A
RG_SINGLE_
D
ASH
f
lag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven
V
erdoolaege
isl_a
r
g
_
par
s
e
:
support al
i
ase
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
i
s
l_arg_parse: al
w
ays pri
n
t he
l
p o
p
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sv
e
n Verdoolaege
isl_arg_parse: support ph
a
ntom bool
e
an
opt
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven
V
erdoolaege
isl_arg_parse: free string
a
r
g
umen
t
s before
overwrit
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven
Verdoolaege
isl_ar
g
_par
s
e
:
allow
o
p
t
ions after arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven V
e
r
d
o
olaege
i
sl_arg_parse: only pri
n
t -
-
versi
o
n
o
p
t
ion o
n
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
v
e
n
Verdoo
l
aege
isl_arg_parse:
p
rint string option default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-24
Sven V
e
rdo
o
laege
isl_arg_parse: delimi
t
str
i
ng option argum
e
nt by ang
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-24
Sven Verdo
o
la
e
ge
i
s
l
_
arg_
p
a
rse:
all
o
w
op
t
ions w
i
thout long name
commit
|
commitdiff
|
tree
2010-11-24
Sven Verdoolae
g
e
isl_vec
_
read_p
o
lyli
b
:
u
se i
s
l_stream
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdool
a
e
g
e
Re
n
ame headers
f
r
om isl_he
a
der
.
h t
o
isl/h
e
ader
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-18
Sven Verdool
a
ege
is
l
_tab_basic_map_partia
l
_lexop
t
: fix memory l
e
ak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sv
e
n V
e
rdoola
e
ge
add isl
_
u
nio
n
_
set_
i
s_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
S
v
en Verdoolaeg
e
a
d
d isl_unio
n
_map_re
a
d_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdoolaege
isl_tab_basic_map_partial_lex
o
pt: ad
d
all eq
u
aliti
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sv
e
n
V
erdoolaege
isl_pip: avoid empty domain during ver
i
f
i
cation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
S
v
en Verdoolaege
ad
d
isl_basic_set_box_from_poi
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-15
S
v
e
n Ve
r
dool
a
eg
e
isl_basic_map_elim
i
nat
e
_vars: don't d
e
tect divs whil
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-14
Sven
Verdo
o
la
e
ge
isl_dim
.
c: set
_
name: only print single error
m
essage
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@nestor.cs.kuleuven.be>
commit
|
commitdiff
|
tree
2010-11-14
S
v
en Verdoo
l
aege
isl_
p
w_qp
o
ly
n
omial_fold_bound: fix handling
or zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@nestor.cs.kuleuven.be>
commit
|
commitdiff
|
tree
next