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
add isl.py to distribution
2010-10-18
Sven Verdoolaege
iscc: support ex
t
ended PolyLib
o
ut
p
u
t for
m
at
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdoolaege
configure
.
in: perform che
c
k for GMP
s
upport
in NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: add
c
omposition o
p
eration on pie
c
ewise quasipo
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoolaege
i
s
c
c
: add dependenc
e
a
n
a
l
ysi
s
ope
r
ations
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoola
e
ge
iscc: regis
t
er extra ke
y
words in generi
c
way
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
us
e
isl to perform "ma
n
ua
l
_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
a
llow b
u
il
d
i
ng without p
i
plib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laege
Poly
h
edron_Reduc
e
d_Ba
s
is: o
p
tionally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verd
o
olaege
f
ix
d
ependence
o
n bu
i
l
d
i
s
l
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoola
e
ge
isl
_
map
_
c
ard: use i
s
l for f
a
ctorizati
o
n
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaeg
e
is
l
_map_card: split dimension fiddli
n
g
from c
o
nversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Ver
d
o
o
laege
isl_map_card: use is
l
_pw_qpolyno
m
i
al
_
sum
i
f
reque
s
ted
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
V
e
r
d
o
olaege
b
a
rvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
S
ven
Verdoolaeg
e
update isl fo
r
fix in paramete
r
alignment
commit
|
commitdiff
|
tree
2010-09-10
S
v
en V
e
rdoolaege
bar
v
i
nok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
i
s
cc:
add lexic
o
g
r
aphic op
e
rators
commit
|
commitdiff
|
tree
2010-09-10
S
ve
n
Verdoo
l
aege
update isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sv
e
n Verdoolaege
i
sc
c
: add "sourc
e
" o
p
eration
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaeg
e
iscc: add support for
s
tr
i
ngs
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
dool
a
ege
i
s
cc: pr
i
nt error me
s
sa
g
e
o
n use of unknown
identifier
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verd
o
ola
e
ge
i
s
c
c: sup
p
ort union sets in vertices
operatio
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
a
dd isl_list_conc
a
t
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
e
rdoo
l
aege
barvinok_bound: use isl to spl
i
t
periods
commit
|
commitdiff
|
tree
2010-09-05
Sve
n
Verdool
a
ege
update isl for isl
_
p
w
_
q
polynomi
a
l_spl
i
t
_
periods
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdoolaege
doc: mark
P
olyLib interface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdoo
l
aege
Makefile
.
am: drop reference
s
to obsolete @bv_barvinok_bound
@
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verdoolaege
eva
l
ue
_
convert
.
c
c
: evalu
e
_print_isl: pr
i
n
t
end
-
of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
isc
c
: allow
coe
r
cion
o
f bina
r
y list into first element
commit
|
commitdiff
|
tree
2010-08-28
Sven
Verdoolae
g
e
ba
r
vin
o
k
_
bound: convert
t
o i
s
l_pw_
q
p
o
l
ynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Verdoolaege
ba
r
vinok_
b
ound: use isl to split on do
m
ain size
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verdoolaege
set sensibl
e
defaults w
i
th --
p
olynomial-approxima
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaeg
e
is
l
_pw_qpolynom
i
a
l
_s
u
m:
reuse barvinok_options if avai
l
able
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verd
o
olaege
isl_map_ca
r
d: reuse barv
i
n
o
k
_options
i
f
av
a
i
l
able in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoolaege
up
d
ate is
l
for aligning paramete
r
s
o
f union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
i
s
cc:
a
d
d "join" operati
o
n o
n
fold
s
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Ve
r
doolaege
iscc: add "join" operatio
n
o
n
maps a
n
d folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Ve
r
doolaege
iscc: support addition on a pair
o
f a fold and a
q
uasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
up
d
ate isl fo
r
add
i
ng types
t
o
isl_{union_,}pw_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Ver
d
oolaege
allow codegen o
n
sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
scc: codegen: de
t
ect strides
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Verdoolaege
iscc: use simplified CLooG interf
a
ce
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
update isl f
o
r rename of isl_pw_qpolyno
m
ial_
f
old_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
d
oolaege
iscc
.
c: union_pw_qpolynomial_up
p
er_bou
n
d: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
summa
t
e
.
c: fix typo in commen
t
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl
_
map_
a
pply_pw_qpol
y
nomial: fix
t
yp
o
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
update isl from isl_union_map fi
x
es
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolae
g
e
iscc
:
allow
i
nverse on non-union maps a
g
ain
commit
|
commitdiff
|
tree
2010-08-05
Sven
Ver
d
oolaege
iscc
:
add wrap and
u
nwra
p
opera
t
ions
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaege
add isl_union_ma
p
_app
l
y_union_pw_qpolynomia
l
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
s
l
_
pw_q
p
ol
y
n
o
mial_sum: handle isl_pw_qpolyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
V
e
rdoolaege
u
pdate i
s
l f
o
r
n
e
s
te
d
dim
e
nsion specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
dool
a
ege
isl_map_card
:
postpone shuffling
a
roun
d
of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
up
d
ate isl for
i
sl_basi
c
_map_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdoolaege
isl_pw_qpol
y
nomial_sum: push conve
r
sion
t
o
P
olyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
e
rdoolaege
isl_pw_
q
p
o
ly
n
omi
a
l_
s
u
m: check
for un
b
ounded d
o
m
a
ins
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdoolaege
avoid use of isl_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: suppo
r
t codegen operation if CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
V
e
r
doolaege
iscc: switch
t
o usi
n
g unions
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rd
o
o
l
aege
a
d
d
isl_union_
p
w
_
qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
add isl_u
n
ion_map_c
a
rd
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erd
o
olaege
isl_pw_qpolynomial_sum:
t
a
k
e tup
l
e names
into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laeg
e
isl_map
_
car
d
:
p
res
e
rve
f
ul
l
doma
i
n dimensio
n
infor
m
ati
o
n
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
update is
l
for cha
n
ge in isl_hash_table_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaeg
e
b
arvinok_enum
e
r
ate
.
cc: fix p
r
int
f
fo
r
m
a
t
commit
|
commitdiff
|
tree
2010-07-03
S
ven Verdoolaege
d
o
c: add
some more pape
r
s
refering to the library
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
ba
r
vinok 0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ve
r
doolaege
update isl to vers
i
on 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
configure
.
i
n: properly add isl flags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
rdoolaege
configure
.
in: drop
c
all to gl_
E
AR
L
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaeg
e
gen
f
un
.
cc: fix
p
rintf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoo
l
aege
te
s
t_approx
.
c:
f
ix prin
t
f format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
ol
a
ege
test_bound
.
c: fix printf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
configure
.
in: s
t
op comp
i
ling Omega by
d
e
fau
l
t
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
verify_lexsmal
l
er
.
c: fix
t
yp
o
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
eva
l
ue
.
c:
a
void
u
s
e of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
e
v
a
lue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
v
en Verdoo
l
a
e
ge
iscc
:
recover from
error
s
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
rdoo
l
aeg
e
u
p
d
ate isl for i
m
proved
e
r
ro
r
hand
l
ing
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
olaege
iscc
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-13
S
ven Ver
d
oolaege
doc: is
c
c
: updat
e
documen
t
ation of "ub" operat
o
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
e
st_approx:
i
nclude ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
test
_
ap
p
r
o
x
: inc
l
ude confi
g
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
test_boun
d
: include
c
o
n
fig
.
h for H
A
VE_
S
YS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
eg
e
iscc:
a
d
d
vertice
s
operat
i
on
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdool
a
ege
optionally use
isl to
perform parametric
vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoo
l
aege
upd
a
te i
s
l-
p
olylib
for handling of
rationa
l
set
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
dro
p
distinction bet
w
een barvinok
-
core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
u
p
d
ate
i
s
l
f
or
g
ener
i
c is
l
_
p
w_qpolynomial_b
o
und
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolaege
configure
.
in: drop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
add
i
sl
_
ctx_pee
k
_b
a
rvi
n
o
k
_opti
o
ns
commit
|
commitdiff
|
tree
2010-06-07
S
v
en V
e
rdoolaege
i
s
c
c
:
parse barvinok optio
n
s
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoo
l
aege
expo
r
t isl_qpoly
n
omial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdool
a
ege
Makefil
e
.
am: drop depende
n
ce on doc/omeg
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl for rename of isl_pw_qpolyn
o
mial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
v
e
rif
_
ehrhart
.
c: add m
i
ssing include
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
configur
e
.
in: fix
typo
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdo
o
laege
use isl fo
r
ar
g
u
m
e
n
t par
s
ing
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
updat
e
isl for keeping tr
a
ck
o
f use
r
options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoo
l
a
eg
e
test_bound: rewrite
i
n
C
commit
|
commitdiff
|
tree
next