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
update isl for renaming of isl_map_remove
2010-10-27
Sven Verdoo
l
aege
u
p
d
a
te
i
sl for
renaming of is
l
_map
_
remove
commit
|
commitdiff
|
tree
2010-10-20
Sven
Ve
r
doo
l
aege
version
.
c: show use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdoo
l
aege
doc: a bit more info
on isc
c
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdool
a
ege
isc
c
: add before and after o
p
e
rations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
i
scc: add identity ope
r
ati
o
n
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Ve
r
doolaege
iscc: break o
u
t off main loop
w
hen pr
i
nter no
l
onger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: supp
o
r
t extended P
o
lyLib outpu
t
format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoola
e
ge
configu
r
e
.
in: perform
c
h
e
ck for GMP support in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isl_Po
l
y
h
e
dron_Samp
l
e: add missing initialization
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
i
scc: add
c
ompos
i
t
i
on operation on pie
c
ewis
e
quasipolyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: add
d
ependence ana
l
ysis operat
i
ons
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolae
g
e
isc
c
:
r
e
giste
r
extra keywords in generic
wa
y
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
use isl
to p
e
rform "manual_c
o
u
n
t"
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdool
a
ege
allow building without
pipli
b
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
Polyhedron_Reduced_Basis: optionally use
i
sl
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
fix dependenc
e
on
build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
ge
isl_map_
c
ard:
use isl for fact
o
rizati
o
n
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdo
o
laege
i
sl_map_c
a
rd: split dimension fiddling from conversio
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaeg
e
isl_map
_
ca
r
d: us
e
is
l
_
pw_qpolynomial_sum if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
rdo
o
la
e
ge
barv
i
nok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Ve
r
doolaege
up
d
ate isl for fix in
p
aramete
r
alignmen
t
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Verdoolaege
b
arvinok
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdool
a
ege
iscc: add lex
i
co
g
raphic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoola
e
ge
update isl to ve
r
sion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven V
e
r
doolaege
isc
c
:
add
"
sour
c
e" operati
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
V
e
rdoolaege
iscc: add support for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven
Verdoolaege
is
c
c: p
r
i
n
t error messag
e
on us
e
of unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Ve
r
doolaege
iscc: support u
n
i
on sets in
v
ertices o
p
eration
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoo
l
ae
g
e
add isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verd
o
olaege
barvinok_bound: use isl to split periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Ve
r
d
oolaege
u
pdate isl for i
s
l_pw
_
q
polynomial_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoola
e
ge
d
o
c: mark Po
l
yLib inte
r
f
a
ce
o
b
solescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Ve
r
doolaege
Makefile
.
am: drop referen
c
es to
o
b
solete @bv_
b
arvi
n
ok_bound@
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdoolaeg
e
evalue_conve
r
t
.
cc: evalue_print_isl: prin
t
e
n
d-of-lin
e
commit
|
commitdiff
|
tree
2010-08-30
Sven V
e
r
doola
e
g
e
isc
c
:
allow coercion of b
i
nary li
s
t into first element
commit
|
commitdiff
|
tree
2010-08-28
S
v
e
n
V
erdoolaege
barv
i
nok_bo
u
nd: conver
t
t
o
isl_pw_
q
pol
y
nom
i
al once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
ba
r
vino
k
_bound:
use isl to spl
i
t on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdo
o
lae
g
e
set
s
e
n
si
b
le de
f
a
u
lts with --
p
olynomial-app
r
oximatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en Verdoolaege
isl_pw_qpol
y
nomi
a
l_sum:
reuse
barvinok_option
s
if a
v
ai
l
able
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
i
s
l
_map_card:
reuse barvinok
_
o
p
tion
s
if ava
i
lable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaeg
e
updat
e
isl for ali
g
n
i
ng parame
t
ers of union
argume
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoo
l
aege
iscc: add "join" operation o
n
f
olds
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
iscc: add "join" operation on ma
p
s an
d
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
i
scc:
support
a
d
dition on a pair of a fold an
d
a
q
u
a
sip
o
lyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
u
pdate isl for a
d
ding t
y
p
e
s to isl_{
u
nion_,}pw
_
q
polynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
a
llow
c
odegen
o
n sets
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
r
d
o
olaege
is
c
c: codegen: detect strides
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
V
e
rdoolaege
iscc: use
s
implif
i
ed CLooG interf
a
c
e
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
u
p
d
ate isl for renam
e
of isl_
p
w_qp
o
lynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
iscc
.
c: union_pw
_
qp
o
ly
n
omial_upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
summat
e
.
c: fix ty
p
o in comment
commit
|
commitdiff
|
tree
2010-08-17
S
ven V
e
rdoola
e
ge
isl_map_apply_p
w
_qpolynomial:
f
ix typo
commit
|
commitdiff
|
tree
2010-08-10
S
ven Verd
o
olaeg
e
upd
a
te isl f
r
o
m
isl_
u
nion_map fixes
commit
|
commitdiff
|
tree
2010-08-10
S
v
en Verdoola
e
ge
iscc
:
a
llow
inv
e
rse
on non-union
m
a
p
s ag
a
in
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
iscc: add wrap a
n
d unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olaeg
e
add
i
sl_union_map_apply_
u
nion
_
pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
s
l_p
w
_qpolynomial_
s
um: hand
l
e isl_pw
_
q
p
olyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven Ve
r
doola
e
ge
up
d
a
te isl
for nested dimension specifications
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoo
l
aege
isl_map_card
:
postpone
s
hu
f
fling around of di
m
ens
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
Ver
d
oolaege
update isl
for isl_basic
_
m
ap_move_dims
commit
|
commitdiff
|
tree
2010-08-04
S
v
en
V
erd
o
olaege
i
s
l
_pw_qp
o
lynomia
l
_sum:
p
ush conversion to
P
olyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
laege
isl_p
w
_qpolynomial_sum: check for unbounded d
o
mains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
avoid use of
is
l
_dim in
t
ernals
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rd
o
olae
g
e
iscc: support codegen op
e
ration if CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaeg
e
iscc: s
w
itch to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
add isl_union
_
pw_qpol
y
no
m
i
a
l_sum
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verd
o
olaege
add isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
isl_pw_qpolynomial
_
s
um
:
take tuple
names
into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
sl_map_car
d
: prese
r
ve full
domain dimensio
n
info
r
matio
n
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdool
a
ege
update isl for change in isl
_
hash_table_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Ver
d
oolaege
barvinok_
e
numerate
.
cc: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
do
c
: add some mor
e
p
a
pers refering to the l
i
br
a
ry
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdo
o
laeg
e
ba
r
vi
n
ok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
update isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
er
d
o
o
laege
configure
.
in: properly add isl flags
a
nd libs t
o
pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
e
r
doolaege
configure
.
in: dr
o
p c
a
ll to
g
l_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n V
e
rdoolae
g
e
genfun
.
cc: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoola
e
ge
test_
a
pprox
.
c
:
fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bound
.
c: fix p
r
intf
f
o
r
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
configure
.
in: stop co
m
p
iling Omega
b
y default
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verdoolaege
verify_lexsmaller
.
c: fix t
y
p
o
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
evalue
.
c: avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalue_i
s
l
.
c: f
i
x t
y
po
commit
|
commitdiff
|
tree
2010-06-20
S
v
en
Verdoolaege
is
c
c
: r
e
cover from errors
commit
|
commitdiff
|
tree
2010-06-20
S
v
en Verdoola
e
ge
update isl
f
o
r
im
p
r
o
ve
d
erro
r
handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolae
g
e
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven
V
erdoolaege
d
oc: iscc: u
p
date documentation of "ub"
opera
t
or
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
laege
test_approx: incl
u
d
e cty
p
e
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx: inc
l
ud
e
config
.
h
f
or
H
AVE_SYS_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
test_bound: include c
o
nfig
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
iscc: add
vertices o
p
erations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
l
aege
optionally use i
s
l
t
o perfor
m
parametric vertex
e
nume
r
a
t
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
upd
a
t
e isl-
p
olylib for hand
l
in
g
o
f r
a
tion
a
l sets
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
drop distinction betwee
n
barvin
o
k-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
remove bern
s
tein
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
d
o
olaege
update isl
f
or ge
n
eric isl_pw
_
qpolynomial_bou
n
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaeg
e
con
f
i
gu
r
e
.
in:
d
rop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_ctx_peek_barvinok_
o
ptions
commit
|
commitdiff
|
tree
2010-06-07
Sven Ve
r
doolaege
iscc: parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
g
e
export isl_qpolynomial_fro
m
_ev
a
lue
commit
|
commitdiff
|
tree
next