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
Sven V
e
rdool
a
ege
ba
r
v
i
n
o
k
0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdool
a
ege
i
s
cc
.
c: fix typo whic
h
wo
u
ld prevent c
o
mpilati
o
n in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oola
e
ge
updat
e
isl to
version
0
.
0
6
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
i
sl_pw_qpoly
n
omial_s
u
m: handle existenti
a
ls in non
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
drop
p
iplib submod
u
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaeg
e
st
o
p using pip as
LP so
l
ver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
la
e
ge
doc:
constrai
n
ts no longer need to be specified in DN
F
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
iscc: parse lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven
V
er
d
o
o
la
e
ge
add isl_l
i
st_add
_
obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdo
o
la
e
g
e
iscc:
p
arse booleans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
eg
e
is
c
c: al
l
ow
i
nterruptio
n
of com
p
utation from
t
he
keyboard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sven Verdo
o
l
a
e
g
e
avoid use o
f
isl
_
ctx internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdo
o
l
aege
isl_
o
bj_str: pri
n
t
q
u
ote
s
ar
o
und stri
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n
Ve
r
doolaege
i
s
c
c: kee
p
t
r
ack of intermediate resul
t
s in interactive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
e
n
Verdoolaege
is
c
c: a
d
d pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdoolaege
i
s
cc: add zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoolae
g
e
isc
c
: add deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
l
exmin: assume unkn
o
wns and parameters are non-negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdo
o
laeg
e
l
exmin: use isl
to read input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
also per
f
orm lexmin check in absence of
GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
p
olysi
g
n: add
isl-b
a
cked ve
r
sion and use it by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
update
i
s
l
-polylib
f
or fix in header file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
update
i
sl for change
in isl_flow
_
get_no_
s
ource
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdoolaeg
e
doc: document i
s
l mo
d
u
l
o
notatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n V
e
r
d
oolaege
Mak
e
file
.
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 Verdoolaege
iscc: read_
l
ine: f
i
x return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Ve
r
doolaege
evalue_isl
.
c: f
i
x typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
e
rdoolaege
i
sc
c
:
add op
e
rations on int objec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
ool
a
eg
e
update isl for introduction of
in
t
objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sv
e
n
V
erdoo
l
aege
add isl
_
b
a
sic_set
_
card and is
l
_b
a
sic_map_c
a
rd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
d
ocument isl_union_set_a
p
ply_
u
nion_pw
_
qpolynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erd
o
ol
a
ege
r
emove
p
olyhedro
n
_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
Ve
r
do
o
laege
r
emove
p
o
l
y
t
ope_minimize appl
i
cation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ve
n
V
e
rdoo
l
aege
P
o
lyhed
r
on_Sam
p
le: use isl un
c
ond
i
tionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
re
m
ove
c
om
b
ine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laeg
e
build
libis
l
and
libpolylibgmp b
e
fore libisl-polyli
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc:
support ap
p
lic
a
tion of pi
e
cew
i
se
q
uasipolynomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
doc: fix documentation o
f
j
oin of
m
aps and folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verd
o
olaeg
e
add isl_union_set
_
app
l
y_un
i
on_p
w
_qpolynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
e
g
e
u
pdate isl f
o
r ex
p
ort of isl
_
un
i
o
n
_ma
p
_f
r
om_ra
n
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n V
e
r
d
oolaege
isc
c
: add write
op
e
r
a
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoo
l
aege
i
s
cc
:
optionally
d
isab
l
e rea
d
operati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven
V
erdoolaege
doc: e
x
plain comma operator in a se
t
descripti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
e
n Verdoolaege
iscc:
add typeof oper
a
tor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verd
o
olaege
ad
d
i
s
l_str_fro
m
_str
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolae
g
e
iscc
.
c: us
e
C
9
9 designated initialize
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven V
e
rdoolaege
isc
c
: minor improvement
i
n error message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoola
e
ge
isc
c
: add domain
_
m
ap and range_
m
ap ope
r
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ver
d
o
olaege
iscc
:
add
"dom
a
in" and "
r
an
g
e
" synonyms for "do
m
" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
ven Verdoolaeg
e
updat
e
isl to version 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verd
o
olaege
iscc:
d
on't allow code generati
o
n o
n
u
n
ion
set
s
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sve
n
Verdool
a
ege
upd
a
te i
s
l
t
o
version 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
S
v
e
n Ve
r
doolaege
avoid us
e
of isl_set and isl_map internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sve
n
Verdool
a
ege
separate out isl
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaege
conf
i
gure
.
in:
pr
o
p
a
g
a
te absolute
i
s
l builddir to submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdool
a
ege
update isl for renam
e
of header fil
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
evalue_floor2frac: don't a
s
sume coeffic
i
ents o
f
flo
o
rs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
test_bound: stop tes
t
i
ng aft
e
r predetermined number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
b
a
rvin
o
k_bound: rewrite i
n
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ve
n
Verdoolae
g
e
ba
r
vinok
_
{summ
a
te,bo
u
nd}: tak
e
isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_
b
ound: sw
i
tch
t
o isl re
p
resentat
i
o
n
e
v
en ea
r
lier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoola
e
g
e
test_bound
:
switch to isl representation earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Ve
r
doolaege
iscc: add po
l
y
n
o
mi
a
l ap
p
r
o
ximations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
v
e
n
V
erd
o
ol
a
ege
barvin
o
k_summate:
r
ewrite
i
n C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoola
e
ge
ba
r
vinok_summ
a
te: use isl inte
r
face
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sve
n
Verdoolaege
b
o
u
nd
.
c
c
: drop dead co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven V
e
rdoolaeg
e
doc: m
o
re in
f
orm
a
tion abo
u
t
us
i
ng sets and maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
d
o
c
: update s
o
me referen
c
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
iscc: add poly
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
S
ven Verdoolaege
isc
c
: add
scan operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven V
e
rdoo
l
aege
isl
_
pw_qp
o
l
y
n
om
i
al
_
sum:
h
an
d
le existenti
a
ls in
w
rapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven
V
erdool
a
ege
upda
t
e isl for renami
n
g of isl_ma
p
_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven V
e
r
d
oolaege
version
.
c:
show
u
se of C
L
ooG
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Ve
r
do
o
laeg
e
doc: a bit mo
r
e info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n
Verd
o
o
l
aege
i
s
cc: add be
f
ore and after
o
p
e
rations
commit
|
commitdiff
|
tree
2010-10-18
S
ven
V
erd
o
olaeg
e
is
c
c:
add ide
n
tity
ope
r
ation
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
e
r
d
oolaege
isc
c
: break out
o
f
f
m
a
in loop w
h
en printer no
l
onger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
olaege
iscc: support e
x
tended PolyLib outpu
t
format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
laeg
e
conf
i
gure
.
i
n: perfor
m
check for GMP
s
u
p
port
in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verd
o
olaege
isl_Polyhedr
o
n_Sample: add miss
i
ng initializa
t
ion
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laeg
e
iscc: add com
p
osi
t
i
o
n operat
i
on
o
n piecewise quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolaege
i
s
cc: add depe
n
dence a
n
alysis
op
e
ra
t
ions
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
i
scc: regist
e
r extr
a
keywords in gene
r
ic
w
ay
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
use is
l
to per
f
o
rm "manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoo
l
aege
a
llow bui
l
di
n
g without
p
iplib
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n V
e
rdoo
l
aege
Polyhedron_Red
u
ce
d
_Ba
s
is:
o
p
tiona
l
ly use
i
sl
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdo
o
l
a
ege
fix
dependence on b
u
ild isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
ola
e
ge
isl_map_card: use isl for fa
c
toriz
a
tion
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl_map_c
a
rd: split dimension fid
d
lin
g
from co
n
ver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n
V
erdoola
e
ge
isl_map_card
:
use
isl_pw_
q
p
o
l
ynomial_sum
i
f requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
v
en Verd
o
olaege
b
arvin
o
k
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
update isl for fi
x
in parameter alignment
commit
|
commitdiff
|
tree
2010-09-10
S
v
en
V
e
rdoolaege
barvinok
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaeg
e
iscc: ad
d
l
e
xicographic operat
o
rs
commit
|
commitdiff
|
tree
2010-09-10
S
ven Ver
d
oolaege
update isl
t
o ve
r
s
i
on 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sv
e
n Verdoolaege
iscc: ad
d
"source"
o
peration
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolae
g
e
iscc: add support for
s
trings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: print
error message on u
s
e
of unknown id
e
ntifier
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
e
r
doolaege
iscc: su
p
port unio
n
sets in vertices operation
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erdoo
l
aege
add isl
_
list_concat
commit
|
commitdiff
|
tree
next