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
doc: a bit more info on iscc
2010-10-18
S
ven Verd
o
olaege
doc: a
bi
t
more info o
n
iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
i
scc: add before a
n
d
a
ft
e
r
o
perat
i
ons
commit
|
commitdiff
|
tree
2010-10-18
S
ven
V
erdoolaege
isc
c
: add id
e
nt
i
ty
o
perat
i
on
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
aege
iscc:
b
r
e
a
k
o
ut
o
ff
m
a
in l
o
op w
h
en printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rdoolaeg
e
iscc: support extended PolyLib output forma
t
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
olaege
configu
r
e
.
i
n
:
p
e
rform
check for
GMP support in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Ve
r
doolaege
isl_Polyhedron_Sampl
e
: a
d
d missing initialization
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc:
add
c
ompositio
n
oper
a
t
ion on pie
c
e
w
i
s
e quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoola
e
g
e
iscc: ad
d
dependen
c
e analysis
o
perations
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdo
o
lae
g
e
iscc: regist
e
r extra keywords i
n
generic w
a
y
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verd
o
ola
e
ge
us
e
isl to per
f
orm "manual_cou
n
t"
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
dool
a
ege
a
l
low building without piplib
commit
|
commitdiff
|
tree
2010-10-11
S
v
en
V
erdo
o
laege
Polyhed
r
on_R
e
d
u
ced_Basis: optionally use i
s
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
fix
de
p
e
n
dence o
n
b
u
i
ld
i
s
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
isl_map_card:
use isl f
o
r factorization
commit
|
commitdiff
|
tree
2010-09-14
Sv
e
n
V
erd
o
o
l
aege
isl_m
a
p_card: split di
m
e
n
sion fiddli
n
g fro
m
con
v
ersion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
isl_ma
p
_card: u
s
e isl_pw_qpolyno
m
i
al_sum if reques
t
ed
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n
V
e
rdo
o
laege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
Verdoolaege
upd
a
te
i
s
l
for fix in parame
t
e
r alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
i
scc: a
d
d lexicogra
p
hi
c
operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Ve
r
doolaege
u
pdate isl to versi
o
n
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sv
e
n
Verdool
a
ege
isc
c
: a
d
d "source" oper
a
t
ion
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoolaege
iscc: add sup
p
o
rt for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
is
c
c: print error mes
s
age on use
o
f unknow
n
identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdo
o
l
a
e
ge
iscc: support un
i
on sets in vertices ope
r
atio
n
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoolaege
add i
s
l_list_concat
commit
|
commitdiff
|
tree
2010-09-05
S
ven Verdoolaege
barvinok_bou
n
d
:
use isl to
split per
i
o
d
s
commit
|
commitdiff
|
tree
2010-09-05
Sven
Verdoolaege
upda
t
e isl for isl_pw
_
qpolyn
o
mial_split_periods
commit
|
commitdiff
|
tree
2010-08-31
S
ven Verdoola
e
ge
doc: mark PolyLi
b
interface
obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n
V
erdoolaege
Makefile
.
am: drop re
f
erences to o
b
sole
t
e
@bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalu
e
_c
o
nve
r
t
.
cc: evalue_print_isl: print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolae
g
e
i
s
cc
:
allow coe
r
c
i
on
o
f binary list i
n
to first element
commit
|
commitdiff
|
tree
2010-08-28
S
v
en Verdoolaege
ba
r
vinok_
b
ound: convert to isl_pw
_
qpolyn
o
mial once
commit
|
commitdiff
|
tree
2010-08-28
Sve
n
Ve
r
d
o
olae
g
e
bar
v
i
n
o
k
_bound:
u
s
e isl to spli
t
on d
o
main
size
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verd
o
olaege
set s
e
nsible defau
l
ts with --
p
olynom
i
al-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
e
n
V
erdoolaege
i
s
l
_pw_qpolynomial_
s
um: reu
s
e barvi
n
ok_option
s
i
f
a
v
ail
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoola
e
ge
isl_
m
ap_c
a
rd: reuse
barvino
k
_op
t
ions if avail
a
ble in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoolaege
update
isl for aligni
n
g
p
aramet
e
rs of union argu
m
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoo
l
a
e
ge
i
s
cc
:
add "join" operatio
n
on fold
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
iscc
:
ad
d
"
j
oin" operation on maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaeg
e
iscc: su
p
port additi
o
n on a pair of a
fold a
n
d
a q
u
a
sipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Ve
r
doola
e
g
e
up
d
ate is
l
for addin
g
types
t
o
isl
_
{
u
n
io
n
_,
}
pw_qpolynomial
_
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rd
o
olaeg
e
allow codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
iscc: codeg
e
n: detect
s
trides
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoo
l
aege
isc
c
: u
s
e s
i
mplified C
L
ooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erd
o
olaeg
e
update isl for rena
m
e of isl_p
w
_qpoly
n
omial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
i
scc
.
c
: unio
n
_
p
w_qp
o
lyno
m
i
al_upper_bound: fix
m
emory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c:
fix typo in
comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Ver
d
oolaege
isl_map_apply
_
pw_
q
p
olynom
i
a
l
:
f
i
x typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoola
e
g
e
u
p
d
a
t
e isl from
i
sl_uni
o
n
_
map fix
e
s
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
Verdool
a
ege
isc
c
: all
o
w inverse on non-union
maps again
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Ver
d
o
olaege
iscc: add wrap and unwrap
o
p
e
r
ations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add isl_union_
m
a
p
_
apply_u
n
ion_pw
_
qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
o
l
a
ege
isl
_
pw_qpolynomia
l
_su
m
: handle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
eg
e
update isl for n
e
sted
d
i
mension spe
c
ifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
isl_map
_
card
:
postpone shuffling
a
ro
u
nd of dime
n
sions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
g
e
u
p
d
a
t
e
i
sl for
i
sl_bas
i
c_m
a
p
_
mo
v
e_dims
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoo
l
aege
isl_pw_qpol
y
nomi
a
l
_sum: push conversion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoolae
g
e
i
s
l
_
pw_qpolynomia
l
_sum: check for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
avoid use
of
i
sl_dim
internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
iscc:
s
u
pport c
o
degen operation if CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
er
d
oolaege
isc
c
: s
w
itch t
o
using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
add i
s
l_union_p
w
_qpolyn
o
mial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
ad
d
is
l
_union_map_car
d
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_pw_
q
po
l
ynomial_sum: take tuple names in
t
o account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_map_card
:
pre
s
erv
e
ful
l
domain dimensio
n
i
n
formation
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
o
o
la
e
g
e
update isl for ch
a
nge in isl_hash_table_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
Verd
o
olaege
barvinok_enumerate
.
cc: fix pri
n
tf form
a
t
commit
|
commitdiff
|
tree
2010-07-03
Sve
n
Verdoolaege
doc: add some more papers refering to the library
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Ve
r
doolaege
b
a
rv
i
nok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoola
e
g
e
upd
a
te is
l
to ve
r
sio
n
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aeg
e
confi
g
u
r
e
.
in: properly add
isl flags and
l
ibs to
p
kg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
rdoolaege
c
onf
i
g
ure
.
in: dr
o
p call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
genfu
n
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
test_app
r
ox
.
c: fix p
r
intf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
r
doolaege
test_bound
.
c: fix pr
i
n
tf
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configur
e
.
in
:
sto
p
c
ompil
i
n
g
Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
erdoola
e
g
e
verify_lexsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
o
o
laege
e
valu
e
.
c: a
v
oid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
aege
evalue
_
isl
.
c:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2010-06-20
Sven Ver
d
oolaege
iscc: recover
fro
m
errors
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
V
e
rdoolaege
updat
e
isl for
imp
r
oved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aeg
e
is
c
c
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolae
g
e
doc: is
c
c: update docum
e
ntation
of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaeg
e
test_approx:
i
nclude
c
type
.
h for
i
s
space
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
test_appr
o
x:
include config
.
h for HAVE_SYS_TIME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
laege
test_bound: include c
o
nfig
.
h for HAVE
_
SYS_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
iscc: add verti
c
es operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
op
t
ionally use isl to perform parame
t
r
i
c
v
e
r
t
ex enu
m
er
a
t
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
upda
t
e isl-polylib
for handl
i
n
g of
r
ation
a
l sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
dr
o
p disti
n
ction
betwee
n
barvinok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
rem
o
ve bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
ege
update isl for
generic
isl_pw_qpolyn
o
mi
a
l
_
bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
aege
configure
.
in: drop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolae
g
e
add
isl_ctx_peek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
i
s
cc
:
parse
bar
v
in
o
k op
t
ions
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
export isl_q
p
o
lynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
Makefile
.
am: drop dependence on doc/omega
.
t
e
x
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
upd
a
te isl for
r
ename of i
s
l
_pw_qpolynomial_
m
ov
e
commit
|
commitdiff
|
tree
next