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
barvinok 0.36
2012-12-03
Sven Verdoolae
g
e
b
a
rv
i
n
o
k 0
.
36
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
doolaege
lexmin
.
cc:
lexmin: remove unused
l
abel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
v
en V
e
rdoolaege
lattice_
p
o
i
nt
.
cc: fraction
a
l_pa
r
t
:
remove
unused
label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
testlib
.
cc:
t
est_hilbert: fi
x
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
iscc
.
c: read_b
o
ol_if_avai
l
a
b
le: remove unused lab
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
upd
a
te pet to version 0
.
03
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erdoolaeg
e
upd
a
te isl to v
e
r
s
ion
0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verd
o
olaeg
e
README: refer to pet/
R
EADME
for
mo
r
e
details on ho
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
S
v
en
V
e
rdoolaeg
e
u
pda
t
e
p
et for su
p
port for r
e
cent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
update isl for
support
for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
dr
o
p
cl
o
o
g
submo
d
ule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sve
n
Verdoolaege
use isl for
c
ode generation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en Verdoolaeg
e
u
p
date isl
f
o
r
co
d
e
g
eneration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoolae
g
e
iscc
.
c: add mi
s
sing inc
l
u
des
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven
V
erdoolaege
update isl fo
r
rena
m
e of !isl_set_dim
_
ha
s
_{
l
ower
,
up
p
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdo
o
laeg
e
doc:
a
dd
anot
h
er p
a
per ref
e
ring to t
h
e library
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Ver
d
oolaege
README: clarify that /
o
pt i
s
the examp
l
e inst
a
llatio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sv
e
n Verdoo
l
aeg
e
e
xpor
t
isl
_
*_pw_qpoly
n
omial_sum
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sv
e
n Verdoolaege
u
p
date pet fo
r
adding mi
s
s
in
g
include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
Sve
n
Verdoolaege
c
o
nfigu
r
e
.
ac: check for NTL/ZZ
.
h header befo
r
e ch
e
ck
i
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
S
v
en Verdo
o
laege
up
d
a
t
e
pet to version 0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Ve
r
doolaege
update i
s
l to version 0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
doolaege
options
.
c: avo
i
d
c
all
i
ng isl_a
l
l
oc_typ
e
without valid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
evalue_isl
.
c: div2
e
value: expl
i
citly ch
e
ck for and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
S
ve
n
Verdo
o
lae
g
e
update isl f
o
r no
r
m
alization of
isl_term_get_div result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
S
v
e
n Verd
o
o
l
aege
eval
u
e_i
s
l
.
c
: add
_
term: improve error h
a
ndling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
S
ven Verdoolaege
update
p
et for su
p
p
ort for rec
e
nt clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
S
ven Verd
o
olaege
updat
e
isl
for
support for
recent
c
lang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven
V
erdoolaege
iscc:
s
upport
c
o
m
putation of arbitra
r
y (non
-
z
e
ro) powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
S
ven Verdo
o
laege
update isl for isl_
u
nion_map_fixed_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ve
n
Verdoola
e
ge
up
d
ate isl for
change in isl_pw_aff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
S
v
en Verdoo
l
aege
evalue
.
c: avoid warning on
use of
&&
i
nside
|
|
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
S
v
e
n
Ve
r
doo
l
a
e
ge
barvi
n
ok_e
.
cc:
enumerate_line: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verd
o
olae
g
e
summate
.
c: ad
d
_unb
o
unded_guarded_qp:
update
to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sv
e
n Verdoo
l
aege
update p
e
t for support for r
e
cent
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdo
o
laege
summat
e
.
c: s
u
m_base: check for and rem
o
v
e equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven
V
e
rdoolaeg
e
update pet f
o
r support for recent
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sv
e
n Ver
d
oolaege
update
i
sl
f
o
r su
p
por
t
for recent
cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoola
e
ge
barvinok 0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
update pet to version 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven
Verdoolaege
u
p
d
a
t
e
i
sl to version 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoo
l
aege
add isl
.
py to distribu
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven V
e
rdoolaege
add interface/all
.
h an
d
inte
r
fac
e
/isl
.
py
.
top
to dist
r
ibution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdoolaege
update cl
o
og to version
0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
S
v
en Verdo
o
laege
isl
_
pw_qpolynomial_from_evalu
e
: c
o
nstruct
zero result
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven
V
erdool
a
eg
e
ParamLine_Len
g
th_mod: pro
p
erly handle
e
m
p
t
y in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
partition2enu
m
eration: fix memory leak when input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
e
r
d
oolaege
update pe
t
fo
r
introduc
t
ion of pet_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
ven Ver
d
oolaege
iscc: use
is
l
_ct
x
_parse_opt
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verd
o
olae
g
e
update isl for
h
idin
g
o
f isl_optio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoola
e
ge
update isl fo
r
introdu
c
tion of isl
_
args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
e
n
Verdool
a
ege
upd
a
te pet for
s
upport for
r
ecent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
upda
t
e isl for su
p
port for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verd
o
o
laege
RE
A
DME
:
drop refer
e
nce to piplib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoo
l
a
ege
iscc: add "
p
arams" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
doc: e
x
plain sy
n
tax
f
or
p
ara
m
eter domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
update isl f
o
r sp
e
cial casi
n
g
of gist with
p
arameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
isl_obj_str_prin
t
: properl
y
p
a
ss alon
g
isl_pri
n
ter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ver
d
oolaege
explicitly
l
ink
in all required libra
r
ies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven V
e
rdoolaege
c
o
n
figure
.
ac:
q
uote AC_LANG
_
PR
O
GRAM call t
o
avoid
w
arning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en V
e
r
d
oo
l
a
e
ge
update
pet for exp
l
icitl
y
linking i
n
gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
Verdoo
l
a
ege
update
isl
t
o version 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven
V
e
rdoolaeg
e
upd
a
t
e
po
l
y
lib to version 5
.
22
.
5 +
c
onfigure
fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven Ver
d
oolaege
updat
e
cl
o
og for rename of LANGU
A
GE_C to CLO
O
G_L
A
N
GUAGE_C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
iscc: add
"
map
%
d
omain"
o
peratio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
upd
a
t
e
is
l
for isl_union_map_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
Sven V
e
rdoolaege
po
l
ysign
.
h:
a
dd missin
g
de
c
la
r
ation
of glpk_polyhedr
o
n_affi
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sven V
e
rd
o
olaege
update
p
e
t
for
suppo
r
t fo
r
re
c
ent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
update isl for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoo
l
aege
hull
.
c: a
d
d missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ve
r
doolaege
re
d
uce_domain
.
c: i
n
c
lude
b
arvin
o
k/b
a
rv
i
nok
.
h for barvinok_co
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
evalue_isl
.
c: relation
2
p
wqp: properly handle para
m
eter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoola
e
ge
barvinok_enumerate
.
cc: verify
_
isl: prope
r
l
y
handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add isl
.
py tar
g
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Ve
r
doolaege
export
s
ome func
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n Verdoolae
g
e
config
u
r
e
.
ac: s
e
t ISL_BUILDDIR also in case of bundled isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n Verdoolaege
upda
t
e isl for
extract_int
e
r
f
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-30
Tobias Grosser
i
s
cc
:
use cloog
_
u
ni
o
n_dom
a
in_from_isl_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoolaege
update isl for change in isl_pw_aff_
s
et
_
tupl
e
_id prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doolae
g
e
i
n
clude pet i
n
distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdoolaege
update pe
t
for fix in distri
b
ution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update isl f
o
r isl
_
set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
drop om
e
ga
submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
aege
configure
.
ac: take in
t
o account prefix of system omega
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
ae
g
e
update isl for fi
x
in
f
actorization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
add some iscc t
e
sts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc: only p
r
int new line
if someth
i
ng
was
p
r
i
nt
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven V
e
rdool
a
ege
i
scc: add "a
s
s
e
rt" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoo
l
aege
isc
c
:
add == operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
Verd
o
olaege
iscc:
call_bin_op: han
d
le binary test operati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
v
e
n
V
e
rdoolaege
iscc: extract out ca
l
l_bin_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sve
n
Verdoolaege
up
d
ate isl
for
"=
=
"
token
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sve
n
Verdoolaege
update isl f
o
r ch
a
nge
i
n isl_basi
c
_
s
et_read_from_f
i
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven Ve
r
doolaege
up
d
ate cloog for
in
c
lude fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ve
r
doolaege
update isl for removal of isl_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven V
e
rd
o
olaege
u
pd
a
te isl for change in isl_{in,}equality_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
ool
a
ege
update pet for compat
i
bilit
y
with recent cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Ver
d
oolae
g
e
update isl-polylib for include
p
at
h
or
d
ering
i
s
s
u
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoola
e
ge
update isl for c
h
an
g
e in space of isl_pw
_
* o
b
jec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
S
v
en
V
e
rdo
o
laege
update isl f
o
r explicit par
a
meter spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next