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 to version 0.11
2012-12-03
S
v
e
n Verdoolaege
update isl
t
o version 0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
v
en Verdoolaege
READM
E
: refer t
o
pe
t
/README for more details
o
n
h
o
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
S
v
en
Verdoola
e
ge
up
d
ate pet
f
or support for recent cla
n
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
S
v
e
n
V
erdoola
e
ge
update
i
sl
f
o
r suppo
r
t
for
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven
V
erdoolaege
dro
p
cloog submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
us
e
isl for code gener
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
ven Verdoolaege
update isl for
c
ode gen
e
r
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoolaege
iscc
.
c
: add missing include
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaege
update isl for r
e
na
m
e
of !i
s
l_set_dim_
h
as_{lower,upper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sve
n
Ve
r
doolaege
doc: add ano
t
her paper refering to the
l
ibrary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven
Ver
d
oolaege
README: c
l
a
rify that /opt is th
e
example
ins
t
a
llation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sve
n
Verdo
o
laege
export isl_*_pw_qpo
l
y
n
omial_sum
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Ver
d
oola
e
g
e
u
pd
a
te pet f
o
r addin
g
mis
s
in
g
include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
Sve
n
Ve
r
do
o
lae
g
e
configure
.
ac: check f
o
r
NTL/ZZ
.
h
header
b
efore
c
hecking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven
V
erd
o
olaege
u
p
date pet to version 0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
er
d
oolaeg
e
u
p
date isl to version
0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Ve
r
doolaege
options
.
c
:
avoid calling isl_alloc_type without valid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ven
V
erdoola
e
g
e
evalue_isl
.
c: div2
e
value: explicitly check for and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven V
e
r
d
oo
l
ae
g
e
update isl
f
or n
o
rmal
i
zation of isl_term
_
get_div result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
Sven Ve
r
doolaege
evalue_isl
.
c: a
d
d_te
r
m: improve error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven
Verdoolaeg
e
update pet for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sv
e
n Verdoolaege
upd
a
te isl for
s
upport for recent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdo
o
laege
i
s
cc: support
c
om
p
utation of arbitrary
(non-zero) powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoolaege
u
p
date
is
l
for
i
s
l_union_map_
f
ixed_p
o
wer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verd
o
olae
g
e
update isl for
c
hange in isl
_
pw_aff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
Sv
e
n Verdoola
e
ge
e
value
.
c
: a
v
oi
d
w
a
rning on
use of && inside
|
|
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sv
e
n Ver
d
o
o
laege
barvinok_e
.
c
c: enu
m
erate_line: fi
x
typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sv
e
n
V
erdoolaege
summa
t
e
.
c: add_unbound
e
d
_
gua
r
ded_qp:
upda
t
e to ch
a
nge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sve
n
V
erdo
o
laege
update pet fo
r
support for
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
S
v
en Verdoolae
g
e
summate
.
c: sum
_
ba
s
e
:
c
h
eck for
a
nd remove e
q
ualities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdool
a
ege
u
p
date pet
f
or suppor
t
for r
e
cent
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven
V
erdoo
l
a
e
ge
update i
s
l for support for re
c
ent
c
l
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoola
e
ge
ba
r
v
inok 0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven
Ver
d
o
olaege
upda
t
e pet to version 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
e
n
Ve
r
doola
e
g
e
update isl to versio
n
0
.
0
9
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoo
l
a
e
ge
add is
l
.
py to d
i
stribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sv
e
n Verdoolaege
add interface/all
.
h and interface/i
s
l
.
py
.
top to distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
S
ven Verdo
o
l
a
ege
upda
t
e cloog t
o
version
0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
S
v
en
V
e
rdoolaege
isl_pw_qpo
l
ynomi
a
l_from_evalue: construct z
e
ro
resu
l
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verd
o
olaege
ParamLine_L
e
ngth_mod:
p
rop
e
rly handle empty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven
Ver
d
o
o
laege
partition2enumerati
o
n
:
fix memory
leak when input i
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ver
d
oolaege
update
p
e
t for introdu
c
tion of pet_option
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Verdoolae
g
e
iscc: us
e
i
s
l
_
c
t
x_parse_option
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven
Ver
d
oolaege
update isl
for hiding of i
s
l_o
p
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sve
n
Verdoolaege
update isl
for introduction
of isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
erdool
a
ege
update pet for
s
upport for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Verdoolaege
up
d
ate isl for
s
u
p
port for recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sve
n
Verdo
o
laege
README: drop reference to pipli
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoola
e
ge
iscc: add "par
a
ms" op
e
ratio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven
V
e
rdoolaege
doc: explain syntax for parameter domain
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
v
en Verdoo
l
aege
update i
s
l fo
r
spe
c
ial
casing of g
i
st with par
a
meter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Verdool
a
ege
isl_obj_st
r
_print: properl
y
pass al
o
n
g
isl_p
r
inter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
Verdo
o
laege
exp
l
icitly l
i
n
k in all
r
equired librarie
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
configure
.
ac: quote
A
C_LAN
G
_
P
ROGRAM call t
o
avoid war
n
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
Verdoolaege
upd
a
t
e
pe
t
for explicit
l
y linki
n
g
i
n g
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
up
d
ate isl to version
0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
ven V
e
rdoolaege
updat
e
polylib
t
o version 5
.
2
2
.
5
+
configure f
i
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoolaege
update cloo
g
for renam
e
of LANGUAGE_C to CLOOG_
L
ANGUAGE_C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
i
s
cc: add "m
a
p %
d
oma
i
n" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven
V
erdoolaege
update
isl
f
or isl_un
i
on
_
map_gi
s
t_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
Sven Verdoolaege
p
o
lysign
.
h: a
d
d missing declaration of glpk_pol
y
hedron_affin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
S
v
en Ve
r
doo
l
aege
update pet for support fo
r
r
e
c
ent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven
V
erdoolaege
update i
s
l for
s
uppor
t
fo
r
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ve
r
doolaege
hu
l
l
.
c: add mi
s
si
n
g include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdo
o
l
a
e
g
e
reduc
e
_d
o
main
.
c:
i
nclude barvinok/barvin
o
k
.
h for
b
a
r
vinok
_
c
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoola
e
ge
eval
u
e_isl
.
c:
relat
i
on2p
w
qp: properly h
a
ndle p
a
r
a
m
e
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdool
a
ege
barvi
n
ok_e
n
umerate
.
cc:
verify_isl: prope
r
ly h
a
nd
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verdoolaege
add is
l
.
p
y target
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
Ver
d
oolaeg
e
export some functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoo
l
aege
conf
i
gure
.
ac: s
e
t ISL_BU
I
LDD
I
R also in case of bund
l
ed is
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdool
a
e
ge
update isl for
e
xtract
_
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Ve
r
dool
a
ege
updat
e
i
sl for change i
n
i
sl_pw_af
f
_s
e
t
_
tupl
e
_id
prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoolaege
inclu
d
e pet in di
s
tribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolaege
upd
a
te
p
e
t for fix i
n
distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoolaeg
e
update
isl for
i
sl_set_from_
p
ara
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolaege
drop o
m
ega submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdo
o
laege
c
on
f
i
gure
.
ac:
take into
a
c
c
ount pref
i
x of
system
o
mega
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
dool
a
ege
updat
e
isl for fix in fac
t
o
rizati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Ve
r
doolaege
add some i
s
cc tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc: only print new line if som
e
thing was printed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
V
erdool
a
ege
i
s
cc:
add "asse
r
t" oper
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaeg
e
iscc: add
== operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven V
e
rdoolaege
iscc: ca
l
l_bin_op: handl
e
b
i
nary test ope
r
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
v
e
n
Verdoola
e
ge
iscc: extra
c
t out call_bin_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ver
d
oolaege
u
p
date isl for
"==" tokens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sv
e
n Verdoolaege
update isl
f
or change in isl_basic_set_read_fr
o
m_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven
V
e
rdoo
l
aege
update
c
loog for in
c
lu
d
e fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n
V
erdoolaeg
e
u
p
date isl for
r
emoval
of
i
s
l
_
div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoo
l
a
e
ge
update is
l
for chang
e
i
n
i
sl_
{
in,}e
q
uality_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en
V
e
rdoola
e
ge
updat
e
pet for compatibility with rece
n
t clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
u
p
da
t
e isl-p
o
lylib
for include path ordering i
s
su
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
update isl for
change i
n
s
p
a
c
e of
is
l
_pw_* objec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Ve
r
d
o
olaege
update isl for explicit parameter s
p
a
c
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sve
n
Verd
o
ola
e
ge
i
scc: properly hand
l
e applicati
o
ns of funct
i
ons on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven V
e
rdo
o
l
a
e
ge
isl_union_set_apply_union_
p
w_qpo
l
y
nomial
:
e
xplicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdoolaege
i
s
l
_
p
w_qpolynomial_s
u
m: simp
l
ify construction
o
f target
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verd
o
olaege
i
sl
_
set_car
d
:
explicitl
y
project resu
l
t onto parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
barvinok_summate
.
c
: verify_po
i
nt
:
expl
i
ci
t
ly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoolaege
te
s
t_bound
.
c
:
avo
i
d use of
undocumente
d
i
s
l_se
t
_rem
o
ve_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaeg
e
isl
_
basi
c
_se
t
_
l
attice_width:
compute
c
orrect space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next