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
S
ven V
e
rdoolaege
barvi
n
ok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verdoolaege
iscc: add lexicograp
h
ic op
e
rators
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
erd
o
olaege
update
isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven V
e
r
doolaege
iscc: a
d
d
"
sourc
e
" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven
Verdoolaege
iscc:
add
s
upport
f
or
str
i
ngs
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdool
a
e
ge
iscc: print error message on
use of unkno
w
n
i
d
e
ntifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaege
i
s
cc: support union sets in vertic
e
s operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add isl_list_co
n
ca
t
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolae
g
e
ba
r
vinok_bound: use
i
sl to
s
pli
t
peri
o
d
s
commit
|
commitdiff
|
tree
2010-09-05
S
v
en Verdoolaege
upd
a
te isl
f
or
isl_pw_qpo
l
ynomial_split_perio
d
s
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdool
a
e
ge
doc: mark PolyLib interface
o
bsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Ver
d
oo
l
a
e
ge
Makefile
.
a
m
:
dr
o
p
refer
e
nces t
o
obso
l
ete
@
b
v_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
eva
l
ue_conve
r
t
.
cc: e
v
a
l
u
e
_
p
rint_is
l
: print end-o
f
-line
commit
|
commitdiff
|
tree
2010-08-30
Sve
n
Verdoolaege
iscc:
a
llow coerci
o
n
of binary
li
s
t
i
n
t
o f
i
rst el
e
ment
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n
V
erdoolaege
barvin
o
k
_
bo
u
nd: c
o
nvert to isl_p
w
_q
p
olynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Ver
d
oolaege
barvinok_bound: use isl to split on d
o
m
a
in size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
set
s
e
nsib
l
e defaul
t
s with --polynomial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_pw_
q
polynomial_sum: reuse barvinok_
o
ptio
n
s if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
r
d
oolaege
isl_map
_
car
d
: r
e
use barvin
o
k_options i
f
availabl
e
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven Verd
o
olaege
up
d
a
te isl for
a
ligning para
m
eters
o
f union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
iscc: add "
j
oin" o
p
eration on fold
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
iscc: add
"joi
n
" operation
on
maps and fo
l
d
s
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Verdoola
e
ge
iscc: sup
p
ort a
d
dition
o
n
a p
a
ir
o
f a
f
old and
a
quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
update isl for
adding types to isl_
{
union_,
}
pw
_
qpolynomi
a
l
_
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
o
olaege
allow codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: co
d
egen: detect st
r
i
d
e
s
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdool
a
ege
iscc:
use s
i
m
p
lified CL
o
oG int
e
rface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
u
pdate i
s
l for rename o
f
isl_pw
_
q
p
o
l
ynomi
a
l_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdo
o
la
e
g
e
iscc
.
c: uni
o
n_pw_qpolynomial_upper_bo
u
nd: f
i
x memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
r
doolaege
summate
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sve
n
Verdoolaege
i
s
l_map_ap
p
ly_pw_qp
o
lynomial:
fix typo
commit
|
commitdiff
|
tree
2010-08-10
S
ven Ver
d
oolaege
update
i
sl from
i
s
l_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
Verdoolaege
iscc: allow invers
e
on
non-union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
iscc: add wrap and unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
a
d
d
i
sl_
u
n
i
o
n
_map_ap
p
ly_union_
p
w_q
p
olynomial
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
Verdoo
l
aege
isl_
p
w_qpolynomial_sum: handle isl_pw
_
q
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n
V
erdool
a
e
ge
update isl f
o
r nest
e
d dimension
specific
a
tions
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erd
o
ol
a
e
g
e
i
sl_map_ca
r
d: pos
t
pone
shuffling
arou
n
d of di
m
ensio
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoola
e
g
e
updat
e
isl for
i
sl_
b
a
s
i
c
_
map_move_
d
i
m
s
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
V
erdoo
l
aege
isl_pw_qpolynomi
a
l
_
sum: push
co
n
versi
o
n to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
laege
isl_p
w
_q
p
o
l
y
n
omi
a
l_sum:
c
heck for u
n
bou
n
ded
d
oma
i
ns
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
avoid use of isl_dim int
e
rnals
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
iscc:
su
p
port co
d
eg
e
n operation i
f
C
L
ooG is av
a
ilable
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
i
scc:
s
witch
to using
u
nion
s
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoola
e
g
e
add isl_union_p
w
_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
S
ve
n
Verdoolaege
ad
d
isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
isl_pw_qpolynomial_
s
u
m
: take
t
uple names
into
a
ccount
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ver
d
ool
a
ege
isl_
m
ap_
c
ard: prese
r
ve full do
m
a
i
n
dimension inform
a
ti
o
n
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
update isl fo
r
change in
i
s
l_hash_tab
l
e
_
f
oreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
o
o
laege
bar
v
in
o
k_
e
numerate
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdo
o
l
a
e
g
e
doc: add
so
m
e more papers
r
e
f
e
r
ing to the libra
r
y
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
barvi
n
ok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
update isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: pr
o
p
e
r
l
y ad
d
isl
flags a
n
d
libs t
o
p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
ven V
e
r
doolaege
confi
g
ure
.
in:
dro
p
call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
er
d
oolaege
genfu
n
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_
a
ppro
x
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolae
g
e
t
e
s
t
_
bound
.
c: f
i
x
p
rintf
f
orm
a
t
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
V
erdoolaege
config
u
re
.
in: stop
compi
l
ing
Omega by de
f
aul
t
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Ve
r
doolaege
verify_lexs
m
aller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
eval
u
e
.
c
: a
v
oid use of a
l
loca
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
evalue_
i
s
l
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
v
e
n
Verdoolaeg
e
i
scc: re
c
over f
r
om err
o
rs
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoolaege
upd
a
te isl f
o
r i
m
pro
v
ed
e
rro
r
handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Ve
r
doolaege
doc: iscc: update do
c
u
mentation
o
f
"
ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
do
o
l
a
ege
test_appro
x
: i
n
clude c
t
ype
.
h for iss
p
ace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx: inc
l
u
de conf
i
g
.
h for HAVE_
S
Y
S
_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
t
e
st_boun
d
: include config
.
h for HAVE_S
Y
S_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
iscc: add
v
ertices op
e
rations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
optionally use isl to
perform pa
r
a
metric vert
e
x en
u
m
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
lae
g
e
update
i
sl
-
polylib for handling of ratio
n
a
l sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
ge
drop dist
i
n
ction between barvinok-
c
ore
an
d
barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
remove b
e
rnstein
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
l
aege
u
pda
t
e
isl for generic isl_pw_qpo
l
y
no
m
ial_bou
n
d
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
configure
.
i
n
: drop bv_
o
mega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add i
s
l_ctx_peek_barvi
n
ok_o
p
tions
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
iscc
:
parse bar
v
i
n
ok options
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ve
r
doolaege
e
xport isl_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
M
a
kefile
.
am:
drop dependenc
e
o
n
doc/omega
.
te
x
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
up
d
ate i
s
l for ren
a
m
e of isl_p
w
_qpolynom
i
al_mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdool
a
ege
v
e
rif_
e
hrhart
.
c: add mis
s
ing in
c
lude
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
r
dool
a
ege
c
on
f
igure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
o
o
laeg
e
use
i
s
l
for argument
p
a
r
s
i
n
g
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
update
isl for
k
e
eping trac
k
o
f
user option
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
test_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
u
pd
a
te
i
sl for help messag
e
p
rinti
n
g
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaege
r
emove evalue_opti
m
u
m
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaeg
e
remo
v
e evalue_range_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
test
_
bound: use
isl interface for computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
ba
r
vinok
_
bo
u
nd: use isl
i
n
t
erfa
c
e for co
m
p
u
ting bo
u
nds
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Verdoolaege
iscc: support ub even if GiNaC supp
o
rt w
a
s not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
o
o
laege
add generic isl_pw_qpolynomial_bou
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
u
p
date isl for isl_pw_
q
po
l
yn
o
mial
_
bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
tes
t
_bound: use
isl
d
u
ri
n
g ve
r
if
i
cati
o
n
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
Verd
o
olaege
b
arvinok_bound
:
use isl
d
uri
n
g v
e
rificatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaeg
e
verify
.
c
:
extract some helper fun
c
tio
n
s for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
introduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
options
.
c
: fix pri
n
tf for
m
at
commit
|
commitdiff
|
tree
2010-05-10
S
v
en Ve
r
do
o
laege
iscc: add application operations
commit
|
commitdiff
|
tree
next