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
iscc: keep track of intermediate results in interactive sessions
2011-03-12
Sven Ver
d
oolaege
iscc
:
keep track of
i
ntermedi
a
te results in inter
a
cti
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
iscc: add
pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Ver
d
o
ol
a
ege
is
c
c: ad
d
zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoolaege
iscc: add
d
eltas_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdo
o
la
e
g
e
le
x
min
:
ass
u
m
e
unknowns an
d
p
a
rameters are non
-
negative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Ve
r
do
o
l
a
ege
l
e
xmin: use is
l
to re
a
d
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
V
e
rdoolaege
also p
e
rform lexmin che
c
k
in
absence of GLPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
polysign:
a
d
d isl-b
a
ck
e
d
ve
r
sion and use it b
y
d
e
fault
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdo
o
laege
update isl-pol
y
lib for fix in heade
r
file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolae
g
e
up
d
ate i
s
l for change
in isl_flow_get_no_sou
r
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sven Ve
r
doolae
g
e
d
oc: document
isl modulo notation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
iscc: read_lin
e
: fix ret
u
r
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
la
e
ge
e
va
l
ue_isl
.
c:
f
ix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n
V
e
rdool
a
ege
iscc: add ope
r
ations on int ob
j
ects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n Verdoola
e
ge
upd
a
te isl f
o
r introduction
o
f int
o
bjects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
v
e
n Verdoolaege
add
i
sl
_
basic_s
e
t_car
d
and is
l
_basic_map_card
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
document isl_union_set_apply_union_pw_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolae
g
e
remove po
l
yhedr
o
n_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
remove polytope_minimize application
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verd
o
o
l
aege
P
o
lyhedron_Sample:
u
se is
l
uncon
d
itionally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
remove
combine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
dool
a
e
g
e
build libisl and
l
ibpolyl
i
b
gmp before libisl-polyl
i
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n
Verdoo
l
aege
iscc: support application of piecewise quas
i
polynomial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erd
o
olae
g
e
doc: fix d
o
cumentation o
f
j
oin of m
a
ps and
f
o
lds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdo
o
l
aege
add isl_union_s
e
t_apply_un
i
o
n
_pw
_
qpolyn
o
mial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
u
p
da
t
e isl for export
o
f isl_union_map_from_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc: add
write operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
iscc:
option
a
lly d
i
sable r
e
a
d
ope
r
atio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdoola
e
ge
do
c
:
e
xplai
n
comma opera
t
or in a set
d
escription
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verd
o
o
laege
i
s
cc:
add t
y
peof o
p
erator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven V
e
rdo
o
la
e
ge
add i
s
l
_
s
tr_from_s
t
ring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
i
s
cc
.
c: u
s
e C99 design
a
t
e
d i
n
i
tializers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc: minor imp
r
ovement i
n
error messa
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
iscc:
a
dd domain_map
and r
a
nge_map operatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaeg
e
iscc: ad
d
"
dom
a
in
"
and "rang
e
" synonyms fo
r
"dom
"
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
v
en
V
er
d
oolaege
updat
e
isl t
o
ve
r
sion
0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sve
n
Verdoolaege
iscc:
d
on't allow
code generat
i
on on union sets of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
S
ven Verdoola
e
g
e
update isl to versi
o
n 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
avoid use o
f
isl
_
set and isl_map intern
a
ls
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaege
sep
a
rate out isl interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sv
e
n Verdoolaege
con
f
i
gure
.
in: propag
a
te abso
l
u
t
e
isl builddir to
submodule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoolaege
u
pdate is
l
f
o
r
r
e
nam
e
of head
e
r files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoolaege
evalue_floor2frac: d
o
n't ass
u
me co
e
fficients
of fl
o
ors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
olae
g
e
test_bo
u
nd:
stop testing after prede
t
erm
i
ned n
u
mber
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
barvinok_bound: rewr
i
t
e
i
n C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n Verdool
a
ege
barvinok_{summate,bo
u
nd}: take i
s
l
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolae
g
e
test_bound: sw
i
tch to isl representatio
n
even e
a
rli
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oolae
g
e
tes
t
_boun
d
: swi
t
ch to isl representation earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
r
d
o
o
laege
is
c
c: add
po
l
ynomi
a
l
approximati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
S
ven Verdoolaege
barvinok_summate:
rewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
S
v
en Verdoolaege
barvinok
_
su
m
mate: use is
l
interfa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdoolaege
b
o
und
.
cc: d
r
o
p dead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sve
n
Verdoolaege
do
c
:
m
ore infor
m
a
tion about using sets and m
a
ps i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdo
o
laege
doc: update some references
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven
V
erdoolaege
iscc: add
pol
y
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdool
a
ege
iscc: ad
d
sc
a
n
o
peration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sve
n
V
e
rdoolaege
isl_p
w
_qpolynomial
_
s
u
m:
handle ex
i
stent
i
als in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sve
n
Verdo
o
laege
update isl f
o
r renaming of isl_map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven
Verdoolaege
versi
o
n
.
c
:
show use
o
f CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdoolaege
d
oc: a bit more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rdoolaege
iscc: add before and after operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
doolaege
iscc:
add identity ope
r
ation
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaege
i
s
cc: br
e
a
k
o
ut
o
f
f main loop when prin
t
er no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
S
ven Ver
d
oolaege
iscc: support exten
d
ed
PolyLib output forma
t
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
configure
.
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 Verd
o
olaege
iscc:
a
d
d
c
om
p
o
sition
o
peration on piecewise quasipol
y
n
o
mial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaege
iscc: add d
e
pendence analysis
o
p
e
rations
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
ege
iscc: register e
x
tra keyw
o
r
d
s in
g
ene
r
i
c way
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
use isl t
o
perform "manual_
c
ount"
commit
|
commitdiff
|
tree
2010-10-11
S
ven
Verdoola
e
g
e
allow b
u
ilding withou
t
piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doo
l
a
e
ge
P
o
lyhe
d
ron_Reduced_Basis: optionally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
Ve
r
doolaeg
e
f
ix dependence on build i
s
l
commit
|
commitdiff
|
tree
2010-10-11
Sven
Ve
r
doolaege
isl_ma
p
_card: u
s
e
isl fo
r
f
actorization
commit
|
commitdiff
|
tree
2010-09-14
Sven
V
e
r
doolaege
isl_map_card: split dimen
s
ion fiddling from con
v
e
r
si
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolae
g
e
isl_map
_
c
a
rd: us
e
isl_
p
w_qpolynomial_sum if reques
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
Verdoolaege
b
a
rvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven
V
erdoolaege
upda
t
e isl for fi
x
i
n
para
m
eter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
erdoolaege
ba
r
v
i
nok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Verdoolaege
iscc: add lexicographic ope
r
ators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
u
p
date
isl to ver
s
ion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Ver
d
oolaege
i
s
c
c
:
add "source"
o
p
e
ration
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
iscc
:
add s
u
ppor
t
for
st
r
ings
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoo
l
a
e
ge
i
scc: print err
o
r
m
es
s
a
ge on
u
s
e
o
f
unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: s
u
pport union set
s
in verti
c
es
o
peration
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
o
o
lae
g
e
add isl_list
_
c
o
n
c
at
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdo
o
laege
ba
r
vin
o
k
_
bound: use isl to split periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
u
pdat
e
isl for isl_pw
_
qpoly
n
omia
l
_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Ver
d
o
o
l
aege
doc: mark PolyLib interface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
erdoolaege
M
a
kefile
.
am
:
drop refe
r
e
nces to obso
l
e
t
e
@bv_barvinok_
b
o
und
@
commit
|
commitdiff
|
tree
2010-08-31
S
ven
V
e
rdoolaege
evalu
e
_convert
.
cc
:
evalue_p
r
in
t
_isl: print end-of-li
n
e
commit
|
commitdiff
|
tree
2010-08-30
Sven V
e
rdoolaege
isc
c
:
allow
co
e
rcion of binary list into fi
r
st e
l
e
m
e
nt
commit
|
commitdiff
|
tree
2010-08-28
Sve
n
Ve
r
d
o
o
laege
barvin
o
k_bo
u
n
d
: convert t
o
isl_pw_qpolyn
o
mial once
commit
|
commitdiff
|
tree
2010-08-28
S
v
e
n Verd
o
olaege
barvinok_bound: use isl to split
o
n
domain si
z
e
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
set sen
s
ible defaults with --polynom
i
al-ap
p
roximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
e
n
V
e
r
d
o
o
laege
i
s
l_pw
_
qpo
l
y
nomial_sum:
reus
e
b
a
rvinok_options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doo
l
a
e
ge
i
sl
_
map_card: re
u
s
e barvinok_option
s
i
f
available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdool
a
e
ge
update isl for aligning parameter
s
of unio
n
arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
iscc: add "join" operati
o
n on fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Ve
r
d
o
o
laege
iscc: add "join" operation
on
m
a
p
s
a
nd folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaeg
e
i
scc
:
s
upport addit
i
on
o
n
a pair
o
f a fold and a quas
i
p
o
ly
n
o
.
.
.
commit
|
commitdiff
|
tree
next