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 Verdoolaege
ba
r
v
i
nok
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoola
e
ge
update
i
sl
f
or f
i
x in param
e
ter alignme
n
t
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
b
a
rvin
o
k 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
Sven Verd
o
olaeg
e
is
c
c: add le
x
icograph
i
c
operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Ve
r
doo
l
aege
update isl to version
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Ve
r
doolaege
iscc
:
add "source" o
p
e
rat
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rdoolaege
is
c
c: add suppor
t
f
o
r strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: print error message on
u
se of unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaeg
e
iscc: support union
s
e
t
s i
n
vert
i
ce
s
ope
r
at
i
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add i
s
l
_
list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
e
r
doolaege
ba
r
vinok
_
bou
n
d: use isl to split periods
commit
|
commitdiff
|
tree
2010-09-05
Sven
Verdoolaege
updat
e
i
s
l for isl_pw_q
p
olynom
i
al_spli
t
_periods
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Ver
d
oo
l
aege
doc: mark PolyLib interface
obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Ve
r
doolaeg
e
M
ake
f
ile
.
am: drop references to obsole
t
e @bv_barvinok_bou
n
d@
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verdo
o
laege
evalue_convert
.
c
c: evalue_
p
rint_isl:
p
r
in
t
e
n
d-of
-
line
commit
|
commitdiff
|
tree
2010-08-30
S
ve
n
Verd
o
ol
a
ege
iscc: allow
c
o
ercion
of binary list in
t
o fir
s
t element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
b
arvinok_bound:
c
o
n
v
ert to isl_pw_qpol
y
nomial once
commit
|
commitdiff
|
tree
2010-08-28
S
v
en Ve
r
doo
l
aege
barvino
k
_bou
n
d:
u
se
i
sl to split on do
m
ain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
oo
l
aege
set sensible de
f
aults with -
-
polyno
m
i
a
l-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoo
l
a
e
ge
isl_pw_qpolyno
m
ial_sum: reu
s
e bar
v
inok_op
t
ions if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven Verdoolaege
isl_map
_
card:
r
e
u
se b
a
rvinok
_
o
ptions
if
a
vailable
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
rd
o
olaege
u
pda
t
e is
l
fo
r
aligning paramete
r
s of
union a
r
guments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "join" op
e
ration on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaeg
e
iscc: ad
d
"j
o
in
"
operatio
n
on
m
aps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdo
o
laege
isc
c
: support add
i
tion on a pair
of a fold and a qu
a
si
p
olyn
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdool
a
ege
up
d
ate is
l
for adding t
y
p
e
s to
i
sl
_
{
u
n
ion_
,
}pw_qpol
y
nomial_
f
ol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoola
e
ge
allow codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoo
l
aege
iscc: co
d
egen:
detect strid
e
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
a
ege
iscc: use simplif
i
e
d CLooG
i
n
t
e
rfa
c
e
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
u
p
d
a
t
e
isl for rename o
f
is
l
_
p
w_
q
p
olynomial_
f
old
_
a
d
d
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
i
scc
.
c:
union_p
w
_qp
o
lynomial_upper_bo
u
nd:
f
ix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
Verdoolaege
s
ummate
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verd
o
olaege
isl_map_apply_pw
_
qp
o
lynomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
up
d
ate isl from isl_u
n
ion_map f
i
x
e
s
commit
|
commitdiff
|
tree
2010-08-10
Sven V
e
rd
o
olaege
iscc: allow inverse on
non-union maps ag
a
in
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
iscc: add wrap
a
nd unwrap op
e
r
ations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aege
add is
l
_union_map_apply_union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
isl
_
pw_qpolynomial_sum: handl
e
isl_pw_q
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolaege
update
isl for nested d
i
mension speci
f
ications
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
la
e
ge
isl
_
map_card: postpo
n
e shuffling a
r
ou
n
d of d
i
mensio
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
update isl f
o
r isl_basic_map_move_
d
ims
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoolaege
isl_pw_qpolynomial_
s
um:
p
ush conversion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Ve
r
doo
l
a
ege
isl_pw_q
p
olynomial_sum: check for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoo
l
aege
avoid u
s
e o
f
isl_dim int
e
rna
l
s
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
V
erdoolae
g
e
isc
c
: support codegen oper
a
t
ion if CLo
o
G is available
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isc
c
:
s
witch to using uni
o
ns
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
e
ge
add isl_uni
o
n
_
pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
add isl_union_map_car
d
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
isl_pw_q
p
olynomial_sum: take tuple nam
e
s into acc
o
un
t
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_
m
ap_c
a
rd: preserve
f
u
l
l
domain dimension
informa
t
ion
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
up
d
ate
isl
f
o
r chan
g
e in isl_
h
a
sh_table_
f
oreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
barvinok_
e
num
e
rate
.
cc
:
fi
x
printf format
commit
|
commitdiff
|
tree
2010-07-03
S
ven Verdoolaeg
e
doc: ad
d
some more
pa
p
ers
r
efering to t
h
e library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
barvinok
0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Ve
r
dool
a
e
g
e
up
d
a
te isl to version 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
configur
e
.
in: prop
e
rly
add isl fl
a
gs
a
nd
libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
g
e
configure
.
in
:
d
rop
c
all to
gl
_
E
A
R
LY
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Verdo
o
laege
genfun
.
cc: fix pr
i
n
tf forma
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
test_approx
.
c: fix print
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoo
l
aege
tes
t
_bound
.
c
: fix printf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
conf
i
gure
.
in: stop
compiling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
d
o
olaege
verif
y
_lexs
m
a
l
ler
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdoolaeg
e
e
v
a
lue
.
c:
avo
i
d use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
ev
a
lue_isl
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
iscc: re
c
ov
e
r from err
o
rs
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoolaeg
e
update i
s
l
f
or improved error handlin
g
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolaege
iscc
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-13
S
ven Verdoolaege
doc: is
c
c:
u
pd
a
t
e
d
o
c
u
mentation of "ub" op
e
rator
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
t
e
st_approx: include ctype
.
h fo
r
issp
a
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
est
_
approx: include
config
.
h for HAV
E
_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
test_boun
d
:
i
nc
l
ude config
.
h for H
A
VE
_
SYS_TIME
S
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
ge
iscc: add vert
i
ces operat
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
opti
o
nally us
e
isl
to
perform paramet
r
ic v
e
rte
x
enumerat
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
ge
update i
s
l-polylib
for h
a
ndl
i
ng of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolaege
drop distin
c
tio
n
between barvino
k
-
core and b
a
rvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolaege
upda
t
e isl for g
e
neric
isl_
p
w_qpoly
n
o
m
ial_boun
d
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
r
d
oolaege
configure
.
in
:
drop bv_omega
_
progra
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add isl_ctx_peek_bar
v
in
o
k_
o
ptions
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdo
o
laege
iscc: parse barvino
k
options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
e
xpor
t
isl_qpolynomial_from_ev
a
lue
commit
|
commitdiff
|
tree
2010-06-01
S
ven
V
e
r
d
o
olaege
Ma
k
efile
.
am: drop dependence on
doc/om
e
ga
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
up
d
ate is
l
for re
n
ame of isl_pw_qpolynomial
_
mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
veri
f
_ehrh
a
rt
.
c
: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
config
u
re
.
in:
fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoo
l
aege
us
e
i
s
l for argument pa
r
sing
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verd
o
olaege
u
p
date
i
sl fo
r
keeping track of user
opti
o
n
s
commit
|
commitdiff
|
tree
2010-05-19
S
v
e
n Verdoolaege
test
_
bound: r
e
w
r
i
t
e in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
updat
e
isl fo
r
help
m
essage printi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoo
l
a
ege
remove evalue_opti
m
um
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdool
a
e
g
e
remove evalue
_
range_propagat
i
on
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
test_bound:
use
is
l
inter
f
a
ce for co
m
puting bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verd
o
o
la
e
ge
ba
r
vinok_bound: use isl interface
fo
r
computing
b
o
unds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
is
c
c: support
ub e
v
en if
G
i
NaC sup
p
ort was
not c
o
mpi
l
ed in
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
er
d
oolaege
add generic
i
sl_pw_qpolynomial_boun
d
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdo
o
l
a
eg
e
update
i
sl fo
r
isl_pw_qpolynomial_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
r
d
oolaege
test_b
o
u
nd: use is
l
during
v
e
r
ificat
i
on
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Verdoolaege
b
arv
i
nok_bound: use isl during veri
f
i
c
atio
n
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdool
a
e
g
e
verify
.
c: ext
r
a
c
t some hel
p
e
r
functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introduce "bound
"
option
commit
|
commitdiff
|
tree
next