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
barvinok 0.32.1
2010-09-13
Sven Verdool
a
e
g
e
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
rdoolaege
update
isl for fix
i
n
parameter al
i
gnment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
aege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rdoo
l
aege
iscc: ad
d
lexicograph
i
c op
e
r
a
tors
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaeg
e
update i
s
l to version 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
S
v
en Verd
o
olaege
iscc:
a
dd "s
o
u
rce" opera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoola
e
g
e
iscc: add
s
u
ppor
t
for s
t
rings
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolae
g
e
iscc:
p
r
int erro
r
m
es
s
age
on
us
e
of unknown ide
n
tifie
r
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdoolaege
iscc: support un
i
on sets in vertic
e
s o
p
eration
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdool
a
e
ge
add isl_li
s
t_
c
onc
a
t
commit
|
commitdiff
|
tree
2010-09-05
Sven
Verdoolaege
barv
i
nok_b
o
und:
use i
s
l to split periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
u
p
date isl for isl_pw_qpolyn
o
mial_spl
i
t
_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdool
a
ege
doc: mark PolyL
i
b in
t
erface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
S
ve
n
Verd
o
ol
a
eg
e
M
akefile
.
am: drop references to obsolete @bv
_
b
a
rvinok_b
o
und@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalue_convert
.
cc:
ev
a
lue_print_isl: prin
t
end-of-lin
e
commit
|
commitdiff
|
tree
2010-08-30
Sven
Verdoolae
g
e
iscc: allow coe
r
cion of
b
i
nary list into f
i
rs
t
el
e
ment
commit
|
commitdiff
|
tree
2010-08-28
S
v
en Verdoolaege
bar
v
i
n
ok_bo
u
nd: convert to isl_
p
w_qpo
l
ynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
bar
v
inok
_
bo
u
nd: use isl
t
o
s
plit on domain s
i
ze
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
set se
n
sible defaults with --polynomial-app
r
o
x
i
mation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl
_
pw_qpoly
n
omial_
s
u
m
:
reu
s
e
bar
v
ino
k
_
o
p
tions if
a
vailable
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoolaege
isl_
m
ap_ca
r
d: reuse barvinok_options if avail
a
ble in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Ve
r
d
o
olaege
u
pdate isl
f
o
r
alig
n
ing parameters of unio
n
ar
g
uments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
iscc: add "join
"
o
p
eration
o
n folds
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
iscc: add
"join"
ope
r
at
i
on on maps and
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: support
a
ddi
t
ion o
n
a pair of
a fold an
d
a
q
uasipoly
n
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
ola
e
ge
up
d
ate is
l
for adding t
y
pes to isl_{u
n
ion_,}pw_qp
o
l
ynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Ver
d
o
olaeg
e
a
llow c
o
degen on
set
s
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdo
o
laege
i
scc: codegen: d
e
tect strides
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
iscc:
u
se simplified CLoo
G
i
nte
r
f
ac
e
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
updat
e
isl for r
e
name of
isl_pw_qpolynom
i
al_fold_a
d
d
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
iscc
.
c
:
u
nion_pw_qpolynomial_upper
_
b
ound: fix memo
r
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
s
umma
t
e
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verd
o
o
l
ae
g
e
isl_ma
p
_apply_pw_
q
polynomial: fix
t
ypo
commit
|
commitdiff
|
tree
2010-08-10
S
ven
Ver
d
o
o
l
a
ege
up
d
a
t
e isl from
isl_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven
V
erdoo
l
a
ege
iscc
:
allow inverse o
n
non-union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doo
l
aege
iscc:
a
dd wrap a
n
d
un
w
r
ap
o
pe
r
ations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add isl_union_map
_
apply_u
n
ion_pw_qp
o
lynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_pw_qp
o
lyn
o
mial_sum: handle isl_p
w
_qpolyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoo
l
aege
u
p
date isl for nested dimens
i
on spe
c
i
fications
commit
|
commitdiff
|
tree
2010-08-05
S
ven V
e
rdoolae
g
e
isl_map_card: post
p
o
ne s
h
ufflin
g
around of
dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
u
p
d
a
t
e isl fo
r
isl_basic_map_move_
d
i
ms
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdool
a
ege
isl_p
w
_qpolynomial_sum: push conversion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
Ve
r
d
o
olaege
isl_pw_
q
pol
y
nomial_s
u
m:
check for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Ver
d
o
o
l
aeg
e
avoid
use of isl_dim inter
n
a
l
s
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rd
o
olaege
i
s
cc: support codeg
e
n
oper
a
t
i
on if CLooG is
available
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
iscc: swit
c
h
t
o using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
ad
d
isl_union_
p
w_qpolyn
o
mial
_
sum
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
add i
s
l_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
isl_p
w
_
q
p
o
lynomial
_
sum: take
t
uple names into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl
_
map_card: pres
e
rve full
domain dim
e
nsion infor
m
at
i
on
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
update isl for change in is
l
_hash_table_for
e
a
c
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
barvinok_enumerate
.
cc: fix printf fo
r
ma
t
commit
|
commitdiff
|
tree
2010-07-03
Sven
V
er
d
o
olaege
doc
:
add some
m
ore papers
r
efering to th
e
librar
y
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
barvi
n
o
k 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Ver
d
oolaege
u
p
d
ate isl to versi
o
n 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoo
l
aege
co
n
figure
.
i
n: properly add
isl
flags and libs to pk
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
configure
.
i
n:
dro
p
call
to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
S
ve
n
Verd
o
o
l
aege
genfun
.
cc: fi
x
printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
test_
a
pprox
.
c
:
fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_boun
d
.
c: fix print
f
f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
onfigu
r
e
.
in: stop
com
p
iling Om
e
ga by defa
u
lt
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaeg
e
verify_lexsma
l
ler
.
c:
fi
x
typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
ge
eva
l
ue
.
c:
a
void use
of
a
lloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
evalue_isl
.
c
:
f
i
x t
y
po
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erdoolaege
iscc: recover from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Ver
d
oolaege
u
pdate isl for improved
e
rror ha
n
dling
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oola
e
ge
i
scc
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-13
Sven Verd
o
olaege
doc: iscc: update
d
ocumentation
of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
test_approx: include ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdo
o
laege
test_approx
:
include con
f
ig
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
o
l
ae
g
e
test_bound:
includ
e
confi
g
.
h fo
r
HAVE_SYS
_
TIMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
iscc: add vertices operatio
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optional
l
y use isl
to perform par
a
metric vertex enumerat
i
o
n
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
do
o
laege
u
p
date isl-polylib for h
a
ndl
i
ng of ra
t
ional
s
ets
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
o
o
laege
drop distinc
t
ion
b
etween ba
r
vinok-c
o
r
e and
barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
o
o
l
aege
remov
e
b
e
rn
s
tein
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
up
d
at
e
isl for generic isl_p
w
_qp
o
lynom
i
al_bound
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
configure
.
in: drop
bv_
o
mega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add is
l
_c
t
x_p
e
ek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
iscc:
p
ar
s
e barvinok
op
t
io
n
s
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
export isl_qpol
y
nomial
_
from_evalue
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
Makefile
.
am: drop dependence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erd
o
olae
g
e
u
pdate isl
f
o
r re
n
a
m
e of isl_pw_qpo
l
ynomial_mov
e
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaeg
e
v
e
rif
_
ehr
h
art
.
c:
add missing i
n
clude
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
co
n
figure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
ola
e
ge
use i
s
l for argument pars
i
ng
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
u
p
date isl f
o
r k
e
eping track of user opt
i
o
ns
commit
|
commitdiff
|
tree
2010-05-19
Sven Ver
d
o
o
laege
test_bound
:
rewrite
i
n
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
updat
e
isl f
o
r he
l
p
m
e
s
sage pr
i
nting
commit
|
commitdiff
|
tree
2010-05-15
S
v
en
V
e
rdoolaege
remove
e
v
a
lue
_
op
t
imu
m
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaege
remo
v
e
evalu
e
_range_propa
g
ation
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoo
l
ae
g
e
test_bo
u
nd: use is
l
inter
f
ace
f
or computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoola
e
ge
b
a
rv
i
nok_bound:
u
se isl int
e
rface f
o
r comput
i
ng
b
ounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doo
l
a
e
ge
i
s
c
c
: supp
o
rt ub eve
n
i
f
GiN
a
C
support was
n
ot
compile
d
in
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoola
e
ge
add generic isl_pw
_
q
p
o
l
ynomial_boun
d
commit
|
commitdiff
|
tree
2010-05-14
S
v
en V
e
rdoolaege
updat
e
isl for isl_pw_qpo
l
ynomia
l
_bound_r
a
nge
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdool
a
ege
test_bound: use
isl
d
uring verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvinok_b
o
und:
us
e
isl
d
uring ver
i
fication
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoola
e
ge
v
e
rify
.
c: extract
s
om
e
helper
functi
o
ns for
is
l
base
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doo
l
a
e
ge
introduce
"
b
o
und" o
p
tion
commit
|
commitdiff
|
tree
next