repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
drop cloog submodule
2012-09-22
Sven Verdo
o
la
e
g
e
drop cloog submo
d
ule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Ver
d
oola
e
ge
use i
s
l
f
o
r
code g
e
neration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
ve
n
Verdoolaege
u
pdate is
l
f
or
c
o
d
e generati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
S
v
en
Ver
d
oolaege
isc
c
.
c:
add m
i
ssing includes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdool
a
eg
e
update isl for rename of !isl_set_dim_has_{lo
w
er,upper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verd
o
olaege
d
oc
:
add a
n
o
t
h
e
r paper refering to the lib
r
ary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Ver
d
oolaege
README: clari
f
y
t
hat /op
t
i
s th
e
example inst
a
l
latio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sv
e
n Verdoolaeg
e
e
x
por
t
isl
_
*_pw_qpolynomial_sum
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
up
d
ate
p
et for addin
g
mis
s
ing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
Sven Ve
r
do
o
laege
configure
.
a
c: check f
o
r NTL/ZZ
.
h header bef
o
re checking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdoola
e
ge
update pet to version 0
.
0
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolae
g
e
update isl to versi
o
n
0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
oolaege
o
pt
i
ons
.
c: avoid calling isl_a
l
loc_type without valid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
evalue_isl
.
c: d
i
v
2
evalue: ex
p
licitly
check for and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sv
e
n
V
erdoo
l
aege
up
d
a
t
e isl for normalization of
isl
_
ter
m
_get_div resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-30
Sven Verdo
o
laege
evalu
e
_isl
.
c:
add_t
e
rm: improve error
h
andlin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
up
d
a
t
e pe
t
f
o
r support for r
e
cen
t
clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sv
e
n Verdoolaege
update isl for support
f
or re
c
ent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
S
v
en
V
erdo
o
laege
iscc: suppor
t
computati
o
n of arb
i
t
rary (non-
z
e
r
o) po
w
ers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verd
o
olaege
update isl f
o
r isl_union_map_fixed_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolae
g
e
up
d
ate isl for change in isl_
p
w_aff_cond
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-12
Sv
e
n Verdo
o
la
e
ge
evalue
.
c:
a
void warnin
g
on use of &
&
insid
e
||
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
barvinok_e
.
cc
:
enumerate_line: fix t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
sum
m
a
t
e
.
c
: add
_
u
nbounded_guarded_qp: up
d
a
t
e to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
S
ven Verdoolaege
update pet for support for
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sve
n
V
e
rdoo
l
aege
summate
.
c:
s
um_base: check for an
d
rem
o
ve equali
t
ies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
S
v
en Verdo
o
laege
update pet for
s
u
pport for
r
ecent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoo
l
aege
u
pdate isl
for support f
o
r
recent
cla
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
barvi
n
ok 0
.
3
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ve
r
doolaege
u
pdate pet to v
e
rsion 0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
u
pda
t
e isl to version 0
.
0
9
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoo
l
aege
add is
l
.
py to di
s
tribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven V
e
rd
o
olaege
a
dd interface/all
.
h a
n
d
interface/isl
.
py
.
top to distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdoolaege
update
c
loog to v
e
rsion
0
.
1
7
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
Sv
e
n
Verdoolaege
isl_pw_qpolynomi
a
l
_fro
m
_eva
l
ue: construct ze
r
o result
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
P
a
r
amLine_Length_mod: properly han
d
le empty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaeg
e
par
t
ition2enumeration: fix memor
y
l
eak when inp
u
t is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
erdoolaege
update pet for introductio
n
of
p
et
_
option
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven
Verdoolaege
iscc: use isl_ctx_parse_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n Verdoolaege
up
d
ate isl for
hid
i
n
g
of isl
_
optio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
ven Verd
o
olaege
u
p
date isl for i
n
trodu
c
tion of isl_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Verdoolaege
up
d
ate pet
for support for r
e
c
e
nt c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdoolaege
update isl f
o
r support
for r
e
cent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
README: drop reference to piplib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Ver
d
oolae
g
e
iscc: add "params
"
o
p
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sv
e
n V
e
rdoo
l
aege
doc: exp
l
a
i
n s
y
ntax for parameter domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven
Verdoo
l
aege
updat
e
isl fo
r
s
p
eci
a
l casing of
g
ist with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doolaege
isl_obj_str_pr
i
nt: proper
l
y
pass along
i
sl_p
r
inter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven
V
er
d
oola
e
ge
expli
c
it
l
y link in all requ
i
red librar
i
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
c
o
nfigure
.
ac: quote
A
C
_LANG_
P
R
OGRAM call to avoid warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaeg
e
upd
a
te pe
t
f
o
r explicitly linking in gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
update isl t
o
version
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 + configure fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sv
e
n V
e
rdoolaege
update c
l
oog
f
or rename of LANGU
A
GE_C to CLOOG_LANGUAGE_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sv
e
n V
e
r
do
o
laege
iscc
:
ad
d
"map % domain
"
ope
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven
Ver
d
o
o
l
aege
update isl for isl_union_map_
g
ist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
S
v
e
n V
e
rdoolaege
polysign
.
h: add mis
s
ing declaration of glpk
_
polyhedr
o
n_affin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdoo
l
aege
u
p
d
a
te pet for support for r
e
cent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoola
e
ge
update isl f
o
r s
u
pport for
r
ecent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Verdoolaege
hull
.
c: add mi
s
s
i
ng include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolae
g
e
re
d
uce_dom
a
in
.
c:
include barvinok/
b
arvinok
.
h for
b
a
rvinok
_
co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
evalue
_
isl
.
c
: rela
t
ion2p
w
qp: prop
e
rly h
a
ndl
e
parame
t
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
erdoolaege
b
a
rvinok_enumerate
.
cc: verify_
i
sl: pr
o
perly h
a
ndle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven V
e
r
doolaege
ad
d
isl
.
py target
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verd
o
o
laege
export some
fun
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en
V
e
rdoolaege
configure
.
ac:
set ISL_BUILDDIR also in case of b
u
ndled isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Verdoolaege
update isl for ex
t
ract
_
inte
r
f
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-30
Tob
i
as Gross
e
r
iscc: use clo
o
g
_
u
n
i
on_domain_from_isl_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update isl f
o
r change
in isl_pw_aff_set_tuple_
i
d
p
rot
o
ty
p
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoolaege
include pet in distr
i
bution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
e
r
do
o
l
a
ege
u
pdate
pet
f
o
r
fix in distributio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Ve
r
d
oolae
g
e
update
isl for isl_set_fr
o
m_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoola
e
ge
d
r
op
omega submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
aege
config
u
r
e
.
ac: take into acc
o
un
t
prefix of system
o
mega
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n
V
erdoola
e
g
e
update isl for fix in factorization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaeg
e
add s
o
m
e
i
scc tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sv
e
n Verdoolaege
iscc: on
l
y print new line if
so
m
ething was
p
rinted
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoo
l
ae
g
e
is
c
c: add "assert" oper
a
tio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoo
l
a
ege
iscc: add == operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc: call_bin
_
o
p
: handle bina
r
y
test operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
v
en
V
erdoolaege
isc
c
: extract out c
a
l
l
_bin_op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven
V
erdo
o
laege
update
isl
for "=
=
" t
o
kens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sv
e
n
Verdoolaege
updat
e
isl for change in i
s
l
_basic_set_read_from_
f
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoo
l
aege
update cloog for include fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Ver
d
oolaege
update
isl for
remov
a
l of isl_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdo
o
laege
update
i
sl for change in isl_{in
,
}equality_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
er
d
oolaege
update pet for compatibilit
y
w
i
th recen
t
c
l
a
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven
Verdoolaege
updat
e
isl-polylib fo
r
include path orde
r
i
n
g issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
update isl f
o
r change i
n
spac
e
o
f
isl_pw_*
objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaeg
e
update isl for explicit par
a
meter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
S
v
en Verdoolaege
iscc
:
pro
p
e
r
ly handle
a
pplicat
i
o
ns of functions on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
isl_union_set_apply_union_pw_qpolynomial: explicitly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Ve
r
d
oolaeg
e
isl_pw_qpolyno
m
ial_
s
um: simp
l
ify construction of target
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en
Verdoo
l
aege
isl
_
set_card: explicitly
p
r
oject
r
e
su
l
t on
t
o paramete
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdoolaeg
e
b
a
r
vinok_s
u
mmate
.
c:
v
e
r
ify_
p
oint: e
x
p
lic
i
tly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Verdoolaege
test_bound
.
c: avoid use
of undocumented isl
_
set
_
rem
o
ve_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verd
o
o
laege
isl_basic
_
se
t
_lattice_width: compute correct space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
updat
e
i
sl for i
s
l_pw_qpolyn
o
m
ial_pr
o
ject_d
o
m
ai
n
_on_
p
ar
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update clo
o
g for not using undocumente
d
isl_
s
et_extend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ve
n
V
er
d
oolaege
update
i
sl-
p
olylib for rename o
f
isl_dim t
o
isl_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
