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
Sv
e
n Verd
o
olaege
lexmin
.
cc: lexmin:
remove unu
s
ed label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sve
n
Verdoolaege
lattic
e
_po
i
nt
.
cc: fractional_p
a
r
t:
remove unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
testli
b
.
cc: te
s
t
_
hilbert: fix tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Verdoolaege
iscc
.
c: read_bool_if_av
a
ilable
:
remove unus
e
d l
a
bel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolae
g
e
update pet to versi
o
n
0
.
0
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verdo
o
l
a
ege
update isl to version 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Ve
r
doolaege
R
EA
D
ME: re
f
er to
p
et/README for more details on ho
w
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
S
ve
n
Verdoolaege
update
p
et for support for rec
e
nt c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
S
ven Verdoolaege
upda
t
e isl for
s
upport for
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Ver
d
o
o
lae
g
e
drop cloog submo
d
u
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
use isl for
c
ode gen
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
update isl for c
o
de
generatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoolaege
is
c
c
.
c: add missing includes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoo
l
a
e
ge
update isl for ren
a
me of !isl
_
set_dim_has_{lower,
u
p
p
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
doc:
add
a
nother paper refering to the lib
r
a
r
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sve
n
Verdo
o
l
a
ege
R
EADME: c
l
ari
f
y that /opt i
s
the example installa
t
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven
Verdoolaege
export isl_
*
_pw_qpolynomial_sum
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Verdoolaege
up
d
a
t
e pet fo
r
add
i
n
g mi
s
sing inc
l
ude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
S
v
e
n Ver
d
oolaege
con
f
igure
.
ac: check for
N
TL
/
ZZ
.
h heade
r
before
c
hecki
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdoolaege
update pet t
o
version 0
.
02
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
oolaege
u
p
date
i
s
l to version 0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoo
l
aeg
e
options
.
c: avoi
d
calling
i
s
l
_all
o
c_
t
ype without va
l
id
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
aeg
e
eva
l
ue_isl
.
c: div2ev
a
lue
:
explicitly check
f
or
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
update isl
f
or normalization of
isl_term_
g
et_di
v
r
e
sul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-30
Sven
V
erdoolaege
evalue_isl
.
c: add_
t
erm: impr
o
ve er
r
or handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
S
v
en Verdoo
l
ae
g
e
update
pet for sup
p
ort for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
S
ven Verdool
a
ege
update
isl for
su
p
p
o
rt fo
r
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sve
n
Verdoo
l
aege
iscc: support computation of arbitrary
(non-zero) p
o
wers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdo
o
l
aege
updat
e
isl for is
l
_union_map_fixe
d
_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Ve
r
doolaege
update
i
sl
f
or change in isl_pw_aff_con
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-12
Sven Verdoolaege
evalue
.
c: avo
i
d
warning
on use of && inside ||
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoo
l
aeg
e
barvino
k
_e
.
cc: enum
e
rate_line: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Ver
d
oo
l
aege
summate
.
c
:
add_unbounded_guarded_qp
:
update to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
update p
e
t f
o
r support fo
r
recent
c
l
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
summate
.
c: sum_base: chec
k
for and
remove
e
q
u
alities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven
V
er
d
oolaege
up
d
ate p
e
t for su
p
po
r
t f
o
r
recent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaeg
e
update isl f
o
r s
u
pport
f
o
r
recen
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdo
o
l
aege
b
a
r
vinok 0
.
35
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
upd
a
t
e
pet to version 0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoola
e
ge
u
p
da
t
e
i
sl to version
0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven
V
e
rdoolaege
add
isl
.
py to
d
istributi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdo
o
l
aege
add inte
r
face/all
.
h and interfac
e
/isl
.
py
.
t
op t
o
distr
i
b
ution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
Sven Ve
r
d
o
o
l
a
ege
u
p
date cloog to version
0
.
1
7
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
Sven Verdoolaege
isl_pw_
q
polynomial_
f
rom_eval
u
e: construct zero result
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven
V
erdoolae
g
e
P
aramLi
n
e
_
Length_mo
d
:
properly handle
e
mpty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sve
n
Verdoolae
g
e
p
artition2enu
m
eration:
f
ix
m
e
mory leak when input is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
update pet for introduction o
f
pet_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoo
l
aege
i
scc: use is
l
_ct
x
_par
s
e_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdool
a
e
ge
update isl for h
i
ding of isl
_
opt
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Ve
r
doo
l
aege
u
pdate isl
f
o
r in
t
roducti
o
n
of isl_a
r
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoola
e
ge
updat
e
pet for
suppo
r
t
for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Ver
d
o
olaeg
e
update isl for support for
recent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Ver
d
oo
l
aege
R
E
AD
M
E: drop reference to pip
l
i
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sve
n
Verdo
o
l
aege
i
s
cc: add "
p
arams" oper
a
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven
V
e
rd
o
ola
e
ge
doc: explain syntax for parame
t
er domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven
V
erdoola
e
ge
update isl for special cas
i
ng of g
i
st
w
ith paramet
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoola
e
ge
isl_obj_str_pr
i
nt: prop
e
r
l
y pas
s
along isl_print
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ve
r
doolaege
ex
p
licitly link
i
n a
l
l
r
equired libr
a
ries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en Verd
o
o
l
aege
configure
.
ac: qu
o
t
e
AC_LANG_PROGRAM call to avoid w
a
rni
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ver
d
oola
e
ge
update pet fo
r
explicitly linking in gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
v
e
n Ver
d
oolaege
update isl to version 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ve
r
doolaege
update polylib to version 5
.
22
.
5 + configure fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdo
o
laege
u
p
date cloog
for
rena
m
e of LANGUAGE_C t
o
CLOOG_LAN
G
U
AG
E
_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
iscc: add "map %
d
omain
"
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en
V
erd
o
olae
g
e
update
i
sl
f
o
r
i
sl_union_map
_
gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
Sven Verdoola
e
ge
polys
i
gn
.
h: add missing declaration of glpk_po
l
yhe
d
ron_
a
ffin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdoolaege
update pet f
o
r
su
p
p
o
r
t for
rece
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdo
o
laege
update isl for support for
re
c
ent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
e
rdoolaege
h
u
ll
.
c:
a
dd
missing includ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ver
d
oolaege
reduce_domain
.
c: include
b
arvino
k
/
barvi
n
ok
.
h for barvino
k
_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en V
e
rdoolaege
evalue_isl
.
c:
r
elation2pwqp:
prope
r
ly handl
e
parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdo
o
laege
barvinok_enumerate
.
c
c
:
ver
i
fy_is
l
: properly hand
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdo
o
laege
add
isl
.
py
t
a
r
g
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
v
e
n Verdoolaege
export som
e
functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ve
r
doolae
g
e
c
o
nf
i
gure
.
ac: s
e
t ISL_B
U
IL
D
D
I
R also in case of
bundled is
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
v
e
n Verdoolaege
u
pdate isl fo
r
extract_interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdo
o
laege
update isl for change
i
n isl
_
pw_aff_set
_
tuple_id
p
rototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
e
n Verdoolaege
in
c
lude
pet in
d
is
t
ri
b
u
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en V
e
rdoolaege
update
pet for fix in distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
e
n Verdoola
e
ge
updat
e
isl for isl_set_from_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rdoolaege
drop o
m
ega submodu
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
e
rdoolaege
configure
.
ac:
take
into account prefix of system omega
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verdoolaege
upd
a
te isl
f
or fix i
n
facto
r
izati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verd
o
olaege
add some
i
scc tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verd
o
olaege
iscc: only p
r
int new
l
ine
i
f something was printed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
erd
o
olaege
iscc: add "assert"
o
p
era
t
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Ver
d
o
olaeg
e
iscc: add == op
e
ra
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
ven Verdool
a
ege
iscc:
c
al
l
_bin_op: handle binary
t
est ope
r
ation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdo
o
la
e
g
e
iscc: ext
r
act o
u
t ca
l
l_bin_op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sve
n
V
e
r
doolaege
update
isl for "=
=
" tokens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolae
g
e
update isl for ch
a
ng
e
in isl_basic_set_read
_
from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdool
a
ege
update c
l
o
o
g for includ
e
f
ix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
ven Verdoo
l
aege
up
d
ate isl for removal
o
f
isl_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
erdoo
l
aege
u
pda
t
e
isl for cha
n
ge in isl_{in,}equality_al
l
o
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven V
e
rdoolaege
upda
t
e
p
et f
o
r
compatibility with recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sve
n
Verdoola
e
g
e
updat
e
isl-polylib for include path ordering issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven
Verdoolaege
update
i
sl for chan
g
e in s
p
a
c
e o
f
is
l
_pw
_
*
o
bje
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
update isl f
o
r expl
i
cit
parameter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
i
s
c
c: pro
p
e
rly handle
applicati
o
n
s
of fu
n
c
t
ions on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
i
sl_u
n
i
o
n_set_apply_un
i
on_pw_q
p
o
ly
n
om
i
a
l
: explicitly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
