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 composition operation on piecewise quasipolynomials/folds and maps
2010-10-11
Sv
e
n Verdoolaege
iscc:
a
d
d co
m
pos
i
tion
o
p
eration o
n
piecew
i
se quasip
o
l
ynomia
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
ven
Verdoolaege
iscc: ad
d
dependen
c
e a
n
alysis operati
o
ns
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n
Ve
r
doolaege
iscc: register
extra keywords
in generi
c
way
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verd
o
ol
a
ege
use
i
s
l to perfo
r
m
"manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
allow b
u
ild
i
ng without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
Polyhedron_Reduced_Basis:
o
p
t
io
n
ally use i
s
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
ege
fix depe
n
den
c
e
o
n
bui
l
d isl
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
isl_map_card: use isl
f
or factorization
commit
|
commitdiff
|
tree
2010-09-14
S
ven Verdoolaege
is
l
_map_card: split dimension fiddlin
g
from convers
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
isl_m
a
p_ca
r
d
:
use
i
sl_pw_qpolynomial_sum if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
Verdoolaege
ba
r
v
inok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verd
o
olaege
update i
s
l fo
r
fi
x
in
parameter
a
lignment
commit
|
commitdiff
|
tree
2010-09-10
S
v
en Verdoolaege
b
arvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Ver
d
oolaege
iscc:
add l
e
xicog
r
aphic ope
r
ators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdool
a
eg
e
update isl t
o
versio
n
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
S
v
en Verdoo
l
ae
g
e
iscc
:
a
dd
"source" op
e
ration
commit
|
commitdiff
|
tree
2010-09-06
S
ven V
e
r
d
ool
a
ege
iscc: add suppo
r
t
f
o
r strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
is
c
c
: p
r
int error message on u
s
e
of unknown
identifier
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
isc
c
:
s
uppor
t
union
sets in vertices o
p
e
r
ation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add i
s
l_list_conc
a
t
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
barvinok_bou
n
d: use isl to
s
plit pe
r
io
d
s
commit
|
commitdiff
|
tree
2010-09-05
S
ven Verd
o
olaege
upd
a
te is
l
for
isl_p
w
_
q
p
olynomial_s
p
lit_periods
commit
|
commitdiff
|
tree
2010-08-31
S
v
e
n
Ver
d
oo
l
aege
doc: mark
P
olyLib interface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
S
v
e
n
Ver
d
o
olaege
Makefile
.
am: dro
p
referen
c
es
t
o obsolete @bv_barvinok
_
bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalu
e
_convert
.
c
c
: evalue_print
_
isl:
print end-o
f
-
l
ine
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
iscc: all
o
w coercion
o
f binary list into first e
l
emen
t
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Verdoolaege
ba
r
vinok_bou
n
d:
c
onvert to isl
_
pw_qpoly
n
omial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
b
arvinok_bound: use
i
sl t
o
split on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdo
o
laege
set sensible
d
efault
s
w
i
t
h
-
-
po
l
ynomi
a
l-appro
x
imation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
o
o
laege
isl_
p
w_
q
polynomial_sum: reu
s
e barvinok_options if
available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
i
sl_map_card:
reuse barvinok
_
o
p
tions if av
a
ilabl
e
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Ve
r
doolaege
update isl
f
or aligning parameters
of union argume
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoo
l
aege
iscc: a
d
d
"join
"
operatio
n
on fold
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
i
s
cc: add "join
"
operation o
n
maps and fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: supp
o
rt addition
o
n
a
pa
i
r of a fold and
a quasipo
l
yno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
r
d
ool
a
ege
u
p
d
a
te isl
for addin
g
types to
i
s
l_{union_,}pw
_
qpolynom
i
al_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
al
l
ow codegen o
n
sets
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
r
d
oo
l
aege
iscc: codegen: detect strides
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoola
e
ge
iscc: use s
i
mplified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
update isl for rename
of isl_pw_qpolynomial_
f
old_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
.
c: union_pw_q
p
olyno
m
ial_upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
summate
.
c: fix typo in c
o
mment
commit
|
commitdiff
|
tree
2010-08-17
Sven V
e
rdo
o
laege
isl_map_
a
ppl
y
_p
w
_
q
poly
n
omial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
S
ve
n
Verdoo
l
ae
g
e
update isl from isl_union_map fix
e
s
commit
|
commitdiff
|
tree
2010-08-10
S
v
en Ve
r
doolaege
iscc: allow inv
e
rse
o
n
n
on-union maps
again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
iscc: add w
r
ap a
n
d unwr
a
p opera
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rd
o
ol
a
ege
add isl_union_map_a
p
p
l
y
_
uni
o
n_pw_qpolynom
i
al
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n
Verdoolaege
isl_pw_qpolynomia
l
_sum: handle is
l
_pw_qpolynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
u
pdate isl for n
e
sted dimens
i
o
n
specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
isl_map_card: pos
t
pone s
h
uffling around
of
dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoo
l
aege
u
pdate isl for isl_basic_map_move_dim
s
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoolaege
is
l
_pw_qpolynomia
l
_sum: push conver
s
ion to Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
ol
a
e
ge
isl_pw_qp
o
lynom
i
al_su
m
:
check for
u
n
b
ounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdo
o
laege
avoid
use
o
f isl_dim internals
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Ve
r
d
o
olaege
iscc: su
p
port c
o
degen operatio
n
if C
L
oo
G
is available
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdool
a
ege
iscc: switch t
o
using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
a
d
d isl_union_
p
w_qp
o
lynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
d
o
olaeg
e
add isl_uni
o
n_ma
p
_c
a
rd
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
isl_pw_qpol
y
n
o
mial
_
s
u
m: take tuple names
i
n
t
o
acco
u
nt
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n V
e
rdoolaege
i
sl_map_c
a
rd: preserve full domai
n
dimension informa
t
ion
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
u
pd
a
te
i
s
l f
o
r change in isl_hash_t
a
b
l
e
_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verd
o
olaege
barvi
n
ok_e
n
umerate
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sve
n
Verdoo
l
aege
doc: ad
d
some mor
e
paper
s
ref
e
ring
to the li
b
rary
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ve
r
doola
e
ge
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
update isl to versio
n
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
config
u
re
.
in: properly add isl flags and
lib
s
to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verd
o
ol
a
ege
con
f
igure
.
in: drop call to
gl_EAR
L
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
genfun
.
cc: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
tes
t
_approx
.
c: fix printf
f
o
rma
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
test_bound
.
c: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-06-29
S
ven
V
erdool
a
e
g
e
configure
.
in:
s
top compiling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
S
ven
Verdo
o
laege
ver
i
fy
_
lexs
m
a
l
ler
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdoolaege
evalue
.
c: avo
i
d
use of a
l
loca
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdool
a
ege
eva
l
ue_isl
.
c:
f
i
x typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
iscc: recover fr
o
m errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Ver
d
oolaege
update isl fo
r
improved error
h
andling
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoo
l
aege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc: isc
c
: update docu
m
ent
a
tion
of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
t
e
st_
a
pprox: i
n
clude ctype
.
h
for
isspace
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdool
a
e
g
e
t
e
s
t_approx: include
c
onfig
.
h f
o
r H
A
VE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
lae
g
e
test_boun
d
: include config
.
h
for
HAVE_SYS_
T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdool
a
ege
iscc: add ve
r
tices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optiona
l
l
y
us
e
isl to perf
o
rm
p
arametric vert
e
x enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
up
d
a
t
e isl-poly
l
ib
for
handling of
r
ational sets
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
dr
o
p
di
s
ti
n
ct
i
on between ba
r
vinok-c
o
re and barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
dool
a
ege
rem
o
ve
bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
upda
t
e
is
l
for generic isl_
p
w_qpoly
n
o
mial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
e
g
e
configure
.
in: dr
o
p bv_om
e
g
a
_p
r
o
grams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_ctx_p
e
ek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Ve
r
d
o
olaege
isc
c
: parse ba
r
vi
n
ok options
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Ve
r
doolaege
expor
t
isl
_
qpoly
n
omial_
f
ro
m
_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
Makefil
e
.
am: d
r
op depe
n
dence on
doc/omega
.
t
e
x
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoo
l
aeg
e
upda
t
e isl
f
or rename of is
l
_pw_q
p
oly
n
om
i
al_mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olae
g
e
ver
i
f_eh
r
hart
.
c: add missing inc
l
ud
e
commit
|
commitdiff
|
tree
2010-06-01
S
ve
n
Verdoolaege
configure
.
in: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n V
e
rdoolaege
u
s
e
isl
f
or arg
u
m
ent pa
r
sing
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
update isl f
o
r
keeping track of us
e
r opti
o
ns
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n
V
e
r
do
o
laege
test_boun
d
: r
e
write in C
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
erdool
a
ege
u
pda
t
e isl
f
or help
m
e
ssage printin
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
remove evalue_optimu
m
commit
|
commitdiff
|
tree
next