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 Ve
r
doolaege
lexmi
n
.
c
c
: lex
m
in:
remove unuse
d
l
a
bel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven V
e
r
d
oolaege
la
t
tice_point
.
cc: fra
c
t
ional_
p
art: re
m
ove unused la
b
e
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
v
en V
e
rdoolaege
testlib
.
cc: test_h
i
lbert:
f
ix tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
ven
V
erd
o
ol
a
e
g
e
iscc
.
c
: read_
b
o
o
l
_if_available: remove
unused
label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoo
l
aege
update pet to ver
s
ion 0
.
0
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
update isl to version 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolae
g
e
README: re
f
er to pet/READ
M
E fo
r
m
ore details on how
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Ver
d
oolaege
update pet for su
p
port for recen
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
update isl for support for
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en Verdoolaege
drop
c
lo
o
g
submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verd
o
ol
a
ege
us
e
is
l
for co
d
e
ge
n
eration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sv
e
n
Verd
o
o
laege
upda
t
e isl for
c
od
e
gen
e
ra
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoolaege
i
s
cc
.
c:
add missing includes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdo
o
l
aege
u
p
da
t
e is
l
fo
r
renam
e
of !isl
_
set_
d
im_has_{
l
owe
r
,upper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Verdoo
l
aege
d
oc: add
a
nother paper refering t
o
the library
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Ver
d
oolaege
README:
clarify that /opt is t
h
e
example inst
a
llat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
export isl_*_pw_
q
po
l
ynom
i
al
_
sum
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven
V
erd
o
olaege
update pet for adding miss
i
ng inc
l
ude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
S
v
en Verdoolae
g
e
conf
i
gure
.
ac:
c
h
e
c
k
f
or
NTL/ZZ
.
h
h
e
ader
b
efore checking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdoolaege
update pet to ve
r
sion 0
.
0
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en V
e
r
d
oolae
g
e
update isl
t
o vers
i
on 0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
V
erdo
o
laege
op
t
i
on
s
.
c: a
v
oid
c
alling is
l
_allo
c
_type without vali
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Verdoo
l
aege
evalu
e
_isl
.
c: di
v
2evalue: exp
l
ic
i
tly check fo
r
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Ve
r
doolaege
u
pdate isl for nor
m
alization of
isl_term_get
_
div
resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-30
Sven Verdool
a
ege
evalue_isl
.
c
: ad
d
_term:
improve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven
Ver
d
oolaege
update pe
t
f
or sup
p
ort
f
o
r recent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdo
o
laege
update isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
S
ven
Verdo
o
la
e
ge
i
scc: su
p
po
r
t computat
i
o
n
of arbitra
r
y (non-zero) pow
e
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven
Verdoolaege
update isl for isl_union
_
map_fixed_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolaege
update is
l
for change in isl_pw_aff
_
cond
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-12
Sven Verdo
o
la
e
ge
evalue
.
c: avo
i
d w
a
r
n
ing
o
n use o
f
&& insid
e
||
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoo
l
aege
barvinok_
e
.
cc: enumerate_line: fi
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven V
e
rdoolaege
summate
.
c: add_unbounded_guar
d
ed_qp: updat
e
to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
S
ven
V
e
rdoolaege
update p
e
t for sup
p
ort for
recent
c
lang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
summat
e
.
c
:
sum_base: c
h
eck for
and
r
emove equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sve
n
Ve
r
d
o
o
l
a
ege
updat
e
p
e
t f
o
r
s
upport for r
e
cent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sve
n
V
er
d
oolaege
update isl for support for
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
ba
r
vinok 0
.
35
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoo
l
aege
update pet to ve
r
sio
n
0
.
0
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en Verdo
o
laege
upd
a
t
e isl t
o
version 0
.
0
9
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
add isl
.
py to
d
istribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
add interface/a
l
l
.
h a
n
d interfa
c
e/isl
.
py
.
top to distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verd
o
olaeg
e
update
cloog to vers
i
on
0
.
17
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
S
v
e
n
V
erdoolaege
isl_pw_qpolynomial_from
_
ev
a
lue: constr
u
ct zero
r
es
u
l
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaeg
e
ParamLine_Length_mod:
p
ro
p
e
rly
handle
e
mpty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verd
o
olaege
partition2enumeration: fix
memory
leak wh
e
n input i
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ve
r
doo
l
aege
update pet for introduc
t
ion of p
e
t_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n V
e
rdoolaege
i
s
cc: use isl
_
ctx_p
a
r
s
e_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
update is
l
for hid
i
ng of isl_o
p
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n Verdool
a
e
ge
up
d
ate i
s
l
for introduct
i
o
n
of isl_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
erdoolaege
upda
t
e pet fo
r
support for
recen
t
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdoolaege
up
d
ate
isl for suppor
t
for
r
ecent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
README: drop re
f
erence to pip
l
ib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
S
ven Verdoolaege
i
scc
:
ad
d
"params"
o
peratio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
S
ven Ve
r
do
o
laege
doc:
explain s
y
ntax for parameter domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
update is
l
for specia
l
casin
g
of g
i
st with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Verd
o
olaege
isl
_
obj_str_print: pro
p
e
r
ly pass along isl_print
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven
V
er
d
oola
e
ge
explici
t
ly link in all required libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
ven Verdoolaege
configure
.
a
c: quote AC_LANG_PROGRAM call
to avo
i
d warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
Verdo
o
la
e
ge
updat
e
pe
t
for
e
xpl
i
citly
linking in gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoola
e
ge
u
p
date isl t
o
version
0
.
0
8
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven
Verdoolaeg
e
update polylib to v
e
rs
i
o
n
5
.
22
.
5 + confi
g
ure fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven
Verdoolaege
up
d
ate cloog for rena
m
e
o
f LANGUAGE_C to CLOOG_LANGUAGE
_
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
iscc
:
a
d
d
"map % domain" operati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
v
e
n Verdoolaege
u
pdate isl for
i
sl_union_map_g
i
st_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
Sven
Verdool
a
ege
polysign
.
h:
add
mi
s
sing declaration of glpk_pol
y
hedron_
a
ffin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
S
ven Verdoola
e
ge
update p
e
t
f
or suppo
r
t f
o
r
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sve
n
Verdoolaege
update
i
s
l for support for
recent cl
a
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
hull
.
c: add mis
s
ing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoola
e
ge
red
u
c
e_
d
om
a
in
.
c: include bar
v
inok/barvinok
.
h for barvinok_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdool
a
e
ge
evalue_
i
sl
.
c: relat
i
on
2
p
w
qp: properly
han
d
l
e
p
arameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ve
r
doolaege
b
a
rvinok_enumerate
.
cc: verify_isl: properly
h
andl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdo
o
la
e
ge
add isl
.
py tar
g
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoola
e
g
e
e
x
port s
o
m
e
f
unctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verdoolaege
configure
.
ac: set I
S
L
_BUILDDIR
a
lso in case of bundled
i
s
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n
V
erdoolaege
update
isl for extract_interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoolaege
update isl for c
h
ange
in isl
_
pw_aff_set_tuple_id
proto
t
ype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en
Verd
o
o
l
aege
include
p
et in distrib
u
ti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdo
o
laege
upd
a
te pet fo
r
fi
x
in distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdo
o
laege
u
p
d
a
te isl for isl_s
e
t_from
_
pa
r
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolae
g
e
drop omega submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
r
doolaege
configure
.
ac: take into accoun
t
pref
i
x of
s
y
s
tem
om
e
ga
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
ae
g
e
update isl for fix
in fact
o
riz
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoo
l
aege
add some iscc te
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc: only
print new
line if something was prin
t
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdo
o
laege
iscc: ad
d
"assert" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
erdoolaege
i
s
cc: add == op
e
r
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdo
o
l
ae
g
e
iscc
:
c
a
ll_bin_op: handle bin
a
ry test ope
r
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven V
e
rdoola
e
ge
iscc: ext
r
a
ct
o
ut call_
b
i
n
_o
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
ven
Ve
r
d
oo
l
ae
g
e
updat
e
is
l
f
o
r "==" tokens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven
V
e
r
d
o
olaege
update isl for
c
hange in
i
sl
_
basic_s
e
t_read
_
from_fi
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven
V
erdoolaege
update cloog for i
n
clude f
i
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Verdoolaege
u
pdat
e
i
s
l for removal of isl_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdo
o
l
aege
update isl for
change in isl_
{
in,}equalit
y
_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
v
e
n
Ve
r
dool
a
ege
update pet for comp
a
tibility with
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
update isl-polylib for inc
l
ude path ordering
i
s
s
ue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven
Verdoolaege
update isl fo
r
chan
g
e
in
s
pace of isl_pw_
*
objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sv
e
n V
e
rdool
a
ege
update isl for explicit parameter
s
paces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoola
e
ge
iscc: prope
r
l
y hand
l
e applications of funct
i
ons
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
is
l
_union
_
set_app
l
y_uni
o
n
_pw_qpolynomial: e
x
plici
t
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next