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
Sven Verdoolaege
i
s
cc: add
c
omp
o
s
ition operation
o
n
piec
e
w
ise qua
s
ipolynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Ver
d
oolaege
iscc:
a
dd
de
p
e
n
dence analysis operations
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdo
o
laege
iscc: register e
x
tra ke
y
w
or
d
s
i
n gen
e
ric way
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
r
do
o
laege
us
e
i
s
l
to
perfor
m
"manual_count"
commit
|
commitdiff
|
tree
2010-10-11
S
v
en V
e
rdool
a
ege
allow
building without pip
l
ib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
Polyhedron_Reduced_Basis: optiona
l
l
y
use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
d
oolaege
f
ix dependence on build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaeg
e
isl_map_card: use isl
f
o
r
fact
o
rization
commit
|
commitdiff
|
tree
2010-09-14
S
ven Ver
d
oolaege
isl_map_card: spli
t
dimension fiddling from conve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolae
g
e
is
l
_map_c
a
rd: use
is
l
_pw_qpoly
n
omial_sum if requ
e
st
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
v
e
n Verdoola
e
ge
barvinok 0
.
3
2
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven
Verdo
o
laege
upda
t
e isl
f
o
r fix in
param
e
t
er al
i
g
n
m
e
nt
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
barv
i
no
k
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolae
g
e
iscc: add le
x
icogr
a
phi
c
ope
r
ators
commit
|
commitdiff
|
tree
2010-09-10
Sven
Verdoolaege
update
isl
t
o version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sv
e
n Verdoolae
g
e
i
scc: add "s
o
ur
c
e" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolae
g
e
is
c
c: add support for st
r
ings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: print error message on use of u
n
known identifier
commit
|
commitdiff
|
tree
2010-09-06
S
ve
n
V
e
rdoolae
g
e
iscc: s
u
p
port union set
s
in vert
i
ces operatio
n
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
V
e
r
doolaege
add
isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
S
ven Ve
r
doo
l
a
ege
barvinok_bo
u
nd:
u
se isl t
o
split periods
commit
|
commitdiff
|
tree
2010-09-05
S
v
e
n
Verdo
o
l
a
ege
update isl f
o
r i
s
l_p
w
_qpolynomial_spl
i
t_per
i
o
d
s
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
doc: mark P
o
lyLib interf
a
ce obsoles
c
ent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdo
o
l
a
e
ge
Makefile
.
am:
d
rop r
e
f
e
renc
e
s to obso
l
ete @bv_ba
r
vi
n
ok_boun
d
@
commit
|
commitdiff
|
tree
2010-08-31
S
ven Ve
r
doolaege
evalue_convert
.
cc: evalue_print_isl: print
end
-
of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Ver
d
oolaege
iscc:
a
llow coercion
o
f bi
n
ary
l
ist into fi
r
st element
commit
|
commitdiff
|
tree
2010-08-28
S
ven V
e
r
d
oolaege
barvinok_bo
u
n
d: con
v
ert to is
l
_p
w
_qpolynomia
l
once
commit
|
commitdiff
|
tree
2010-08-28
Sven Ver
d
oola
e
ge
barvi
n
ok_bou
n
d: use isl
t
o sp
l
it on dom
a
in
s
iz
e
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
V
e
rdoolaege
set sensible d
e
faults with -
-
p
olynomial-ap
p
r
o
ximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_pw_qpolynomial_sum
:
r
euse barvi
n
ok_options
if avai
l
able
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven Verdool
a
ege
isl_map_car
d
: reuse barvinok_options if
availabl
e
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
up
d
ate is
l
f
or al
i
gning
parame
t
ers of un
i
on argum
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: a
d
d
"
join
"
oper
a
ti
o
n on folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n Verdoolae
g
e
iscc: add "joi
n
" opera
t
ion o
n
m
aps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: sup
p
ort addition on a pai
r
o
f
a fold and a quas
i
polyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
V
e
r
doolaege
update is
l
for adding types
t
o isl_
{
union_,}pw_qpoly
n
omial_fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow code
g
en on sets
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verd
o
olaege
is
c
c:
code
g
en:
dete
c
t strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc:
u
s
e s
i
m
p
lifie
d
C
LooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaeg
e
update
i
sl for r
e
name of is
l
_pw_qpolynomial_fol
d
_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
iscc
.
c: union_
p
w_q
p
o
lynom
i
al_upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoola
e
ge
summate
.
c:
f
i
x typo in
c
o
m
me
n
t
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdo
o
laege
isl_m
a
p_ap
p
ly
_
p
w_qp
o
lynomial: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-08-10
S
v
e
n Ver
d
oolaege
update i
s
l from isl_union_map fixe
s
commit
|
commitdiff
|
tree
2010-08-10
Sven
Verdoola
e
ge
iscc: allow inverse on non-u
n
ion maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaeg
e
i
s
cc: add wrap and unw
r
ap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
a
e
ge
add isl_union_map_appl
y
_union_pw_
q
polynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
e
r
do
o
laege
isl_pw
_
qpolynomial_sum: handle is
l
_pw_
q
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en
V
erdoolae
g
e
u
p
date isl for nested
dim
e
nsion specific
a
ti
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laeg
e
isl_ma
p
_
c
ard: po
s
t
pon
e
shuf
f
ling around of di
m
e
n
sions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
e
r
doolaege
u
p
dat
e
isl for isl_b
a
sic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaege
isl
_
pw_qpolynomial_sum:
pus
h
conver
s
ion to PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoola
e
ge
i
sl_pw_q
p
ol
y
nomial_sum: check for u
n
bo
u
nded domains
commit
|
commitdiff
|
tree
2010-08-02
S
v
en V
e
rdoolaege
avoid
us
e
of is
l
_d
i
m internals
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolae
g
e
iscc: support codegen ope
r
ation if
C
LooG i
s
avai
l
able
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
d
o
olaeg
e
iscc: switch
to
using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_union
_
pw_qpolynomi
a
l_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoo
l
a
ege
a
d
d
i
sl
_
u
nion_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
i
sl_pw_qpolynomial_
s
um
:
take
tuple names
i
n
to account
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
isl_map_
c
a
rd: prese
r
ve full domain dimension information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
u
pdate isl f
o
r ch
a
n
g
e
i
n
is
l
_
has
h
_table_
f
ore
a
ch
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
ba
r
vinok_enumerate
.
cc: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-07-03
S
ven Verd
o
ol
a
ege
doc:
a
d
d
so
m
e more papers
refering t
o
the library
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
b
a
rvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ver
d
oolaege
upda
t
e isl t
o
version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdo
o
laege
c
o
nfigure
.
in: proper
l
y add isl flags and libs
to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
configure
.
in: drop cal
l
t
o
gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
genfun
.
cc:
f
ix print
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_
a
pp
r
ox
.
c
:
fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ve
r
doolaege
tes
t
_
b
ou
n
d
.
c: fix
printf
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
e
r
doolae
g
e
configure
.
i
n: stop co
m
piling
Omega by
d
efault
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
doolaege
v
e
rif
y
_l
e
x
s
m
a
ller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoo
l
a
ege
evalue
.
c: avoid use of
a
lloca
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
evalue
_
isl
.
c
:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verd
o
ol
a
ege
is
c
c: recover fr
o
m errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolae
g
e
update isl for improved error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdo
o
laeg
e
do
c
: iscc: update docu
m
enta
t
ion of "ub" operato
r
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
test_approx: in
c
lude ctype
.
h fo
r
isspac
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_
a
pprox:
inc
l
ude config
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bou
n
d: include config
.
h
f
or HAV
E
_SYS_T
I
ME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
iscc: add ver
t
ices
operations
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdo
o
laege
o
ptio
n
al
l
y use isl to perform
parame
t
r
ic vertex enumera
t
ion
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoolaege
up
d
ate
i
s
l-polylib
f
or handling of r
a
ti
o
nal sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
drop distinctio
n
b
e
tween barvinok-cor
e
and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
laeg
e
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl for
g
eneric isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaeg
e
c
o
nfigure
.
in: drop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
s
l_ctx_peek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdo
o
laeg
e
is
c
c: parse
barvinok o
p
tions
commit
|
commitdiff
|
tree
2010-06-01
Sven
Ver
d
oolaege
e
x
port isl_qpolynomi
a
l_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
r
doolaege
Ma
k
efile
.
am: d
r
op de
p
endence on do
c
/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ve
r
doolaeg
e
update i
s
l
f
o
r ren
a
me of
i
sl_p
w
_
qp
o
lynomial
_
m
o
ve
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
ver
i
f_eh
r
hart
.
c:
add miss
i
ng in
c
lude
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
configure
.
i
n
:
f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
u
s
e is
l
f
or ar
g
ument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
upda
t
e
isl for
keepi
n
g
t
r
a
ck of us
e
r options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
t
e
st
_
bound: rewri
t
e i
n
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update is
l
for
h
elp
m
essage printi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
do
o
lae
g
e
remove evalue
_
optimum
commit
|
commitdiff
|
tree
next