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
testlib.cc: test_hilbert: fix tests
2012-12-03
S
v
en Verdoolae
g
e
testlib
.
cc: te
s
t_hil
b
ert:
f
ix test
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sve
n
Verdool
a
ege
iscc
.
c:
read_
b
ool_if_ava
i
la
b
le
:
re
m
ove unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven V
e
r
d
ool
a
ege
u
pdate
p
et to ver
s
io
n
0
.
03
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verdoolaege
update
i
sl to version 0
.
1
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
doola
e
ge
R
EA
D
ME:
r
e
fer to p
e
t/REA
D
ME for more details on how
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven V
e
rd
o
ola
e
ge
update pet for support for recent
cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sv
e
n Verdoolaege
upda
t
e isl f
o
r sup
p
ort for
rece
n
t
c
l
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sv
e
n Verdoolaege
d
rop
clo
o
g
submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven V
e
rdoolaege
use isl f
o
r code generation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sv
e
n Verdoolaege
update isl for code g
e
nerat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sven Ver
d
oolaege
i
s
cc
.
c
:
add mi
s
sing includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaege
update isl for
re
n
a
me of !isl_set_dim_has_{lower,upper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sve
n
Verdoo
l
a
ege
doc:
a
dd a
n
o
th
e
r
pa
p
er refering to the library
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoo
l
a
ege
README: clarify that /opt is the exa
m
ple installation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
e
xpo
r
t
isl_*_
p
w_qpolynomial_sum
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven V
e
rdoo
l
aege
update pet for
a
dding missin
g
i
n
clude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
Sven Verdo
o
laege
c
onfigure
.
a
c: check
for N
T
L/ZZ
.
h header before checking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven V
e
rdoolaege
update pet to version 0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n
V
erdoolaege
u
p
date
is
l
to ver
s
ion 0
.
1
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
V
e
rd
o
olaege
o
ptio
n
s
.
c: avoid
c
a
l
ling isl_a
l
loc_typ
e
without valid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
e
v
alue_isl
.
c: div2eval
u
e: explicitly che
c
k
fo
r
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
S
ven Verdoolaege
u
pdate isl for normalization
of
i
s
l_term_
g
et_di
v
resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
Sven Verdoolaege
evalue_isl
.
c: add_term: im
p
rove e
r
ror handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sve
n
V
e
r
dool
a
e
g
e
update pet f
o
r support for
r
e
cent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sv
e
n Verdoolaege
u
p
date isl
f
or support
for r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoo
l
aege
iscc: support comp
u
tation of arbitrary (
n
on-zero) powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
S
v
en
Verdoolae
g
e
u
p
d
a
te i
s
l
f
o
r
isl_un
i
on_map_fixed
_
power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
r
d
oolaege
update
i
s
l
f
or change
i
n
isl_pw_
a
f
f
_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
Sven Verdoolaege
e
val
u
e
.
c:
a
v
o
id warning on use of &&
ins
i
d
e ||
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sve
n
Ver
d
o
olae
g
e
barvinok_e
.
cc: enu
m
erate_line:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Ver
d
ool
a
ege
summate
.
c
:
a
dd_unbou
n
ded_guarded_qp: update to cha
n
ge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Ve
r
doolae
g
e
update pet fo
r
support fo
r
recen
t
cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven V
e
r
doolaege
sum
m
ate
.
c: sum_ba
s
e: che
c
k for and remove equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sv
e
n Ve
r
d
oolaege
update pet for support
f
or re
c
ent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sve
n
V
e
rdool
a
ege
update isl for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
barvinok 0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verd
o
o
l
aege
upda
t
e p
e
t to ve
r
sion 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdo
o
lae
g
e
u
pdate is
l
to version 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdool
a
e
g
e
add isl
.
py to distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
add interface/a
l
l
.
h and interface/isl
.
py
.
to
p
to distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdoolaege
update cl
o
og to ve
r
sion
0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
Sven Verdoolaege
is
l
_pw_qp
o
lynomial_from_evalue: constru
c
t z
e
ro
r
esult
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
v
en
V
erdoolaege
P
aramL
i
ne_Le
n
gth_
m
od:
p
roperly handle
e
mpty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdo
o
laege
parti
t
i
on2enumeratio
n
: fix memory leak when in
p
ut is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
ven Ver
d
o
o
l
a
e
ge
u
p
dat
e
pet for intro
d
uction
of pet_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
e
n Verdoolaege
i
scc: use isl_ctx_parse_op
t
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
erd
o
olaege
update isl
for hiding of is
l
_
o
ptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Verdoolaege
update
isl for
i
ntroducti
o
n of isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ver
d
oolae
g
e
update pet for support
for recent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
e
n
Verdoolaege
u
p
da
t
e isl for support fo
r
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven
Verdoolaeg
e
README:
dro
p
reference to
p
ip
l
ib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven
V
e
r
doolaege
i
s
cc: a
d
d
"params" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven
Ve
r
doolaege
doc
:
explain syntax
for
parame
t
er domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
u
p
d
ate isl for speci
a
l
casi
n
g of gi
s
t wi
t
h par
a
meter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
isl_obj_str_pri
n
t:
p
rop
e
rly pass
a
long isl_
p
rinter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoo
l
a
e
ge
explicitly link
in all req
u
ired lib
r
aries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdool
a
ege
confi
g
ure
.
ac: quote AC_
L
ANG_PRO
G
RAM cal
l
to avo
i
d
w
a
rning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
ve
n
Verdoolaege
update pet
f
or ex
p
licitly l
i
nking i
n
g
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoola
e
ge
update isl to version 0
.
0
8
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
update polyl
i
b
t
o
versio
n
5
.
22
.
5 + conf
i
g
u
re fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven
V
e
r
do
o
laege
update cl
o
og for rename
o
f
LANGUAGE_C
to C
L
OOG_LANGUAGE_
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Ver
d
oolaege
iscc
:
add "map % domain" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en Verdool
a
eg
e
update isl
for isl_union_map_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
Sven Verdool
a
ege
polysign
.
h: add missing declaration o
f
g
lpk_polyhedr
o
n_affin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sven
Verdool
a
e
g
e
update pet for
support for r
e
c
en
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
upd
a
te
is
l
for support for rece
n
t cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
ven Ve
r
do
o
laege
hull
.
c: add miss
i
ng include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en Verdo
o
laege
re
d
uce_
d
omai
n
.
c: include barvinok/barvinok
.
h for barv
i
nok_
c
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdo
o
l
aeg
e
e
value_isl
.
c:
r
el
a
t
ion2pwqp: properly handle pa
r
ameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en Verdoola
e
ge
barvinok_enumerate
.
c
c: verify_isl: prope
r
ly handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n Verdo
o
l
a
ege
add isl
.
p
y
target
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoo
l
aege
export
s
o
me
f
unctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Ver
d
oolae
g
e
config
u
re
.
ac: set ISL_BUILD
D
IR al
s
o i
n
case of bundled isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verd
o
olaege
upd
a
te
isl for
e
xtract_in
t
erf
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-30
Tobias Gro
s
ser
iscc: use
c
l
o
og_union_d
o
main_from_isl_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update isl for
cha
n
ge in isl_pw
_
a
f
f_
s
et_tuple_
i
d pr
o
to
t
y
pe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doolaege
inclu
d
e pet in distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Ve
r
doolaege
update pet for
fix in dis
t
ribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n V
e
rdoolaege
u
pdate isl
f
or is
l
_set_from_p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
oolae
g
e
d
rop o
m
ega submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
V
e
r
d
o
o
laeg
e
configure
.
ac: t
a
ke in
t
o
a
c
count
p
refix of system omega
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
update
i
sl for fix in factorization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
a
d
d some iscc tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Ver
d
oolaege
iscc: onl
y
p
rint new line if somethi
n
g
w
as printed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
erdoolaege
iscc: add "asser
t
" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
erdoolaege
iscc: add ==
operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoo
l
ae
g
e
isc
c
: call_bin_
o
p:
hand
l
e
binary test ope
r
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdool
a
ege
iscc: extract
out cal
l
_bin_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven
V
erdoolaege
update
isl fo
r
"==" tokens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sv
e
n Ver
d
oolaege
u
p
d
a
te isl for change in isl_b
a
sic_se
t
_read_from_fi
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven V
e
rdoolaege
u
pdat
e
cloog for
i
nc
l
ude f
i
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n
Verdool
a
ege
up
d
a
te isl for rem
o
v
a
l
of isl_d
i
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verd
o
ola
e
ge
update isl for c
h
an
g
e in
i
sl_{in,}equality
_
alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ve
r
do
o
laege
update pet f
o
r
compatibility w
i
th re
c
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven
V
e
rdo
o
laege
update isl-po
l
ylib for include path orde
r
ing issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolae
g
e
update isl
for change in sp
a
ce
of is
l
_pw
_
* objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven
V
erdoolaeg
e
update i
s
l f
o
r explicit
p
aram
e
ter
sp
a
ces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdo
o
l
a
ege
iscc: properl
y
handle applications
of f
u
nctions o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Ver
d
oola
e
ge
i
s
l_union
_
set_app
l
y_u
n
io
n
_pw_qpolynomia
l
:
explic
i
tly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
isl_pw_qpolynomial_sum: simp
l
ify
cons
t
ructi
o
n of t
a
rget
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next