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
2010-09-10
S
v
e
n
Verdoolaeg
e
b
arv
i
nok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaeg
e
iscc: ad
d
lexico
g
raphic operator
s
commit
|
commitdiff
|
tree
2010-09-10
S
v
en Verdoolaeg
e
update isl t
o
version 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
Sven V
e
rdoolaeg
e
iscc: add "sour
c
e" opera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sven
Verdoolaege
is
c
c
:
add suppor
t
for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
d
o
olaege
isc
c
: print er
r
or m
e
ssag
e
on
use of unknown identifie
r
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n
Verdoolaege
iscc
:
support union sets in
v
e
r
tices op
e
ration
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdool
a
ege
add
isl_lis
t
_
concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
bar
v
ino
k
_
b
ound:
u
se
isl to split peri
o
ds
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdo
o
laege
up
d
ate isl f
o
r isl_pw_q
p
olynomi
a
l
_
spl
i
t_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven
Verdoolaege
do
c
: ma
r
k
P
olyLib inte
r
face
ob
s
olescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
Makefile
.
am:
d
rop r
e
ferenc
e
s to obsolete @bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdoolaeg
e
evalue_
c
o
n
vert
.
c
c
: e
v
alue_
p
rint_isl: print e
n
d-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
is
c
c
: all
o
w coercio
n
of bi
n
ary list
i
nt
o
fi
r
s
t element
commit
|
commitdiff
|
tree
2010-08-28
Sven V
e
rdool
a
ege
b
a
rvinok_bound: conver
t
t
o
i
s
l
_
pw_qpo
l
ynomial o
n
ce
commit
|
commitdiff
|
tree
2010-08-28
Sven V
e
rdoo
l
aege
barvinok
_
bou
n
d: use
isl t
o
spl
i
t
o
n
domain siz
e
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
s
et
sensible defaults
with --polynomial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verd
o
ol
a
ege
is
l
_pw_qpol
y
nomial_sum: reuse barvi
n
ok_options if
available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_map_c
a
rd: reuse barvino
k
_options if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
oo
l
aeg
e
update isl for align
i
ng
p
aramete
r
s of u
n
i
on argumen
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
iscc
:
add "join" ope
r
ation on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
i
s
cc:
add "join" o
p
e
ration
on maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Ver
d
oolaege
iscc: suppo
r
t
a
dditi
o
n on a pair o
f
a fold and a quas
i
p
olyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
u
pdate
is
l
for addi
n
g t
y
p
e
s to
isl_{u
n
ion_,}pw_
q
p
o
lyn
o
mi
a
l
_
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
eg
e
a
l
low code
g
en on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
iscc: codegen: detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ve
r
doolaege
iscc:
use simplifie
d
CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaeg
e
upd
a
t
e isl for
rename of isl_
p
w_qpolynomi
a
l_fold_a
d
d
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
.
c:
u
nion_
p
w_qpolynomia
l
_upper_bou
n
d:
fix me
m
ory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
su
m
mat
e
.
c: fix ty
p
o
i
n
c
omment
commit
|
commitdiff
|
tree
2010-08-17
S
ven Verdoolaeg
e
isl_m
a
p_apply_pw_qpolynomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdool
a
ege
update
isl fr
o
m i
s
l_un
i
on_map fixe
s
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
iscc:
allow inverse on no
n
-u
n
ion maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
iscc: add wrap a
n
d un
w
rap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add isl
_
u
n
ion_map_apply
_
union_pw_qpol
y
nomia
l
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
is
l
_pw_qpolynomial_
s
um: handle isl_pw_q
p
olynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
update isl
f
or
nes
t
ed dimension
specificat
i
ons
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolae
g
e
isl_map
_
card:
po
s
t
pone shuffling
a
round of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
update isl for is
l
_basic_map_move_d
i
ms
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
o
o
lae
g
e
i
sl_pw_qpoly
n
omial_sum: push con
v
ersion
to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
ven Ver
d
ool
a
eg
e
isl_pw_qpo
l
yno
m
ia
l
_sum: check for
unbounded d
o
mains
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdool
a
ege
a
v
oid use of isl_dim inte
r
nals
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoo
l
ae
g
e
iscc: suppor
t
codegen op
e
r
a
tio
n
if CL
o
oG is availabl
e
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
Verdoolaege
isc
c
: s
w
itch to using un
i
ons
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add
isl_
u
nion_pw_q
p
olyno
m
ial_sum
commit
|
commitdiff
|
tree
2010-07-31
S
ven V
e
rd
o
olaege
add isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
S
ve
n
Ver
d
oolaege
isl_pw_qpol
y
nomial
_
sum: take
tuple name
s
into acco
u
nt
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoo
l
aege
isl_map_card: preserve full domain dimension
i
nformati
o
n
commit
|
commitdiff
|
tree
2010-07-31
S
ve
n
Verdoolaege
update isl for chan
g
e in isl_hash_table_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdo
o
laege
barvi
n
ok_enumer
a
te
.
cc: fix pr
i
ntf f
o
rmat
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoola
e
ge
doc: a
d
d some mo
r
e
pa
p
ers refering to
t
he
library
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
barvin
o
k
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
V
erdoolaege
update isl
to ve
r
sion
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
lae
g
e
configure
.
in: pr
o
p
erly add
i
sl flags and li
b
s to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n Ve
r
doolaege
c
o
nf
i
g
u
re
.
in: drop
c
a
ll to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoola
e
ge
genfun
.
cc: f
i
x
p
rintf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdo
o
l
a
eg
e
tes
t
_appro
x
.
c:
fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
t
e
st_bound
.
c: f
i
x
printf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
con
f
i
g
ur
e
.
in: stop compili
n
g Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
verify_
l
exsmaller
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalue
.
c
: avoid use of allo
c
a
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
eval
u
e_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erdool
a
eg
e
isc
c
: recover from errors
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoolaege
u
p
d
ate isl for improved error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
i
scc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
S
ven Verdoolaege
doc: iscc: update d
o
cumentation o
f
"ub" ope
r
ator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
e
st_approx:
include ctype
.
h fo
r
isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
test_approx: include
c
o
n
fig
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
r
d
o
olaege
test_bound: incl
u
de
con
f
i
g
.
h for
H
AVE_SYS_T
I
M
E
S
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
scc: ad
d
vertices
o
perations
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
optionally use isl
t
o perform par
a
metric ver
t
e
x
enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
aege
upd
a
t
e
isl-polyli
b
for han
d
ling of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
drop distinction between
barvinok-core and b
a
rvinok
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
lae
g
e
up
d
at
e
isl for generic
i
sl_pw_q
p
olynomial_
b
ou
n
d
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdool
a
ege
configure
.
in: drop bv_omega_p
r
ogram
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
a
dd is
l
_ctx_
p
eek_b
a
rvin
o
k_option
s
commit
|
commitdiff
|
tree
2010-06-07
Sv
e
n Verdo
o
laege
iscc: parse barvinok
o
ptions
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Ve
r
d
oolaege
expor
t
isl_qp
o
lynom
i
al_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
M
a
kefile
.
am: drop dependence
o
n doc/
o
mega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
u
pdat
e
isl for rename o
f
isl
_
pw_qpolynomial_m
o
ve
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
ool
a
ege
verif_ehr
h
a
r
t
.
c:
a
d
d
m
i
ssing incl
u
d
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
co
n
figure
.
in: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaeg
e
use isl f
o
r argument parsin
g
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl for keeping track
o
f
user
o
pt
i
ons
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
test_bound: rewrite
i
n C
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
e
r
doolaege
upd
a
te isl for help message
p
ri
n
ting
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
o
olaege
remove e
v
alue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
remove eva
l
u
e
_range_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_bound: u
s
e isl i
n
terface
f
o
r compu
t
ing b
o
unds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
ola
e
ge
b
a
rvino
k
_bound: use
isl interface for computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Verdoolaege
iscc: s
u
pport ub
even if GiNaC s
u
pport
w
as
n
o
t
compiled i
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
add generic isl_pw_qpolynomi
a
l_
b
ound
commit
|
commitdiff
|
tree
2010-05-14
S
ve
n
Verdo
o
laege
update is
l
for isl_
p
w_qpolynomial_boun
d
_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
g
e
te
s
t_boun
d
: use
i
sl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rd
o
ol
a
ege
barvinok
_
bound: us
e
i
s
l during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
rd
o
olaege
ver
i
f
y
.
c: e
x
trac
t
some h
e
lper
f
unctions for is
l
based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdool
a
e
g
e
introd
u
ce "bou
n
d" option
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ver
d
o
olaege
op
t
i
o
ns
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
iscc: add ap
p
lication oper
a
tion
s
commit
|
commitdiff
|
tree
next