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
isl_obj_str: print quotes around string
2011-03-15
Sven
Verdoolae
g
e
is
l
_
o
bj_str
:
print quo
t
es around stri
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
i
s
cc: kee
p
track of in
t
ermediate
r
esults in
i
n
terac
t
ive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
dool
a
ege
iscc: add pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
e
n Verd
o
ol
a
ege
iscc: add zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sve
n
Verdo
o
laege
iscc:
a
dd d
e
ltas_
m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
lex
m
i
n:
assu
m
e
u
nknowns and paramete
r
s ar
e
non-negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoo
l
aege
l
e
xmin: us
e
i
sl to read input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
dool
a
e
g
e
also perfor
m
lexmi
n
ch
e
ck i
n
absence
of
GL
P
K
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
V
erdoola
e
ge
pol
y
sign: add
isl-b
a
cked v
e
rsi
o
n and use it
by
d
e
f
ault
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ve
n
Verdoolae
g
e
u
pd
a
te
i
s
l-polylib for fix
in header
f
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
updat
e
isl for chan
g
e
i
n
i
sl_flow_get_no_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdoolaege
doc
:
d
oc
u
ment isl modulo notati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
d
o
o
laege
Makefile
.
am: put NTL CFLAGS after isl CFLAGS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
a
e
ge
iscc: re
a
d_line: fix retu
r
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ve
n
V
erdo
o
lae
g
e
evalue_isl
.
c
:
fix
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoolae
g
e
i
s
c
c: add operations on
int obj
e
cts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaege
update isl for introduction of i
n
t
objec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ver
d
oolae
g
e
add
i
sl_basic_set_card
a
nd
i
sl
_
basic_
m
a
p_card
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
docu
m
ent isl_union
_
se
t
_apply_union_pw_qpolynomia
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaeg
e
r
e
move polyhedron_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
ae
g
e
remove polytope_minimize a
p
plica
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Polyh
e
dron_Sample: u
s
e i
s
l un
c
o
n
ditionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
r
e
m
ove combine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
o
o
laege
b
u
ild libisl and libpolyl
i
bgmp be
f
ore libisl-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
er
d
o
olaeg
e
i
s
cc: support
ap
p
l
ication
of piecewise
quasi
p
o
lynomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n
Verdoolaege
d
o
c: fix documentation
o
f join of maps and fo
l
ds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
a
dd isl_un
i
on_set_
a
pply_union_pw_qpolynom
i
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolae
g
e
update isl for ex
p
ort
o
f is
l
_union_map_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
e
g
e
iscc: a
d
d write
o
pe
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
V
e
rdoolaege
iscc: optionally disable r
e
a
d
o
p
era
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sv
e
n V
e
rdool
a
e
g
e
d
o
c
: explain comma ope
r
a
t
o
r
i
n
a se
t
description
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ve
r
doolaege
i
s
cc
:
a
d
d typ
e
of
o
perator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoo
l
ae
g
e
add isl_str_from_string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
e
n
V
erdoolae
g
e
iscc
.
c: use C99
d
esignate
d
initializers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoolaege
iscc:
m
ino
r
improveme
n
t in err
o
r messa
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdo
o
l
aege
iscc: add domain
_
map a
n
d range_map operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdo
o
laege
iscc:
add
"
do
m
ain" and "
r
ange
"
sy
n
onyms
f
or "
d
om"
a
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verd
o
olaege
update isl to version 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
v
en Verdoolaege
iscc: don't al
l
ow code generation on union sets
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Ver
d
oo
l
a
e
g
e
update is
l
to
version 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
avoid use of isl
_
set and
i
s
l_
m
ap interna
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven
V
erdoola
e
g
e
separate out is
l
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdo
o
laege
confi
g
ure
.
in: propaga
t
e
absolu
t
e
isl build
d
ir
t
o
submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoolaege
update is
l
for rename of header files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdoo
l
a
e
ge
ev
a
lue_floor2fr
a
c: d
o
n't assu
m
e
coeff
i
ci
e
n
t
s of f
l
oors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_bound
:
st
o
p
testing after predetermined numb
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
e
rdoolaege
barv
i
nok_
b
ound: rewrite i
n
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdoolae
g
e
barvinok_{summate,boun
d
}: take
i
sl
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaege
test_
b
ound
:
swi
t
c
h
t
o isl representation even
e
arlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
ege
test_bound
:
swit
c
h to
isl representation earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolaege
is
c
c: add polynomi
a
l a
p
p
roximations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
v
e
n
Verdoo
l
a
ege
barvinok_summa
t
e:
rewrite in
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Ve
r
doolaege
barvinok_summat
e
: use i
s
l interf
a
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdo
o
laege
bound
.
cc: drop dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
S
ven Verdoolaege
doc: more informati
o
n about using se
t
s
a
nd maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verd
o
olaege
do
c
: u
p
date
s
ome refer
e
nces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verd
o
ol
a
e
g
e
iscc: ad
d
p
o
ly ope
r
atio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven
V
e
rdoolaege
i
s
cc:
a
dd
s
c
an ope
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Ve
r
doolaege
isl_pw_qp
o
lynomial_sum: h
a
ndle existentials in
wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sve
n
Verdoolaege
update isl
f
or
renami
n
g of isl_map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven
Verdo
o
la
e
ge
ve
r
sion
.
c: show use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
V
erdoo
l
aege
d
oc:
a
bit more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
olaege
i
s
cc:
a
d
d
before and af
t
er ope
r
at
i
ons
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdool
a
ege
iscc: add identity
opera
t
ion
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolae
g
e
iscc: bre
a
k
out off main
loop whe
n
printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdoolaege
iscc: supp
o
rt extended PolyL
i
b
o
utput fo
r
mat
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaege
c
o
nfigu
r
e
.
in
:
perform
check for GMP support in N
T
L
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaeg
e
isl_Po
l
yhedr
o
n
_
Sample: ad
d
missing initializ
a
ti
o
n
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoolaeg
e
i
s
cc:
add composition op
e
ration on piece
w
ise quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n
V
e
rdoo
l
aege
iscc: add dependence analysis ope
r
ations
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laege
i
s
cc: register
e
x
t
ra key
w
o
r
ds
i
n gene
r
i
c
w
a
y
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
use isl to perform "manual_coun
t
"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
e
ge
all
o
w buil
d
ing without pipli
b
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
Polyhed
r
on_Reduce
d
_Basis: o
p
t
i
o
na
l
ly use isl
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
fix depen
d
ence o
n
bu
i
ld isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laege
isl_map_card: use isl for
factor
i
zation
commit
|
commitdiff
|
tree
2010-09-14
Sven Ve
r
doo
l
ae
g
e
isl_map
_
card: spl
i
t
dimens
i
o
n
f
iddling from conver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdool
a
ege
isl_map_card: use isl_p
w
_qpolynomia
l
_sum if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
Ve
r
doolaege
barv
i
nok
0
.
3
2
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
update isl
f
or fix
i
n parameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
b
arvinok 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verdoolaeg
e
iscc: add lexico
g
raphic
operat
o
r
s
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rdoolaeg
e
update isl to ve
r
sion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Ve
r
doolaege
iscc:
a
dd "source
"
op
e
rati
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rdoolaege
iscc:
a
d
d
support for string
s
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rdoolaege
iscc: print error message on use of un
k
nown i
d
entifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
i
s
c
c: support union sets in vertices operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verd
o
olaege
add isl_list_c
o
ncat
commit
|
commitdiff
|
tree
2010-09-05
S
ve
n
Verdoolaege
b
arvin
o
k_bound: u
s
e
isl to split p
e
riods
commit
|
commitdiff
|
tree
2010-09-05
Sven Ve
r
doola
e
ge
up
d
ate isl
f
o
r isl_pw_qpolynomial_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
doc: m
a
r
k Poly
L
ib interface o
b
sol
e
scent
commit
|
commitdiff
|
tree
2010-08-31
Sven
Verdoolaeg
e
Makefil
e
.
am: d
r
o
p
references to ob
s
o
l
e
t
e @b
v
_barvinok_bo
u
nd@
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdoolae
g
e
eva
l
ue_conve
r
t
.
cc: evalue
_
print_isl:
print e
n
d-
o
f-line
commit
|
commitdiff
|
tree
2010-08-30
Sv
e
n Verdo
o
l
aege
isc
c
:
a
llow
c
oe
r
cion of bin
a
ry list into firs
t
element
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Verdoolaege
barvin
o
k
_
bound:
c
o
n
vert to isl_pw
_
q
pol
y
nomial once
commit
|
commitdiff
|
tree
2010-08-28
Sve
n
Verd
o
o
laege
barvinok_
b
ound: use
i
sl to split on d
o
main size
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
set s
e
nsible defa
u
lts with --p
o
lynom
i
a
l-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
Ver
d
oolaege
isl_pw_
q
po
l
ynomial_sum: reuse
b
a
rvinok_options i
f
available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
Ve
r
doolaege
i
s
l_map_card
:
r
e
us
e
barvinok_o
p
t
i
ons if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven
Verdo
o
laege
update is
l
f
o
r a
l
igning parameters of
u
n
i
on arguments
.
.
.
commit
|
commitdiff
|
tree
next