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
use isl to perform "manual_count"
2010-10-11
S
ven Verdoo
l
aege
us
e
isl to per
f
orm "ma
n
u
a
l_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
o
l
a
eg
e
allow
b
uilding without
p
ipl
i
b
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoolaeg
e
Pol
y
hedron_R
e
d
u
ce
d
_Basis: opt
i
o
nally
u
se i
s
l
commit
|
commitdiff
|
tree
2010-10-11
S
ven V
e
rdool
a
ege
fix d
e
pendence on b
u
ild isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoo
l
aege
isl_map_car
d
:
use isl for factorization
commit
|
commitdiff
|
tree
2010-09-14
S
ven Verdoolaege
isl_map_c
a
rd: s
p
lit dim
e
nsion fidd
l
ing from con
v
e
r
sion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
Verdoolaege
i
sl_
m
a
p
_card: use isl_pw
_
qpoly
n
omial_sum if re
q
uested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
barvinok
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven
V
erdoolaege
update isl for
fix in
p
a
r
ameter alignmen
t
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdo
o
l
a
eg
e
barvino
k
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
v
en Ve
r
doolaege
iscc: add lexi
c
ogr
a
phic opera
t
o
r
s
commit
|
commitdiff
|
tree
2010-09-10
Sven Verd
o
olaege
u
pda
t
e isl
t
o ve
r
sion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolaege
iscc: add "so
u
rce
"
operation
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rdoolae
g
e
iscc:
a
d
d support for string
s
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoolaege
is
c
c: print error messa
g
e
on use of unknown id
e
nti
f
ier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc:
support
u
nion
set
s
in
v
e
rt
i
c
es operatio
n
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rdoolaege
ad
d
isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n Verdoolaeg
e
barv
i
nok_b
o
und: use isl to
s
plit per
i
ods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoola
e
ge
update is
l
for isl_pw_qpoly
n
omial_split_per
i
ods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
doc: mark PolyLi
b
inte
r
f
ace obsolesce
n
t
commit
|
commitdiff
|
tree
2010-08-31
Sven Ve
r
doolaege
Mak
e
f
i
le
.
am: drop re
f
e
r
e
nces to obso
l
et
e
@bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdoolaege
e
value_c
o
nvert
.
cc: evalue_print_is
l
:
print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
i
s
cc: allow coerc
i
on of binar
y
list into first element
commit
|
commitdiff
|
tree
2010-08-28
S
ven Verdoolaege
barv
i
n
ok_bound: convert t
o
isl_pw_qpoly
n
omial once
commit
|
commitdiff
|
tree
2010-08-28
S
ven Verdoolaege
barvinok_bound: use isl to
split on dom
a
in size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
set sensible d
e
faults with --po
l
ynomial-app
r
oximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
isl_pw_qpoly
n
o
mial_s
u
m: reuse barvinok_options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdo
o
laege
i
sl_ma
p
_
c
a
rd:
r
euse barvin
o
k_opti
o
ns if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
rdo
o
la
e
ge
update is
l
for aligning par
a
me
t
ers
o
f un
i
on argumen
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolae
g
e
is
c
c: a
d
d
"join" operatio
n
o
n fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
iscc: add "
j
oin" operation
on maps a
n
d folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
i
s
c
c
:
suppo
r
t a
d
d
i
t
i
on on a
p
air of
a
fol
d
and a quasip
o
lyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
e
g
e
update isl for
a
dding
type
s
to isl_
{
union_,}pw
_
qpo
l
ynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
o
ol
a
ege
allow codegen
o
n
sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
iscc: code
g
e
n: detect stride
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
iscc: use
si
m
plifi
e
d CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
r
d
oolaege
update isl
for rename of isl_pw_qpolynom
i
al_f
o
ld
_
add
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoola
e
g
e
iscc
.
c
:
union_
p
w_qpolynomial_up
p
er_boun
d
: fix
m
emory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c: fix typo in commen
t
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaeg
e
isl_map_apply_pw_qpoly
n
omia
l
: fix
typo
commit
|
commitdiff
|
tree
2010-08-10
Sven V
e
rdo
o
laege
up
d
ate isl from isl_un
i
o
n_
m
ap fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoola
e
ge
iscc: allow inve
r
se on n
o
n-union maps agai
n
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdo
o
la
e
ge
is
c
c: add wrap and un
w
rap op
e
ratio
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
add
isl
_
u
n
i
on_map_a
p
p
l
y_unio
n
_pw_q
p
olyno
m
ial
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
isl_pw_q
p
o
lynomial_
s
u
m: handle
isl_pw
_
qp
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aege
u
p
dat
e
isl for
n
es
t
ed
di
m
ension spe
c
ifications
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verd
o
o
l
a
ege
isl_
m
ap_ca
r
d: postpo
n
e shuffling aro
u
nd of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
update
isl
f
o
r isl_basic_map_mov
e
_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verdoolaege
isl_pw_qp
o
lynomial
_
sum: push conv
e
rsion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
isl_pw_qpolynomial_su
m
: c
h
e
ck for unbo
u
n
d
ed domai
n
s
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verdoola
e
ge
a
v
oid use
of
i
sl
_
di
m
internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
a
ege
is
c
c
:
supp
o
rt codegen operation i
f
CLooG is a
v
a
ilable
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
iscc: switch to usin
g
u
n
ions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add
i
s
l_union_pw_
q
pol
y
no
m
ial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
l
a
ege
a
dd isl_u
n
ion
_
map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
isl_p
w
_qpolynomial_sum: take tuple
n
a
mes
into accou
n
t
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
isl_ma
p
_c
a
rd: preserve full domain dimension
i
nformation
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
update isl
f
or change
in isl_hash_ta
b
le_foreac
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
Verdoolaege
barv
i
no
k
_enumerate
.
cc:
f
i
x printf format
commit
|
commitdiff
|
tree
2010-07-03
Sv
e
n Verdoo
l
aege
doc: add some
m
o
re pape
r
s refe
r
ing to the lib
r
ary
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
erdo
o
laege
ba
r
vinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
update i
s
l to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
r
doolaege
configure
.
in: properly add isl flags and li
b
s to p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
c
on
f
igure
.
in: dr
o
p call to gl_E
A
RL
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoo
l
a
ege
genfun
.
c
c:
f
ix
p
r
i
ntf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
ola
e
ge
test_
a
pprox
.
c: fix prin
t
f
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Ver
d
oolaege
test_bound
.
c:
fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
co
n
f
i
gu
r
e
.
in
:
stop compiling Omega b
y
default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdo
o
l
aege
verify_lexsmaller
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
e
v
alue
.
c: avoi
d
use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
e
va
l
ue_isl
.
c
:
fix
typo
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoo
l
a
ege
iscc: recove
r
fro
m
e
r
rors
commit
|
commitdiff
|
tree
2010-06-20
S
ven Ver
d
o
olaege
u
p
dat
e
isl
f
o
r impro
v
ed error ha
n
d
l
ing
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n V
e
r
d
ool
a
ege
isc
c
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven
V
erdool
a
ege
doc:
i
scc: upda
t
e documen
t
a
tion
o
f
"ub" operat
o
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
t
est_approx: include ctype
.
h f
o
r isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
ege
test_app
r
ox:
include c
o
n
f
ig
.
h for
HA
V
E_SY
S
_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
aege
test
_
bound: i
n
clud
e
config
.
h for
H
A
VE_SYS
_
TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
is
c
c: add v
e
rtices operati
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laege
optionally use i
s
l to
p
erform p
a
ram
e
tric v
e
rte
x
enumeratio
n
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
g
e
u
pdate isl-polylib
f
o
r
handling o
f
ra
t
ional sets
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolaege
drop distinction bet
w
een barvi
n
ok
-
core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
update isl for generic isl
_
pw_qpolynomial_
b
oun
d
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
configure
.
i
n: drop bv_omega
_
p
r
ograms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_c
t
x
_
pee
k
_barv
i
nok_option
s
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdool
a
ege
i
s
cc: parse ba
r
v
inok options
commit
|
commitdiff
|
tree
2010-06-01
S
ven
Verdoolaege
export isl_qpol
y
nomi
a
l_from_evalu
e
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
M
a
kefile
.
a
m
: drop dependenc
e
o
n
d
oc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
updat
e
is
l
for rename of
i
s
l
_pw_qpolynom
i
al_mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaeg
e
verif_ehrhar
t
.
c: a
d
d
m
i
s
s
ing in
c
lude
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
co
n
figure
.
in: fix
ty
p
o
commit
|
commitdiff
|
tree
2010-06-01
S
ven Ver
d
ool
a
e
g
e
use isl for argum
e
nt p
a
rsi
n
g
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update
isl for keeping track of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven
Ver
d
o
o
laege
t
e
st_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Verd
o
olaege
update
i
sl fo
r
help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
rem
o
ve evalue_o
p
timum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
remove evalue_ran
g
e_prop
a
gation
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolae
g
e
test_
b
ound:
u
s
e isl interface for com
p
uting bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvin
o
k_
b
o
u
n
d: use isl interface for co
m
puting bounds
commit
|
commitdiff
|
tree
next