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
iscc.c: read_bool_if_available: remove unused label
2012-12-03
Sven
V
erdool
a
ege
iscc
.
c: read_bool_if_available: re
m
o
ve
unused la
b
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven V
e
r
d
ool
a
ege
u
p
d
ate
pet to ve
r
sion
0
.
03
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Verdoolaege
update isl to version
0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Verdoolaege
READ
M
E: re
f
er to pet/RE
A
D
ME for more detail
s
on how
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdool
a
e
g
e
updat
e
p
et for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven
Verdoolaege
upd
a
te
isl for
s
upport
f
or recent
cl
a
n
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verd
o
o
l
aege
drop cloog submodu
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoola
e
ge
u
se
i
sl
for
code
gene
r
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en Verdoolaege
upd
a
te isl for code generation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoolaege
isc
c
.
c: add missing includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
S
ven Verdoolaege
upda
t
e isl for
r
ename of !isl_set_dim_has_
{
lower,upper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
doc: add another
p
aper re
f
ering to
t
he li
b
rary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoola
e
ge
READ
M
E
:
clari
f
y that /opt is the
e
x
ample
installation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Verdoola
e
ge
export isl_*_p
w
_qpolynom
i
al_su
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sve
n
Verdoolaege
upda
t
e pet for ad
d
ing
m
issing inc
l
ude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
Sven Verdoola
e
ge
co
n
figure
.
a
c
: check
f
or
N
TL/ZZ
.
h
h
e
ader
b
e
fore chec
k
i
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdoolaege
update pet to ve
r
sion
0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdoolaege
update isl to versio
n
0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
options
.
c
:
a
v
oi
d
calli
n
g isl_a
l
l
o
c
_typ
e
wi
t
hout valid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdoola
e
ge
evalue_isl
.
c: div2evalue: exp
l
icitly ch
e
ck for
a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sve
n
Ve
r
doolaege
update isl
f
or
nor
m
aliz
a
tion o
f
isl_term
_
get
_
div
r
es
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
Sv
e
n Verdoolaege
eval
u
e
_isl
.
c
:
add_term: improve erro
r
handlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
update pet for support
f
or r
e
cen
t
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
up
d
a
t
e
isl fo
r
s
upport
f
or recent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoola
e
ge
iscc: s
u
pport computation of
a
r
b
itrary (non-zero) powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
S
v
en Verdoolaege
u
p
d
ate
i
sl for isl_un
i
on_map_fix
e
d_p
o
wer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n
Verdoola
e
ge
updat
e
isl for chang
e
in isl_pw_aff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
S
v
e
n Verd
o
olaege
eva
l
ue
.
c
: avoid warning on us
e
of && inside
||
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdool
a
ege
barvino
k
_e
.
cc: enumerate_line: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sve
n
Verdo
o
laege
summate
.
c: add_unbo
u
nded_
g
uarded_qp: update t
o
c
h
ange
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
S
v
en
V
erdoola
e
ge
update pet for support f
o
r
r
ecent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
S
v
en Verdo
o
l
aege
s
u
mmate
.
c:
s
um_base: check for and
remove eq
u
alities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven
Verdoolaege
upd
a
te pet for supp
o
rt for
recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdool
a
ege
update isl for s
u
pport fo
r
recent cla
n
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven
V
erdoo
l
aege
barvinok 0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
e
n Verdoolae
g
e
updat
e
pet
to version 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
upda
t
e
isl to version
0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
add isl
.
py to
distributi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven
Verd
o
olaeg
e
ad
d
i
n
t
erfac
e
/all
.
h
and interface/
i
sl
.
p
y
.
top to dist
r
ibution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdool
a
ege
update cloog to ve
r
sion 0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
Sven Ve
r
d
o
o
lae
g
e
isl_pw_q
p
olynomia
l
_f
r
om_eval
u
e: co
n
str
u
ct zero
result
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verd
o
ola
e
ge
ParamLine_Length_mod:
p
r
operly handle empty i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sv
e
n Verdoola
e
g
e
partition2enumeration: f
i
x memory leak when input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Verdoo
l
a
ege
update
p
et for introduction of pet
_
o
p
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
iscc
:
use isl_ctx_parse_option
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoola
e
ge
updat
e
isl for hiding o
f
i
s
l_o
p
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
erd
o
olae
g
e
u
pdate is
l
f
or introduction of i
s
l
_
arg
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdo
o
lae
g
e
update pet for supp
o
rt for recent
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
e
n
Verdool
a
ege
u
pdate is
l
for su
p
port for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven
Verdoolaege
R
EADM
E
: drop re
f
erence to piplib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven V
e
rdoola
e
ge
i
s
cc
:
add "pa
r
ams" opera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sve
n
Verd
o
olaege
doc: ex
p
lain
s
yn
t
ax for
p
arameter domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
ven Verdoola
e
ge
up
d
ate
isl fo
r
special casing of gist with parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoola
e
g
e
isl_obj_str_
p
rint: properly pass al
o
ng isl
_
print
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven
Verdoolaege
explicitly
link i
n
a
l
l requ
i
r
ed libra
r
ies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdool
a
ege
configu
r
e
.
ac: quote
AC_LANG_PROG
R
AM call to
a
vo
i
d wa
r
ning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven V
e
r
d
oolaege
u
pdate pet
for e
x
plicit
l
y li
n
king in g
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
u
pdate isl
t
o
version 0
.
0
8
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
Verdoolaege
update polylib
t
o ver
s
ion 5
.
22
.
5 +
confi
g
ure fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoola
e
ge
update cloog
f
or rename of
L
ANGUAGE
_
C to CLOOG_LANGUAGE_C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven
V
e
rdoolaege
i
scc: add "m
a
p % do
m
ain" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en Verdoolaege
upd
a
t
e isl
f
o
r
i
sl_union_
m
ap_gist_dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
Sven
V
erdool
a
ege
polysign
.
h:
add missing declara
t
ion o
f
glpk_polyhedron_affin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdoolaeg
e
update pet for
support for rece
n
t
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verd
o
olaege
update isl f
o
r support for recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoo
l
aege
hul
l
.
c
:
add
mis
s
ing incl
u
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en
Verdoolae
g
e
r
educe_domain
.
c: include barvinok/barvi
n
o
k
.
h for barvinok_co
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en
Verdool
a
ege
evalue_isl
.
c: rel
a
tion2
p
wqp: pro
p
e
rly han
d
le
p
arame
t
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en Verdoolaege
barvinok_enumer
a
t
e
.
c
c
:
verify_isl
:
pro
p
e
r
ly
handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
e
rdoolae
g
e
a
dd isl
.
py
target
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
Verdoolaege
export some funct
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n
V
erd
o
olaege
config
u
re
.
ac:
s
e
t
ISL_BU
I
L
DDIR also in case
o
f
bundled is
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ver
d
oolae
g
e
up
d
ate
isl for extract_interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-30
Tobias G
r
osser
isc
c
: us
e
cloog_union_doma
i
n_from_isl_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verd
o
olaege
update is
l
for change
i
n isl_pw_aff
_
set_tu
p
le_id pro
t
o
t
ype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
ool
a
ege
include pet in distribut
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update pet for fix in
d
is
t
ribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoolaege
up
d
ate isl for isl_
s
et_
f
rom_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoolaege
dro
p
ome
g
a su
b
module
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Ver
d
oo
l
aege
configure
.
ac
:
ta
k
e
i
n
t
o
ac
c
ount prefix
of
system omeg
a
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
update isl for f
i
x in factorization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
ad
d
some iscc tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdool
a
ege
iscc:
only prin
t
new l
i
ne if something w
a
s
print
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
ven Ver
d
o
o
laege
iscc: add "asse
r
t"
o
pera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
ven Ve
r
d
o
ola
e
ge
iscc: add
== ope
r
a
t
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc: call_bin_op: h
a
ndle b
i
n
a
ry
t
est operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
v
en Verdoolaege
iscc
:
ex
t
ract o
u
t ca
l
l_
b
in_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sv
e
n Verdoolaege
update isl f
o
r "==" tokens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven V
e
rdool
a
ege
update
i
sl for c
h
a
n
ge in isl_ba
s
i
c_set
_
read_from
_
file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sve
n
Verdoolaege
update cloog for include fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdool
a
ege
up
d
ate
i
s
l
for
rem
o
val of isl_
d
iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
V
e
r
doolaege
update isl
f
or c
h
ange in
i
sl_{
i
n,}equ
a
lity_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven V
e
r
doolaege
update p
e
t for c
o
mpatibility with recen
t
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verd
o
olaege
up
d
at
e
isl-po
l
yli
b
for inclu
d
e p
a
th orderi
n
g issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoola
e
g
e
update isl for change in space
o
f
isl_pw_* objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sve
n
Verdool
a
ege
update isl
f
or explicit para
m
eter spa
c
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
iscc: properly handle a
p
plications of f
u
nct
i
ons
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sv
e
n Ve
r
doolae
g
e
isl_unio
n
_set_apply_union_pw_qpo
l
yn
o
mial: explic
i
t
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en
V
erdoolaege
isl_
p
w_qpolyn
o
mial_sum: simplif
y
cons
t
ruction of target
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaeg
e
i
sl_
s
et
_
car
d
: ex
p
licitly project result ont
o
para
m
eter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next