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: register extra keywords in generic way
2010-10-11
S
ven
V
erdoolaege
iscc: registe
r
extra keywords in ge
n
eric way
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdool
a
ege
use isl to perfo
r
m
"manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oo
l
aege
allow build
i
ng wi
t
hout pi
p
lib
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdool
a
ege
Polyhedron
_
Reduced_Basis: opti
o
nally use
isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaeg
e
fix depen
d
ence on b
u
il
d
isl
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n
Verdoolaeg
e
isl_map
_
c
ard: use isl for f
a
ctor
i
z
a
tion
commit
|
commitdiff
|
tree
2010-09-14
Sven
V
er
d
oolaege
isl_map_card: split d
i
mension
f
i
d
dli
n
g
from conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
ven Verdoolaege
isl_map
_
c
ard: use isl_
p
w_qpolynom
i
al_sum if reque
s
te
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
Ver
d
oolaege
b
arvin
o
k 0
.
3
2
.
1
commit
|
commitdiff
|
tree
2010-09-13
S
ven Verdoolaege
update isl f
o
r
fix in par
a
meter alignment
commit
|
commitdiff
|
tree
2010-09-10
S
v
en V
e
rdo
o
laege
barvinok 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Verdoolaege
i
s
cc: add
l
exico
g
rap
h
i
c
operators
commit
|
commitdiff
|
tree
2010-09-10
Sven
Verdoolaege
update isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdo
o
laege
iscc: add "s
o
urc
e
" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoo
l
aege
iscc: add
supp
o
rt for
s
trin
g
s
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaeg
e
iscc: print error mess
a
g
e on use of unk
n
own i
d
e
ntifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: support
union set
s
in vertices o
p
eration
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n Verdoo
l
aege
add isl_list_con
c
at
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
erdoolaege
barvinok_bound: use isl to spli
t
periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
update isl
for is
l
_pw_q
p
o
l
ynom
i
al_sp
l
it_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdo
o
l
aege
doc: mark Poly
L
ib interface
obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
Makefil
e
.
am: drop refere
n
ces
to
obsolete @bv
_
barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven
Verdool
a
eg
e
e
value
_
c
onve
r
t
.
c
c: evalue
_
print
_
isl: print end-of-l
i
ne
commit
|
commitdiff
|
tree
2010-08-30
S
v
en Verdoolaege
i
s
cc
:
a
llow coer
c
io
n
of binary l
i
st into
firs
t
elem
e
n
t
commit
|
commitdiff
|
tree
2010-08-28
Sven
V
erdoolaege
barvinok_bound:
convert to isl_pw_q
p
olynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven V
e
rdoolaege
bar
v
i
nok_b
o
und: use isl to split
on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Ve
r
doolaeg
e
set sensib
l
e def
a
ults w
i
th --polyn
o
mial-appr
o
x
i
mat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
r
d
oolaeg
e
i
s
l_p
w
_qpolynomial_sum: r
e
use barvinok_options
if ava
i
lable
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erd
o
ola
e
ge
isl_map_
c
ard: reuse
b
arvinok_opt
i
o
n
s
if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verdoolaege
update isl for aligning pa
r
ameters o
f
u
n
io
n
arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "join" operation o
n
folds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
V
e
r
doolaege
iscc: a
d
d "j
o
in
"
ope
r
a
tion on map
s
a
n
d
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
iscc: suppor
t
addition on a pair of a
f
o
l
d
and a quasi
p
olyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoo
l
a
ege
up
d
ate isl for adding types to
i
sl_{
u
ni
o
n_,}pw_q
p
olyno
m
ial_fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
allow co
d
egen on set
s
commit
|
commitdiff
|
tree
2010-08-18
S
ven
Verdo
o
laege
iscc: codegen: detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
iscc:
u
s
e simplified
CL
o
o
G
i
n
t
erface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
u
pdate isl
f
o
r rename of isl_
p
w_qpolynomial_fol
d
_
a
dd
commit
|
commitdiff
|
tree
2010-08-18
S
ven V
e
rdoolaege
iscc
.
c: union
_
pw_qpolynomial_upper_bou
n
d: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven
Verdo
o
la
e
ge
summate
.
c: fi
x
typo in c
o
mment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verd
o
ol
a
ege
isl
_
m
a
p_apply_pw_qpolyno
m
ia
l
: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven
Verdoolaege
upd
a
te
isl f
r
om isl
_
uni
o
n
_
map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven
Ver
d
oolaege
iscc: allow inverse on non-union maps aga
i
n
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
iscc: add wrap and unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add
i
sl_un
i
on_map_apply_union_pw_qpolynomia
l
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
i
s
l
_pw
_
q
p
olyno
m
ial_sum:
h
andle
i
sl_pw
_
q
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
V
erdoolae
g
e
update isl for
nested
d
imension specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_map_car
d
: postp
o
ne shuff
l
i
n
g around of
d
imensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl for isl_bas
i
c
_ma
p
_
m
o
ve_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdoolaeg
e
isl_pw_q
p
olyn
o
mial_sum: push conversion to P
o
l
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verd
o
ola
e
ge
isl_
p
w_qpolyn
o
mial_sum:
c
hec
k
f
o
r unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n
Ve
r
doola
e
ge
avoid
u
se of
i
s
l_dim internals
commit
|
commitdiff
|
tree
2010-07-31
S
ve
n
Verdoolaege
iscc: s
u
pport
codegen operation
i
f
CLooG is a
v
a
ilable
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
e
rdoolae
g
e
iscc:
switc
h
to
usin
g
unions
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolae
g
e
a
dd isl_un
i
on_pw_qpolynomial_s
u
m
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
V
erdoo
l
a
e
ge
add isl_union_
m
ap_card
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdool
a
e
ge
i
s
l_p
w
_
qpolynomial_sum: ta
k
e tu
p
le names i
n
to
a
c
c
ount
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
o
ola
e
ge
isl_map
_
c
ard: p
r
e
ser
v
e full domain dimension information
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
update isl for change in isl_hash_tab
l
e_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
barvinok_enumerate
.
cc: f
i
x p
r
int
f
forma
t
commit
|
commitdiff
|
tree
2010-07-03
Sve
n
Verdoolaege
doc: add s
o
me more pap
e
rs refering to th
e
libr
a
ry
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Ve
r
d
o
olaeg
e
barvinok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
upd
a
t
e
i
sl to ver
s
i
o
n 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
erdoo
l
aeg
e
co
n
figure
.
in: properly add isl flags and
l
i
bs to p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in
:
d
r
op
c
all to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
e
rdo
o
laege
genfun
.
cc: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
test_approx
.
c: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolae
g
e
t
e
st_bound
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n V
e
r
d
oolaege
configure
.
in: stop
compilin
g
Omega
by defaul
t
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
v
e
rify_lexsmaller
.
c: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doola
e
ge
evalue
.
c: av
o
id use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
e
v
alue_isl
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdool
a
ege
iscc: recover fro
m
e
r
rors
commit
|
commitdiff
|
tree
2010-06-20
Sven Ver
d
oola
e
ge
update
isl
for improved
error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verd
o
olaege
doc: iscc:
u
p
d
ate
d
ocumentation of "
u
b
"
operator
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
t
e
st_approx: include ctype
.
h f
o
r
i
s
s
pace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx: include conf
i
g
.
h for HAVE_
S
YS_T
I
M
E
S
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolae
g
e
test_
b
ound: include config
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
i
s
c
c: add v
e
rtices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
optionally use
i
sl t
o
perform pa
r
ametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl-p
o
lyli
b
for handling of ratio
n
al sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
dr
o
p distinctio
n
between barvinok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
update i
s
l for generic isl_pw_qpolyn
o
mial
_
b
o
und
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
configure
.
in: drop b
v
_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
a
d
d isl_ctx
_
peek
_
barvinok_o
p
tions
commit
|
commitdiff
|
tree
2010-06-07
Sven Ve
r
doolaege
iscc: parse barvi
n
ok o
p
tions
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
expo
r
t
isl_qpolynomial_from_
e
value
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Mak
e
f
ile
.
am: drop dependenc
e
o
n
d
oc
/
omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
upda
t
e isl for rename of isl_pw_
q
polynomial_m
o
ve
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
veri
f
_ehrhart
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
o
l
aege
c
onf
i
gure
.
in: fix typ
o
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
use isl f
o
r a
r
gument parsing
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verd
o
o
laege
update
i
sl fo
r
k
eeping
t
r
ack
o
f
user opt
i
ons
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verd
o
olaege
test_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
up
d
ate
isl
f
or
help message pri
n
t
ing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaege
remo
v
e evalue_
o
p
t
imum
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verd
o
ola
e
ge
remove evalue_rang
e
_pro
p
a
g
ation
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verd
o
olaege
test
_
b
ound
:
use
i
sl i
n
te
r
fa
c
e f
o
r comp
u
t
i
n
g
bounds
commit
|
commitdiff
|
tree
next