repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
test_bound.c: result_data: use isl_val
2013-05-31
Sv
e
n Verdo
o
l
ae
g
e
test_b
o
und
.
c: resu
l
t_data:
u
se isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
do
o
l
a
e
g
e
test_boun
d
.
c: verify_p
o
int:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n
V
erdoolaege
sample
.
c
: Polyhedro
n
_Sample:
u
se isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaeg
e
polysign_isl
.
c: isl_
c
onstraints_opt: use is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
polysign_is
l
.
c:
isl_p
o
lyhedron_affine_s
i
gn: use isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n Ver
d
oolaege
polysign_isl
.
c: ex
t
r
ac
t
_inequalities
:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
p
olysign_isl
.
c: ex
t
ract_equalit
i
es: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoo
l
aege
i
s
cc
.
c
:
read_ident: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoo
l
aege
iscc
.
c: obj
_
at
_
index: use isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
V
e
rdool
a
ege
i
scc
.
c: power: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
iscc
.
c: next
_
is
_
ne
g
_in
t
: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Ver
d
oolaege
evalue_isl
.
c:
a
d
d_te
r
m: us
e
isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Ve
r
doola
e
ge
evalue_isl
.
c: relation2pwqp: use i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
laege
bound
.
c: s
p
lit_
o
n_si
z
e: use
i
sl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoo
l
aege
b
ound
.
c: verify
_
point
:
use
i
sl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
basi
s
_reduction
.
c: isl_Polyhedron_Redu
c
ed_B
a
si
s
: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
barv
i
n
o
k_summate
.
c
:
verify_point: use is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ve
n
V
e
r
doolaege
barv
i
nok_e
n
umera
t
e
.
cc: v
e
rify_point: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n Verdoolae
g
e
barvinok
.
cc: c
a
r
d
_as_sum: us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoo
l
aege
isl_map
_
polyl
i
b
.
c: us
e
is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Ver
d
oolaege
update isl
for
i
sl_val abstracti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
S
ven Ve
r
doolaege
integrate isl-polyli
b
m
o
dule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
S
v
en Verdoolaege
barvinok_enumerate
.
c
c: explicitly
i
ncl
u
de gmp to
a
v
o
id
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sv
e
n
Verdoo
l
aege
barvinok_e
.
c
c: explicitl
y
in
c
lude gmp to
avoid inclusio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
erdoolaege
test_bound
.
c: r
e
sult_d
a
ta_clear: rem
o
ve unused
variab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
S
v
en Ve
r
doolae
g
e
e
value_isl
.
c:
a
v
oid use of isl_
s
eq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdool
a
ege
test
.
c
: re
m
ov
e
redundant
i
nclude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-23
Sve
n
Ver
d
o
olaege
upd
a
t
e i
s
l to version 0
.
11
.
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-08
Sv
e
n Verdoolaege
evalue_i
s
l
.
c:
a
void use of i
s
l_vec
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven
V
e
r
doolaege
update pet for
suppo
r
t for r
e
cent
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
S
v
e
n Verdoolae
g
e
update
i
sl for support for
r
ecent cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-10
Sven Verdoolaege
NTL_QQ: use NTL's Vec template class when
availab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-06
S
v
en
Verd
o
ol
a
ege
isl_pw_qpolynomial_sum
:
erro
r
out if
i
nput does not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-03
Sve
n
V
erdoola
e
g
e
iscc
.
c: print_code: do
n
ot assum
e
isl_u
n
ion_map
_
get_spac
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolae
g
e
vertex_con
e
: check that
dime
n
sion is at least one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven
V
erdoo
l
aege
bar
v
inok_sum_over_po
l
yt
o
pe: special case
0D
polytopes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sv
e
n Ve
r
doolaege
summate
.
c
:
sum_with_equa
l
ities: extract ou
t
sum_over_pol
y
tope_0D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
Sven Verdoolae
g
e
update isl
to version 0
.
11
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erdoola
e
g
e
b
arvinok 0
.
36
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
lexmin
.
cc: lexmin: remove
u
nus
e
d label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
v
e
n Verdool
a
eg
e
la
t
tice_point
.
c
c
:
fra
c
tion
a
l_part: remove u
n
used l
a
bel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verdoolaeg
e
t
est
l
i
b
.
cc: test_hilbert:
fix tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verdo
o
laege
iscc
.
c:
read_
b
ool
_
if_avai
l
able: remove unused
label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
v
e
n Ve
r
doo
l
aege
upda
t
e pet to
version 0
.
0
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Verdoo
l
aege
upd
a
te isl to ver
s
i
on 0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
v
e
n
Verdool
a
ege
README:
r
efer to pet/READM
E
for
more details
o
n
how
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven
Verd
o
o
l
aege
update pet
for support for recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoo
l
aege
up
d
ate isl
f
o
r su
p
p
ort
f
o
r
recent
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en Verdoolaege
drop cloog submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sv
e
n Verdoolaege
use isl f
o
r c
o
de generati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven
V
er
d
oolaege
update
i
s
l f
o
r
code ge
n
erat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
S
ven
V
erdoolaege
iscc
.
c
: a
d
d missing i
n
cl
u
des
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
S
v
en Verdoolaeg
e
update
isl
f
o
r
rename o
f
!isl_se
t
_
d
im_has_{lower,upper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaeg
e
doc: add anothe
r
pa
p
er
r
e
fe
r
ing to
the library
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verd
o
olaege
README: c
l
a
rify that /opt is th
e
e
x
ample in
s
t
a
l
lat
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sv
e
n Verdoolaege
export isl_*
_
pw_qpolynomial_
s
um
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
ven V
e
r
d
oolaege
upda
t
e pet for a
d
ding missing i
n
clude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
Sven Verdoolaege
configure
.
ac: check for
NTL/ZZ
.
h header before ch
e
cking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verd
o
o
la
e
g
e
update pet to ver
s
ion 0
.
0
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdool
a
ege
u
p
date isl
to vers
i
on
0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verd
o
o
l
aege
o
p
ti
o
ns
.
c:
a
void calling isl_alloc
_
t
y
pe wit
h
o
u
t vali
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
evalue_isl
.
c:
div2evalue:
e
xplicitly ch
e
c
k
for and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
S
ven Verdoo
l
aege
update i
s
l for
normalizati
o
n of
i
sl_term_get_d
i
v result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
Sven Verdool
a
e
g
e
e
value_isl
.
c: add_term
:
impro
v
e error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
update p
e
t f
o
r support for
recen
t
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
update isl for support for recent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Ve
r
doolaeg
e
iscc: sup
p
ort computation of ar
b
i
trary (non-zero)
powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verd
o
olae
g
e
u
p
date isl for isl_union_map_fixed
_
power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdoolaege
upd
a
te
i
s
l for change in i
s
l_p
w
_
a
ff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
Sven Verdool
a
ege
evalu
e
.
c: av
o
id war
n
ing
o
n
u
se of
&
& inside
|
|
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolae
g
e
barvinok_e
.
cc: en
u
m
e
rate_line: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
summate
.
c
:
ad
d
_u
n
bounded_guarded_qp: update to chan
g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
update pet for su
p
port for recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Ve
r
d
o
o
l
aege
summate
.
c: su
m
_b
a
se: check for and remove equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven V
e
rdoolaege
upda
t
e pet for support f
o
r
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
S
v
e
n Verdool
a
ege
update isl for support for
r
ecen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sve
n
Verdoolaege
bar
v
inok
0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
ve
n
Verdoolaeg
e
update pet
t
o
ver
s
ion
0
.
0
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ve
r
dool
a
ege
u
pd
a
te isl to version 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
add isl
.
p
y to
d
istributio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
add interface/all
.
h and inte
r
f
ace/isl
.
py
.
t
o
p to distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdoolaege
update clo
o
g to version 0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
Sven
V
erd
o
olaege
isl_pw_qp
o
l
y
nom
i
al_from_evalue:
c
onst
r
u
ct zero result
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven V
e
rdoolaege
ParamLine
_
Length_mod: properly handle empty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoo
l
aege
parti
t
ion
2
enumeration: fix m
e
mory leak wh
e
n input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sve
n
Verd
o
olaege
update pe
t
f
or introduction o
f
pet_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
e
rdoola
e
ge
iscc: use is
l
_ctx_parse_opti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sve
n
Verd
o
olaege
update isl for hiding of isl_opt
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verd
o
olaege
u
pdate
i
sl fo
r
introduc
t
ion of isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ver
d
oolaege
update pet for sup
p
ort for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n
V
erdoolaeg
e
update i
s
l fo
r
support for recent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
v
e
n Verdoolaege
README:
d
ro
p
r
efere
n
c
e to
piplib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
ven Verdoolaege
iscc: add "params" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoo
l
ae
g
e
doc: explain syntax for paramet
e
r domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
updat
e
isl for special c
a
sing
o
f g
i
st with parame
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolae
g
e
isl
_
obj_
s
tr
_
print
:
proper
l
y pass alon
g
isl_printer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoola
e
ge
explicitly
link in
a
ll req
u
ired librar
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en Verdoolaege
conf
i
gure
.
ac: quote
A
C
_
LANG_PROGRAM call to avoid war
n
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoola
e
ge
upd
a
t
e pet for explicitl
y
linki
n
g in gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
ve
n
Verdoolaege
update isl to version 0
.
0
8
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next