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.33
2011-03-18
Sve
n
V
e
rdoolaege
barvinok 0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Ve
r
doolaege
iscc
.
c: f
i
x typo which would prevent
c
ompilation in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoo
l
aege
u
pdate
i
sl to versio
n
0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_pw_qpo
l
yn
o
mial_sum: handle ex
i
stent
i
als
i
n
non
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaeg
e
drop piplib submod
u
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
stop u
s
ing
pip
a
s LP
solver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
doc: cons
t
r
ai
n
ts no l
o
ng
e
r need
to be spe
c
ified in
DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Ver
d
oolae
g
e
iscc: pars
e
lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
add
isl_list_add_
o
bj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Ver
d
o
o
laege
isc
c
:
pa
r
se b
o
olean
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaeg
e
iscc:
al
l
ow interruption
o
f c
o
mput
a
tion from the k
e
yboard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
S
v
en Verdoola
e
ge
avoid u
s
e
of isl_ctx i
n
ternals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
ven
Ve
r
doolae
g
e
isl_obj_s
t
r: print quot
e
s aroun
d
stri
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en V
e
rd
o
olaege
iscc: keep track o
f
intermediate results in interactive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Ve
r
d
o
olaege
iscc: add pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Verdo
o
la
e
ge
iscc: add zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven
Verdoolaege
iscc: add
d
eltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdo
o
laege
le
x
min:
ass
u
me unknowns an
d
par
a
mete
r
s
a
re
n
on
-
negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
lexmin: use isl to read input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoola
e
g
e
also perform
l
exmin chec
k
in absenc
e
of GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en V
e
rdoolaege
polysign: add isl-ba
c
ked v
e
rsion and
u
se it by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
updat
e
i
s
l-polylib
f
or fix i
n
header
f
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaeg
e
u
pdate
i
s
l
for c
h
an
g
e in
isl_flow_ge
t
_no_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdoolaege
doc: d
o
c
u
ment i
s
l modulo n
o
t
a
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdoolaege
M
akefile
.
am: put
NTL
C
F
LAGS after is
l
CFL
A
GS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aeg
e
is
c
c: read_l
i
ne: fix return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaege
eval
u
e
_
i
s
l
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
iscc: add op
e
r
ations on
i
n
t o
b
jec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaege
update i
s
l
for introduction
o
f i
n
t
o
bjects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
V
erdoolaege
a
d
d isl_basic_set_car
d
a
n
d isl_
b
a
sic_
m
ap_card
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoo
l
aege
docum
e
nt
i
sl
_
unio
n
_set_appl
y
_union_pw_qpo
l
ynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoo
l
ae
g
e
remov
e
pol
y
hedron_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
r
e
mov
e
polytope
_
minimize appl
i
cation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdo
o
laege
Polyhe
d
ron_Sample: use i
s
l
u
nconditionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove
c
ombine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
build libisl and
l
ibpolylibgmp before
l
ibisl-p
o
lylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
iscc: s
u
p
p
ort
application of pie
c
ewise qu
a
sip
o
lynom
i
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
doc
:
fix
documentati
o
n
of join of m
a
ps and fol
d
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoola
e
ge
a
d
d
is
l
_
uni
o
n
_set_a
p
ply
_
union_pw_qpol
y
nomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoola
e
ge
u
pdate i
s
l for exp
o
rt of is
l
_union_map_from_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
is
c
c: add write opera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
iscc: optionally di
s
able r
e
ad
opera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven
V
erdoo
l
a
e
ge
d
oc: explain comma operator in a set description
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven V
e
rdoolaeg
e
is
c
c: add
t
y
p
eof operator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
laege
add isl_str
_
f
rom_string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
e
n Verdoolaege
iscc
.
c: us
e
C
9
9 designated ini
t
ializers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
oo
l
aeg
e
iscc: m
i
nor improveme
n
t
in
e
rror message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ver
d
oolaege
i
s
cc: ad
d
domain_map
a
nd range_map
o
perations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven V
e
rdoola
e
ge
iscc: add "domain" an
d
"r
a
nge" synony
m
s for "dom" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n
V
erdoola
e
g
e
u
pdate isl to
version 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sv
e
n Verdoolaege
iscc: d
o
n'
t
al
l
ow code ge
n
erati
o
n on
union
s
ets
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
S
v
en V
e
r
d
oo
l
aege
update isl
t
o versio
n
0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
S
v
e
n
Ver
d
oolaege
avoid
u
se of isl_set and isl_map internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sve
n
Ver
d
o
o
laege
sep
a
rate out isl int
e
rfa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven
V
e
rdoolaege
configure
.
in: propagate
absolute isl builddir to submodul
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoo
l
aege
update isl for rename of he
a
der files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
eva
l
u
e
_floor2fr
a
c: don't assume coeff
i
cients
o
f floors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdo
o
laege
test_bou
n
d: st
o
p
t
e
stin
g
after predet
e
rmined num
b
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
ege
b
a
rvi
n
ok_
b
ound:
rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
V
e
rdoolaege
ba
r
vin
o
k_{summate,bound
}
: take isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
ge
test_bound: switch to isl
repres
e
ntation
e
v
en earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoolae
g
e
t
e
st_bound: switch to isl representation
e
ar
l
ier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oolaege
i
scc: add po
l
ynomial a
p
pro
x
imat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
v
e
n
Verdoolaege
b
arv
i
nok_
s
ummate: r
e
w
rite
in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaeg
e
barvinok_summat
e
: use isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
S
v
en Ver
d
oolaege
bound
.
cc: d
r
o
p dead
c
o
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Ve
r
doolaege
doc:
mor
e
information
a
bout using sets and
m
aps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven
V
erdoolaege
doc: update some reference
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
iscc: add poly
o
pera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
S
v
en Verdoolaege
iscc
:
add sc
a
n operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sv
e
n Verdoolaeg
e
is
l
_pw_
q
po
l
yn
o
mial_sum:
handle
ex
i
s
tenti
a
ls in wrapp
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
updat
e
isl for
r
enaming
o
f
i
s
l_map_remove
commit
|
commitdiff
|
tree
2010-10-20
S
ven Verd
o
olaeg
e
version
.
c: show use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
laege
d
oc
:
a bit more info on is
c
c
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
d
oolaege
iscc: add before and a
f
te
r
operatio
n
s
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
laege
iscc: add identity operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaeg
e
iscc: break ou
t
off main
l
o
op when printe
r
no
longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rdoolaege
i
s
cc: support extended PolyLib output format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolae
g
e
configure
.
i
n: perform chec
k
for GMP suppo
r
t i
n
N
TL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
isl_
P
olyhe
d
ron_S
a
mple: ad
d
missing initia
l
i
zat
i
on
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n V
e
rdoolaege
is
c
c: ad
d
composition operation on piecewise qua
s
ipo
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verd
o
olaege
i
scc: add
dependence
a
nalysi
s
operati
o
ns
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: regist
e
r e
x
tra
k
ey
w
o
r
ds i
n
generic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
ge
u
s
e isl to perform "manua
l
_co
u
nt"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
allow bui
l
d
i
n
g wi
t
h
out piplib
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Ver
d
o
o
laege
Poly
h
edron_Redu
c
e
d_
B
asis:
o
p
tio
n
ally
u
se isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
fi
x
dep
e
ndence o
n
build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
i
s
l_map_card: use isl
for factorizatio
n
commit
|
commitdiff
|
tree
2010-09-14
S
ven V
e
rdoolaege
i
s
l_map_card: s
p
lit dimensi
o
n
fiddling from conve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Verdo
o
l
aege
isl_map_card: use isl_pw_
q
polynomial_sum if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
V
erdoolae
g
e
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
update
i
sl for fix in
parameter
alig
n
m
ent
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaeg
e
barvinok 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n Verdoolaege
iscc: add lex
i
cographic opera
t
ors
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
update isl
to vers
i
on 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolaeg
e
iscc: ad
d
"
source"
o
peration
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
i
s
c
c: ad
d
support for st
r
ings
commit
|
commitdiff
|
tree
2010-09-06
S
v
en V
e
rdoola
e
ge
iscc: prin
t
e
r
ror messa
g
e
on us
e
of unk
n
own i
d
en
t
i
fie
r
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
iscc: su
p
p
o
r
t
union sets in
ve
r
tices operation
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdo
o
laege
a
dd isl_list_c
o
ncat
commit
|
commitdiff
|
tree
next