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
lexmin.cc: lexmin: remove unused label
2012-12-03
Sven Verdoolaege
lex
m
i
n
.
cc: lexmin:
remo
v
e u
n
used
l
a
bel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
lattice_
p
oint
.
cc
:
fracti
o
nal_part: remove u
n
used
l
a
bel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven
V
erdoolaege
test
l
i
b
.
cc: test_hilbert: fix
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
v
en Verdoolaege
iscc
.
c
: read_bool_if_available: remove unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdo
o
laege
upda
t
e
p
et to v
e
rsion 0
.
0
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verdoo
l
aege
update isl to version 0
.
1
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Verdoolaege
RE
A
DME:
refer to pet/README f
o
r more details on how
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
u
pdat
e
pet fo
r
suppo
r
t
f
or rec
e
nt
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sve
n
Verdoo
l
aege
update isl for
support for r
e
cent cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdool
a
ege
drop cloog su
b
mo
d
ule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Ver
d
oolaege
u
se isl
for code generation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
update
is
l
for cod
e
generation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoo
l
a
e
g
e
i
s
cc
.
c: add
m
issing
i
ncludes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
S
ven Verdoolae
g
e
update isl for rename of !isl_set_dim
_
has_{lower,upper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdo
o
l
a
ege
d
o
c:
add anothe
r
paper refering to
t
he li
b
rary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Ve
r
doolaege
READM
E
:
c
larify that /opt
is
t
he
e
xample installation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
ven
Ver
d
oolaege
export
i
sl_*_p
w
_qpolynomial_sum
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verd
o
ol
a
eg
e
update pet for
add
i
n
g
missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
S
ven Verd
o
ola
e
ge
configure
.
ac: check for NTL/ZZ
.
h header
before ch
e
cking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdoolaege
up
d
ate pet t
o
version
0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
a
e
ge
u
pd
a
te is
l
to version 0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
r
d
oolaege
op
t
ions
.
c: avoid c
a
lling
i
sl_alloc_type with
o
ut
v
alid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdoola
e
ge
evalue_isl
.
c: d
i
v2evalue:
e
xplicitly check for and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
S
v
e
n V
e
rdoolaege
update
i
sl for normal
i
zatio
n
of isl_ter
m
_get_div
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
Sven Verdoola
e
g
e
evalue_isl
.
c: add_term: impr
o
ve er
r
o
r
handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
S
ven Verdoolae
g
e
update pet
for support
f
o
r
rec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Ver
d
oolaege
upda
t
e isl
f
or su
p
po
r
t for recen
t
cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoolaege
iscc: support comp
u
tati
o
n of arbit
r
ary (n
o
n-zero) powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
S
ven
V
e
rdoolaege
update isl
f
or isl_un
i
on_map_fixed_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Ver
d
ool
a
e
g
e
u
p
date isl for change in isl_p
w
_aff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
Sven Verdo
o
laege
eva
l
ue
.
c: avoid war
n
i
ng o
n
use of
&
&
i
n
sid
e
||
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Ver
d
oolaege
barvinok_e
.
cc: enumerate_line: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sv
e
n Verdoolae
g
e
summate
.
c: add_unbounded_
g
uarded_qp: updat
e
t
o
ch
a
n
g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
S
ven Verdoolaege
u
p
date
pet
for support for recent
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
S
ven Verdoolaege
sum
m
ate
.
c: sum_base: c
h
e
ck for a
n
d rem
o
ve equaliti
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
S
ven Verdo
o
l
aeg
e
updat
e
pet f
o
r support fo
r
r
e
ce
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verd
o
olaege
update i
s
l for
supp
o
r
t
for recen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaeg
e
barvinok 0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven
Ver
d
oolaege
update pet
t
o version
0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
ven Verdoolaege
update isl to versi
o
n
0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolae
g
e
add isl
.
py to distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verd
o
ol
a
ege
add inter
f
ace/all
.
h an
d
interface/isl
.
p
y
.
top
t
o distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sve
n
Verd
o
olaege
update cloog
t
o version 0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
Sve
n
Verdool
a
eg
e
i
s
l_pw
_
qpo
l
yn
o
m
i
al_f
r
om_evalue
:
c
onstruct zero res
u
lt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven
Ver
d
oo
l
aege
ParamLine_Len
g
th
_
mod: properly handle emp
t
y input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
ven Verdoo
l
aege
partition2enumeration: fix memory l
e
ak w
h
en i
n
put
is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n Ve
r
doolaege
update pet f
o
r int
r
oduction of pet_o
p
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n Verdoolaeg
e
iscc: u
s
e
isl
_
c
t
x
_parse_o
p
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Verdoolaege
update
i
sl for
h
id
i
ng
o
f
i
s
l_o
p
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ve
r
dool
a
ege
update isl for i
n
t
r
oduction of
i
sl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
update pet f
o
r support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n
Verdoolaeg
e
u
p
d
a
te
isl fo
r
support for recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Ve
r
doolaeg
e
RE
A
D
ME: dr
o
p
refer
e
n
ce to pip
l
ib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Ve
r
doolaege
iscc: add
"
p
a
r
a
m
s"
opera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdo
o
laeg
e
doc:
e
x
p
lain syntax fo
r
param
e
t
er
domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
update
i
sl for special
casi
n
g
of gist with parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdoo
l
aege
isl
_
obj_s
t
r_pr
i
nt: properly pass
along is
l
_pr
i
nter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ve
r
doolaege
explicitly
l
i
n
k in all required libra
r
ie
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
configure
.
ac: quote
A
C_
L
ANG_PROGRAM call t
o
avoid warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sv
e
n Verdoolaege
update pet for
explicit
l
y lin
k
ing in gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven
V
e
rdoolaege
upda
t
e isl to version 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven
Verdoo
l
aege
update polylib to version
5
.
2
2
.
5 + con
f
igure fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoolaege
up
d
a
t
e cloog fo
r
re
n
ame of LANGUAGE_C
t
o CL
O
OG_LANGUAGE_C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sv
e
n Ve
r
doolaege
iscc
:
add "map % domain"
o
per
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Ver
d
oolaege
up
d
ate isl
for isl_union_map_gis
t
_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
Sven Ver
d
oolae
g
e
polysi
g
n
.
h
: add miss
i
n
g
declaration
of g
l
pk_po
l
yh
e
dron_affin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
S
v
en Ve
r
doolaege
update pe
t
for
s
uppor
t
for recen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
S
v
en Ve
r
doolaege
update isl
for su
p
port
fo
r
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ve
r
d
o
o
l
aege
hull
.
c
:
a
d
d missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
r
e
d
uce_domai
n
.
c: i
n
clude
b
arv
i
no
k
/barvino
k
.
h
f
or ba
r
v
inok_co
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
erdoolaege
evalu
e
_
isl
.
c:
r
e
l
at
i
on2p
w
q
p: properly ha
n
dle
p
a
r
ameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Ve
r
d
o
olae
g
e
b
arvinok_
e
numerate
.
cc: verify_is
l
: p
r
operly
h
andle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
Ve
r
d
oolaege
add isl
.
p
y
ta
r
get
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
Verdoolaege
export some fu
n
ctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ve
r
doolaege
con
f
igure
.
ac: set
I
S
L
_BUILDDIR also in case of bundled isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
erdoolaege
upda
t
e isl
for
e
xtract_interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
o
o
lae
g
e
updat
e
isl f
o
r ch
a
n
ge
in isl_pw_aff_set_
t
uple_id prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
o
l
a
e
ge
inclu
d
e
p
e
t in d
i
st
r
ib
u
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rdoolaege
update
p
et f
o
r
fix in
dis
t
ributi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoola
e
ge
update isl
for i
s
l_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Ver
d
o
o
laege
d
r
op
o
mega submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoolaege
configu
r
e
.
ac: t
a
ke into account prefix
of sys
t
em omega
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
d
oolaege
update i
s
l
f
or fix in f
a
c
t
orization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
add
s
o
m
e iscc t
e
s
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
Verdoolaege
iscc: only print
n
ew line if
s
o
meth
i
ng was printed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
i
s
c
c: add "assert" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sv
e
n V
e
r
d
ool
a
ege
isc
c
: add =
=
opera
t
ion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verd
o
ola
e
ge
i
s
cc: c
a
ll_bin_
o
p:
h
andle binary test oper
a
tion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sve
n
Verdo
o
laege
iscc
:
extra
c
t out
c
al
l
_
b
i
n
_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoo
l
aege
updat
e
i
sl
f
or "==" tokens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven Ver
d
ool
a
eg
e
upda
t
e
i
sl for chang
e
in isl_
b
asic_set_read_f
r
om_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sv
e
n
Ve
r
doolaege
update
cloog
f
or include fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
v
e
n Verdoolaege
u
p
da
t
e is
l
fo
r
remo
v
al of isl_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven
Verd
o
ol
a
ege
u
p
date isl for change in isl
_
{in,
}
equality_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ve
r
doola
e
ge
update p
e
t f
o
r compatibi
l
i
t
y with r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
u
pdate isl-p
o
lylib for
i
nclud
e
path or
d
ering i
s
su
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolae
g
e
u
p
date isl for chan
g
e in space of isl_p
w
_
* objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
u
p
date isl for
exp
l
icit paramet
e
r spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sve
n
Verd
o
olaege
iscc: proper
l
y handle applicat
i
ons of functions on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdool
a
eg
e
isl_union_se
t
_apply_union_pw_qpolynomial: explicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next