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.35
2011-12-18
Sve
n
Verdoolae
g
e
barvinok 0
.
35
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoola
e
g
e
u
pd
a
te pet to vers
i
on 0
.
0
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
update isl
t
o version
0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sv
e
n
Ve
r
doolae
g
e
add isl
.
py
t
o dist
r
ibut
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
ven Verdoolaege
add interf
a
ce/all
.
h a
n
d
int
e
rfa
c
e/isl
.
py
.
top to dis
t
rib
u
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdo
o
laeg
e
u
pdate cloog to versi
o
n 0
.
17
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
S
ve
n
Ve
r
doolaege
isl_pw_qpolynomial_from_eva
l
u
e: con
s
truct zero result
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
P
a
r
a
mLine_L
e
ngth
_
mod: properly handle e
m
pty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
S
ven Ve
r
doola
e
ge
partition2
e
numeration
:
fix memory leak w
h
en input is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sve
n
Verdool
a
ege
upd
a
te pet for i
n
t
r
o
d
uct
i
on of pe
t
_opt
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Verd
o
olaege
iscc: use isl_ctx_pa
r
s
e_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
ven Verdoo
l
aege
u
p
date isl for hidin
g
of isl_
o
ptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n Verdoolaege
update isl fo
r
i
ntroduct
i
o
n
of isl_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
u
p
d
ate p
e
t for support for rec
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ver
d
o
olaege
up
d
a
t
e isl for support
f
o
r
re
c
ent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
README: drop refe
r
ence to
p
iplib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
S
v
en Verdoolaeg
e
iscc: add "params
"
o
peration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
doc: e
x
plain syntax for
p
a
ramete
r
domain
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
update i
s
l for s
p
ecial casing of
g
ist with
p
ar
a
meter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdo
o
laege
is
l
_obj
_
str_p
r
int
:
prop
e
rly
pas
s
alo
n
g i
s
l
_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
explic
i
tly li
n
k
in all re
q
uired
li
b
raries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verd
o
ol
a
ege
co
n
figure
.
ac: q
u
ote AC_L
A
NG_PRO
G
RAM cal
l
t
o
a
v
oid
warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verd
o
o
l
aege
up
d
a
te pet for explicitly link
i
ng in gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoola
e
g
e
update isl to ve
r
sion 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
u
pdate polylib to version 5
.
22
.
5 + co
n
figure
fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
S
v
en Verdoolaege
up
d
ate cl
o
o
g for rename of LANGUAGE_C to CLO
O
G
_
LANGUAGE_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
iscc: add
"
m
ap % domain" opera
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en Verdoolaege
update isl for is
l
_union_map_gist_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
Sven Ver
d
o
olaege
polysign
.
h
:
add mis
s
i
ng declaration of glpk_p
o
lyhedr
o
n
_affin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven
Verdoolaeg
e
update
pet for support
for r
e
cent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
u
pdate isl for support
f
or
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ve
r
doolaege
hull
.
c: add m
i
ssing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Verdoolaege
r
e
duce_dom
a
i
n
.
c: include barvinok/barv
i
nok
.
h for barvin
o
k_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sv
e
n Verdoolaege
e
v
alue_isl
.
c
:
relat
i
on2pw
q
p: prop
e
rly handle parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdo
o
l
a
ege
barvinok_en
u
merate
.
cc: verify_isl: properly
handle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven
Verdoolaege
a
dd isl
.
py targe
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Ve
r
d
o
o
laege
e
xport some functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ver
d
oolaege
configure
.
ac: set ISL
_
BUILDDIR
a
l
s
o in c
a
se of
bund
l
ed isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoo
l
aege
upd
a
te isl for extract_int
e
rface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-30
Tob
i
as Grosser
iscc: use
c
loo
g
_union_domain_
f
rom_isl_
s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
up
d
ate i
s
l
for cha
n
g
e
i
n
is
l
_pw_aff_se
t
_tuple_id protot
y
pe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en
V
e
rd
o
ol
a
eg
e
in
c
lude pet in distri
b
ution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
u
pdate p
e
t for fix in distribut
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
update isl
f
or isl_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en
Ve
r
doolaege
drop omega submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
configu
r
e
.
a
c: take into account prefix of
s
ystem omeg
a
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
e
n Verdoolaege
u
p
date i
s
l
for fix
in factor
i
z
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verd
o
o
lae
g
e
a
dd s
o
me
i
s
c
c tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verd
o
o
laege
iscc:
o
nly p
r
int new line if so
m
ething
was printed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdo
o
laege
iscc: add "as
s
e
r
t" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolae
g
e
i
s
c
c: add == operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc: call_bin_op: h
a
ndle binary t
e
st
operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
iscc: ex
t
ract out call_bin_op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoo
l
aege
update
i
sl for "==" tokens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
S
v
en Verdoolae
g
e
update isl
f
or chang
e
in isl_ba
s
ic
_
set_read_f
r
om_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdool
a
e
g
e
update cloog for in
c
lude fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n
Verdo
o
laege
update isl for removal of
isl_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
oo
l
a
e
ge
upd
a
te isl for change i
n
isl
_
{in,}equality_al
l
oc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Verdoolaege
update pet
f
or
c
ompatibility
with rec
e
nt
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven V
e
r
doolae
g
e
updat
e
isl-polylib for in
c
l
u
de path ordering issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoola
e
ge
update isl for
change in space of isl_pw
_
* objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdool
a
ege
update isl for e
x
plicit paramet
e
r spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven
Verdoo
l
aege
i
scc: prope
r
ly handle ap
p
li
c
ations of functions on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sv
e
n Verdoolaege
isl_union_set_appl
y
_uni
o
n_pw_qpolynomial: explicitly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
i
sl_p
w
_qpolynomial_su
m
: s
i
mplify
const
r
uc
t
ion of ta
r
get
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
isl_se
t
_card
:
exp
l
i
citly project
result onto parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
barvinok_summa
t
e
.
c: verify_point: explicit
l
y project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdo
o
la
e
ge
t
e
st_bo
u
nd
.
c: avoid
use
o
f
und
o
c
u
ment
e
d
isl
_
se
t
_remove_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
isl_basic_set
_
lattice_width:
comput
e
co
r
rect spac
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdoola
e
ge
update isl for
i
s
l_pw_qpo
l
ynomial_project_domain_on
_
para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
V
e
r
doolaege
upd
a
te cloog for not using und
o
cumente
d
isl_
s
e
t_extend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update
i
s
l-polylib
f
or rename
o
f
isl_dim t
o
isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
doolaege
update
i
sl
for r
e
na
m
e of isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
e
n
Verdoolaege
upd
a
t
e
isl-polylib for som
e
fixes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olaege
update
p
et for
use
of
i
sl_map_h
a
s_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdo
o
laege
u
p
da
t
e isl
for isl_
m
ap_has_
t
uple_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olaege
update
i
sl fo
r
rename
of isl_map_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
u
p
date isl for chang
e
in is
l
_af
f
_
f
loor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
do
o
laege
updat
e
p
et for compati
b
ility wit
h
latest clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update isl for fix in isl_map_
i
ntersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
is
c
c: add parse_
f
i
le opera
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Ve
r
doolaege
add pet
s
ubmodul
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
S
v
en Verdoolaege
u
p
d
ate isl for
p
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
S
v
en Verdoolaege
private
l
y
e
xport isl_str_f
r
ee
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven
V
er
d
o
olaege
i
scc: only pr
i
nt valid result
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
Sve
n
Verdoolaege
ba
r
v
i
n
o
k
0
.
34
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
Sven Verd
o
olaege
u
pda
t
e
c
loo
g
t
o
versio
n
0
.
16
.
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-13
Sv
e
n V
e
rd
o
olaege
update isl t
o
v
ersion 0
.
0
7
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoolaege
autoge
n
.
sh: replace superproject par
t
b
y
ca
l
l to autoreconf
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
S
v
en Verdoolaege
c
o
n
figure
.
ac: use non-depr
e
cated form of
A
M_INIT_AU
T
OMAKE
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoolaege
re
n
a
m
e configure
.
i
n
t
o
c
o
nfigure
.
ac
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdo
o
laege
upd
a
t
e cloog for not depending
on
internal
r
e
presenation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoolaege
test
:
use isl
int
e
rfac
e
for testing lat
t
ice w
i
dths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
o
o
l
aege
i
scc: add l
a
ttice_width operatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erdoolaege
iscc:
r
eplace
s
che
d
ule_b
a
nds by sch
e
dule_fores
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoo
l
aeg
e
u
p
date isl
f
or fix in isl_schedu
l
e interfac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en
Verdoo
l
aege
upd
a
te cloog for addition of missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdool
a
eg
e
i
s
cc: accept e
m
pt
y
lis
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
r
e
mo
v
e
e
value_split_per
i
ods
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erdoolaege
dro
p
e
v
alue_co
n
ver
t
appl
i
c
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next