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
configure.ac: don't depend on automake 1.11
2011-05-16
S
v
en Verdool
a
ege
config
u
re
.
a
c
: don't depend on automake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
Verdo
o
laege
iscc: add sche
d
ule and schedule_ban
d
s ope
r
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
iscc: add solutions o
p
eration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
i
scc: add coefficients operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
iscc: add lift op
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
e
ge
iscc:
per
f
or
m
ass
i
gnments even on err
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
iscc: plug memory
l
eak on error pa
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-19
Sven Verdoolaege
use silent make rules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
eg
e
barvino
k
0
.
33
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n V
e
rdoolaege
iscc
.
c: fix typo which
would p
r
event compil
a
tion in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
ge
u
pdate
isl to version 0
.
0
6
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
i
sl_pw_qp
o
ly
n
omia
l
_
s
u
m:
handle exist
e
ntials
in non
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Ver
d
o
o
laeg
e
d
rop p
i
plib subm
o
dule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdool
a
ege
s
top using p
i
p as L
P
solv
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
d
oc: constr
a
ints no longer need to be specif
i
ed in DNF
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
rdoola
e
ge
iscc: parse
lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n Verdoolaege
add isl_lis
t
_
ad
d
_obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
V
e
rdoola
e
ge
iscc: pa
r
se booleans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
is
c
c:
a
l
low
i
nterrupti
o
n of c
o
mputation from the ke
y
board
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
Sven Verdoo
l
aege
a
v
oid use of isl
_
c
tx inte
r
nals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
V
erdoo
l
aege
i
sl
_
obj
_
str: print quotes
a
r
o
und string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
d
oolaege
isc
c
: ke
e
p track of intermediate resul
t
s in interactive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
is
c
c: ad
d
po
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdoolaege
iscc:
a
d
d
zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
Sv
e
n
V
e
r
d
o
o
l
a
e
ge
iscc: add deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
l
e
x
min
:
assume unk
n
o
w
ns and para
m
e
ters a
r
e non-negative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
r
d
oolaege
lexmin:
u
s
e
i
sl to read input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdool
a
eg
e
also
p
erform
l
exmin che
c
k
in
a
bsence o
f
GL
P
K
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ve
r
doolae
g
e
polysi
g
n:
a
dd i
s
l
-b
a
c
k
ed versio
n
and use it by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
a
e
ge
update isl-poly
l
i
b
for fix in
h
ea
d
er file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
up
d
a
t
e isl for change in isl_f
l
ow_get_n
o
_source
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sven Ve
r
doolaege
doc: document isl modulo n
o
tation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
a
e
g
e
iscc: read
_
line:
f
i
x r
e
turn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaege
ev
a
lue_isl
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en
Verdoolaege
iscc: add operations
on int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdool
a
ege
upd
a
te isl for
introdu
c
ti
o
n o
f
i
n
t
objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
ve
n
Verdoolaege
a
dd
isl_basic
_
set_card and i
s
l_basic
_
map_card
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verd
o
olaege
document
isl_union_set_app
l
y_uni
o
n_pw_qpoly
n
omi
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erd
o
o
l
aege
remove p
o
lyhedron_r
a
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doola
e
g
e
remove polytope_minimize a
p
plic
a
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
Polyhedron_Sample: u
s
e isl un
c
onditionally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verd
o
o
l
a
e
ge
remov
e
co
m
bin
e
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
build libisl and
l
i
b
p
olylibgmp before libisl-pol
y
lib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
isc
c
: support appli
c
ati
o
n of piece
w
ise quasipolynomia
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
doc: fix documentation of join
o
f m
a
ps and folds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
a
d
d isl_union_se
t
_
apply_uni
o
n_pw_qpo
l
ynomi
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
d
o
olaege
u
p
date isl for export of isl_
u
nion_map_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
iscc: add write operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdo
o
laege
iscc: optionally d
i
sa
b
l
e
r
ead op
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
S
v
en Ver
d
oolaege
doc: ex
p
lain
c
omma operator in a
s
e
t
description
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n
V
erdoolaege
iscc: a
d
d typeof operator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
e
r
doolaege
add isl_str_from_strin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ve
r
doolaege
iscc
.
c
: use C99 desig
n
ated initializers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
i
scc: minor improveme
n
t
in
er
r
or message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ve
r
doolaege
is
c
c:
add d
o
main_map and range_m
a
p operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n Verdoolaege
iscc: add "domai
n
"
and
"
r
ange" synonyms f
o
r "dom" and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven V
e
r
doola
e
ge
update
isl to version 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven
Verdoola
e
ge
iscc: don't a
l
low code generati
o
n
o
n union sets of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolaege
update isl to version 0
.
0
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Ve
r
doolaege
avoid u
s
e of isl
_
s
e
t and
i
sl_m
a
p internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven
V
erdoolae
g
e
sepa
r
ate
out isl interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdo
o
laege
co
n
f
i
g
ure
.
in: pro
p
agate
absol
u
te isl buil
d
dir
t
o
submo
d
u
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven V
e
rdoolaege
update
i
s
l
for rename
o
f
h
e
a
der files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
ev
a
lue_fl
o
or2frac:
don't assume
coefficie
n
ts of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdool
a
e
g
e
test_bou
n
d
:
s
top testing after
predetermin
e
d
number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
V
er
d
oolaege
barvinok_bound: rew
r
ite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
V
e
rdoolaege
barvinok_
{
summate,bo
u
n
d
}: take
i
sl inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
V
erdoolae
g
e
tes
t
_bound
:
switch to
isl representati
o
n eve
n
ear
l
ier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
t
e
st_bound: s
w
itch to isl representation
e
arlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoo
l
ae
g
e
i
s
cc: add po
l
y
n
omia
l
approximations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
S
ven
V
erdoolaege
b
a
rvinok
_
s
u
mmat
e
:
r
ewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdool
a
ege
barvinok_
s
u
mmat
e
: use isl interfac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdool
a
e
g
e
bound
.
cc: drop
dead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaege
doc: more
information
a
b
out using sets and maps
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdo
o
la
e
ge
d
o
c: update
some
references
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verd
o
ol
a
ege
iscc: add poly
o
perat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoolaege
i
s
cc: add sc
a
n operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaege
isl_p
w
_qpolynomial_sum:
h
a
ndle existentia
l
s in wr
a
pp
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolae
g
e
update isl
f
o
r
renaming of isl
_
ma
p
_remo
v
e
commit
|
commitdiff
|
tree
2010-10-20
Sven
V
er
d
oola
e
ge
version
.
c:
s
how use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
S
v
en V
e
r
do
o
laege
doc: a bit more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oo
l
a
e
g
e
iscc:
a
d
d before
and afte
r
operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: add identity o
p
era
t
ion
commit
|
commitdiff
|
tree
2010-10-18
S
v
e
n Verdoolaege
iscc:
b
reak
o
ut off main loop whe
n
p
r
in
t
er no
longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaeg
e
iscc:
s
u
p
port extende
d
PolyLib output for
m
at
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdoolaege
configure
.
in:
p
erfor
m
check for G
M
P support in NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
r
d
o
o
la
e
ge
iscc: add
c
om
p
osition operation on piec
e
w
i
se quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
i
scc:
a
dd
dependence analysis operations
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
iscc: register ext
r
a
ke
y
w
ords
i
n g
e
neric way
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoola
e
ge
use is
l
to perf
o
rm "manual_
c
ou
n
t
"
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oola
e
ge
allow building with
o
ut pipl
i
b
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Ver
d
oolaege
Polyhedron_Reduc
e
d
_Basis: optio
n
ally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n
Ver
d
ool
a
e
ge
fix dep
e
n
d
ence on
build isl
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
isl_
m
ap_card
:
use i
s
l for fa
c
torization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdool
a
ege
i
sl_map_card: spl
i
t
d
imension fi
d
dli
n
g from conve
r
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
isl
_
map_ca
r
d: use
isl_pw_qpolynomial_sum
i
f requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
V
erdoolaege
barvinok 0
.
3
2
.
1
commit
|
commitdiff
|
tree
2010-09-13
S
v
e
n Verdoolaege
update isl
f
or
fix in pa
r
amet
e
r
alignmen
t
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Verdoolaeg
e
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
er
d
ool
a
ege
isc
c
: add le
x
icographic
o
pe
r
ator
s
commit
|
commitdiff
|
tree
next