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
bound.cc: drop dead code
2010-11-10
Sven Verdoolaege
bound
.
cc: drop dead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoo
l
aege
doc: more i
n
forma
t
ion
about using sets and maps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
doc: update some references
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven V
e
rdoolaege
iscc: a
d
d poly
o
peration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven
Verdoolaege
iscc: add s
c
an operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sve
n
Verdoolaege
isl_pw_qpolynomial_sum
:
h
a
n
dl
e
existentials in wr
a
pped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
S
v
en Verdoolaege
update
isl
for renaming of
i
sl_map_rem
o
ve
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoolaege
version
.
c: show use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n V
e
rdoo
l
ae
g
e
doc: a
bit more
i
nfo on i
s
cc
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdoola
e
ge
isc
c
:
add before
and after operat
i
ons
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolae
g
e
iscc: add identity operati
o
n
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaeg
e
iscc: br
e
a
k
o
ut
o
f
f
main loop when printe
r
n
o
longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc
:
support e
x
tende
d
PolyLib outpu
t
form
a
t
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n V
e
rdo
o
laege
configur
e
.
in:
perform chec
k
fo
r
GMP
support in NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: add
composit
i
on operation on piece
w
ise quasip
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaeg
e
iscc: add depende
n
ce analysis operations
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verd
o
olaege
i
s
cc: register ext
r
a k
e
ywords in gener
i
c
w
a
y
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
use is
l
t
o
p
erform "man
u
al_coun
t
"
commit
|
commitdiff
|
tree
2010-10-11
Sven
Ver
d
oolaege
all
o
w
build
i
ng withou
t
piplib
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaeg
e
P
olyhe
d
r
on
_
Reduced_
B
asis: optionally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
f
ix depend
e
n
ce on
b
u
ild isl
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Ve
r
d
oolae
g
e
i
s
l_map_car
d
:
u
s
e i
s
l f
o
r factorization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdool
a
eg
e
is
l
_m
a
p_
c
ard:
s
plit di
m
ension fiddling f
r
o
m conversi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
Verdoolaege
isl_map_card: use isl_pw_qpo
l
ynomial_sum if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
v
e
n Verdoolaege
barvinok 0
.
3
2
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdool
a
eg
e
update isl for fix
in para
m
eter
a
lignment
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Verdo
o
l
aege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rdool
a
eg
e
iscc: add lexicogra
p
h
ic o
p
erat
o
rs
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
aeg
e
updat
e
isl to v
e
rsion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verd
o
olaege
is
c
c: add "source" operat
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
r
d
o
olaege
iscc: add supp
o
rt for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
i
s
cc: print error message on use of
unknown ident
i
fier
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erdoolae
g
e
iscc:
s
u
p
port union
s
ets in
v
ertic
e
s
op
e
ratio
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add isl_list_conc
a
t
commit
|
commitdiff
|
tree
2010-09-05
Sven
Verdo
o
laege
barvinok_boun
d
: use
i
s
l
to split per
i
o
d
s
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoola
e
ge
update isl f
o
r isl_
p
w_qpolynomial_split_peri
o
ds
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n
V
e
rdoolaege
doc:
mark PolyLi
b
i
n
terface obsol
e
scent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaeg
e
M
akefil
e
.
am: drop ref
e
re
n
ces
t
o obsolete @bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdo
o
laege
evalue_c
o
nvert
.
cc: evalue_print_i
s
l: print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Ve
r
d
o
ol
a
ege
isc
c
:
all
o
w coer
c
ion o
f
bin
a
r
y
list
in
t
o fi
r
st element
commit
|
commitdiff
|
tree
2010-08-28
Sven Ver
d
o
olae
g
e
barvi
n
ok_bound: convert to isl_pw
_
qpo
l
ynomial
o
nce
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdool
a
ege
ba
r
vinok_bound: use
isl to split on domain
size
commit
|
commitdiff
|
tree
2010-08-26
S
v
en
V
erdoolaege
set sensible defau
l
t
s with --p
o
lynomial-app
r
o
x
ima
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaeg
e
isl_pw_qpolynomial
_
s
u
m
: reuse barvinok_op
t
ions if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
i
s
l_map_card: reus
e
barvinok
_
o
p
tions if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoola
e
ge
update isl fo
r
a
lignin
g
p
arameter
s
of unio
n
arg
u
ments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
Ver
d
oolaege
iscc: add "join" operation on
f
old
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
ol
a
ege
iscc: add
"
join" operatio
n
o
n maps and f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
S
ve
n
Verdoolae
g
e
iscc: s
u
pport add
i
tion on
a
pair of a fold and a
quasip
o
lyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
update
i
s
l
f
or a
d
di
n
g types to i
s
l_{union_,}pw_qpolyn
o
mial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
a
l
low c
o
degen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
iscc: c
o
d
e
gen
:
detect stri
d
es
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
V
erdoolaege
isc
c
: use simplifi
e
d CLo
o
G in
t
erface
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
d
oolaege
up
d
ate isl f
o
r rename of is
l
_pw_qpo
l
ynomial_fol
d
_add
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolae
g
e
iscc
.
c: union_pw_
q
poly
n
omial_upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
o
o
laege
summate
.
c: fix typo
in co
m
ment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl_map_apply_pw_qpolynomia
l
:
f
ix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
update isl from isl_
u
nio
n
_map
fix
e
s
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaeg
e
i
s
cc
:
allow inverse o
n
non-union maps
again
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
do
o
la
e
ge
iscc: add
w
rap and u
n
wrap o
p
e
r
a
tions
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add
isl_union_map_apply_union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaege
is
l
_p
w
_
qpolynomial_sum: h
a
ndle isl_p
w
_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
u
pdate isl fo
r
neste
d
dimen
s
ion specification
s
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rd
o
olaeg
e
isl_ma
p
_car
d
: postpone shuffling around of
d
im
e
ns
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaeg
e
update isl f
o
r isl_basic_
m
ap_move_dims
commit
|
commitdiff
|
tree
2010-08-04
S
v
e
n Ver
d
oo
l
a
e
g
e
isl_pw_
q
polynomial_sum: pus
h
conversio
n
t
o
Poly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Ve
r
doolae
g
e
is
l
_pw_qpolyno
m
ial_su
m
: chec
k
for unbounded domai
n
s
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n
V
erd
o
olaege
avoid use
o
f isl_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolae
g
e
iscc: su
p
port
codegen operati
o
n i
f
CLooG is avail
a
ble
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdool
a
ege
iscc:
s
w
i
tch to
us
i
ng uni
o
ns
commit
|
commitdiff
|
tree
2010-07-31
Sven
Ve
r
d
o
olaege
add isl_un
i
o
n
_
p
w
_qpolyno
m
ial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_union
_
map_ca
r
d
commit
|
commitdiff
|
tree
2010-07-31
S
ven V
e
rdoola
e
ge
i
s
l_
p
w
_qpolynomial_sum: take
tuple
n
ames int
o
a
ccount
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
ae
g
e
isl_map_card: preserve
f
u
l
l domain dimens
i
on i
n
formation
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
u
p
date isl
fo
r
chan
g
e i
n
isl_hash_ta
b
l
e
_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoola
e
ge
barvi
n
o
k
_enume
r
ate
.
cc: f
i
x p
r
i
ntf form
a
t
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolae
g
e
doc:
a
dd
some more papers refering to
t
he library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
g
e
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdo
o
laege
update isl to
v
ers
i
on 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
i
n: properly add isl flags and libs
to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: drop call
t
o gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
g
e
genfun
.
cc: fix
p
r
i
n
tf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verd
o
olaege
test_approx
.
c: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
test_bound
.
c: fix prin
t
f for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
con
f
igure
.
in
:
stop compiling Om
e
ga by d
e
fault
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verdoolaege
verify_l
e
xsma
l
ler
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
dool
a
ege
eval
u
e
.
c: avoid use of all
o
ca
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
ege
e
v
alue_isl
.
c
:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
Verdoolaege
iscc: recov
e
r from errors
commit
|
commitdiff
|
tree
2010-06-20
S
v
e
n
V
erdoolaege
update isl for improve
d
error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaeg
e
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
do
c
: iscc: upda
t
e
documenta
t
ion of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
tes
t
_
approx:
i
n
c
lude ctype
.
h for iss
p
ac
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
te
s
t_approx: include config
.
h for HAVE_SY
S
_TIME
S
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
la
e
g
e
test_bound: include config
.
h for HAV
E
_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
eg
e
iscc: a
d
d
ver
t
ices ope
r
a
ti
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
optionally use isl
t
o perform parametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
g
e
update isl-polylib
f
or h
a
ndli
n
g
of ration
a
l sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
dr
o
p distinct
i
on between b
a
rvinok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
g
e
remove bernst
e
in
commit
|
commitdiff
|
tree
next