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.2
2013-04-23
Sven V
e
rdoo
l
a
ege
u
p
date isl to version
0
.
1
1
.
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-08
Sven Verdoolaege
e
value_isl
.
c: avoid use of isl_vec internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sv
e
n
Ve
r
d
o
ol
a
ege
updat
e
pet
f
or support for recent c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Ve
r
doolaeg
e
update isl for support for
r
e
cent
c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-10
Sven Verdoolaege
NTL
_
QQ: us
e
NTL's Vec tem
p
lat
e
class when availabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-06
Sven Verdoolaege
isl_pw_qpolynomial_sum:
error
o
u
t
if input does not
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
Sv
e
n Verdoolaege
iscc
.
c:
p
rint_
c
ode:
do not assume i
s
l
_
un
i
on_map_get_space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoola
e
ge
vertex_con
e
: check that
d
imen
s
ion is
a
t least one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven
V
er
d
oola
e
ge
barvinok_sum
_
over_polytope:
spe
c
ia
l
ca
s
e
0
D polytopes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven Ve
r
doolaege
sum
m
ate
.
c: sum_with_equalities: extract out sum_over_polytope_0D
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-10
Sven Verdoolaege
upda
t
e
isl to version 0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Verdo
o
l
aege
barvinok 0
.
36
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Ve
r
doolaege
lexmin
.
cc: lexmin: remove u
n
use
d
labe
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaeg
e
lattice_point
.
c
c
: fractional_part: remove unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
testlib
.
cc:
t
e
s
t
_hilber
t
:
fix
t
ests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verd
o
olaeg
e
iscc
.
c: read
_
b
o
ol_if_a
v
ailable: remo
v
e unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolae
g
e
upd
a
t
e
pet t
o
version 0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verdoolaege
update
isl to v
e
rsion 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Verd
o
olaege
READM
E
:
refer
to pet/RE
A
DME for mor
e
details on
h
ow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven V
e
r
doolaege
up
d
ate pet for support for
recent
c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
S
v
en
V
erd
o
olaege
update isl for supp
o
rt f
o
r
r
e
cent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
ven Ve
r
doolaege
drop cloog sub
m
odule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolae
g
e
use isl for code generatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven V
e
rdoolaege
up
d
at
e
isl for code generation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
S
ven
V
erdoola
e
g
e
iscc
.
c: add missing inc
l
u
des
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven
Ver
d
oolaege
u
pdate isl
f
o
r
renam
e
of !isl_set_dim_has_{lower,up
p
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven
Verdoolaege
doc: add another paper
r
efering
t
o the li
b
rary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
v
en V
e
rdoolaege
REA
D
M
E
: clarify
that /opt i
s
the
example installation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven V
e
rdoolaege
expo
r
t isl_
*
_
p
w_qpo
l
yn
o
mial_sum
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoola
e
g
e
updat
e
pet for add
i
n
g m
i
ssing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
Sven Verdoolaege
configure
.
ac:
c
heck for NTL/ZZ
.
h
h
eader befo
r
e check
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sven
Verdoolaege
u
pdate pet to version 0
.
02
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
u
pda
t
e
i
sl to ver
s
i
on 0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
d
oolaege
o
p
t
ions
.
c
: avoid cal
l
ing isl_
a
l
loc_type without valid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
e
n Verdoolaege
evalue_isl
.
c: div2eval
u
e:
e
x
plicitly c
h
eck for a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoo
l
aege
u
p
date isl for norma
l
ization of isl_te
r
m_ge
t
_di
v
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-30
Sven Verdo
o
laege
evalue_isl
.
c: add_term: im
p
rove
e
rror hand
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
S
v
en Verd
o
olaege
upd
a
t
e pet for support
for rec
e
nt
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
S
ven Verdoolaege
update isl
f
or sup
p
o
r
t for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
S
ven Verdoolaege
iscc: s
u
pport computat
i
on of arbitrary
(
non
-
zero) p
o
we
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Ve
r
doolaege
update isl for isl_union
_
map_fixed_p
o
wer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoolaege
u
pdate isl for
chan
g
e in i
s
l_pw_a
f
f_cond
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-12
S
v
en Verdoolaege
evalue
.
c: avoid
w
arning on use of
&& inside ||
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdool
a
ege
b
a
rv
i
nok_e
.
cc: enum
e
r
a
te_
l
i
n
e: fi
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdo
o
laege
s
ummat
e
.
c: ad
d
_
u
nboun
d
ed
_
guarded_qp: u
p
date to c
h
ange
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdool
a
ege
u
p
date
p
et fo
r
s
upp
o
r
t for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sv
e
n Verd
o
olaege
s
ummate
.
c: sum_base: check fo
r
a
nd remove equ
a
lities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sv
e
n Verdool
a
eg
e
update pe
t
for support for rece
n
t c
l
an
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven V
e
rdoolaeg
e
u
p
date i
s
l for support f
o
r
rece
n
t c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
ven
V
erdoolaege
barvinok 0
.
35
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sv
e
n Ver
d
oolaege
up
d
ate pet to v
e
rsion 0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en
V
erdool
a
e
ge
update
i
sl to ve
r
sion
0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
a
dd isl
.
py to distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
add
i
n
t
erface/a
l
l
.
h
and
i
n
t
e
rfac
e
/is
l
.
py
.
top to dist
r
ibution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdoo
l
aege
u
pda
t
e
c
l
o
og to versi
o
n
0
.
17
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
S
v
en
Verdo
o
la
e
ge
i
s
l
_
pw_qpolynomial_from_evalu
e
: constru
c
t zero
r
e
s
ult
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
Pa
r
amLine
_
L
en
g
th_mod: proper
l
y handle empty in
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoo
l
aege
partiti
o
n2enum
e
ration: fi
x
m
e
mory leak when i
n
put i
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
erdoolaege
update pet for introduction of pet_optio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verd
o
olaege
i
s
cc: us
e
isl_
c
tx
_
parse_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
update is
l
for hi
d
ing of is
l
_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
erdo
o
laege
update isl for intr
o
ductio
n
of i
s
l_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ver
d
oo
l
ae
g
e
update pet
for s
u
pport
for
recent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
u
p
date isl
for support for recent
c
la
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Ver
d
o
ol
a
ege
READM
E
: drop referen
c
e
to
pi
p
li
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
iscc: a
d
d
"par
a
ms" op
e
ratio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
doc: explain
s
y
n
tax for parameter
domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Ver
d
o
o
l
ae
g
e
updat
e
i
sl f
o
r spec
i
al
c
a
s
ing
o
f
gist
with para
m
e
t
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
isl_obj
_
s
tr_print: properly
p
ass along isl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
explicitly
l
i
n
k in all r
e
quired li
b
raries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoo
l
aege
configure
.
ac: quote AC_L
A
NG
_
PROGRAM call to avoid warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaeg
e
update pet for
e
x
plicit
l
y linking in gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven
V
erdo
o
laege
update isl to version 0
.
0
8
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdo
o
laege
update
p
oly
l
i
b to ve
r
sion
5
.
22
.
5 + confi
g
ure fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sv
e
n
Verdoola
e
ge
update
c
loog for rename o
f
LANG
U
AGE_C to CLOOG_LANGUAGE_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sv
e
n Ver
d
oolaege
iscc:
add "map % domain" operatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sv
e
n V
e
rdoolae
g
e
update
i
s
l fo
r
is
l
_u
n
ion_map
_
gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
S
ven Verdoo
l
aege
pol
y
sign
.
h
: a
d
d
m
issing decl
a
ratio
n
of glpk_polyhe
d
ron_affin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
S
v
en Verdoolaege
u
p
date
pet f
o
r support
for recent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoola
e
ge
u
p
dat
e
isl f
o
r support for recent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Verdool
a
ege
hull
.
c
:
add miss
i
ng include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sv
e
n
V
erdoolaege
r
educe_domain
.
c:
include ba
r
vinok/barvinok
.
h
f
o
r barvin
o
k_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
e
r
doolaege
evalue_isl
.
c:
r
e
lation2pwqp: properly han
d
le p
a
r
a
m
et
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en Verdool
a
e
ge
barvinok_enumera
t
e
.
cc:
verify_is
l
: properly ha
n
dle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verdo
o
laege
add isl
.
py tar
g
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaeg
e
export some functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
configure
.
ac: s
e
t
ISL_BUILDDIR al
s
o in case o
f
b
u
ndled
i
sl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n Verdo
o
laeg
e
updat
e
isl for extract_interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
a
e
g
e
update isl f
o
r
change
i
n isl_
p
w_aff_set_tuple_id prototyp
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
o
olaege
includ
e
pet in distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoolaege
u
p
date pet fo
r
fix in distribut
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
e
g
e
update
i
sl
f
or isl_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
olaege
drop o
m
eg
a
su
b
module
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoolaege
c
o
n
figure
.
ac: ta
k
e
into account prefix of system omega
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
ven
V
e
r
doolaege
up
d
ate isl fo
r
fix in
f
a
ctorization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
Verdoolaege
add some iscc te
s
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven
Verdoolae
g
e
is
c
c
:
only print n
e
w
line if so
m
ething was printed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Ve
r
doolaeg
e
isc
c
: add "
a
sse
r
t
" o
p
eration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sv
e
n Ver
d
oolae
g
e
iscc:
add =
=
ope
r
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc: ca
l
l
_
bin_op: handle bina
r
y test operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next