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: add scan operation
2010-11-03
Sven Verd
o
olaege
iscc: a
d
d
s
c
an
operat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
S
ven Verdoola
e
ge
isl_p
w
_q
p
olynomial_s
u
m: han
d
le existentials in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
S
ven Verdoolaege
update isl fo
r
ren
a
ming of
isl_map_r
e
mo
v
e
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoolaege
ve
r
sion
.
c: show
u
se of C
L
ooG
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rdo
o
laege
doc
:
a bit more
info on
i
sc
c
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc:
add be
f
ore
a
nd after
operations
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdo
o
lae
g
e
iscc: add id
e
ntity operation
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdoolaege
is
c
c: break out off main loop when printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
aege
i
scc: su
p
port
e
xte
n
ded PolyLib output forma
t
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
configure
.
i
n
:
perform check for
GMP support in
NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: add compos
i
tion operation on p
i
ece
w
ise quasi
p
o
l
yn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n
Verdool
a
ege
isc
c
:
ad
d
dependence anal
y
sis operati
o
ns
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaege
is
c
c: re
g
ister extra keyw
o
rds in gen
e
r
ic way
commit
|
commitdiff
|
tree
2010-10-11
S
v
en
Ve
r
d
oolaege
use isl to perform "manual_co
u
nt"
commit
|
commitdiff
|
tree
2010-10-11
S
ven V
e
rdoolaege
allow building with
o
ut p
i
pli
b
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoo
l
aege
Poly
h
edr
o
n_Reduced_Basis: optio
n
all
y
use is
l
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Ver
d
oolaege
fix dependence on buil
d
i
s
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isl_map_
c
ard: use
i
s
l
for f
a
ctorization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl_map_card:
s
pl
i
t dime
n
sion fiddling f
r
om co
n
version
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
v
e
n Ver
d
ool
a
ege
isl_map_card: use isl_pw_qpolynomial_s
u
m
if r
e
quested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Verdoolaege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Verdoolaege
u
p
date is
l
for fix in parameter a
l
ignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
aege
b
a
r
vinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rdoolaege
iscc
:
add lexic
o
g
raphic operators
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verdoolaege
update isl
to versio
n
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolaege
iscc: add "source" operati
o
n
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n
Ver
d
oolaege
iscc: add support
fo
r
string
s
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoolaeg
e
isc
c
: pr
i
nt error m
e
ssage on use of unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdoolaege
isc
c
: sup
p
ort
unio
n
sets
i
n vertices
operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaege
add isl_list_
c
oncat
commit
|
commitdiff
|
tree
2010-09-05
S
ven Verdoolaege
barvinok_bound: use isl to sp
l
it periods
commit
|
commitdiff
|
tree
2010-09-05
S
v
en Ve
r
do
o
laege
upd
a
te isl for isl_pw_qpolynomial_
s
plit_pe
r
iods
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdoolaege
d
o
c: mark
P
olyLib i
n
terface
o
bsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
erdoo
l
aege
Makefile
.
am: drop references
to obsolete @bv_
b
arvinok_bou
n
d@
commit
|
commitdiff
|
tree
2010-08-31
Sven Ve
r
doo
l
ae
g
e
evalue_
c
onvert
.
cc:
e
valu
e
_prin
t
_i
s
l: pri
n
t end
-
o
f
-
line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
iscc: allow coercion
o
f b
i
n
ary l
i
st
i
nto firs
t
element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoo
l
aege
barvinok_boun
d
: convert to isl_p
w
_qpolynom
i
al
o
nce
commit
|
commitdiff
|
tree
2010-08-28
Sve
n
Ver
d
oo
l
aege
barvin
o
k_bound: us
e
isl to spli
t
on domain
si
z
e
commit
|
commitdiff
|
tree
2010-08-26
S
ven
V
e
rdoolaege
set sensibl
e
defaults with --
p
olynomial-
a
ppr
o
x
i
mati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdoolaege
isl_pw_qpoly
n
omial_
s
um
:
r
e
u
se barv
i
n
o
k_
o
p
t
ions if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_map_ca
r
d: reuse ba
r
vin
o
k_options if ava
i
l
a
ble in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
update isl for
aligning para
m
eter
s
of union argum
e
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
:
add "join" op
e
ra
t
i
o
n
on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Ver
d
oolaege
iscc: add "jo
i
n" operation
on
m
aps
a
nd folds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n V
e
r
doolaeg
e
iscc: su
p
por
t
ad
d
ition on
a
pair of a fold an
d
a
q
uasip
o
lyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
rdo
o
lae
g
e
upda
t
e isl for addin
g
types to isl_{un
i
on_,}p
w
_qpol
y
nomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow codegen
o
n sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc:
c
odege
n
: detect st
r
ides
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoo
l
aege
iscc: us
e
simplified
C
LooG interf
a
ce
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aeg
e
up
d
ate isl for rename of is
l
_pw_qpolynomial_f
o
ld_ad
d
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdool
a
ege
is
c
c
.
c: union_pw_
q
po
l
ynomial_upper_bound: f
i
x memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
summ
a
t
e
.
c: fix typo in c
o
mment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl_ma
p
_apply_pw_qpoly
n
o
mial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven
V
erdoolaege
update isl fr
o
m isl_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdool
a
e
g
e
isc
c
: al
l
ow inv
e
rse
o
n non-union maps aga
i
n
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n V
e
rdoolaege
iscc: add wrap
an
d
unwra
p
oper
a
tions
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
add isl_union_map
_
app
l
y_union_pw_qp
o
lynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
isl_pw_qpolyno
m
ial_sum: handle isl_pw_qpolyn
o
m
i
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
up
d
ate isl for
nested dimension specifica
t
i
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoo
l
aege
isl_
m
a
p_card: p
o
stpo
n
e shuffling aroun
d
of
dim
e
n
s
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
o
olaege
upda
t
e i
s
l for
i
sl_basic_ma
p
_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdo
o
la
e
ge
i
sl
_
p
w
_
qpol
y
nomial
_
sum: push con
v
ersi
o
n to
P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaeg
e
isl_pw_qpolynomial_s
u
m: check for unbounded
d
omains
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdo
o
la
e
ge
avoid u
s
e o
f
isl_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: suppor
t
codegen operation
i
f CL
o
oG i
s
ava
i
lable
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
a
e
g
e
iscc:
switch to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolae
g
e
add is
l
_unio
n
_pw_qp
o
lynomial
_
sum
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
Verd
o
o
l
aeg
e
add isl_union_map
_
card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl
_
p
w_qpolynomial_sum: take tuple n
a
mes into account
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
V
e
r
do
o
laege
isl_map_card: prese
r
ve full domain dimension
i
nformat
i
on
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
Verdoolaege
update isl for change i
n
isl_hash
_
table_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoo
l
aege
b
a
rvinok_enumera
t
e
.
cc
:
fix pr
i
n
t
f format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
doc: add som
e
mo
r
e papers ref
e
ring to the li
b
rary
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
V
erdool
a
e
ge
bar
v
inok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
upd
a
te isl to version
0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
configure
.
in: proper
l
y
a
dd isl flags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Verdoolaege
configure
.
in: drop call to gl_EARL
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
genfun
.
cc:
f
ix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdool
a
ege
t
e
st_approx
.
c: fi
x
printf for
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
test_
b
o
und
.
c: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
configure
.
i
n: stop compiling Omeg
a
by
default
commit
|
commitdiff
|
tree
2010-06-28
S
v
en
V
erdoolaege
veri
f
y_le
x
smaller
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdo
o
laege
evalue
.
c
: avoid us
e
o
f
a
l
loca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aege
evalue_isl
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
e
rdoolaege
iscc: r
e
cover from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoo
l
ae
g
e
update isl f
o
r imp
r
o
ve
d
error handli
n
g
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
o
olaege
iscc
.
c
:
fi
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-13
Sv
e
n Verdoolaege
doc: i
s
cc
:
upd
a
te documentation
o
f "ub"
operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
test_appr
o
x: include ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
test_approx: inc
l
ude config
.
h for HAVE_SYS_
T
IMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolaege
test_bound: include conf
i
g
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
iscc: ad
d
v
ertice
s
ope
r
a
t
i
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
opt
i
onally use
i
sl to perfo
r
m
paramet
r
i
c
vertex e
n
umeration
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aege
update isl-po
l
ylib for handling of r
a
tional sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
drop distinction between
barvinok-core
a
nd b
a
rvinok
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoola
e
ge
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update
i
sl for generic isl_
p
w_qp
o
lynomial_b
o
und
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
l
a
eg
e
co
n
fig
u
r
e
.
i
n
: drop bv_
o
m
ega_p
r
ograms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add
i
s
l
_ctx_peek_
b
arvin
o
k
_
o
p
tions
commit
|
commitdiff
|
tree
2010-06-07
S
ven Ve
r
d
o
o
laege
iscc: parse barvi
n
ok options
commit
|
commitdiff
|
tree
next