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 isl for isl_stream_read_obj returning isl_obj_val instead of isl_obj_int
2013-06-26
S
ven Verdoolaege
u
pdate isl for isl_stream_read_obj returning isl_obj_val
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoolaege
update pet to
v
er
s
ion 0
.
04
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-25
Sve
n
Verdoolaege
configure
.
ac:
replace --
w
ith-l
i
bgmp o
p
tion by --with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sven V
e
rdo
o
laege
update isl to
version 0
.
12
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
ola
e
ge
iscc
.
c: a
v
oid
use of isl_token inter
n
als
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Ve
r
do
o
laege
evalu
e
_isl
.
c: di
v
2eval
u
e: use isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoolae
g
e
evalue_isl
.
c: i
s
l
_pw_
q
polyno
m
ial_from
_
eval: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
e
v
a
lue_isl
.
c
:
is
l
_qpolynomial_f
r
o
m_eval
u
e:
use is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdoolaege
evalue_isl
.
c
:
e
x
t
r
act_bas
e
: use isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
verify
.
c: verify_point_data_init:
u
se isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoola
e
ge
verify
.
c: verify
_
context_
s
et_
b
ounds: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olaege
util
.
c:
m
anual_
c
ount: us
e
isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ve
n
Verdoolaege
test_bo
u
nd
.
c: resu
l
t_d
a
ta: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
te
s
t_bound
.
c: verify_point: u
s
e
isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdoolaeg
e
s
a
mple
.
c
: Po
l
yhedron_Sample:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoo
l
aege
polys
i
gn_is
l
.
c: isl
_
cons
t
raints_opt: use is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
polysign_isl
.
c: isl_pol
y
h
e
d
r
on_aff
i
ne_sign:
u
se isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
rdoolae
g
e
polysign
_
isl
.
c: extract_inequalities: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoolaege
p
olysign_isl
.
c: extract_equali
t
ies:
u
s
e
i
sl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
laege
iscc
.
c: r
e
a
d_ident: use
is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Ve
r
doolae
g
e
is
c
c
.
c: obj_
a
t_index: us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdool
a
ege
iscc
.
c: power: use isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
laege
iscc
.
c: next_is_
n
e
g
_
i
nt: us
e
is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ve
n
Verdoolaege
eval
u
e_isl
.
c
: ad
d
_term:
u
s
e isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
laege
ev
a
lue_isl
.
c
: relation2pw
q
p
:
use is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n
V
erdoolae
g
e
bound
.
c
: s
p
li
t
_on_size: use is
l
_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoolaege
b
o
und
.
c
:
verify_point: us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
b
asi
s
_reduction
.
c: isl_Po
l
y
h
edr
o
n_Reduce
d
_Basis:
u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
barvinok_summate
.
c: ver
i
fy_point: u
s
e isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
barv
i
nok_enumerate
.
cc: verify
_
point:
u
se isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Ver
d
o
olaeg
e
ba
r
vinok
.
cc: card_as_sum: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olaege
isl_map_polylib
.
c: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven
V
erdoolaege
update isl for
i
sl_va
l
abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolae
g
e
integrate isl-polylib
m
o
dule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sv
e
n Verdo
o
laege
barvin
o
k_
e
numerate
.
cc: expli
c
itly i
n
clu
d
e gmp to avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
S
ven V
e
rdoolae
g
e
barvinok_e
.
c
c: explicitly include
g
mp to av
o
id
i
n
clu
s
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
S
v
en Verdoolaege
test_
b
ound
.
c: result_data_clear: rem
o
ve u
n
u
sed variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
evalue_i
s
l
.
c: avo
i
d us
e
of isl_s
e
q
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verd
o
o
l
a
ege
test
.
c: remove re
d
undant include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-23
Sven Verd
o
o
l
aege
u
p
da
t
e isl to version 0
.
1
1
.
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-08
Sven Verdoolae
g
e
evalue_isl
.
c:
a
void use of isl_v
e
c
i
nternals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven
Verd
o
olae
g
e
update
pet fo
r
support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verd
o
o
laege
updat
e
isl for su
p
p
o
rt for recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-10
S
v
en Ver
d
o
o
laege
NTL_QQ: use NTL's Vec te
m
plat
e
c
l
ass when available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-06
Sven
V
erd
o
olaege
i
s
l_pw_qpolyn
o
mial_s
u
m: e
r
r
o
r out if input does not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-03
Sven
Verdool
a
ege
iscc
.
c
:
print_code: do not assume is
l
_union_map_get_spa
c
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdool
a
ege
vertex_cone: c
h
eck that d
i
mension i
s
at least one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven V
e
rd
o
o
l
aege
barv
i
nok_sum_
o
ver_po
l
ytop
e
:
special
c
ase 0D polytopes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolaege
summate
.
c: s
u
m_wit
h
_equ
a
l
itie
s
: extra
c
t out sum_over_pol
y
tope_0D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
Sven Verd
o
o
laege
update isl to versi
o
n 0
.
11
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
v
en Verdoolaege
barvi
n
ok 0
.
36
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Verdool
a
e
ge
lexmin
.
cc: lexmin: remove
unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
lattice_po
i
n
t
.
cc
:
fractional
_
part: remove u
n
u
s
ed label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Verdo
o
laege
testlib
.
cc: test_hilbe
r
t
: f
i
x tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
v
e
n Verdo
o
laege
i
scc
.
c: re
a
d_bool_if_available
:
r
e
move unused lab
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verdoolaege
update pet to vers
i
on
0
.
03
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
update i
s
l to version 0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
README: re
f
er to pet
/
README for more
d
etai
l
s on how
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
upd
a
te pet for suppor
t
for recen
t
cla
n
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven
V
e
r
doolaege
update isl for
s
u
pport for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en
V
erdoolaege
drop cloog submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
u
se isl for co
d
e
gener
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verd
o
o
la
e
ge
u
pdate isl for code generation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
S
v
en
Verdoolaege
i
s
cc
.
c: add mis
s
ing includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaege
update isl for r
e
name of !is
l
_set
_
d
i
m_has_{l
o
wer,up
p
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
doc: add another paper
r
efering to
the library
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven
V
erdoolaeg
e
README: c
l
a
r
ify that /opt is the exampl
e
insta
l
lation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven
Verdool
a
ege
export isl_*_pw_qpolynom
i
al_sum
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sve
n
Verdoo
l
a
e
g
e
update pet for adding missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
Sven
V
erdool
a
e
ge
c
onf
i
gur
e
.
a
c: check
for NTL/ZZ
.
h header before checking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven
V
erdoola
e
ge
update
pet to ve
r
sio
n
0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ven V
e
rdoolaege
update isl to ver
s
ion 0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verd
o
o
l
a
e
ge
options
.
c: a
v
oid calling isl_all
o
c_type wi
t
hout
v
ali
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
evalue_isl
.
c: div2evalue: explicitly
c
heck
for and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
u
p
d
ate is
l
for
normalization of isl_term_get_d
i
v result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
S
v
en Verdoolaege
evalue_isl
.
c: add_term:
impro
v
e
e
rror handlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven
Verdoolaege
update
p
et for su
p
por
t
for recent
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
update isl for suppo
r
t
fo
r
re
c
e
n
t c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
S
v
en
V
erdoolaege
iscc: support computation of a
r
bitrary (
n
on-zero) powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
S
ven Verdool
a
ege
update
i
sl for
isl
_
u
n
ion_map_fixed_
p
ower
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoolae
g
e
update isl for
change in isl_pw_aff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
Sven Verdoolaege
evalue
.
c: avoid warning o
n
u
s
e of && inside
|
|
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sve
n
V
erdoolaege
b
arvinok_e
.
cc: e
n
umerate_li
n
e: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
summate
.
c: add
_
unbounde
d
_
guarded_qp: u
p
da
t
e to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
update pet
for support for recent
clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
S
v
e
n
V
e
r
d
oolaege
summat
e
.
c: s
u
m_b
a
se: c
h
eck for and remove equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaege
u
p
date
p
et fo
r
sup
p
ort fo
r
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
S
ven Ver
d
oolaege
updat
e
isl for support
for
r
e
c
e
n
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sv
e
n
Verdoolaeg
e
barvinok 0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven
V
e
r
d
oolaege
update pet to version 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven
V
erdool
a
ege
update is
l
to ver
s
i
o
n 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven
V
erdo
o
laege
add isl
.
py t
o
d
istr
i
bution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ve
r
doolaege
ad
d
inter
f
ace/all
.
h and
interface/isl
.
py
.
t
op to distributi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdoolaege
update cl
o
og to v
e
rsion 0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
Sv
e
n V
e
r
d
oolaege
isl_pw_qp
o
lynom
i
al_from_
e
val
u
e
:
co
n
s
truct zer
o
res
u
lt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
ven
V
erdoolaege
P
aramLine
_
Length
_
mod: pro
p
erly hand
l
e empty i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sv
e
n Verdoola
e
ge
par
t
ition2enumerat
i
o
n
: fix
m
emory leak
w
hen input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ver
d
oolaege
update pet f
o
r introduction of pet_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
iscc: use isl_ct
x
_pa
r
se_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoola
e
ge
upd
a
te is
l
f
o
r hidin
g
o
f
i
sl
_
options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next
