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
S
v
e
n
Verdoolaege
b
a
rvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
Verdoolae
g
e
update isl for fix in parameter
a
lignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoola
e
ge
barvinok
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n Ver
d
ool
a
ege
iscc: ad
d
lexic
o
g
r
aphi
c
operators
commit
|
commitdiff
|
tree
2010-09-10
S
v
e
n
Verdoolaege
update isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
S
ven V
e
rdoolaege
i
scc: add "sou
r
c
e
" o
p
eration
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n Verd
o
olaege
iscc: add support for s
t
rings
commit
|
commitdiff
|
tree
2010-09-06
Sven
Ver
d
o
ola
e
ge
iscc:
p
rin
t
err
o
r message on use of unknow
n
ident
i
fier
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
iscc: s
u
pport
u
nion
s
ets in
vertices
operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdo
o
laege
add isl_list_co
n
cat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoo
l
aege
barvinok_bound:
u
s
e isl
to spl
i
t perio
d
s
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
up
d
a
te isl
f
o
r
isl_pw_qpolynom
i
al_split_pe
r
iods
commit
|
commitdiff
|
tree
2010-08-31
S
v
e
n
V
erdoolaege
doc: m
a
rk Pol
y
Lib inte
r
face ob
s
olescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdo
o
lae
g
e
Makefi
l
e
.
am: drop r
e
ferences t
o
o
b
solete
@bv_bar
v
inok_
b
ound
@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdo
o
l
ae
g
e
evalue_c
o
nv
e
rt
.
cc: evalue_print
_
isl: print end-of-lin
e
commit
|
commitdiff
|
tree
2010-08-30
S
v
en
V
erdoolaege
is
c
c: a
l
low coer
c
i
on of binary
list into first element
commit
|
commitdiff
|
tree
2010-08-28
S
ven Ver
d
oolaege
barvinok_bound: convert to i
s
l_pw_qpo
l
ynomial onc
e
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdool
a
e
g
e
barvinok_bound:
u
se i
s
l to
s
plit on doma
i
n
size
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoolaege
set sensible default
s
with --polynomial-app
r
oxim
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
do
o
laege
is
l
_pw_qpolynomia
l
_
s
um: reuse barvin
o
k_opt
i
ons i
f
availab
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_map_card: reus
e
barvinok_op
t
io
n
s
if avai
l
abl
e
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verdoola
e
ge
update isl fo
r
a
l
ig
n
ing
p
arameters of
union
argume
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
l
a
e
ge
iscc: add "join" operation on folds
commit
|
commitdiff
|
tree
2010-08-18
S
ven
Verdoolaege
is
c
c: add
"
join"
o
per
a
tion on map
s
and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: support add
i
t
i
on on a pair of a fold and a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoo
l
a
e
g
e
update
i
s
l
f
or a
d
ding types to isl_{union_,
}
pw
_
qpolyno
m
ial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow codege
n
on s
e
ts
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
iscc: code
g
en:
d
etect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
isc
c
: u
s
e simplified CLooG inte
r
fa
c
e
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoola
e
ge
update i
s
l for rename of i
s
l_p
w
_qpolynom
i
al_fold_a
d
d
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
V
e
rdoo
l
aege
isc
c
.
c: union_pw_qpo
l
yn
o
m
i
a
l
_upp
e
r_bound:
fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
summate
.
c
: fix typo
in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verd
o
olaege
isl_map_ap
p
ly_pw_qpolynomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
V
erd
o
o
l
aege
update isl from isl_uni
o
n
_
map fix
e
s
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoola
e
ge
isc
c
: allow inverse on non-union ma
p
s again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
iscc: add
w
rap and unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verd
o
o
laege
a
dd i
s
l_union_map_a
p
ply_union_pw_qpolynomi
a
l
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
isl_p
w
_q
p
olynomial_s
u
m: handle isl_pw_qpolynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
ola
e
g
e
update isl
f
o
r
nested
d
ime
n
sion spe
c
i
f
icatio
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
lae
g
e
isl_map_card:
p
os
t
pone shuffli
n
g
around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
update isl for isl_b
a
sic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verdoo
l
a
e
g
e
isl_pw
_
qpolynomial_sum: push
c
onve
r
sion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
isl_p
w
_qpolynomia
l
_
su
m
: ch
e
ck
f
o
r unbounded do
m
ains
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verdo
o
lae
g
e
avoi
d
use of isl_dim intern
a
l
s
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
isc
c
: support code
g
en
o
p
eration
i
f CLo
o
G
is available
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
iscc: s
w
i
tch to using unions
commit
|
commitdiff
|
tree
2010-07-31
S
ven Ver
d
oolaege
add i
s
l_u
n
ion_pw_
q
polynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
add isl_
u
nion_
m
ap_ca
r
d
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolae
g
e
isl_p
w
_qpolynomial
_
s
u
m: take tuple names into account
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdool
a
ege
i
sl_map
_
card: pr
e
serve full do
m
ain dimension i
n
f
o
r
mation
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
update
isl fo
r
change in isl
_
hash_table_foreac
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
barvinok
_
enumerate
.
cc: fix printf
format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdo
o
laege
d
o
c:
a
dd some
mor
e
p
a
pers refering
to
th
e
library
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
V
erdo
o
laege
barvinok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olae
g
e
update isl
to
v
ersion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolae
g
e
c
o
nfi
g
ure
.
in:
p
roperly a
d
d isl f
l
a
gs and
libs to
p
kg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
configure
.
in: d
r
op c
a
ll to gl_
E
ARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
genfun
.
cc: fix prin
t
f format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
test_approx
.
c:
f
ix p
r
intf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bo
u
n
d
.
c: fix printf forma
t
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
r
doolae
g
e
conf
i
gure
.
in: stop comp
i
ling Omega by
def
a
u
lt
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
rdoola
e
ge
verify_le
x
smaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
ev
a
lue
.
c: avoid
use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
evalue_isl
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
Ve
r
doolaege
isc
c
:
recover from errors
commit
|
commitdiff
|
tree
2010-06-20
S
v
en Verdoolaeg
e
update isl
f
or improved er
r
or h
a
ndling
commit
|
commitdiff
|
tree
2010-06-19
S
ven
Verdoolae
g
e
iscc
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-13
S
v
en Verdoolaege
doc: iscc: update documentation
o
f "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
test_ap
p
rox: include
c
type
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
test_approx:
include config
.
h for
H
A
VE_SYS_
T
IMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
test_boun
d
: i
n
c
l
ude config
.
h
f
or
HAVE_S
Y
S_TIM
E
S
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
dool
a
ege
iscc: add
v
ertices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
optionally
u
se is
l
to perform para
m
etric ver
t
ex enumerat
i
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
update isl
-
polylib for han
d
l
in
g
of ratio
n
al se
t
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
dr
o
p distinction between barvino
k
-core and barvi
n
ok
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
remove berns
t
ein
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
update
i
sl for gen
e
ric
is
l
_pw_qpolynomial_bou
n
d
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoo
l
aege
configu
r
e
.
in: drop bv_o
m
ega_progr
a
ms
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
ad
d
is
l
_ctx_pe
e
k_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
iscc
:
p
arse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
export isl_qpolynomial_fr
o
m_ev
a
lue
commit
|
commitdiff
|
tree
2010-06-01
S
ve
n
V
e
r
d
ool
a
ege
Makefil
e
.
am: drop
d
ependence on doc/omeg
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
o
o
la
e
g
e
u
p
date isl for rena
m
e of i
s
l_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
ve
r
if_ehrhart
.
c: a
d
d missing i
n
clu
d
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
co
n
fi
g
ure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
us
e
is
l
for argumen
t
pa
r
s
i
ng
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
u
p
d
ate
i
sl
f
or keeping track of
u
ser options
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdoolaege
test_bou
n
d: re
w
rite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven
Verdoolaege
update
i
sl fo
r
help messa
g
e
printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doolaege
remov
e
eval
u
e_optimu
m
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
lae
g
e
remove evalue_r
a
n
ge_propagati
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n
Verdoolaege
test
_
bound: use isl interface fo
r
computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
barvinok_boun
d
: use isl i
n
terf
a
ce f
o
r comput
i
ng bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdool
a
ege
is
c
c:
s
upp
o
rt ub even if GiNaC support w
a
s no
t
compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
add generic isl_pw_qpolynomial_b
o
und
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
eg
e
update
i
sl for isl_pw_qpolynomial_bou
n
d_r
a
nge
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
test_b
o
und: use
isl duri
n
g verifica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n V
e
rdoolaege
bar
v
inok_bou
n
d: use isl d
u
rin
g
v
e
ri
f
ication
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdo
o
laege
ver
i
fy
.
c:
extract some he
l
per functions
for isl
base
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
i
n
troduce "bound" op
t
ion
commit
|
commitdiff
|
tree
next