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
iscc: add dependence analysis operations
2010-10-11
Sve
n
Verdoolaege
iscc: add de
p
end
e
nce analysis oper
a
tions
commit
|
commitdiff
|
tree
2010-10-11
S
ven
V
erdoolaeg
e
iscc: regis
t
er extra
k
eywords in generic way
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoo
l
aege
use isl to per
f
or
m
"manual
_
count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaege
all
o
w
b
u
i
l
d
i
n
g without
p
i
p
l
i
b
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Ver
d
oolaege
P
o
lyhedr
o
n_Reduced_B
a
si
s
: o
p
t
ion
a
l
l
y use
isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n
Verdoola
e
ge
fix depe
n
dence on bu
i
ld
i
sl
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
r
dool
a
ege
i
sl_ma
p
_card: use
i
sl for
f
actorizatio
n
commit
|
commitdiff
|
tree
2010-09-14
Sven Ver
d
oola
e
g
e
isl_map_
c
ard:
split dimension f
i
ddlin
g
from
c
o
nversio
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verd
o
o
l
aege
isl_
m
ap_card
:
use isl_pw_qpolynomia
l
_
su
m
if req
u
ested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
v
en Ver
d
oolaege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoo
l
ae
g
e
update isl for fix in
p
aram
e
te
r
al
i
gnment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
isc
c
: add le
x
icog
r
aphic o
p
erators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdool
a
ege
update is
l
to versi
o
n 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolaege
i
scc: add
"source" operati
o
n
commit
|
commitdiff
|
tree
2010-09-06
S
ven
V
er
d
oola
e
ge
iscc:
a
d
d support for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven
Verdoolaege
isc
c
: print e
r
ror mes
s
age o
n
use of unkno
w
n
id
e
nti
f
ier
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
e
rdoolaege
iscc: suppor
t
union sets in verti
c
es oper
a
tion
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdool
a
ege
add isl_l
i
s
t
_
concat
commit
|
commitdiff
|
tree
2010-09-05
Sve
n
Verd
o
olaege
barvinok_bound
:
use isl t
o
split periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
update isl for isl_pw_qpo
l
ynomial_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
doc: mark PolyLib inter
f
ace obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
Makefile
.
am: drop refer
e
nces to obsolete @b
v
_
barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven V
e
rdool
a
eg
e
eva
l
ue_c
o
nvert
.
cc: evalue_p
r
i
nt_
i
sl: print e
n
d-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
iscc: allow coercion of bi
n
a
r
y list in
t
o
f
irst elemen
t
commit
|
commitdiff
|
tree
2010-08-28
S
v
en
V
e
rdool
a
eg
e
barvi
n
ok_bo
u
n
d
: convert
t
o isl_pw_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven
Verdoolaege
barvinok_bound: use isl to
s
p
lit on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoolaeg
e
set sensible
default
s
with
-
-p
o
lynomial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven V
e
rdoolaege
i
sl_pw_qpol
y
no
m
ial_sum: reus
e
b
a
rv
i
nok_opti
o
ns if availab
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n
Ve
r
doolaege
is
l
_
m
a
p
_card: re
u
se
barvinok_opt
i
ons if avai
l
able in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verd
o
ol
a
ege
update isl for aligning parameters
of union argumen
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
:
add "j
o
in" operation on fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
i
s
cc: add "jo
i
n
"
operation on
maps
and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: support ad
d
itio
n
on a pair of a fold a
n
d a quasip
o
lyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n Verdoolae
g
e
update isl for
a
dd
i
ng types to isl_{un
i
on_,
}
pw
_
qp
o
lyno
m
i
al_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow co
d
egen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: codegen: d
e
tect s
t
rid
e
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
l
a
ege
i
s
c
c
:
u
se simplified C
L
ooG interface
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Ver
d
o
olaege
u
p
date isl f
o
r renam
e
of isl
_
p
w
_qpolynomia
l
_
fold_ad
d
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n Ver
d
oolaege
iscc
.
c: union_pw_
q
polyn
o
mial_upp
e
r_bound
:
fix
memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
s
ummate
.
c: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2010-08-17
S
v
en Ver
d
oolaege
isl_map_app
l
y_pw_
q
polynom
i
a
l
: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven
V
erdoolaege
upd
a
te isl from isl_union_m
a
p fixes
commit
|
commitdiff
|
tree
2010-08-10
S
ven Verdoolaege
i
scc:
allow inverse on
non-union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdool
a
ege
i
s
c
c
:
add wrap and
unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolaege
add is
l
_union_map_a
p
ply_union
_
pw_qpolynom
i
a
l
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaeg
e
i
s
l
_
pw_qpolyn
o
mial
_
sum: h
a
ndle i
s
l
_pw_
q
polynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n V
e
rdoola
e
ge
update isl for
nested dimension sp
e
cificat
i
o
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
isl
_
map_card: postpon
e
shu
f
fl
i
ng aro
u
n
d of dimension
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
update isl for isl_basic_
m
a
p
_move
_
dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
ae
g
e
isl_pw_qpol
y
nomial
_
su
m
: push conversion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw_qp
o
lynomial_sum: check for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verdoolaege
av
o
id use
o
f isl_dim i
n
ternals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
la
e
ge
iscc:
s
u
pport codege
n
opera
t
ion i
f
CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc:
s
witch to usin
g
unions
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
V
e
rdoolaege
add isl_u
n
i
o
n
_pw_
q
polynomial_su
m
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
a
d
d isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
o
laege
isl
_
pw_qp
o
lynom
i
al_sum:
take tuple names i
n
t
o
acco
u
nt
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
isl_map_card: preserv
e
ful
l
dom
a
in dimension information
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n Verdool
a
ege
update isl for change in
i
s
l
_hash
_
table_f
o
reach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaeg
e
b
a
rvinok
_
e
n
umer
a
te
.
cc:
fix printf forma
t
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoo
l
aeg
e
doc
:
add some more paper
s
refering to the library
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaeg
e
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
update isl to ve
r
sion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
configure
.
in: properly
a
dd is
l
flags
a
nd l
i
bs to p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
o
olae
g
e
configure
.
in:
d
rop call
t
o g
l
_EAR
L
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
genfun
.
cc
:
fix printf f
o
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
test_approx
.
c: fix printf
f
o
r
ma
t
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verd
o
olaege
tes
t
_boun
d
.
c
:
fix p
r
i
nt
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
a
e
ge
c
o
nfi
g
ure
.
in: stop compiling
O
mega b
y
def
a
ult
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
v
erify_lex
s
maller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verd
o
o
laege
e
v
alue
.
c:
avoid use o
f
alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolae
g
e
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
v
en Verdoola
e
ge
iscc: recover fr
o
m
errors
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verd
o
olaege
update
isl fo
r
imp
r
oved error h
a
ndli
n
g
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
ola
e
ge
iscc
.
c:
f
ix t
y
po
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
do
c
:
i
s
c
c
:
u
p
date documen
t
a
t
ion
o
f "ub" op
e
rator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
est_approx: inc
l
ude ctype
.
h for i
s
space
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
tes
t
_approx: include config
.
h for HAVE_
S
YS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
a
e
ge
t
est_bound: inc
l
ud
e
config
.
h f
o
r HAVE_
S
Y
S_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc: add ve
r
tices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
ege
optionall
y
u
s
e
isl to per
f
o
r
m parametric ve
r
tex en
u
meration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
update isl-polylib fo
r
handling
of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
drop dis
t
inction
b
etwee
n
barvinok-core and barv
i
nok
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
r
e
move bernst
e
in
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl
f
or gen
e
ric isl_pw_qpolynomial_b
o
und
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
co
n
figure
.
in
:
drop b
v
_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
o
o
l
a
ege
a
dd isl_ctx_
p
e
ek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven
Verd
o
olaege
iscc: parse barv
i
nok opt
i
ons
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n
Verdoolaege
export isl_qpo
l
ynomial_
f
rom_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
er
d
oolaege
Make
f
i
l
e
.
a
m: drop
d
epend
e
nce on
doc/ome
g
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
u
p
date isl for rename of isl_pw_qpoly
n
omial_move
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n
Verdoolaege
v
erif_ehrhart
.
c: add mi
s
s
ing i
n
clud
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
ae
g
e
c
o
nfigure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
use
i
sl for
argume
n
t parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
update isl for keeping track of user o
p
tions
commit
|
commitdiff
|
tree
2010-05-19
Sven Ver
d
oolae
g
e
tes
t
_boun
d
:
rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
u
p
date isl for help message
p
r
i
nti
n
g
commit
|
commitdiff
|
tree
2010-05-15
S
ve
n
Verdo
o
laege
remove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
remove evalue_range_propagati
o
n
commit
|
commitdiff
|
tree
next