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
evalue_isl.c: extract_base: use isl_val
2013-05-31
Sven Ver
d
oola
e
ge
ev
a
lue_
i
sl
.
c: extract_base:
use isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n
Verdoolaege
verify
.
c: verify_point_d
a
ta_init:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
v
erify
.
c: verif
y
_context_set_bounds: use
i
sl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
u
t
il
.
c: manual_count:
use
i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaeg
e
test_bound
.
c:
r
esult_da
t
a
:
u
s
e i
s
l_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoola
e
ge
t
e
st_bou
n
d
.
c: verif
y
_point: use
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoola
e
ge
s
a
m
p
le
.
c: Polyhedron_Sample: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoolaege
polys
i
gn_i
s
l
.
c:
i
sl_constraints
_
o
p
t
:
use
i
sl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdool
a
eg
e
po
l
ysig
n
_isl
.
c:
i
sl_polyhedron_affine_
s
ign
:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
V
e
rdoolae
g
e
polysign_isl
.
c:
extract_inequalities: use i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoolaege
p
o
lysign_isl
.
c: extract_equali
t
ies: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Ve
r
do
o
laege
is
c
c
.
c: read
_
ident: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
iscc
.
c: obj_at
_
index:
u
s
e
i
sl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoo
l
ae
g
e
iscc
.
c: power: use
i
s
l
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
o
ola
e
ge
iscc
.
c
:
next_is_
n
eg_int: us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
e
v
a
l
ue_isl
.
c: a
d
d_term
:
u
se isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verd
o
olaege
e
value_is
l
.
c
: relat
i
on2
p
wqp: use is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
b
o
und
.
c: sp
l
i
t
_on_s
i
z
e: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoola
e
ge
bound
.
c: verify_point: use
i
sl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
laege
basis_reduction
.
c: isl_Polyh
e
d
r
o
n_Reduc
e
d_Basis: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
barvinok
_
summate
.
c: verif
y
_
point: use isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
doolae
g
e
bar
v
ino
k
_enumera
t
e
.
cc: verify_p
o
int
:
use is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoolaege
barvinok
.
cc:
c
ard
_
as
_
s
um: us
e
is
l
_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
i
sl_map_
p
olylib
.
c: use
isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
upd
a
t
e
isl for isl_val ab
s
traction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
S
ven Ver
d
o
o
laeg
e
integrate isl-
p
olylib m
o
dule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
Verdool
a
ege
b
a
r
vino
k
_en
u
merate
.
c
c: explicitly include gmp
to a
v
oid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdo
o
laege
ba
r
vin
o
k_e
.
cc: explicitly
i
n
c
l
ude gmp to avo
i
d incl
u
sion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdool
a
ege
test_bound
.
c: resu
l
t_data_cle
a
r: remov
e
unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
S
v
e
n Verdoolaege
evalue_isl
.
c: avoid use of i
s
l_seq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
S
v
en Verdoo
l
a
ege
t
est
.
c: remov
e
redunda
n
t include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-23
Sven Verdoolaege
update isl to v
e
rsion 0
.
11
.
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-08
Sv
e
n Verdool
a
ege
evalue_is
l
.
c
:
a
vo
i
d use o
f
isl_vec internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdoo
l
aege
update pet for
su
p
p
ort for
r
e
cent cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven V
e
rdoo
l
aege
u
pdate isl for
supp
o
rt f
o
r
r
ece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-10
Sve
n
V
erdoolaege
NTL_QQ: us
e
N
TL's Vec template cl
a
s
s when
a
v
aila
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-06
S
ven
Verd
o
olaege
isl_pw_qpolynomial_
s
u
m: error out if input
does not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-03
Sven Verdoolaege
iscc
.
c: print_code
:
do
n
ot a
s
sume isl_union_map_g
e
t_space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
S
ve
n
V
e
rdoo
l
aege
vertex_cone:
check that d
i
men
s
ion is at least on
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdo
o
l
aege
bar
v
inok_sum_over_polytope: special case
0D
poly
t
opes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolae
g
e
summa
t
e
.
c: s
u
m
_
with_
e
qualities: extract ou
t
sum_ove
r
_polytope_0D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
Sven
V
e
r
d
oolaege
u
pdate i
s
l to version 0
.
11
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
v
en Verdoolaege
b
arvi
n
ok
0
.
36
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
l
exmin
.
cc: l
e
xmin: remove unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaeg
e
lattice_poi
n
t
.
cc: fractional_part: remove unus
e
d
l
abel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erdoolaege
testl
i
b
.
cc: te
s
t_hilbert:
f
ix
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdo
o
laeg
e
iscc
.
c: r
e
ad_bool_if_availabl
e
: remove unus
e
d label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n
V
erdoolaege
u
p
date pet
t
o
v
e
rsi
o
n 0
.
03
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sve
n
Verdoolaege
update
i
sl to v
e
rsio
n
0
.
1
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n
V
erdoo
l
aege
READ
M
E: ref
e
r to pet/READ
M
E for more details on how
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoo
l
aege
update pet for support for r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Ver
d
oolaege
updat
e
i
s
l for suppo
r
t
for rece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
ven
Verdoolae
g
e
dro
p
cloog submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
use isl fo
r
c
o
de gene
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
update isl fo
r
code
ge
n
e
r
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sve
n
V
e
rdoolaege
is
c
c
.
c: add missing includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaeg
e
u
pdate isl f
o
r rename of !
i
sl_s
e
t_dim_
h
as_{lower,upp
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
ven
Ver
d
oolaege
do
c
: add another paper refering
t
o the library
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Ve
r
doolaege
REA
D
ME: clarify that /opt is the example i
n
stallatio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven
V
e
rdoolaege
export isl_*_p
w
_qpolynomial_
s
u
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
upda
t
e pet for add
i
ng missing in
c
lude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
Sven
Verdoolaege
configure
.
a
c
: chec
k
for
N
TL/ZZ
.
h header before checking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sv
e
n Verdoolaege
update pe
t
to
version 0
.
0
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaeg
e
u
p
date
i
sl to version 0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n
Verdoolaeg
e
options
.
c: avoid calling is
l
_alloc_ty
p
e without valid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
rdoolaeg
e
e
v
alu
e
_isl
.
c: div2evalue: explicitly check for
a
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
update isl f
o
r
no
r
malization of isl_term_g
e
t_di
v
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
Sve
n
Verdoolaege
ev
a
lue_isl
.
c:
a
dd_term: i
m
prov
e
error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Ver
d
oo
l
aege
update pet for support f
o
r recent
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
update isl for support
f
or
r
ecent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven V
e
rdoolaege
iscc: support computation o
f
arbitr
a
ry (non-zer
o
) powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoolaege
update isl
for isl_union_map_fixe
d
_
powe
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdo
o
laege
update
isl for
c
h
ange in isl
_
pw_aff_
c
ond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
Sven
V
er
d
oolae
g
e
e
v
a
l
ue
.
c: avoid w
a
rnin
g
on use of
&
&
inside ||
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
bar
v
inok_
e
.
cc: enumerate_li
n
e: fi
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
S
v
en V
e
r
doolaege
sum
m
a
t
e
.
c: add_un
b
ou
n
ded_
g
uarded_qp: update
t
o chang
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdo
o
lae
g
e
upd
a
te pet
f
o
r
suppor
t
fo
r
re
c
en
t
cl
a
n
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
S
v
en Verdoolaege
summate
.
c: sum_b
a
se: check
f
or
a
nd
r
emove equali
t
ies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sve
n
Verdool
a
ege
update pet for support
fo
r
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaege
u
p
d
ate isl for
support fo
r
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
barvin
o
k 0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verd
o
olaege
u
p
date pet to versio
n
0
.
0
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sve
n
Verdoolaege
update isl to
v
ersion 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven
Verdo
o
laege
add isl
.
py to distrib
u
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
a
dd i
n
terface/all
.
h an
d
in
t
erface/isl
.
py
.
t
o
p to distributio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
S
v
en Verdool
a
ege
update cloog to version
0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
S
ven Verdo
o
laege
isl_pw_qpolynomial_from_e
v
a
l
u
e
: construct zero result
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ve
r
doolaege
ParamL
i
ne_Length_mod: properly ha
n
d
l
e e
m
pty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
partition2enume
r
at
i
o
n
:
f
ix memory
l
e
a
k when input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Verdoolae
g
e
update pet
for introduction of pet_op
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
is
c
c: use isl_c
t
x_parse
_
options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
ven Verdoolaeg
e
update isl
f
or
hiding of isl_o
p
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verd
o
olae
g
e
updat
e
isl for i
n
troduction of isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
up
d
ate
pet for supp
o
r
t
f
o
r recent
c
la
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdoolaege
update isl for
s
up
p
ort for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
ven Verdoola
e
ge
REA
D
ME
:
drop
r
eferenc
e
to piplib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven V
e
rdoolaege
iscc: add "params" operati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
doc:
e
x
p
lain syntax
f
o
r parameter d
o
main
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
update i
s
l for special
c
asing
o
f g
i
s
t wit
h
param
e
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Ve
r
doolaege
i
sl_obj_str_print: properly pass along isl
_
print
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next