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 before and after operations
2010-10-18
Sven Verdoo
l
a
e
g
e
iscc: add bef
o
re and a
f
t
e
r
o
peratio
n
s
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
i
s
cc
:
add
identi
t
y
o
perat
i
on
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Ver
d
oolaege
iscc: break out off main loop whe
n
p
r
int
e
r
no l
o
n
ger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
is
c
c
: su
p
port exten
d
ed PolyLib output format
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verd
o
o
l
aege
conf
i
g
ure
.
in: pe
r
form c
h
e
ck for GMP support in NT
L
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verd
o
olaege
isl_Po
l
yh
e
dron_Sample: ad
d
missin
g
i
n
itializa
t
io
n
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n
Verdoolaeg
e
i
s
cc: add compo
s
i
t
ion
o
peration on
p
iecewise quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdo
o
la
e
ge
iscc:
a
dd depen
d
ence a
n
alysis opera
t
ions
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoo
l
aege
i
s
cc: register extra keywords i
n
generic
way
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolae
g
e
use is
l
to perform
"
manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
ege
allow buildi
n
g wit
h
out pip
l
i
b
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolae
g
e
Pol
y
hedron_Redu
c
e
d
_Basis:
o
ptio
n
ally u
s
e isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolae
g
e
fi
x
d
ep
e
n
d
ence on
b
ui
l
d isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
isl_ma
p
_c
a
rd:
us
e
isl for factorization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl_m
a
p_card
:
split dimension fidd
l
ing from conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
isl_
m
ap_card: use i
s
l_
p
w
_qpolynomial_s
u
m if re
q
ue
s
ted
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
barvi
n
ok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdo
o
laege
update isl for
fix in pa
r
a
m
eter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
ba
r
vinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaeg
e
iscc: add lexicogr
a
p
hic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Ve
r
do
o
laege
upd
a
te isl
to
vers
i
o
n
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Ve
r
do
o
laege
iscc: add "so
u
rce"
o
peration
commit
|
commitdiff
|
tree
2010-09-06
Sven
Verdoolaege
iscc: add s
u
pport
for
s
trings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: print
e
rror message on u
s
e of unkn
o
wn
i
d
entifier
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erd
o
olaege
iscc: support
union
sets in vertic
e
s oper
a
t
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add isl_list_con
c
at
commit
|
commitdiff
|
tree
2010-09-05
Sven Ver
d
oolaege
bar
v
inok_bound: use isl to split per
i
o
ds
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
er
d
oolaege
update isl for isl_pw_qpolynomial_split_p
e
rio
d
s
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
doc:
m
ark PolyLib interface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verd
o
olaeg
e
Makefil
e
.
a
m
:
dr
o
p ref
e
r
ences to o
b
solete
@
bv_barv
i
nok_
b
ound@
commit
|
commitdiff
|
tree
2010-08-31
Sven V
e
rdoolaege
eva
l
ue_con
v
ert
.
c
c
: e
v
alue_pri
n
t_isl: pr
i
nt
end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolae
g
e
i
scc: al
l
ow coercion of binary list into
f
irst element
commit
|
commitdiff
|
tree
2010-08-28
Sve
n
V
erdo
o
la
e
g
e
barvinok
_
bound: convert to isl_pw_qpolynom
i
al
once
commit
|
commitdiff
|
tree
2010-08-28
Sven
V
erdo
o
laege
b
a
rvinok_bound: use isl to spl
i
t
o
n
do
m
ain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdo
o
l
aege
se
t
sensible def
a
ults
with -
-
polynomial-appr
o
xi
m
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
V
e
rdoolaege
i
sl
_
pw_qpolyno
m
ial_sum: reuse barv
i
no
k
_
o
pt
i
o
n
s i
f
available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verd
o
olaege
isl_map_
c
ar
d
: reuse barvinok_opti
o
ns if availa
b
le in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
e
rdoolaeg
e
update isl for aligni
n
g paramete
r
s of
u
nion arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verd
o
olaege
iscc: add "join" operation o
n
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
iscc: add "join" opera
t
ion on maps and folds
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdo
o
la
e
ge
i
scc: su
p
p
ort addition on a pair o
f
a f
o
l
d and a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
up
d
ate isl for adding
t
ypes to
is
l
_{union_,}pw_q
p
olynom
i
al_folds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ver
d
oolaege
allow
codegen on se
t
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: codeg
e
n: detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
:
use
s
im
p
l
ified CLooG inte
r
face
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoola
e
g
e
update
i
sl
f
or rename o
f
i
sl_pw
_
qp
o
l
ynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
.
c: un
i
on_pw_qpol
y
nomial
_
upper_bound: fix m
e
mory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
summa
t
e
.
c: fix typo
in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl_m
a
p
_a
p
ply
_
pw_qpolynom
i
al: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdo
o
laege
u
pdate isl from isl_union
_
ma
p
fi
x
es
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
iscc: allow inverse on non-union map
s
aga
i
n
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
d
oo
l
aege
iscc: add wrap and
u
nwrap oper
a
t
ions
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aege
add
isl_union_
m
ap_a
p
p
l
y_union_pw_qpolyno
m
ial
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
Ver
d
oolaege
isl_pw_
q
polynom
i
a
l
_
s
um: handl
e
isl_pw_
q
polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
updat
e
isl fo
r
ne
s
ted dimensio
n
spec
i
fications
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Ver
d
oolaege
isl_map_card: postpo
n
e shuff
l
i
ng around of dimensi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
upd
a
te isl
for
i
sl_bas
i
c_map_move_
d
ims
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n
Verdo
o
laege
isl_pw_qpo
l
ynom
i
al_sum
:
pu
s
h con
v
ers
i
o
n t
o
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
v
en
V
erdoola
e
ge
is
l
_p
w
_qpoly
n
omial_sum: check for unbo
u
nded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verd
o
olaege
avoid use of isl_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc:
s
upport codeg
e
n ope
r
ation if CLoo
G
is av
a
ilable
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
e
rdoolae
g
e
iscc
:
switch to using
u
n
ions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
a
e
ge
ad
d
isl_union_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
ad
d
isl_u
n
ion_ma
p
_
c
ard
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
l
a
ege
isl_pw_qp
o
l
ynomial_sum: t
a
ke
tuple name
s
i
nto ac
c
ount
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
isl_map_card:
p
r
eserve full do
m
a
in
d
imension
informati
o
n
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
update isl f
o
r
change in is
l
_hash_table_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verd
o
olaege
ba
r
vinok_enumerate
.
cc: fix pri
n
tf fo
r
mat
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
doc: ad
d
some more papers refering to the libr
a
ry
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n V
e
rdoolaege
barvinok 0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oo
l
a
ege
u
pda
t
e i
s
l to versio
n
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n V
e
rdool
a
ege
configure
.
in:
p
r
operl
y
a
d
d isl fl
a
g
s and
l
ibs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configu
r
e
.
in: drop c
a
ll
to
g
l_
E
ARLY
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
g
e
nfun
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdool
a
ege
test_
a
pprox
.
c:
f
ix printf
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bound
.
c: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
conf
i
gure
.
in:
s
to
p
compiling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
rdoolaege
ve
r
ify_lexsmaller
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Ver
d
oolaege
evalue
.
c:
a
void u
s
e of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
eval
u
e_isl
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
doolaege
iscc:
r
ecover f
r
om errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdo
o
la
e
ge
u
p
date
i
sl for improve
d
error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n
Verdoolaeg
e
iscc
.
c:
fix t
y
po
commit
|
commitdiff
|
tree
2010-06-13
S
v
en Ver
d
oolaege
d
oc: isc
c
: update documentation of "ub" oper
a
to
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
test_
a
pprox:
i
nclu
d
e
c
t
y
pe
.
h f
o
r isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
tes
t
_approx: include config
.
h fo
r
HA
V
E_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
test
_
bound: inclu
d
e config
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc: add verti
c
es operations
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
rdoolaege
o
p
tiona
l
ly use
i
sl to perform parametric vertex e
n
umera
t
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
u
p
d
a
te
i
sl-polylib
for hand
l
in
g
of rat
i
onal
s
et
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
drop
d
i
stinct
i
on betw
e
en barvinok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
laege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
d
o
o
l
aege
update isl
f
or
g
eneric
i
sl
_
pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
configur
e
.
in: drop bv_omega_progr
a
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
i
sl_ctx_peek_barvin
o
k_options
commit
|
commitdiff
|
tree
2010-06-07
Sv
e
n Ver
d
o
olaege
iscc: parse ba
r
vinok options
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Verdoo
l
a
ege
export
i
sl_qpolynomial
_
from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
V
erdoolae
g
e
Make
f
i
l
e
.
am: drop depen
d
e
n
ce on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update is
l
for rename o
f
isl_
p
w_q
p
olynomial
_
move
commit
|
commitdiff
|
tree
2010-06-01
S
ven
V
erdoo
l
aege
v
e
r
if_
e
hrhart
.
c:
add missing
inc
l
u
de
commit
|
commitdiff
|
tree
next