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 the glpk calls to the new glp_ API
2014-05-03
Thom
a
s Kahle
Up
d
ate the
g
lpk call
s
t
o the
n
ew glp_ API
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-22
Sven Verdoolaege
i
scc: also
disallow source op
e
ra
t
i
o
n when --no-io is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
barvinok 0
.
37
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Ver
d
oolaege
update pet to vers
i
on
0
.
0
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
u
pdate isl to versi
o
n 0
.
1
3
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
A
dd missing include of isl/aff
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-04
Sven Verdoolaege
update pet for
s
orting of array
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
Verdoolaege
is
l
_
p
ara
m
_util
.
c: drop expr2vertex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
V
erdoolaege
update isl for
c
hange in isl_ver
t
ex inspe
c
tors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
ad
d
is
l
_multi_aff_
t
o_polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sv
e
n
Verdo
o
laege
iscc: add minimal support for isl_obj_pw_multi_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
S
v
en Verdoolaege
update isl for isl_obj_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
S
v
en Verdo
o
laege
gen_fun::ad
d
_union: context of
result should be the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Sven Verdo
o
laege
red
u
ce_evalue: r
e
duce polynomia
l
ex
p
res
s
ions in denomina
t
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sve
n
Verdoolaege
update pet for
s
u
pport
fo
r
r
ecent clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
S
v
en
Verdoo
l
ae
g
e
update isl f
o
r supp
o
rt
f
or
r
ec
e
nt cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
S
v
e
n
V
erdoolaege
update
p
et for
c
hange
in pet_scop_
c
oll
e
ct_{reads,writes}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoolaege
update isl for isl_id_to
_
pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoolaege
configure
.
ac: use
AX_D
E
T
E
CT_GIT_HE
A
D instead o
f
i
nline
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-16
Sven Verdoolae
g
e
doc:
f
i
x typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-05
S
ven Verdoolaeg
e
AX_SUBMODULE: allow
.
git fi
l
e in submodul
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdoolaege
update
pet fo
r
suppo
r
t for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdoolaege
update isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolaege
verify_poin
t
_data_init:
use isl_s
e
t_card to count elements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sv
e
n
V
e
r
doola
e
g
e
test
_
a
pprox: return EXI
T
_F
A
I
LU
R
E on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdool
a
e
ge
test_approx: use is
l
interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
S
ven V
e
rdoolaege
clean up tes
t
s/
e
hrh
a
rt
/
* i
n
put
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoolaeg
e
ev
a
l
ue_isl
.
c
:
relation2pwqp: handle non-pa
r
a
metric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoola
e
ge
update isl for isl_*
_
eval ret
u
rning an isl_val instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
S
v
en Verdoolaege
update isl for
i
sl_stream_read_obj retu
r
nin
g
isl_ob
j
_val
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoolaege
u
p
date pet to version 0
.
04
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
Sven Ver
d
oolaeg
e
c
onfigure
.
ac: replace -
-
wi
t
h-libgmp option by --with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
Sven Verdool
a
ege
upd
a
te isl
to versi
o
n 0
.
12
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
oolaege
iscc
.
c
:
a
void us
e
of
i
sl_to
k
en
i
n
t
e
rnals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olaege
eval
u
e_isl
.
c:
d
iv2e
v
a
l
u
e
: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
doolae
g
e
evalue_isl
.
c: is
l
_pw_qpol
y
nomial_from_eval: us
e
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
evalue_isl
.
c: isl_q
p
o
lynomial_from_evalue:
u
se
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdo
o
laege
e
v
alue_isl
.
c: extr
a
ct_base: use isl
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n
V
erdoolaege
verify
.
c:
v
erify_p
o
i
n
t_data_init: us
e
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
V
e
rdoolaege
verify
.
c: verify_co
n
text_set_bounds: use
i
sl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
uti
l
.
c: manual_count: use isl
_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Ve
r
dool
a
ege
test_bound
.
c:
resul
t
_data: use is
l
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
rdool
a
ege
test_bound
.
c
:
verify
_
point:
use is
l
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
sample
.
c: Poly
h
edron_S
a
mple:
us
e
i
s
l_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
V
e
r
d
oolaege
p
o
lysign
_
isl
.
c: isl_co
n
s
t
raints_opt:
use isl
_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdoolaeg
e
p
olysign
_
isl
.
c: isl_polyhedron_af
f
ine_sign: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdool
a
ege
p
o
lysign_isl
.
c
: extract_inequalities: use isl_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
er
d
oolaege
polysign_isl
.
c: extract_equa
l
ities: use
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoola
e
ge
iscc
.
c:
r
ead_ident: use isl_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolaege
is
c
c
.
c
:
obj_at_inde
x
: us
e
is
l
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
rdoolaege
iscc
.
c: power: use
i
sl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdool
a
e
g
e
iscc
.
c: next_is_
n
eg_i
n
t: us
e
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Ve
r
dool
a
ege
evalue_
i
s
l
.
c: add_term: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
evalue
_
isl
.
c
:
re
l
ation2
p
wqp:
u
se isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdo
o
laeg
e
bound
.
c
:
spli
t
_on_size: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolae
g
e
bo
u
nd
.
c: ver
i
f
y
_point: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoola
e
g
e
ba
s
is_reduction
.
c: isl_Polyhedron_Reduced_Bas
i
s: u
s
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
barvinok_summate
.
c: verify_poi
n
t:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolaege
b
arvinok_enumerate
.
cc: ver
i
fy_point: us
e
isl_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdoola
e
g
e
barvinok
.
cc: card_a
s
_
sum: u
s
e isl_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdool
a
ege
isl_map_po
l
ylib
.
c: use is
l
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sv
e
n Verdoola
e
ge
up
d
at
e
isl for is
l
_
v
al abstra
c
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
S
v
en Ver
d
ool
a
e
g
e
integrate is
l
-
polylib mod
u
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoola
e
ge
barvinok_enumerate
.
c
c
: explic
i
tl
y
i
n
clude g
m
p to avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sve
n
Verdoolaege
b
a
rv
i
n
ok_e
.
cc: expl
i
citly include gmp to avoid inclusion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven
Verdoolaege
test
_
bou
n
d
.
c:
r
esult_dat
a
_
clear: r
e
move unu
s
ed variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
erdoolaege
e
value_isl
.
c: avoid use of isl_
s
eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdo
o
l
aege
te
s
t
.
c: r
e
move redu
n
dant inclu
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-23
Sven Verdoolaege
up
d
ate isl to version 0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-08
Sven Verdool
a
ege
evalu
e
_isl
.
c: avoid us
e
o
f
is
l
_vec inte
r
nals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Ve
r
do
o
laege
update
pet for
s
u
pport for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven V
e
rd
o
olaege
update i
s
l for support for
rece
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-10
Sven Verd
o
olae
g
e
NT
L
_
QQ: us
e
NTL's Vec
t
e
mplate class when available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-06
Sv
e
n
Verdoo
l
aege
i
sl_pw_qpolynomial_sum: error out if input does not
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
S
v
en Verdool
a
ege
iscc
.
c
: print_code: do not assume i
s
l_
u
ni
o
n_map_
g
e
t_space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoo
l
aeg
e
v
ertex_con
e
: check that dimension i
s
at leas
t
one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoo
l
aege
bar
v
inok_
s
um_
o
ver_pol
y
tope: special case
0D
polytop
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
S
v
en
V
erdoo
l
aeg
e
summate
.
c: sum_with_equalities: extract out s
u
m_over_polytope_0D
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-10
Sven Verdoolaege
update isl to vers
i
on 0
.
1
1
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erdool
a
ege
barvinok 0
.
36
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Verdoolaege
le
x
mi
n
.
cc:
l
e
xmin: remove unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Ve
r
doolaege
l
a
ttice_p
o
i
n
t
.
cc: fractional_pa
r
t: re
m
o
ve unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
e
rdoolaege
t
e
stlib
.
cc: test_hilbert: fix te
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
doolaege
iscc
.
c
:
read_bool
_
if_
a
vailable: rem
o
ve unu
s
ed label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
update p
e
t
to ver
s
i
on 0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verdoolaege
update isl to v
e
r
s
ion 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sve
n
Verdoolaege
README: r
e
f
e
r to p
e
t
/README for more deta
i
ls on
how
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
u
pda
t
e pet for s
u
pport for rec
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sv
e
n
Ve
r
doolaege
upd
a
te isl for
support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdo
o
laege
drop cloog subm
o
dule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
v
e
n Verdoolaege
us
e
isl for code genera
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
v
e
n Verdoolaege
update isl for c
o
de gener
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sv
e
n Ve
r
doolaege
iscc
.
c: add mi
s
sing in
c
ludes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sv
e
n Verdoolaege
update isl f
o
r rename of !isl_set
_
dim_has_{lowe
r
,upper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaeg
e
doc: add another paper refering t
o
the libr
a
ry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven
Verdoolaege
R
E
ADME: clarify t
h
at /o
p
t is
t
he
e
xample insta
l
lation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sv
e
n Verdoolaege
e
x
port isl_
*
_pw_q
p
olynomial_
s
um
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdo
o
l
a
ege
updat
e
p
e
t for
a
dding missing includ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
Sven Verdoolaege
configure
.
a
c: check for NTL/ZZ
.
h heade
r
before
checking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdoolaege
upda
t
e p
e
t to ve
r
sio
n
0
.
02
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
