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_summate: rewrite in C
2010-11-11
Sven Verdoolaeg
e
barv
i
n
ok_summate:
r
ewrite in
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sv
e
n Verdool
a
ege
ba
r
vinok_summate:
u
se isl in
t
erface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
S
ven Verdoolaege
b
oun
d
.
c
c:
d
rop dea
d
code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaege
d
o
c: more infor
m
ation about using sets and maps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verd
o
olaege
doc: updat
e
some referen
c
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolae
g
e
iscc: add p
o
ly operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
S
v
en Verdoolaege
iscc: add scan
o
pe
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sv
e
n
V
erdoo
l
aege
isl_pw_qpolynomial_sum: handle
e
xistential
s
in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdo
o
l
a
ege
update isl for
r
enaming
of isl_m
a
p_
r
emove
commit
|
commitdiff
|
tree
2010-10-20
Sv
e
n
V
erdoolaege
v
ersi
o
n
.
c: sho
w
use
o
f
C
LooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
doolaege
doc
:
a bit more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdoolaege
i
s
cc: add before and afte
r
operati
o
ns
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdoolaege
iscc: add id
e
ntity o
p
eration
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdoo
l
aege
iscc: break
o
ut off main loop
w
hen printer no lo
n
ger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
V
erdoolae
g
e
iscc: sup
p
or
t
exte
n
ded Pol
y
Lib output forma
t
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
configu
r
e
.
in:
perform check for GMP support in NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verd
o
olaege
iscc: add composition operation on piecewi
s
e quasipolynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: add
dependence an
a
l
ysis oper
a
tions
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
la
e
g
e
i
scc: r
e
gist
e
r extra keywords in generic way
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaeg
e
use
i
sl to perf
o
rm "
m
a
nu
a
l_
c
o
unt"
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdo
o
laege
a
l
low buildin
g
w
i
thout piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verd
o
olaege
Polyhedron_Re
d
u
c
e
d
_B
a
si
s
: optionally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verd
o
olaege
fix dependence on
build
i
s
l
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
isl_map
_
card: use isl for fa
c
to
r
ization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdo
o
laege
isl_ma
p
_c
a
rd:
s
plit dimension fidd
l
ing fr
o
m conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
rdoolaege
isl_m
a
p
_
card: use
isl_pw_qpolynom
i
al_sum if re
q
uested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Ve
r
doolaege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdo
o
laege
up
d
a
t
e isl for fix
i
n para
m
e
ter a
l
i
gnment
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verdoola
e
ge
barv
i
nok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc: add lex
i
cog
r
aphic ope
r
ators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
u
p
date isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verd
o
o
laege
i
s
cc:
a
dd "source" operation
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verd
o
olaeg
e
is
c
c
:
add
s
upp
o
rt fo
r
strings
commit
|
commitdiff
|
tree
2010-09-06
S
ven Ve
r
d
oo
l
aege
i
scc: prin
t
e
r
r
o
r
message o
n
use of u
n
known identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
o
olaege
i
scc: support union
s
ets in v
e
rtices operatio
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add is
l
_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n Verdoolaege
barvinok_b
o
und:
u
s
e isl to spli
t
peri
o
ds
commit
|
commitdiff
|
tree
2010-09-05
S
v
e
n Ve
r
d
o
olaege
update
isl f
o
r isl_p
w
_qpolynomial_spli
t
_perio
d
s
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolae
g
e
doc
:
mark
P
olyLib
i
nterface
o
bsoles
c
e
n
t
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdoolaege
Mak
e
fi
l
e
.
a
m:
d
rop ref
e
rences to obsolete @bv
_
barvin
o
k_bound
@
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdoolaege
evalue_c
o
n
v
e
r
t
.
cc: evalue_
p
rint_i
s
l:
print end-of-li
n
e
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
iscc:
a
llow
c
oercion
o
f
binar
y
l
i
st
int
o
f
i
r
s
t ele
m
e
n
t
commit
|
commitdiff
|
tree
2010-08-28
Sve
n
V
e
rdoolaege
barvi
n
o
k
_bound: conver
t
to isl_pw
_
qpo
l
y
n
omial once
commit
|
commitdiff
|
tree
2010-08-28
S
ven Verdoolaege
barvi
n
ok_bound:
u
s
e i
s
l to
s
p
l
i
t
on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdo
o
lae
g
e
s
et s
e
nsible
default
s
w
i
th --
p
olynomia
l
-ap
p
roximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoo
l
aege
isl_
p
w_qpo
l
ynomial_sum: reuse barvinok_
o
pti
o
ns
if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en Verd
o
ola
e
ge
isl_map_card: re
u
se barvin
o
k_op
t
ion
s
if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaeg
e
update isl for aligning
p
a
r
a
meter
s
of union
a
r
g
u
ments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
isc
c
: ad
d
"join" operation
o
n folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
iscc
:
add "join" operation o
n
maps and f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
iscc: support addi
t
ion
o
n
a
pai
r
of a fold
and a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
Verdoo
l
a
e
ge
update
i
sl for adding ty
p
e
s
to isl_{un
i
o
n_,}pw_qpolynomial
_
f
olds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow
code
g
en
on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
is
c
c:
codegen:
d
ete
c
t
st
r
ides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
scc
:
us
e
simplified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven
Ve
r
d
oolaege
update isl for rena
m
e
o
f isl_p
w
_qpo
l
ynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Verdoolaege
iscc
.
c:
u
nion_pw_qpolyno
m
ia
l
_upper_boun
d
:
f
ix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
V
erdoo
l
aege
summat
e
.
c: fix typo
in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven
Verdoolaege
isl_map_apply_pw_qpo
l
ynomial:
f
i
x
t
y
po
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
Ver
d
oo
l
aege
u
pdate isl
f
rom
i
sl_union_ma
p
f
i
xes
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
Verd
o
olaege
iscc
:
allow inverse o
n
non-uni
o
n
maps agai
n
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n Verdoola
e
ge
iscc: add wrap a
n
d un
w
rap operation
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
add
isl_unio
n
_map_apply_union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
l
aege
isl_pw_qpolynomial_sum
:
ha
n
dle isl_pw
_
qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdool
a
ege
update is
l
for nes
t
e
d
dimension specifications
commit
|
commitdiff
|
tree
2010-08-05
S
ve
n
V
erdo
o
laege
isl_map_card: postpo
n
e shuffling ar
o
und
o
f dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
update
is
l
for isl_basic_map_move
_
dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
ege
isl_pw_qpolyno
m
ial_sum: pus
h
conversion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
i
s
l
_
pw_qpoly
n
omial_sum: check f
o
r unbounded do
m
ains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
avoid u
s
e of isl_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
iscc: support codegen ope
r
ation if C
L
ooG
i
s
a
vailable
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
iscc: sw
i
tc
h
to using
unio
n
s
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoo
l
aege
add isl_union_p
w
_q
p
o
l
ynomial_su
m
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n Ve
r
doolaege
add isl
_
union_map_c
a
rd
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdool
a
e
ge
i
s
l_pw_qpolynomial_sum:
t
ake tuple
names into acc
o
unt
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
i
sl_map_
c
ard: preser
v
e fu
l
l do
m
ai
n
dimension
i
n
formation
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaeg
e
updat
e
isl for change in isl_hash_table_fo
r
each
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
o
laeg
e
barvinok_enumerate
.
cc: f
i
x print
f
format
commit
|
commitdiff
|
tree
2010-07-03
Sven Ver
d
oolaege
d
o
c
: add some more papers refe
r
ing
to the li
b
rary
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
oolaege
bar
v
i
n
ok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdo
o
laege
u
p
d
a
te isl
t
o ver
s
ion
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ver
d
oolae
g
e
configure
.
in:
p
roperly
a
dd i
s
l
flag
s
and l
i
bs to
pk
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ver
d
oolaege
c
onfigure
.
in: drop call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
genfun
.
cc: fix printf
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
test_approx
.
c
: fix
print
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
r
d
o
ol
a
ege
test_bound
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
configure
.
i
n: stop c
o
mpiling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
S
v
en V
e
r
d
oo
l
aege
verify_lexsmal
l
e
r
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n
V
erdoolae
g
e
ev
a
lue
.
c
: avo
i
d
use o
f
al
l
o
c
a
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
evalue_isl
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoola
e
ge
is
c
c:
recover
f
rom e
r
rors
commit
|
commitdiff
|
tree
2010-06-20
S
v
en Ver
d
oolaege
update
i
sl for
i
mpr
o
v
ed error handlin
g
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaege
i
s
cc
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
d
oc: iscc: update document
a
tion of "ub
"
operator
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
t
est_app
r
ox
:
include ctype
.
h
f
o
r is
s
pace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
t
est_approx:
include config
.
h
for HAVE_SYS_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bound: includ
e
config
.
h fo
r
HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
o
o
l
aege
iscc: add
vertices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
opti
o
nall
y
use isl to per
f
orm par
a
metric vertex
e
n
umer
a
tion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
u
p
date isl-polylib for
h
a
ndling o
f
rationa
l
s
ets
commit
|
commitdiff
|
tree
next