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 V
e
rdool
a
ege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Ver
d
oo
l
a
e
ge
update
isl for fix in parameter a
l
i
gn
m
ent
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
e
rdool
a
eg
e
barv
i
n
o
k
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n Ver
d
oolaege
i
scc: a
d
d
lexicographic operators
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Verdoolaege
update
isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoola
e
ge
iscc: a
d
d
"source" operatio
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoola
e
g
e
iscc: add support for str
i
ngs
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaege
isc
c
:
print error mess
a
ge on use of unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rdoolaege
iscc: support un
i
on
s
ets in
v
er
t
i
ces operation
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdoolaege
add i
s
l_l
i
s
t_c
o
ncat
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n Verdool
a
e
g
e
ba
r
vinok_bound:
use isl to split p
e
riods
commit
|
commitdiff
|
tree
2010-09-05
S
v
en Verdo
o
laege
update isl fo
r
isl_pw_qpolynomial_
s
plit_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verd
o
ola
e
ge
doc: mark Po
l
yLib interface obsoles
c
ent
commit
|
commitdiff
|
tree
2010-08-31
Sven Ver
d
o
o
laege
M
akefile
.
am: drop refer
e
nces
to obsole
t
e @bv_barvin
o
k_bou
n
d@
commit
|
commitdiff
|
tree
2010-08-31
Sven Ve
r
doola
e
g
e
evalue_conver
t
.
cc: evalue_p
r
int_isl: print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verd
o
olae
g
e
iscc: allow
c
oerc
i
on of
b
inary list into first
element
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n
Verdoolaege
b
a
r
vinok_
b
o
u
nd:
convert t
o
isl_pw_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven V
e
rdoolaege
ba
r
vinok_bound: use isl to spli
t
on d
o
mai
n
size
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoolaege
se
t
sensible defaults
w
i
th --polynomial-ap
p
roximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven Verdoolaege
isl_p
w
_qpol
y
nomial
_
sum:
r
e
u
se
b
ar
v
inok
_
opti
o
ns if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdo
o
laege
i
sl_map_card: reu
s
e b
a
rvin
o
k_opt
i
o
n
s if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaeg
e
updat
e
is
l
for a
l
igning par
a
meters of
u
n
ion ar
g
u
m
ents
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
is
c
c: add
"join"
o
peration
on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
isc
c
: add "join" operation on ma
p
s and f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
S
ven
Ve
r
doo
l
aege
iscc: support a
d
dition
o
n a
p
a
ir of a f
o
ld
a
nd a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erd
o
olaege
update isl for addin
g
typ
e
s to isl_{un
i
on_,}pw_qpolynom
i
al_folds
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
allow co
d
eg
e
n o
n
sets
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoo
l
aege
iscc: codeg
e
n: detect strid
e
s
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rd
o
ol
a
ege
iscc: use simplified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
update isl for rename
of isl_p
w
_qpolynomi
a
l
_f
o
ld
_
a
dd
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
s
cc
.
c:
u
nion_pw_qp
o
lynomial_upper
_
bound: fi
x
m
e
mory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Ve
r
doolaeg
e
summate
.
c: fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
is
l
_map_ap
p
ly_pw_
q
polynomia
l
: fix typ
o
commit
|
commitdiff
|
tree
2010-08-10
Sven Verd
o
olaege
update isl f
r
om isl_union_map
f
ixes
commit
|
commitdiff
|
tree
2010-08-10
S
v
en Verdoolaege
iscc: allow
i
nverse on no
n
-union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verd
o
olaege
iscc: ad
d
wrap and unwrap ope
r
ations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
lae
g
e
add i
s
l_
u
nion_map_a
p
pl
y
_u
n
ion
_
pw_qpolyno
m
ial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
g
e
isl_pw_qpolynomial_su
m
: handle isl_pw_
q
polynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl
f
or nested
dimension specificat
i
ons
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
isl_m
a
p_c
a
rd: postp
o
ne shuf
f
ling around o
f
dimens
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdo
o
l
aege
update isl for isl_basic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
ol
a
ege
isl_pw_qpolynomial_sum: push co
n
version
to PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw_qpoly
n
omial_sum: c
h
eck for unb
o
un
d
ed
domains
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdoolaege
av
o
id use of i
s
l_dim intern
a
ls
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
Verdoolaege
iscc: support codegen operation
if CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdo
o
laege
iscc: switch to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
add isl_u
n
ion_
p
w_q
p
olynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
a
dd
i
sl_union_map_car
d
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_pw_qpolynomial_sum: take tuple names
i
n
t
o
account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_map_card: p
r
eserve full domain dimension in
f
o
rmation
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
upd
a
te isl for change in isl_hash_
t
able_foreac
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
barvinok_enumerate
.
cc: fix
p
r
intf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
doc:
add
s
ome mo
r
e
p
ap
e
rs
r
efer
i
ng to the lib
r
a
ry
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdo
o
la
e
ge
barvi
n
ok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
r
d
o
o
laege
update isl t
o
versi
o
n
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n
V
erdoo
l
aege
c
on
f
igure
.
in: properly
a
dd isl flags and l
i
bs to p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
r
doolaege
c
o
nfigure
.
in:
drop
c
all
t
o gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
genfun
.
c
c
: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_approx
.
c: fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n Verdoolaege
test_bound
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
c
onfigure
.
in:
s
top
compiling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n
V
erdoolaege
verify_lexsmalle
r
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoolaege
evalue
.
c
: avoid u
s
e of allo
c
a
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
evalu
e
_isl
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
iscc: recover from er
r
o
rs
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
update is
l
fo
r
improved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdoo
l
aege
isc
c
.
c
: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verd
o
ola
e
ge
doc: iscc:
update documentation
o
f
"ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaeg
e
test_app
r
o
x: inclu
d
e
ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
test_approx: include config
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
e
ge
test_bound: include
c
o
n
f
i
g
.
h
for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
iscc: ad
d
v
e
rtices
operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laege
optiona
l
l
y
use isl to perfor
m
parametric verte
x
e
n
umeration
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
u
pdate isl-polylib
f
or
h
a
n
d
l
i
n
g
o
f
rat
i
onal s
e
ts
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
drop
di
s
t
i
nction be
t
w
een barvinok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
doo
l
a
ege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
u
p
dat
e
isl for gene
r
i
c
i
sl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
co
n
fig
u
r
e
.
in: drop bv_
o
mega_pro
g
rams
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add
isl_ctx_peek
_
bar
v
inok_o
p
tio
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sven Ve
r
d
oola
e
ge
iscc: parse
b
arvino
k
options
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
e
xport isl_qpolyn
o
mial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
Make
f
ile
.
am: drop dependence on d
o
c/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl
for rename
of i
s
l_pw_qpolynomial_
m
ove
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoo
l
aege
verif_ehr
h
art
.
c: a
d
d
mis
s
ing inc
l
ude
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
c
o
nfigure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
u
s
e isl for
a
rgument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
updat
e
isl f
o
r keepin
g
t
r
ack o
f
user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
test_boun
d
: r
e
w
rite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verd
o
ola
e
ge
update i
s
l
for
help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doolaege
r
e
move evalue_o
p
timum
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doola
e
g
e
remove evalu
e
_range_propag
a
tion
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Ve
r
doolaege
test_bou
n
d: use isl
i
nter
f
ace for computing bo
u
nds
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
barvinok_
b
ound: use isl inter
f
ace f
o
r
c
o
mput
i
ng bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
d
oolaege
i
s
cc: support ub ev
e
n if
GiNaC support was
not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
dool
a
ege
add gene
r
ic isl_
p
w_qpol
y
nomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
upd
a
te
isl for isl_pw_qpolynomial_b
o
und
_
range
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
dool
a
e
ge
t
e
st_boun
d
: use isl dur
i
ng ver
i
f
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvi
n
o
k_bound: use isl duri
n
g verifi
c
at
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
v
eri
f
y
.
c
:
e
xtract
s
ome hel
p
e
r
f
u
nc
t
i
ons
f
o
r
isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
ven V
e
rdoolaege
introdu
c
e "bo
u
nd"
o
p
tion
commit
|
commitdiff
|
tree
next