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: use non-deprecated form of AM_INIT_AUTOMAKE
2010-11-12
S
ven Ver
d
oo
l
aege
iscc: add polynomial appro
x
imatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
v
e
n
Verdoolaege
b
arvinok_summ
a
t
e
: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven
Verdo
o
laege
b
a
rvi
n
ok_s
u
mmat
e
: use isl interfa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sve
n
V
erdoo
l
aege
bound
.
cc: dro
p
dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoola
e
ge
doc: more informatio
n
about usi
n
g sets and maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven V
e
rdoolaege
doc: update
some refer
e
nces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
iscc
:
add p
o
ly operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verd
o
olae
g
e
iscc
:
add sc
a
n operatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verd
o
olae
g
e
isl_pw_q
p
olynomia
l
_sum: handl
e
exi
s
tentials in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven
Verdoo
l
aege
update
isl for renaming of isl_map_remo
v
e
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoola
e
ge
version
.
c:
s
h
ow use o
f
C
L
ooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
doc: a bit more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaeg
e
i
s
cc: add bef
o
re
and after operation
s
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Verdoolaege
i
scc: add identity operation
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rdool
a
eg
e
iscc: b
r
eak out
off main loo
p
w
hen printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
S
v
en
V
e
rdool
a
ege
iscc: sup
p
ort exten
d
ed PolyLib outpu
t
format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoola
e
ge
co
n
figu
r
e
.
in:
perform chec
k
f
or GMP support in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven
Ve
r
doolaege
isl_Polyhedron_Sample: a
d
d m
i
ss
i
n
g initializati
o
n
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaege
is
c
c: add
comp
o
sition operation on piecewi
s
e quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaege
isc
c
: add depen
d
ence analysis o
p
era
t
ions
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
l
aege
iscc
:
register extra keywords i
n
ge
n
eric way
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaege
use isl to per
f
or
m
"manual_co
u
nt"
commit
|
commitdiff
|
tree
2010-10-11
Sven
Ver
d
ool
a
ege
all
o
w buil
d
ing
w
ithou
t
piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
ege
Polyhe
d
ron
_
R
e
duce
d
_Basis: op
t
i
o
nally
u
se i
s
l
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Ve
r
doolae
g
e
fix depe
n
dence o
n
build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdool
a
e
ge
i
s
l
_map_card: use
i
s
l for fac
t
o
r
ization
commit
|
commitdiff
|
tree
2010-09-14
S
v
e
n
Verdoolaege
i
s
l
_
m
a
p
_card: split dimension fid
d
ling from conver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
Ve
r
doolaege
isl_map_ca
r
d: use is
l
_pw_qpolyno
m
i
al
_
sum if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdo
o
la
e
ge
barvinok
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
Verdoolae
g
e
update isl for fix in parameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven
Verdoo
l
aege
barvi
n
ok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
v
en Verdoo
l
ae
g
e
iscc: add lex
i
cog
r
aphic
o
perators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
ae
g
e
update isl to ver
s
ion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoo
l
aege
is
c
c: add
"
source" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verd
o
olaege
iscc: add s
u
pport for s
t
rings
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
isc
c
: prin
t
error me
s
sage on use
of unk
n
own iden
t
ifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: support uni
o
n sets in vertice
s
operatio
n
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdoolaege
a
d
d
i
sl_li
s
t_
c
oncat
commit
|
commitdiff
|
tree
2010-09-05
Sven Ver
d
oolaege
barvinok_
b
ound:
u
se isl to split perio
d
s
commit
|
commitdiff
|
tree
2010-09-05
S
v
en V
e
rdoo
l
aege
update isl
f
or
isl
_
p
w_qp
o
lynomial
_
sp
l
it_period
s
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Ve
r
doolaege
doc: mark Poly
L
i
b
i
n
terfac
e
obs
o
l
e
sce
n
t
commit
|
commitdiff
|
tree
2010-08-31
S
v
en
Verdool
a
ege
Makefil
e
.
am: d
r
o
p
references to ob
s
olete @bv_ba
r
vinok_
b
ound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Ver
d
oolaege
evalue_conv
e
rt
.
cc:
e
value_print_isl: print end-of-li
n
e
commit
|
commitdiff
|
tree
2010-08-30
Sven
V
e
r
d
o
olaege
i
s
cc: allow coercion of b
i
nar
y
list into first element
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n
Ver
d
oo
l
a
ege
barvinok_bound: convert to isl_pw_qpolynomia
l
once
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Verdoolaege
barvinok_
b
ound: use i
s
l to spl
i
t on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoo
l
aege
s
et sensible defaults with --po
l
ynomial-approxi
m
at
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verdo
o
lae
g
e
isl_pw_qpo
l
ynomial_sum: reuse barvin
o
k_optio
n
s if availa
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
isl_map_card:
reuse barvinok_
o
pti
o
ns
i
f avai
l
able
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verd
o
olaeg
e
upd
a
te isl for ali
g
ning
parame
t
ers of u
n
ion arg
u
ments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoola
e
ge
iscc: add "join" operation on folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n Verdoolaege
i
s
cc:
ad
d
"join" ope
r
ation on
m
ap
s
and
folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Ver
d
oolaege
iscc: su
p
port addi
t
i
o
n
on a
p
a
ir
o
f a fold
a
nd
a
qu
a
sipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
update isl fo
r
add
i
ng ty
p
es to
is
l
_{union_,}pw_qpolynom
i
al_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
allow
c
odegen on sets
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Ve
r
doolaege
iscc: codegen: detec
t
stri
d
es
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
iscc: use s
i
mplified CL
o
oG int
e
rface
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
update isl for rename
of isl_pw
_
qpol
y
nomial_fold_ad
d
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
is
c
c
.
c: union_pw_qp
o
lynomial_upper
_
bound: fix
m
emory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ver
d
ool
a
e
ge
summate
.
c: fix typo in c
o
m
ment
commit
|
commitdiff
|
tree
2010-08-17
Sven V
e
rdoolaege
i
s
l_map_apply_pw_qpol
y
nomial: fi
x
typo
commit
|
commitdiff
|
tree
2010-08-10
Sven
V
e
r
do
o
laege
update i
s
l f
r
om isl_u
n
ion_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
Ver
d
oo
l
aege
iscc: allow
i
nv
e
rse on non-uni
o
n maps
a
gain
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
iscc:
a
dd wra
p
a
nd unwrap
o
peratio
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaeg
e
a
d
d isl_union_map_a
p
ply_union_pw_qp
o
lyn
o
mial
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
i
sl_pw_qpolynomia
l
_sum: handle
i
sl_pw_qpo
l
y
no
m
ial
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
u
p
d
a
t
e isl
for nested dimen
s
i
on specification
s
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoola
e
g
e
isl
_
map_ca
r
d: postpone sh
u
ffling around of di
m
ensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl
f
or isl_basic_map_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdool
a
ege
i
s
l
_pw_qpolynom
i
al_sum: pus
h
c
o
nversion to Poly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
r
doolaeg
e
isl_pw_qp
o
l
y
no
m
ial_sum:
c
h
e
c
k for u
n
bounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Ver
d
ool
a
ege
avo
i
d
u
s
e
of isl_di
m
i
n
t
e
rna
l
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: supp
o
r
t
codege
n
oper
a
tion if CLooG i
s
available
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
isc
c
: switch to
u
sing unions
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
add
isl_un
i
on_pw_
q
pol
y
nomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_union
_
map_car
d
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
er
d
oolaege
isl_pw_qpo
l
y
nomial_su
m
: take
tuple names
i
nto account
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoo
l
aege
isl_map_card: p
r
eserve
full d
o
m
a
in
d
i
m
ension inf
o
r
ma
t
ion
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
r
doolaege
update isl for cha
n
ge in isl_hash_table_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
b
arvinok_e
n
umerate
.
c
c: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven V
e
rdoolaege
doc: add so
m
e more p
a
pers refering to the libra
r
y
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erd
o
ol
a
eg
e
barvinok 0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaeg
e
update
i
sl to ve
r
sio
n
0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
c
o
n
f
igur
e
.
in:
properly
add isl f
l
ags a
n
d l
i
bs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolae
g
e
co
n
figu
r
e
.
i
n
: dro
p
call to gl_E
A
R
L
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
o
o
lae
g
e
genfu
n
.
cc: fi
x
printf
format
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verd
o
olaege
test_approx
.
c: fix printf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ve
r
doolaege
tes
t
_
b
ound
.
c: f
i
x printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
V
erdo
o
laege
c
o
nfig
u
re
.
in: stop com
p
iling Omega by de
f
ault
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
v
e
rify_lexsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
oo
l
aege
evalue
.
c: avoid use
o
f al
l
oc
a
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
a
ege
evalue
_
is
l
.
c:
fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-20
Sven
Ve
r
dool
a
ege
iscc: recover from er
r
o
rs
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verdoolaege
update i
s
l
for imp
r
ov
e
d error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verd
o
olaege
doc: isc
c
: update documentation of
"
ub" op
e
r
a
to
r
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
test
_
approx: i
n
clude ctype
.
h
for is
s
pace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
te
s
t_approx: i
n
clu
d
e co
n
fig
.
h
f
or HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aeg
e
t
e
st_boun
d
:
i
nclude confi
g
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdool
a
ege
isc
c
: add vertices operation
s
commit
|
commitdiff
|
tree
next