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 lexicographic operators
2010-09-10
S
v
en Verdo
o
laege
iscc:
add lexicogra
p
h
i
c o
p
erators
commit
|
commitdiff
|
tree
2010-09-10
S
v
e
n Verdoolaege
upda
t
e
isl to version
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven
Verdoo
l
aege
iscc: add
"
source"
operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolaege
i
s
cc:
a
dd
support fo
r
str
i
ngs
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaeg
e
iscc:
pri
n
t error message on use of unknown identifi
e
r
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoolaege
is
c
c
:
support union sets in vertices ope
r
a
tion
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaeg
e
add isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sve
n
Verdoolaeg
e
b
a
rvin
o
k_bound: use
i
sl to s
p
lit periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoo
l
a
e
g
e
u
p
da
t
e isl for i
s
l_pw_qpolynomial
_
s
p
lit_periods
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdool
a
ege
doc: mark PolyLib
i
n
terf
a
ce obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
Makefi
l
e
.
a
m:
drop re
f
erences to
obsolete @bv_barvinok_b
o
und@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdool
a
ege
eva
l
ue_c
o
nv
e
rt
.
c
c: evalue_print_isl: print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Ver
d
oolaege
iscc: allow coercion o
f
binary
l
ist i
n
t
o fi
r
st element
commit
|
commitdiff
|
tree
2010-08-28
Sve
n
Verdoolae
g
e
bar
v
inok_bound: conver
t
to isl_
p
w
_
qpolynomial
o
nce
commit
|
commitdiff
|
tree
2010-08-28
Sven Ve
r
doolaege
barv
i
nok_bound: use isl to sp
l
it on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
set sensibl
e
defaults w
i
th --p
o
lynomial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
isl
_
p
w
_qpol
y
nomial_sum: r
e
use barvinok_op
t
i
ons if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n V
e
rdoolaege
isl
_
m
ap_car
d
:
r
euse b
a
r
v
i
nok_
o
p
t
io
n
s if available i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Ver
d
oolaege
upda
t
e isl f
o
r
a
li
g
ning
param
e
ters
of
u
nion argume
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdool
a
ege
iscc: add "join" operation on f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
i
s
cc: ad
d
"join" o
p
erati
o
n on map
s
and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doo
l
aeg
e
iscc: support add
i
tion on a p
a
i
r of a f
o
ld
a
nd a qua
s
i
p
o
lyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Verdoola
e
g
e
u
p
d
a
te
i
sl for adding
types to isl_{
u
nion_,}pw_q
p
olyno
m
ia
l
_fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
allow c
o
degen on
s
ets
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoola
e
ge
iscc: codegen: d
e
t
e
c
t
strides
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
er
d
ool
a
ege
iscc: use simplified
C
Lo
o
G
interface
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
update isl for
r
ename of isl
_
pw_qp
o
lynomial_fol
d
_add
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
iscc
.
c: union_pw
_
qpolynomial_upper_bo
u
nd
:
fix memor
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sv
e
n
V
erdoolae
g
e
isl_ma
p
_apply_p
w
_qpolynomial: f
i
x typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verd
o
o
laege
up
d
ate isl from isl_unio
n
_map fix
e
s
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
iscc: allow
i
nvers
e
on non-u
n
ion maps
again
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
iscc: add wr
a
p and
u
n
w
rap operations
commit
|
commitdiff
|
tree
2010-08-05
S
ven
V
e
rdoolaege
a
dd isl_union
_
map_apply_union_pw_qpolynomia
l
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verd
o
olaege
i
s
l_pw_qpolynomial_sum: ha
n
dle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en
V
e
rdoolae
g
e
update
i
sl for
nest
e
d dimens
i
on specificatio
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
isl_map_card: postpone shuffling
a
round of dime
n
sion
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoo
l
aege
upd
a
te isl for i
s
l_basic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
er
d
oolaeg
e
isl_
p
w_
q
polynomia
l
_sum: p
u
sh co
n
ver
s
ion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
laege
isl_p
w
_qpoly
n
o
m
i
a
l_sum: check fo
r
unbounded domai
n
s
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
avoid u
s
e of isl_dim intern
a
ls
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
iscc: suppor
t
codegen op
e
rati
o
n if CLooG is availa
b
le
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: switch
t
o
u
sing
u
n
ions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaeg
e
ad
d
isl_union_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
add isl
_
u
nion_
m
ap_card
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Ve
r
doolae
g
e
isl_pw_qpolynomial_sum: take
tuple names into
ac
c
o
u
nt
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdo
o
laege
isl_map_
c
ard:
p
res
e
rve
f
u
l
l domain dimen
s
ion information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
update is
l
for chang
e
i
n
i
s
l_hash_table_for
e
ach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
barvin
o
k_enu
m
erate
.
cc: fix
printf
f
ormat
commit
|
commitdiff
|
tree
2010-07-03
Sve
n
Verd
o
olaege
doc:
add some more
paper
s
r
ef
e
ring
to the l
i
brary
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
update isl
t
o version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
config
u
r
e
.
in: properly add isl fla
g
s and libs
t
o pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
con
f
i
g
ure
.
in:
dr
o
p ca
l
l to
gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
genfun
.
cc:
f
ix printf format
commit
|
commitdiff
|
tree
2010-06-29
S
ven
V
e
r
d
o
olaege
tes
t
_
ap
p
rox
.
c: fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdo
o
l
aege
test_bo
u
n
d
.
c: fi
x
printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
a
ege
configure
.
i
n
: stop co
m
piling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
v
erif
y
_l
e
xsmaller
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rd
o
olaege
evalue
.
c: a
v
o
id use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rdoolaege
evalue_isl
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
Ver
d
o
o
laege
iscc: recove
r
from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
update i
s
l for improved error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolae
g
e
iscc
.
c
:
f
i
x t
y
p
o
commit
|
commitdiff
|
tree
2010-06-13
Sven
Verdoola
e
ge
d
o
c: isc
c
:
u
pda
t
e documentation
o
f
"ub" operator
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoolaege
test
_
appro
x
: inclu
d
e ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
ge
test_
a
ppr
o
x: in
c
lude c
o
nfig
.
h for HAVE_SYS_TIMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
t
est_boun
d
: include config
.
h f
o
r HAVE_SYS_
T
IMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
is
c
c: add vertices operatio
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
optionally use isl to perform parametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
update isl-polylib
f
o
r
h
a
ndli
n
g of rational se
t
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
e
g
e
d
rop disti
n
cti
o
n between ba
r
vino
k
-c
o
re
and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
remov
e
ber
n
s
tein
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
update isl f
o
r generic
i
sl
_
pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
con
f
ig
u
re
.
in:
d
r
op bv_ome
g
a
_prog
r
ams
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
o
l
aege
add
i
sl_c
t
x_
p
eek_barv
i
nok_
o
ption
s
commit
|
commitdiff
|
tree
2010-06-07
S
v
e
n
Verdo
o
laege
isc
c
: parse
b
arvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
e
ge
export
isl_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
Makef
i
le
.
am: drop dep
e
ndence on
doc/
o
meg
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
g
e
update is
l
for rename of isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n V
e
rdoolaege
v
erif_ehrhart
.
c:
ad
d
missing include
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
V
erd
o
olaege
configu
r
e
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
us
e
i
s
l for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
d
oo
l
aege
upd
a
te
isl for
k
eepin
g
tra
c
k
of
u
ser options
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Ver
d
o
o
laege
test_bound: rewr
i
te
in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
u
pd
a
te is
l
for help
message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolae
g
e
remov
e
evalue
_
opt
i
m
um
commit
|
commitdiff
|
tree
2010-05-15
S
v
en
Verdoolaege
r
e
move
evalue_range
_
propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaege
test_b
o
und:
use
isl interf
a
c
e for computing b
o
unds
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n
Ve
r
d
o
olaege
b
arvinok_bound: use i
s
l interface for
c
omp
u
ting bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
r
dool
a
e
g
e
iscc: support
ub even
i
f
G
i
Na
C
supp
o
rt wa
s
n
o
t
c
ompiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
a
d
d generic
i
sl_pw_qp
o
l
ynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
update isl for i
s
l_pw
_
qpolynomial_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
t
e
st_bound: use isl during veri
f
ication
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Verdoolaege
barvinok_bound: use
i
s
l
d
uring ve
r
ification
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaeg
e
verif
y
.
c: e
x
tra
c
t
some
h
elper fu
n
ctions fo
r
isl
b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolae
g
e
intro
d
uce "bound
"
option
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
V
erdoolae
g
e
options
.
c: f
i
x pri
n
tf format
commit
|
commitdiff
|
tree
2010-05-10
S
v
en
V
erdoolaege
iscc: ad
d
appli
c
at
i
on ope
r
ations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoola
e
g
e
isc
c
: add
read opera
t
i
o
n
commit
|
commitdiff
|
tree
next