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
barvinok 0.36
2012-12-03
Sven Verd
o
olaege
ba
r
vinok 0
.
36
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
v
en Verdoolae
g
e
lexmin
.
c
c
: lexmin: remove unused
la
b
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
lattic
e
_point
.
cc: fra
c
tion
a
l_part: remove u
n
used labe
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
doolaege
t
estlib
.
cc: test_hilbert:
f
ix tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
v
en Verdoolaege
isc
c
.
c: re
a
d_b
o
ol_if_availabl
e
: remove u
n
used label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoo
l
aege
update pet
to v
e
rsion 0
.
0
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
update isl to v
e
rsion 0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
README: refer
to
pet/READ
M
E for mor
e
detail
s
on ho
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Ve
r
doola
e
g
e
update pet for suppor
t
for recent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven
V
e
r
doolaege
update isl for sup
p
o
r
t
for r
e
cent
c
la
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en
V
erdoo
l
a
e
g
e
d
r
op cloo
g
s
u
bmo
d
ule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verd
o
olae
g
e
use isl for code generatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
v
e
n Ve
r
doolae
g
e
update is
l
f
o
r code ge
n
erat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoola
e
ge
i
s
c
c
.
c:
add missing
i
n
c
lu
d
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaeg
e
update isl
f
or rename of !
i
sl_set_d
i
m_has_{l
o
w
e
r,up
p
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
v
en Ver
d
oolaege
doc:
a
dd another paper referi
n
g t
o
t
he lib
r
a
ry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
R
E
ADME: clarify that /opt
i
s th
e
example in
s
tal
l
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoola
e
ge
export isl_*_pw_qpolynomia
l
_sum
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Ver
d
oola
e
ge
u
p
d
ate pet for adding
miss
i
ng includ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
Sven Verd
o
olaege
config
u
r
e
.
a
c: check fo
r
N
TL
/
Z
Z
.
h head
e
r before
checking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdoolae
g
e
update pet to version 0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaeg
e
update isl to version 0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
aege
options
.
c: avoid calling isl_alloc_type wit
h
out valid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdoola
e
g
e
e
v
al
u
e
_
isl
.
c: div2evalue: explicitly ch
e
c
k for and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sv
e
n Ve
r
do
o
l
aege
update i
s
l f
o
r normalization
o
f isl_term_get_div result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
Sven
V
e
rdoo
l
aege
e
v
alue_isl
.
c: add_
t
erm: improve error h
a
ndling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sve
n
V
e
rdoolaege
u
p
date pet for suppo
r
t for rece
n
t
cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven
Ver
d
oolaege
upd
a
te isl for
s
u
pport for recent cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoolaege
iscc: support computati
o
n of
arb
i
trar
y
(non-ze
r
o) po
w
ers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven
V
erdoolaege
update isl for isl_
u
nion_map_fixe
d
_powe
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n V
e
rdo
o
lae
g
e
update isl for chang
e
in isl_pw_aff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
Sven Verdoola
e
ge
evalue
.
c: avoid warning
on use of && inside ||
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven
V
erdoola
e
ge
barvin
o
k_e
.
cc:
enumer
a
te_line: f
i
x typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
S
v
e
n Ve
r
doola
e
ge
summate
.
c: add
_
unbounded
_
guarded_qp: update to c
h
ange
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
u
p
d
a
t
e
pet for support for
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
summate
.
c: s
u
m
_base:
check
f
o
r and remove e
q
uali
t
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven V
e
r
d
oolaege
u
p
d
a
te pe
t
for suppor
t
f
or recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven
V
erdoolaege
update
isl for suppo
r
t
fo
r
r
ecent
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven
V
erdoolaege
barvinok 0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
ve
n
V
e
rdo
o
laege
up
d
at
e
pet to version 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven
Ver
d
oolaege
update isl to ve
r
sio
n
0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ve
r
d
oolaege
add isl
.
py to distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdo
o
laege
add
interfa
c
e/all
.
h an
d
i
nte
r
face/isl
.
py
.
top to distribu
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sve
n
Verdoolae
g
e
update
c
loog to version 0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
Sven Verdoolaege
is
l
_
pw_qp
o
l
y
nomial_from_evalue: con
s
truct zero resu
l
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven
Verdoolaege
ParamLin
e
_
L
e
ng
t
h_mod:
p
roperly handl
e
empty
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
ven Verdoolaege
par
t
ition2enumeration: fix memo
r
y
l
e
a
k when input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven
Ve
r
do
o
laege
up
d
ate pet f
o
r introd
u
ction of pet_op
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
ven Verdool
a
ege
iscc: u
s
e isl_
c
tx_parse_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven
Verdoolaege
upd
a
te is
l
for hi
d
ing of is
l
_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ve
r
doolaege
up
d
at
e
isl for
intr
o
duction of isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaeg
e
u
pdate
p
et for support for
recent
c
la
n
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Verdoola
e
ge
update isl for support
f
or
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Ve
r
d
o
olaege
README: dr
o
p r
e
ference
to piplib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven
V
er
d
oolaege
iscc: add "par
a
m
s" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven
V
erdoolaege
do
c
: exp
l
ain syntax for para
m
eter domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
v
en Verdoolaege
u
p
date isl fo
r
spec
i
al casing of gist with p
a
rameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdoo
l
aege
isl_
o
bj_s
t
r
_
p
rint: properly pa
s
s along isl_printer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven
Verdoolaege
ex
p
l
icitly link in
all
r
equ
i
red
librarie
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoola
e
ge
conf
i
gur
e
.
ac: quote AC_LAN
G
_PROGRAM call to avoid
w
a
rning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven
Verdoolae
g
e
update pet
for exp
l
icitly linki
n
g in
g
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven V
e
r
d
oola
e
ge
update isl to v
e
rsion 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
update po
l
y
l
ib to
v
ersion 5
.
22
.
5 +
config
u
re fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoolaege
update cloo
g
for rename of
L
AN
G
UAGE_C to
C
LOOG_LANGUAGE_C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en
Ve
r
doolaege
iscc: add "m
a
p
% domain" o
p
erati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven V
e
rdoolaege
u
p
date isl for i
s
l
_
union_map_
g
ist
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
Sven Verdoolaege
p
olysign
.
h: add missing de
c
l
aration of glpk_p
o
l
y
h
edron_a
f
fin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sven Ve
r
doolaege
u
pd
a
te pet for
s
uppo
r
t for recent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
upd
a
t
e
isl for suppor
t
for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sve
n
V
e
rdoolaege
hull
.
c: add m
i
ssing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
ven Ve
r
doolaege
redu
c
e_domain
.
c
: inclu
d
e barvin
o
k/b
a
rvinok
.
h for barv
i
nok_co
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven V
e
rdoo
l
aege
evalue_isl
.
c
:
relat
i
on2pwq
p
: p
r
operl
y
handle
p
a
rameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ve
r
doolaege
barvi
n
ok_enum
e
ra
t
e
.
cc: verify
_
isl: pr
o
per
l
y han
d
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verd
o
olaege
add
isl
.
py target
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
ex
p
ort
some functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdo
o
laege
c
onfigure
.
ac
:
set ISL
_
BUILDDI
R
also in c
a
se of b
u
ndled isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Verdoolaege
update isl
f
o
r extra
c
t_int
e
r
f
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Ve
r
doolaege
update
isl
fo
r
c
hange in isl_pw_aff_set_t
u
pl
e
_id prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doolaege
in
c
l
u
de pet
in distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
V
e
r
d
o
olaege
u
p
date pet f
o
r fix in
d
istribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ven V
e
rdool
a
ege
update isl
f
or isl_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
d
r
op omega s
u
b
mo
d
ule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
oolae
g
e
config
u
r
e
.
ac: take in
t
o acco
u
nt
pre
f
ix of system omega
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erdool
a
eg
e
update
i
sl fo
r
fix
i
n facto
r
ization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sv
e
n
V
erdool
a
ege
add some is
c
c
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
is
c
c: only pri
n
t
n
e
w line if som
e
thing was printed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
is
c
c: add "assert" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven V
e
rdool
a
ege
iscc: add == o
p
erations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
isc
c
:
c
a
ll
_
b
in_op: ha
n
dle binary tes
t
operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sv
e
n Verdoolaege
iscc: extract out
c
a
l
l_bin_o
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ver
d
oola
e
ge
u
pdate isl
f
or "==" token
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven V
e
rdoolaege
update isl for c
h
ange in isl_basic_set_r
e
ad_from_fi
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolaege
update c
l
oog for include fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoo
l
aege
update isl for removal of isl
_
div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdool
a
ege
u
p
date isl for chang
e
in
i
sl_{in,}
e
qu
a
l
ity_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
erd
o
olaege
up
d
ate
p
et for com
p
atib
i
lity wi
t
h r
e
c
ent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
S
v
en Verdoola
e
ge
u
pda
t
e isl-polylib for include path ordering issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sve
n
Ve
r
doolaege
upda
t
e isl fo
r
change in space of
isl_pw_* objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdo
o
laege
u
p
date isl for expl
i
cit
p
a
rameter spac
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sve
n
Ve
r
doolaege
i
s
cc: p
r
operly handl
e
a
p
plicatio
n
s of
f
unctions
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next