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
en Verdoolaege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
Verdoolaege
update isl
f
o
r
fix i
n
pa
r
amet
e
r align
m
ent
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verdoolaege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
V
erdoolaege
iscc: a
d
d lexi
c
ograp
h
i
c
operators
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
er
d
oolaege
update is
l
to v
e
rsion 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
Sven Verd
o
ola
e
ge
iscc: add "s
o
urce" operat
i
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
r
do
o
laege
iscc:
add support
for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven
Verdoolaege
is
c
c: pri
n
t error mess
a
ge
on use
of unknown
iden
t
ifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: suppo
r
t u
n
ion sets in v
e
r
ti
c
es oper
a
tion
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoo
l
aeg
e
add isl_lis
t
_co
n
cat
commit
|
commitdiff
|
tree
2010-09-05
Sven Ve
r
doola
e
ge
barvinok_bound: use isl to s
p
li
t
periods
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
erd
o
olaege
u
pdate
i
sl for isl_pw_qpolynomi
a
l_spl
i
t_
p
er
i
ods
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verd
o
olaeg
e
doc
:
mark PolyLib interface
o
bsole
s
cen
t
commit
|
commitdiff
|
tree
2010-08-31
Sven Verd
o
ola
e
ge
Ma
k
efi
l
e
.
am:
d
ro
p
ref
e
rences to obsolete @bv_b
a
rv
i
nok
_
b
o
und@
commit
|
commitdiff
|
tree
2010-08-31
Sven Ve
r
doola
e
g
e
evalu
e
_convert
.
cc: evalue_print_isl: print end-of-l
i
ne
commit
|
commitdiff
|
tree
2010-08-30
Sv
e
n Verd
o
o
l
aege
iscc: allow coerci
o
n of b
i
nary
list
i
nto first
e
le
m
e
n
t
commit
|
commitdiff
|
tree
2010-08-28
S
v
en Verdo
o
laeg
e
barvinok_bo
u
nd: convert to isl_pw_qpo
l
ynomial o
n
c
e
commit
|
commitdiff
|
tree
2010-08-28
Sven V
e
rdoolaege
b
a
r
v
i
no
k
_bound: use isl to spl
i
t
o
n
d
om
a
in size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdo
o
laege
set sens
i
ble defaults with --polynomi
a
l-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
rdoolaege
isl
_
pw_qpolyno
m
ia
l
_sum: reus
e
b
arvi
n
ok_
o
pt
i
ons i
f
ava
i
l
able
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaeg
e
isl
_
ma
p
_card: reu
s
e barvinok_o
p
tions if ava
i
lable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven
Verdoolae
g
e
u
p
d
a
te
i
sl for aligning
p
arameters of union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoo
l
a
ege
iscc: add
"
j
o
in" operat
i
o
n on
f
o
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
iscc:
add
"
join" operation
on maps and fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
isc
c
: support
a
ddi
t
ion on
a pair
o
f
a
fo
l
d and a quasi
p
olyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
V
erdoolaege
update isl for ad
d
ing t
y
p
es
to isl_{
u
nion_,}pw_qpolynomial_
f
olds
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
allow cod
e
g
e
n on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
:
codegen: detect st
r
ide
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
is
c
c:
use
s
implified CLooG int
e
rface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
up
d
ate isl for rename of is
l
_
p
w
_
q
polynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
isc
c
.
c: u
n
ion_pw_qpolynomial_upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c: fix
t
ypo
i
n comment
commit
|
commitdiff
|
tree
2010-08-17
Sven
V
e
rdoolaege
i
s
l_map_apply_pw_qpol
y
nomial: fix
typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoo
l
a
ege
u
p
d
a
t
e isl from is
l
_u
n
i
o
n
_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven V
e
rdo
o
laege
iscc: allo
w
inverse on non-uni
o
n maps
again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
iscc: add wrap
and unwrap operation
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add is
l
_uni
o
n_map_apply_un
i
on
_
p
w
_qpol
y
nomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolaege
isl_
p
w_qpolynomia
l
_s
u
m:
h
a
n
dle
isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n V
e
rdoolaeg
e
update is
l
for nes
t
ed
d
i
mension specificati
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laeg
e
isl_map_c
a
rd
:
postpone sh
u
ffling
around
o
f dime
n
s
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven Ver
d
o
olaege
update
i
sl fo
r
isl_basic_map_
m
o
v
e_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdoolaege
isl_pw_qpolynomial_
s
um: p
u
s
h co
n
ve
r
s
ion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
v
en
Ve
r
doolaege
isl_pw
_
q
polynomial_su
m
:
check for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoo
l
aege
avoid us
e
of
isl_dim interna
l
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
iscc:
su
p
port codege
n
op
e
rati
o
n if CLoo
G
is
a
vailable
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
iscc
:
switch to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdo
o
laege
ad
d
i
sl_
u
nion_pw_qp
o
lyno
m
i
a
l
_
sum
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ver
d
o
olaege
add
i
sl
_
u
n
ion_map_car
d
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
i
sl
_
p
w
_
qpolynomial_
s
u
m
:
ta
k
e tuple n
a
mes i
n
to acco
u
nt
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
dool
a
ege
isl_map_card: pr
e
serve
full domai
n
d
imension
information
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verd
o
olaege
update isl for
chan
g
e in isl
_
hash
_
ta
b
le_f
o
rea
c
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
barvinok_enumerate
.
c
c: fix pr
i
n
tf for
m
at
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
doc: add some more papers refering to th
e
l
i
brary
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
erdoola
e
ge
barvi
n
ok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laeg
e
update isl t
o
version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
configure
.
in: properly add isl flags and libs
to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
configure
.
in:
drop call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
S
v
en V
e
rdoolaege
genfun
.
cc: fix prin
t
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoo
l
aege
test_
a
pprox
.
c: fix pr
i
ntf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
test_bound
.
c
: f
i
x printf
fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
o
ola
e
ge
configu
r
e
.
in
:
stop compiling
Omega by def
a
ult
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdool
a
ege
v
e
rify
_
lexsmaller
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
ge
e
v
alue
.
c: avoid use
of alloc
a
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
evalue
_
isl
.
c
:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Ver
d
oolaeg
e
iscc: r
e
c
o
ver from
e
r
r
ors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolae
g
e
update isl for i
m
proved
erro
r
handl
i
ng
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
iscc
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sve
n
V
e
rdo
o
l
ae
g
e
doc:
iscc: update documentation
o
f
"ub" operator
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
ege
test_appr
o
x: includ
e
c
t
yp
e
.
h for
isspace
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
te
s
t_approx: include config
.
h
for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
est_boun
d
:
i
n
clude config
.
h fo
r
HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
iscc: add v
e
rtices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
opti
o
n
ally use
isl
t
o per
f
orm parametric vertex enumeratio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
updat
e
isl-
p
ol
y
li
b
for h
a
n
dl
i
ng
o
f rational
set
s
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
do
o
laege
dro
p
distinction between barvinok-core
a
nd ba
r
v
inok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
remove
bernstei
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
update isl for g
e
neric isl_pw_qpolynomi
a
l_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aeg
e
configure
.
i
n
: drop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_peek
_
barvi
n
ok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoo
l
ae
g
e
i
scc: parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
r
d
oolaege
export
i
s
l_q
p
olynomial_
f
rom_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
M
a
kef
i
l
e
.
a
m: drop depend
e
nc
e
on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
upd
a
te
isl for r
e
name of
i
sl_pw
_
qpolynomial_
m
ove
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
ver
i
f
_
ehrhart
.
c:
add missi
n
g in
c
lude
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
c
o
nfigure
.
in: f
i
x typ
o
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoo
l
ae
g
e
u
s
e isl f
o
r argumen
t
pars
i
ng
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
update
isl
for keepin
g
tr
a
ck o
f
user o
p
tions
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n
Verdoolaege
t
es
t
_bound:
r
e
w
rite
i
n C
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdoolaege
update i
s
l for help message
p
r
i
nting
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erd
o
ol
a
ege
rem
o
ve
e
v
alue_o
p
timum
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rd
o
olaege
remove evalue_range_propa
g
a
t
i
on
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaeg
e
tes
t
_bound: u
s
e isl interfa
c
e for compu
t
ing bo
u
nds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvin
o
k_bou
n
d: use isl interface for comp
u
ting
bounds
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Ver
d
oolae
g
e
iscc: sup
p
ort ub eve
n
if GiNaC s
u
ppor
t
w
as not comp
i
led in
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
add
generic isl_pw
_
qpo
l
ynomial_boun
d
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
update isl for isl_pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
S
v
en V
e
r
d
o
olaege
test_bo
u
nd: us
e
i
s
l during verific
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
ba
r
vinok_bound: use isl du
r
ing
verification
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdo
o
laege
v
erify
.
c:
ext
r
act so
m
e help
e
r fun
c
t
i
ons for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
ae
g
e
in
t
roduce "bound" option
commit
|
commitdiff
|
tree
next