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
Sve
n
Verd
o
olae
g
e
barv
i
nok
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
aeg
e
iscc: add lexicographic opera
t
ors
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
update isl to vers
i
on 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
Sven V
e
r
d
oolaege
isc
c
:
add
"source" op
e
ration
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaeg
e
isc
c
: a
d
d support fo
r
strings
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdool
a
ege
i
s
cc: print error
me
s
sage on use
o
f unknown ide
n
tifier
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoolaege
iscc: support union s
e
ts in vert
i
ces operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
d
oolaege
add isl_l
i
s
t_conca
t
commit
|
commitdiff
|
tree
2010-09-05
S
ven Verd
o
ola
e
ge
barvin
o
k_bound: use
i
sl to split p
e
ri
o
ds
commit
|
commitdiff
|
tree
2010-09-05
S
v
e
n Verdoolaege
upd
a
te isl for isl_p
w
_qpolyno
m
ial_sp
l
it_periods
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verd
o
olaeg
e
doc
:
mark Pol
y
Lib interface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
S
ven Verdoolaege
M
a
kefile
.
a
m: dr
o
p references t
o
obsolet
e
@bv_ba
r
vinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
S
ven Verdoolaege
e
v
a
lue_con
v
ert
.
c
c
: eval
u
e
_print_isl: print e
n
d
-of
-
line
commit
|
commitdiff
|
tree
2010-08-30
S
v
en Verdoo
l
a
ege
iscc: allow coerc
i
on of
b
in
a
r
y
list into first elemen
t
commit
|
commitdiff
|
tree
2010-08-28
S
v
e
n
Verdoolaege
barvino
k
_bound: convert to i
s
l_pw_qpolynomial onc
e
commit
|
commitdiff
|
tree
2010-08-28
Sven Ve
r
d
o
olaege
barvinok_bound: use
isl to s
p
lit o
n
d
o
m
a
in size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoo
l
aeg
e
s
et sensi
b
l
e
defaults with
--polynomial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n
V
erdoolaege
isl_pw_qpolyn
o
m
i
a
l_sum: reuse barvin
o
k_options if
a
vail
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
isl_m
a
p
_
ca
r
d: reuse
barvinok_options
i
f
a
vail
a
ble
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ve
n
Verdoolaege
updat
e
is
l
for
ali
g
n
i
ng parameters of
u
nion argument
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaeg
e
isc
c
: add "join
"
o
p
eration on
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
isc
c
: ad
d
"join" operatio
n
on
m
aps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
rdoolaege
is
c
c: support addit
i
on
o
n a pair of a
fo
l
d an
d
a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
update isl
for
a
d
di
n
g types to
i
s
l_{un
i
on_,}pw_q
p
o
l
ynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
al
l
ow
c
odegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: codegen: detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laeg
e
is
c
c: use simplified CL
o
oG interfac
e
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
update isl
f
or rename of i
s
l_pw_qpolynomial_fo
l
d_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
s
c
c
.
c: un
i
on_pw_qpolyno
m
ial_u
p
per_bound: fix memo
r
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c: fix typo
in commen
t
commit
|
commitdiff
|
tree
2010-08-17
Sven V
e
rdo
o
l
aege
isl_map
_
ap
p
ly_pw_q
p
oly
n
omial
:
fix
t
y
p
o
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
update i
s
l
fr
o
m isl_
u
nion
_
map fixes
commit
|
commitdiff
|
tree
2010-08-10
S
ven
V
e
rdoolaege
iscc: allow invers
e
on non-unio
n
maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oo
l
a
ege
iscc: add wrap and unw
r
ap
op
e
rations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olaege
add isl_union_map_appl
y
_unio
n
_p
w
_qpoly
n
om
i
al
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Ve
r
d
o
ola
e
g
e
isl_pw_qpoly
n
omi
a
l_sum: handle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update is
l
for nested d
i
mension specif
i
cations
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rd
o
olae
g
e
isl_
m
ap_card: postpon
e
shuff
l
ing ar
o
und of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl
for isl_basic_map
_
move_dims
commit
|
commitdiff
|
tree
2010-08-04
S
ven Ver
d
oolaege
isl_pw_
q
poly
n
omial_sum: push
c
onversion to Pol
y
Li
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
aeg
e
isl_pw_qpolynomi
a
l
_
s
um: c
h
e
c
k fo
r
unbound
e
d
dom
a
ins
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdo
o
laege
a
v
oid use
of isl_d
i
m internals
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
Verdoolaege
is
c
c
:
s
upp
o
r
t
c
o
d
ege
n
operation if CL
o
o
G is
a
vailable
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
isc
c
: switch t
o
u
s
ing un
i
ons
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
add isl_union_pw_qp
o
lyn
o
mial_
s
um
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Verdoolaege
add isl_union_map_
c
ard
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
is
l
_
pw_qpolynomial_sum: take tuple names
i
n
to account
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n Verdoolaege
isl_map
_
card:
p
r
e
s
e
rve full
d
omain d
i
m
en
s
ion i
n
formation
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
update isl for chan
g
e in is
l
_hash_table_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
o
o
la
e
ge
barvin
o
k_enumerate
.
cc: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-07-03
S
v
en Verd
o
olae
g
e
doc: add
s
ome more papers referin
g
to t
h
e
library
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
barvinok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
u
p
date
i
sl t
o
v
e
rsion 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
configure
.
in:
p
roperly add
i
sl flags and lib
s
t
o pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configu
r
e
.
in:
drop
c
all to gl_EAR
L
Y
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
genfun
.
cc:
f
i
x
p
rintf f
o
r
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
te
s
t_approx
.
c: fix
printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
r
d
ool
a
ege
t
e
s
t
_bound
.
c: fix pr
i
ntf
f
o
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
conf
i
gure
.
in: stop compiling Omega by
d
ef
a
u
lt
commit
|
commitdiff
|
tree
2010-06-28
S
v
en
Verdoolaege
verif
y
_lexsmal
l
er
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
e
r
doolaeg
e
evalu
e
.
c: avoi
d
use of alloca
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
olae
g
e
evalue
_
i
sl
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verdoolaege
iscc:
r
ecover from e
r
rors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
update isl for improved
error
handl
i
ng
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdool
a
e
ge
i
s
cc
.
c
:
fix typ
o
commit
|
commitdiff
|
tree
2010-06-13
Sve
n
Verdoolaege
d
o
c
:
i
s
cc: update d
o
cumentation
of "
u
b" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx: inclu
d
e
ctype
.
h fo
r
isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
test_appr
o
x: incl
u
de config
.
h for HA
V
E_
S
YS_
T
IMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
test_bo
u
n
d: include con
f
ig
.
h for H
A
VE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
ol
a
eg
e
isc
c
:
add vertic
e
s o
p
erations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
o
ptionally use isl to per
f
orm parametric v
e
rt
e
x enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaege
u
pdate is
l
-polyl
i
b for handlin
g
o
f
ra
t
ional sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
dro
p
dis
t
inction betw
e
en
barvinok-core
a
nd b
a
rvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
rem
o
ve bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update is
l
for g
e
neric i
s
l_pw_qpoly
n
omi
a
l_boun
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
c
o
nfigu
r
e
.
in
:
d
rop b
v
_omega_progr
a
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_ctx
_
peek_barv
i
nok_o
p
tions
commit
|
commitdiff
|
tree
2010-06-07
S
ven V
e
rdoolaege
iscc: parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
export isl_qpo
l
ynomia
l
_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
Makefile
.
am: drop dependence on
do
c
/
om
e
ga
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
ae
g
e
update isl
f
or rename
o
f
i
s
l
_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
V
e
r
d
o
olaege
verif_ehrhart
.
c: ad
d
mis
s
ing in
c
lude
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
eg
e
config
u
re
.
i
n: fix
typo
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
er
d
oolaege
u
s
e isl for
a
r
g
u
ment parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolaege
update
i
sl f
o
r
k
eep
i
n
g
tra
c
k
of user op
t
io
n
s
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
erdool
a
ege
t
e
st_bound:
r
ewrite
in C
commit
|
commitdiff
|
tree
2010-05-19
Sven V
e
rdoolaege
update i
s
l
for help messa
g
e printing
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verd
o
ola
e
ge
r
e
m
ove
e
value_optimum
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoo
l
aege
remo
v
e evalue_r
a
nge_pr
o
pagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
lae
g
e
t
e
st_bound: use is
l
interfa
c
e for computin
g
bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvinok
_
bound:
use isl interf
a
ce for comput
i
ng bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
is
c
c: support
u
b even
i
f GiNaC support was not
c
ompiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
add generi
c
is
l
_pw_qpol
y
nomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
upda
t
e
isl for isl_
p
w_q
p
olyn
o
m
ial_b
o
u
n
d_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
test_bound:
u
se isl
d
u
r
i
n
g
v
erification
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
barvinok_bound: us
e
i
sl duri
n
g verification
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
Verdoolaege
verify
.
c: extract some
help
e
r fun
c
tions f
o
r
isl b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
i
n
troduce "
b
ou
n
d" op
t
i
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
op
t
ions
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
S
v
en Verdoolaege
is
c
c: add
a
p
plication operations
commit
|
commitdiff
|
tree
next