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.35
2010-10-18
Sven Verdoolaeg
e
doc: a bit more i
n
fo on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: add
b
efore and after
o
peration
s
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: add identity operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdool
a
e
ge
i
scc: break out off m
a
in loop when printer n
o
l
onger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
laege
iscc: support extend
e
d PolyLib out
p
ut
fo
r
m
at
commit
|
commitdiff
|
tree
2010-10-18
S
ven
V
erdoolae
g
e
c
onfigure
.
in: p
e
rform 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
ool
a
ege
i
s
l_Polyhedr
o
n_Sample: ad
d
missi
n
g initialization
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
r
doolaege
i
s
cc:
add composition op
e
ratio
n
on piecewise
q
uasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc
:
add depe
n
dence analysis o
p
erations
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
r
d
oolaege
iscc: reg
i
ster extra
keywords in generic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
use isl
t
o
p
erform
"
manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
g
e
allow
b
uilding without piplib
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
Polyhe
d
ron_Reduced_Basis
:
optionally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdool
a
ege
fi
x
d
e
pendence on
b
uild isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolae
g
e
isl_map_car
d
:
use isl for
factoriz
a
tion
commit
|
commitdiff
|
tree
2010-09-14
Sven
Verdoola
e
ge
isl_map_ca
r
d: split di
m
ension fiddling
from conv
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Ver
d
o
o
laege
isl_map_c
a
rd: use i
s
l
_
pw_qp
o
l
y
nomial_sum if re
q
uested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Verdo
o
la
e
ge
b
arvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
Verdoola
e
g
e
update i
s
l
for
f
ix
in parameter al
i
gnment
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
erdoolaege
b
a
r
vinok
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Ver
d
oola
e
ge
iscc:
add le
x
icograph
i
c operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Ver
d
oolaege
update isl to version 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
Sven Ve
r
d
o
o
l
ae
g
e
iscc: add "
s
ou
r
ce
"
ope
r
at
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: add support for str
i
n
gs
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verd
o
olaege
iscc: print error message
o
n use of unknown
i
d
en
t
ifier
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rdoolaege
iscc:
suppo
r
t union sets
i
n verti
c
es
operation
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Ve
r
doolaege
add isl_lis
t
_concat
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n Verdool
a
ege
barvinok_bound
:
use isl to split periods
commit
|
commitdiff
|
tree
2010-09-05
S
ven Verdoolaege
u
p
date isl fo
r
isl_pw_qpo
l
ynomial_spl
i
t_per
i
o
ds
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
doc: mark
P
o
lyLib interface
ob
s
olesc
e
nt
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolae
g
e
Makefile
.
am
:
drop re
f
erence
s
to ob
s
olete @bv_barvin
o
k_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Ver
d
oolaege
eva
l
ue_con
v
ert
.
cc: evalue_print_isl
:
pr
i
nt end-of-lin
e
commit
|
commitdiff
|
tree
2010-08-30
Sven V
e
r
d
oolaege
iscc: allow coe
r
cion of binary list int
o
firs
t
element
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n
V
erdoo
l
aege
bar
v
ino
k
_bound: c
o
nve
r
t t
o
isl_pw_qpo
l
y
n
om
i
al once
commit
|
commitdiff
|
tree
2010-08-28
S
v
e
n
Verdoolaeg
e
barvinok_b
o
und:
u
se
isl to split on domain size
commit
|
commitdiff
|
tree
2010-08-26
S
ven Verdo
o
laege
set sensibl
e
d
efaults with --poly
n
o
m
i
al
-
a
ppr
o
ximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoo
l
aege
isl_pw_qpolynom
i
al_sum: re
u
se ba
r
vino
k
_option
s
if av
a
ilable
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verd
o
olaege
isl_map_card:
reuse barvinok
_
o
ptions
i
f available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaeg
e
u
p
dat
e
isl for alignin
g
paramet
e
rs of union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verd
o
olaege
iscc: add "join" operation on folds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaeg
e
iscc: add "
j
oi
n
" oper
a
t
ion on maps and fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoo
l
aege
iscc:
support addition o
n
a
pair of a fold and a
quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en V
e
rdoolaege
upda
t
e isl f
o
r adding types to isl_{u
n
ion
_
,}pw_qpolynomial
_
folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n Verdoolaege
allow
c
od
e
ge
n
on se
t
s
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
iscc: codegen:
d
ete
c
t s
t
rides
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdool
a
ege
i
s
c
c
: use simplified CLooG
i
nterfa
c
e
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
update
i
sl for rename of isl_pw_qpolynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
scc
.
c
: union_pw_qpol
y
nomial_upper_bound: f
i
x
memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c
:
f
ix typo
in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Ver
d
oolaege
is
l
_map_apply
_
pw_qpolynom
i
al:
f
i
x
ty
p
o
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
updat
e
isl from
isl_
u
ni
o
n_map
f
i
xes
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n Verdoola
e
ge
isc
c
: allow invers
e
on
n
o
n-union maps a
g
a
in
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
iscc: add wrap a
n
d un
w
ra
p
operation
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolaege
add isl_union_
m
a
p
_apply_
u
nion_pw_
q
po
l
ynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_pw_qpolynomial_s
u
m
:
handle isl_pw_qpol
y
n
omi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
V
erd
o
olaege
upd
a
te isl for nested
di
m
ension specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
ola
e
ge
isl_map
_
card:
post
p
o
n
e shuff
l
ing around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
update isl f
o
r isl
_
b
a
s
ic_
m
ap_mo
v
e
_
di
m
s
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rd
o
o
l
aege
isl_pw
_
qpolyn
o
m
i
al_
s
um: push
c
onversion to P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoolaege
isl_
p
w_qpol
y
nomial_sum: c
h
eck for u
n
b
o
u
n
ded do
m
ain
s
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdoolaege
avoid use of
i
sl
_
dim i
n
t
ernals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
iscc: sup
p
ort codege
n
operati
o
n if CLooG is ava
i
lable
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verd
o
olaege
iscc: switch to using u
n
i
ons
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rd
o
olaege
add isl_u
n
ion_pw_qpolynomial_s
u
m
commit
|
commitdiff
|
tree
2010-07-31
S
ven
Ve
r
dool
a
ege
add isl_union_map_
c
ard
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_
p
w_qpol
y
nomial_sum: t
a
ke
t
uple na
m
es into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
ol
a
ege
isl_map_ca
r
d: pr
e
serve full domain dimension informatio
n
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oola
e
ge
updat
e
isl for change in isl_ha
s
h
_
table_
f
o
reach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Ve
r
do
o
la
e
ge
bar
v
inok_enumera
t
e
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Ve
r
doolaege
d
oc:
a
d
d some more papers
r
e
fe
r
ing to the li
b
rar
y
commit
|
commitdiff
|
tree
2010-06-29
S
ven Ver
d
o
o
l
a
e
g
e
barvinok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
update isl to ver
s
ion 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
r
d
o
olaege
con
f
igure
.
in: properly add isl flags and libs
t
o p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
confi
g
ure
.
in:
drop cal
l
to gl_EA
R
LY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
g
e
n
fun
.
cc: fix
p
r
i
nt
f
fo
r
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
test_approx
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdool
a
ege
test_bound
.
c: fix printf f
o
rma
t
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
config
u
re
.
i
n
: stop
c
ompi
l
ing Omega
b
y default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdool
a
ege
ver
i
fy_lexsmalle
r
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
e
v
a
lue
.
c: avoid us
e
of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oola
e
ge
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n
Verdoolaege
is
c
c: re
c
o
ver from errors
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
Verdoolaeg
e
upd
a
t
e
i
sl for imp
r
o
v
ed error h
a
ndli
n
g
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdo
o
lae
g
e
i
scc
.
c
: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-13
S
v
en Verdoolaege
d
o
c
:
iscc: update docu
m
entati
o
n of
"ub" opera
t
or
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doo
l
aeg
e
test_ap
p
rox: i
n
c
l
ud
e
ct
y
pe
.
h for issp
a
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
test_a
p
prox: i
n
clude config
.
h for H
A
VE_SY
S
_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bound: inc
l
ude config
.
h
for
HAVE_SYS
_
T
IMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
i
s
cc: add vertices oper
a
tions
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
o
laege
o
ptionally use isl
t
o
perform para
m
etric
v
ertex enu
m
eration
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
update isl
-
polylib for
h
andling of ratio
n
al sets
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
drop disti
n
ction
b
etween barvino
k
-core
a
nd barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
remove
b
e
rnste
i
n
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
aege
update is
l
for ge
n
eric
i
sl_p
w
_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolaege
configur
e
.
in: dro
p
bv_omega_progr
a
ms
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add
is
l
_ctx_peek_barvi
n
ok_optio
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
iscc: parse barv
i
n
o
k options
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Ver
d
o
o
laege
export isl_
q
polynomi
a
l_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
S
ven
V
erdo
o
laeg
e
Makefile
.
am
:
dr
o
p
dependence on doc
/
omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Ve
r
doolaege
u
pdate
i
sl f
o
r rename o
f
isl_pw_qpoly
n
omial_m
o
ve
commit
|
commitdiff
|
tree
next