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
version.c: show use of CLooG
2010-10-20
Sven
V
erdoolaege
ver
s
ion
.
c: show use
o
f CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
olaege
doc
:
a
bit m
o
r
e
i
n
fo on
iscc
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdoo
l
aege
is
c
c: add bef
o
re and
after operations
commit
|
commitdiff
|
tree
2010-10-18
S
v
e
n Verdoolaege
isc
c
:
a
dd
identity ope
r
a
t
ion
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Ver
d
ool
a
ege
iscc: br
e
ak
out off
m
ain loop when printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: support e
x
tended Pol
y
Lib output format
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Ver
d
oolae
g
e
conf
i
gure
.
in: perform check fo
r
GMP support
i
n
NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoo
l
aege
is
c
c: add composition oper
a
tion on piec
e
wis
e
quasipo
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
is
c
c: a
d
d dependence
analysis
operations
commit
|
commitdiff
|
tree
2010-10-11
S
ven
V
erd
o
olaege
iscc: regis
t
er e
x
tra keywords
i
n generic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laege
use
i
sl to perform "manual_
c
o
u
nt"
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaege
allow building without
p
ip
l
ib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaeg
e
Polyhedron_Red
u
ced_B
a
sis: optionally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaeg
e
fix dependence on build
isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
ola
e
ge
isl_map_card: use isl
for factoriz
a
tion
commit
|
commitdiff
|
tree
2010-09-14
Sven Ver
d
oo
l
aege
is
l
_map_card: spli
t
dimension fi
d
dl
i
ng f
r
om
conve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolae
g
e
isl_map_card: use isl_pw_qpolynomial_
s
u
m if r
e
quested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
r
doo
l
aege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
update isl for fix in para
m
eter ali
g
nme
n
t
commit
|
commitdiff
|
tree
2010-09-10
Sven
Verdoola
e
ge
barvin
o
k 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
e
r
d
oolaeg
e
i
scc: add lexicographic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
update isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sv
e
n V
e
r
doolaeg
e
isc
c
:
add "sourc
e
"
operati
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoo
l
aege
i
scc: add sup
p
ort f
o
r s
t
rings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
i
scc: print error message on use
o
f u
n
known
i
denti
f
ier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: support union
sets in vert
i
ces
o
peration
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
add isl_li
s
t_co
n
ca
t
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdo
o
l
a
eg
e
ba
r
vin
o
k_bound: use isl to
s
plit
p
eriods
commit
|
commitdiff
|
tree
2010-09-05
Sve
n
Verdoolae
g
e
update isl for isl_pw
_
q
p
olynomial_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Ve
r
doolaege
d
o
c: mark PolyLib
i
nterfa
c
e obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven V
e
rdo
o
laege
Makefile
.
am: drop
r
efere
n
ces to
o
b
s
olete
@
bv_barvin
o
k
_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verdoolaeg
e
evalue_convert
.
cc: evalue_print_isl: print e
n
d-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven V
e
rdo
o
laege
is
c
c: allow coercion
o
f binary l
i
st into fir
s
t e
l
em
e
nt
commit
|
commitdiff
|
tree
2010-08-28
Sven
Verdoolaege
barv
i
nok_boun
d
:
c
onvert
to isl_p
w
_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdool
a
e
ge
bar
v
ino
k
_bo
u
nd: use isl
t
o
s
pl
i
t on domai
n
siz
e
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
e
r
doolaege
set sensible defaults with --poly
n
omial-approxi
m
ation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
is
l
_pw_qpolynomi
a
l_sum: reuse barvinok_
o
pt
i
ons if av
a
i
l
a
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoola
e
ge
isl_map_card: reus
e
barvino
k
_
o
ptions if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaeg
e
updat
e
isl f
o
r aligning parameters of u
n
ion argument
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc:
add
"joi
n
" operati
o
n
on
f
olds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
iscc:
a
dd
"join" operation on maps
and folds
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoola
e
ge
iscc:
s
upport addition on a p
a
ir of a fo
l
d an
d
a quasipolyn
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoola
e
g
e
update isl for
a
dding t
y
pes to isl
_
{
u
ni
o
n_,}pw_q
p
olynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoola
e
ge
allow
codege
n
on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
rd
o
ol
a
ege
iscc: codegen:
d
e
tect s
t
rides
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaeg
e
is
c
c: u
s
e
s
impl
i
fie
d
C
LooG
i
nterface
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolae
g
e
update isl for rename of
i
sl_pw_qp
o
lynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
g
e
iscc
.
c: union_p
w
_qpoly
n
o
m
ial_upper_bound: fi
x
memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
summate
.
c: fix typo in
comment
commit
|
commitdiff
|
tree
2010-08-17
S
v
en Verdoolaege
isl_
m
ap_app
l
y_pw_qpolynomia
l
: fix t
y
po
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdo
o
laege
update
isl f
r
om
i
sl
_
union_map fix
e
s
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
is
c
c
:
allow
i
nverse on non-union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rd
o
olaege
i
s
c
c: add wrap
a
nd unwrap operat
i
ons
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
add i
s
l_u
n
i
on_ma
p
_ap
p
ly_union_p
w
_
qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
isl
_
p
w_qpolynomial_sum: handle isl_p
w
_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolae
g
e
up
d
ate
i
sl
f
or n
e
sted
d
imen
s
i
o
n
specificatio
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaege
isl_m
a
p
_
card:
postpone shu
f
fling a
r
oun
d
o
f
dimensi
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolae
g
e
update
isl for isl_basic_map_m
o
ve_dims
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdoola
e
ge
i
sl_
p
w_qpolynomial_sum: push co
n
version to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw_
q
polynomial_s
u
m: check for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erd
o
ol
a
ege
avoid use of isl_dim
i
nternals
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdo
o
laege
iscc: support codegen operation if C
L
ooG i
s
ava
i
l
ab
l
e
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oola
e
ge
i
scc: switch to
u
sing unions
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdo
o
laege
add
i
sl
_
union
_
pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ve
r
doolaege
add isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
isl_pw_qpolynomial
_
sum:
ta
k
e tuple
names into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doo
l
aege
isl
_
map_car
d
: preserve
f
u
l
l domain dimension infor
m
a
tion
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Ve
r
doo
l
aege
update is
l
for change in i
s
l
_
ha
s
h_table_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ve
r
doolaege
b
a
rvino
k
_enu
m
erate
.
cc: f
i
x printf forma
t
commit
|
commitdiff
|
tree
2010-07-03
Sven
Verdoolae
g
e
d
oc: add some m
o
re papers refering t
o
t
h
e
library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
u
pdate isl to vers
i
on 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
c
o
nfigure
.
i
n
:
p
r
o
p
erly
a
dd is
l
f
l
ags and li
b
s to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
configure
.
in: drop call to g
l
_EARL
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
genfun
.
cc: f
i
x print
f
form
a
t
commit
|
commitdiff
|
tree
2010-06-29
S
ven
V
erdoola
e
ge
test_ap
p
ro
x
.
c: fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
r
d
o
olaege
t
es
t
_bound
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
conf
i
gure
.
in:
s
top compi
l
i
n
g Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdoolae
g
e
v
erify_lexsmaller
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
o
l
aege
e
value
.
c
:
avoid u
s
e of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
evalue_isl
.
c: f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdo
o
laeg
e
iscc
:
r
e
cover
f
rom errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
u
p
date
i
s
l for improved error
h
andling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
S
v
en V
e
rdoolaege
do
c
:
is
c
c
:
update documentation of "ub
"
operator
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
r
doolaege
test_approx: include ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
o
o
la
e
ge
te
s
t_approx: i
n
clude co
n
fig
.
h f
o
r H
A
VE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdool
a
eg
e
test_bo
u
n
d
:
include
config
.
h
f
or HAVE_
S
YS_TIM
E
S_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
iscc
:
add vert
i
c
e
s operations
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
optionally use
is
l
t
o
per
f
orm p
a
r
a
metric ve
r
te
x
enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oo
l
a
e
ge
update isl-polylib for handling of ra
t
ional sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
ege
dr
o
p distinc
t
ion between barvin
o
k-core an
d
barvino
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
r
e
move bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
u
p
date isl for
g
e
neric
i
s
l_pw
_
q
polynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
a
e
g
e
configure
.
in: dr
o
p bv_ome
g
a
_p
r
o
g
rams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l
_ct
x
_peek_bar
v
inok_opt
i
ons
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
iscc: parse barvinok op
t
ions
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
r
doolaege
export
i
s
l
_q
p
olynomial
_
from_evalue
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoola
e
ge
Makefile
.
am:
d
rop dependence
o
n
doc/o
m
eg
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
a
e
g
e
upd
a
te is
l
for rename of isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
next