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
update pet for support for recent clangs
2013-05-31
Sven Verd
o
olaege
test_bound
.
c: result_da
t
a: us
e
isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
t
e
st_bound
.
c: v
e
rify_point: use isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
sa
m
ple
.
c
:
Polyhedro
n
_Sampl
e
:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
pol
y
sign_isl
.
c: isl
_
constraints
_
o
pt: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
rdoolaege
polysign_
i
sl
.
c: isl_polyhedron
_
affi
n
e_sig
n
:
u
se isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoo
l
aege
polysign_is
l
.
c:
e
xtra
c
t_inequalities: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verd
o
o
lae
g
e
polysign_isl
.
c: extra
c
t_e
q
ualities: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoolae
g
e
i
s
cc
.
c: read
_
id
e
nt: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdool
a
ege
iscc
.
c: obj_at_index
:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolae
g
e
iscc
.
c: po
w
er: use i
s
l_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdoolae
g
e
iscc
.
c: next_is_n
e
g_i
n
t: us
e
is
l
_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
e
v
a
l
ue_i
s
l
.
c: add_term: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Ve
r
do
o
laege
e
v
a
lue
_
isl
.
c:
r
elation2p
w
qp:
u
se isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolae
g
e
b
ound
.
c: spl
i
t
_on_siz
e
: use isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
bound
.
c: verify_point: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
basis_reduction
.
c: isl_Polyhedron_Reduced_Basis: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolae
g
e
barvinok
_
summate
.
c
:
v
er
i
fy_point: use isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
er
d
o
o
laege
barvinok_enu
m
er
a
te
.
c
c: verify_point: u
s
e
is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
barvinok
.
cc: card_
a
s_sum: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdo
o
la
e
ge
isl
_
map_polylib
.
c: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdool
a
ege
up
d
ate i
s
l for i
s
l_val abstracti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdo
o
laege
integrat
e
i
s
l
-
po
l
ylib mo
d
ule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
Ver
d
oolaege
barvinok_enumera
t
e
.
cc
:
explicitly include gm
p
to avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sv
e
n
Verdoola
e
ge
ba
r
v
i
nok_e
.
cc: explicitly incl
u
de
gmp to
a
void inclusio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sve
n
Verdoolaege
t
est_b
o
und
.
c:
result_data_clear: remove
unu
s
e
d
variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verd
o
olaege
evalue_isl
.
c: av
o
id
u
se of
isl_seq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sve
n
Ve
r
do
o
laege
tes
t
.
c: r
e
mo
v
e redu
n
da
n
t incl
u
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-23
Sven Verdoolaege
upda
t
e
i
sl
t
o
version 0
.
11
.
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-08
Sve
n
Verd
o
olaege
e
v
a
lu
e
_
i
sl
.
c: avoid use of
isl_vec int
e
rnals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
S
v
en Verdoolaege
upda
t
e pet f
o
r
support for re
c
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven
V
erdoolaege
update
isl fo
r
support
f
or recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-10
Sven Verdoolaege
NT
L
_QQ:
u
se NTL's Ve
c
template
cl
a
ss when available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-06
S
v
en Verdo
o
laege
isl
_
pw
_
q
p
olynomial_su
m
: erro
r
out if inp
u
t d
o
es not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-03
Sven Verdoolaege
iscc
.
c: print_
c
ode:
do
n
ot assume isl_union_map_g
e
t_space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Ve
r
doolaege
v
ertex_
c
one: check th
a
t d
i
m
e
nsion is at
l
e
ast
one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
S
ven Verdoolaege
barvinok_sum_ov
e
r_polytope: special cas
e
0
D
polytopes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
S
v
en
V
erdoolaege
summat
e
.
c:
sum_with_eq
u
alities: extract out su
m
_
over_polytope_0
D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
S
v
en
Ver
d
o
olaege
upda
t
e isl to
v
e
r
sion 0
.
11
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ver
d
oolaege
ba
r
vinok 0
.
36
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
lexmin
.
cc:
l
ex
m
in
:
remove unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolae
g
e
lat
t
ice_point
.
cc: fr
a
ctional
_
part: remove unuse
d
label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
v
en
Verd
o
o
laege
t
estlib
.
cc: test_hilbert: fix tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verdoolaege
iscc
.
c:
r
ead_
b
o
o
l
_if_available: remove unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoo
l
aege
update pet to version 0
.
03
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
update isl to version 0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
doolaege
README: refer to pet/R
E
ADME for more
d
etails on how
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven V
e
rdool
a
ege
u
pdate pet for
s
upport for r
e
cent
c
lan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
S
ven Verd
o
olae
g
e
updat
e
isl for support
for recen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sve
n
Verdoolae
g
e
dro
p
cloog
s
u
bmodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven
Verdoo
l
aege
use
isl for
c
ode generation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
update isl for co
d
e
generation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
S
ven Verdoo
l
aeg
e
iscc
.
c
:
a
d
d
m
i
s
sing includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaeg
e
upd
a
te isl f
o
r rena
m
e
o
f !isl_s
e
t_dim_has_{lower,
u
p
per
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
doc: add
a
n
other paper r
e
f
e
ring to
the
l
ibrar
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven
Verdool
a
ege
README: clarify
t
h
a
t
/opt is the example in
s
tallation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sve
n
Verdoola
e
ge
ex
p
o
rt
isl_*_pw_qpoly
n
o
m
i
al_sum
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven
V
e
rdo
o
laege
update pet for adding missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
Sven Verdoolaege
con
f
igure
.
ac: check for NTL
/
ZZ
.
h he
a
der before
c
h
ecking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
S
ven Verdo
o
laege
upd
a
te pet
to
v
ersion 0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
update
isl to version 0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoo
l
aege
options
.
c: avoid
c
al
l
ing
isl_alloc_type w
i
thout
valid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
evalue_i
s
l
.
c:
div2evalue:
ex
p
licitly
c
heck for and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
S
ven Verdoolae
g
e
update isl fo
r
normalization of isl_term_get_div result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
Sven Verd
o
olaege
evalue_isl
.
c: add_term: improve err
o
r handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
S
ven
Verdoolaeg
e
update pet for sup
p
ort f
o
r
recent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
update isl for support for
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
S
v
en Ver
d
oolaege
i
s
cc: support computati
o
n of
a
r
bitrary (non-zero) powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sve
n
V
erdoolae
g
e
update is
l
for isl_un
i
on_map_
f
ixed_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolaege
updat
e
isl f
o
r change
i
n is
l
_pw_aff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
Sve
n
Verdoolaege
evalue
.
c:
avoid warning on use of &&
i
n
side ||
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sve
n
Verdoolaege
barvinok
_
e
.
cc:
e
numerate_lin
e
: fi
x
t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sve
n
V
erdoolaege
s
u
mmate
.
c:
add_un
b
ounded_guarded_qp: update to
change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdool
a
e
g
e
update pet for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sve
n
Verdool
a
ege
summat
e
.
c:
s
um_base: check for and r
e
move equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sv
e
n
Verdo
o
la
e
ge
upda
t
e pet for
support for
recent
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
S
v
e
n
V
e
rdoolaege
update isl for su
p
p
ort for r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
e
n
Verdoolaege
barvinok 0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolae
g
e
updat
e
pet to version
0
.
0
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoola
e
ge
update isl t
o
version 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoo
l
aege
a
d
d isl
.
py
to dis
t
r
i
buti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en Verdo
o
lae
g
e
a
d
d interface/all
.
h and interface/isl
.
p
y
.
t
o
p
t
o distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
S
ven Ve
r
doolaege
update clo
o
g to version 0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
Sven
Verdoolaege
isl
_
pw_qpol
y
nomial_f
r
om_evalue: cons
t
ruct zero result
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sve
n
Verdoolaege
Param
L
ine_Length_mod: properly handle
empty inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
v
en Ve
r
doolaege
partition2en
u
meration: fix m
e
m
o
ry leak when input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ver
d
oolaege
update
p
et f
o
r introduct
i
on of pet_op
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven
Verdoola
e
ge
iscc: use isl_ctx_parse_o
p
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sve
n
V
erdoolaege
u
pdate isl for
hi
d
ing of isl_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoo
l
aege
update isl for introductio
n
of isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolae
g
e
update pet for su
p
port f
o
r rec
e
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdool
a
e
g
e
update i
s
l f
o
r support f
o
r
recent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven
Ve
r
d
o
olaege
README
:
drop referenc
e
to piplib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven V
e
rdoolaege
iscc: add "pa
r
a
ms"
o
peration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven
V
e
rdoolaege
d
o
c: explain
s
ynt
a
x for parameter domai
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdo
o
laege
update isl for special ca
s
ing of gist with
parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doolaege
isl_obj_str
_
p
rint
:
properly pass al
o
n
g isl_p
r
inter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
explicitly link
in all required li
b
raries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdool
a
ege
configure
.
ac: quote AC_LANG_PROGRA
M
call to a
v
oid war
n
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven V
e
rdoolae
g
e
update pet for explicitly linking
i
n
g
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sv
e
n Verdoolaege
upda
t
e isl
to version 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next