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
bound.cc: drop dead code
2010-11-10
Sven Verdoolaege
bound
.
cc: drop dead co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sv
e
n V
e
rdoolaege
doc:
m
o
re in
f
ormation about using set
s
a
nd
maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sv
e
n Verdoolaege
do
c
: up
d
ate some r
e
f
erences
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sve
n
Verdoolae
g
e
iscc: a
d
d
po
l
y
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoo
l
aege
iscc: add scan operatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaeg
e
i
s
l_pw_qpolynomia
l
_su
m
: handle e
x
is
t
e
n
tial
s
in w
r
appe
d
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
update isl
f
or renam
i
ng of isl_m
a
p_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoolaeg
e
ver
s
ion
.
c: show use of
CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
l
aege
doc: a bit mo
r
e info on i
s
cc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
olae
g
e
iscc: ad
d
be
f
ore and after operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
laege
iscc: ad
d
identity ope
r
ation
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdoolaege
iscc: break
out off main loo
p
when pr
i
nter no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdool
a
e
g
e
isc
c
: sup
p
ort extended
PolyLib output format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
con
f
i
gure
.
i
n
: perform che
c
k for GMP support in
N
TL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
isl_Polyhedron_
S
am
p
le: add
missing initializatio
n
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoo
l
a
ege
i
s
cc: add compos
i
tion operation on piecewise q
u
asipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
i
s
cc: a
d
d
d
e
p
e
n
d
ence
a
n
alysis op
e
r
a
t
i
on
s
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaeg
e
iscc: register extra keyword
s
in
g
e
neric way
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolaege
use isl to
p
erform "manu
a
l_count"
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Ver
d
oolaege
allow building
witho
u
t pip
l
ib
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
Polyhed
r
o
n_Reduced_Basi
s
: optio
n
al
l
y use isl
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
f
i
x
dependence on b
u
ild isl
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n Ve
r
doolaege
isl_map_card: use isl
for factorization
commit
|
commitdiff
|
tree
2010-09-14
Sven
Verdoolaeg
e
isl_map_card: split
dimen
s
ion fiddling from c
o
nvers
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
isl_map_
c
ard
:
use isl
_
pw_qpolyno
m
ial_sum if req
u
este
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
Verdoolaege
barvinok
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
S
ven Ver
d
oolaege
upda
t
e i
s
l for fix in p
a
ra
m
eter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
bar
v
inok 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
Sven Ver
d
o
olaege
iscc:
a
d
d lexicographic operators
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n Ve
r
doolaege
update
i
sl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
S
v
e
n
Verdoola
e
g
e
iscc: ad
d
"source" op
e
r
ation
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verd
o
olaege
iscc: add s
u
ppo
r
t
for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolaeg
e
i
scc: print error
message on use of u
n
known i
d
entifi
e
r
commit
|
commitdiff
|
tree
2010-09-06
Sven
Ver
d
oolaege
iscc: support u
n
i
o
n
set
s
in
v
ertices
o
p
e
ra
t
ion
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoo
l
a
ege
add isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
S
ven
V
erdool
a
eg
e
barv
i
nok_bou
n
d
:
use isl to spli
t
p
e
riods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
update isl
for is
l
_pw_qpolyno
m
ial_split_per
i
ods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
d
oc: mark Po
l
y
Li
b
interface obsolescen
t
commit
|
commitdiff
|
tree
2010-08-31
S
v
e
n
V
erdoolaege
Makefile
.
am: drop references to obsolete @
b
v_bar
v
inok
_
bou
n
d@
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdoolaege
evalu
e
_conv
e
r
t
.
cc: evalue_print_isl:
p
rint end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Ver
d
o
olaege
iscc: allow coercion
of b
i
nary list into first elemen
t
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Ver
d
o
o
laege
barvinok_bound: convert to isl_pw_qpolynomial o
n
ce
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Verdoolaege
barvinok_bo
u
nd: use isl
to sp
l
it
o
n
domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdo
o
laeg
e
set se
n
s
i
bl
e
defaults with --polynomial-app
r
ox
i
mation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_pw_q
p
o
lynomial_sum: reus
e
bar
v
inok
_
options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
V
e
r
dool
a
e
g
e
isl
_
map_car
d
: r
e
use ba
r
vinok_o
p
t
i
o
ns if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoolaege
update i
s
l for
a
ligning
para
m
eters of union argu
m
ents
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "
j
oin" operation on fold
s
commit
|
commitdiff
|
tree
2010-08-18
S
v
en V
e
rdoolaege
iscc: add "join" operation on
m
a
ps
a
nd folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n Ve
r
doo
l
aege
iscc: support addition on a pair of
a
fold an
d
a qu
a
sipolyn
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
update isl for a
d
ding
t
ypes to
i
s
l_
{
union_,
}
pw_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoo
l
aege
allo
w
codegen on s
e
t
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
scc
:
codegen: d
e
tec
t
stri
d
es
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: use simplifie
d
CLooG inte
r
face
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
e
g
e
update isl f
o
r renam
e
of isl_
p
w_qpolynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
iscc
.
c: unio
n
_
p
w_qpolynomial_upper_bound
:
fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdo
o
laege
summate
.
c: fix typ
o
in
c
omment
commit
|
commitdiff
|
tree
2010-08-17
Sven V
e
rd
o
olaege
isl_map_apply_pw_
q
po
l
ynom
i
al: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven
Verdo
o
laege
up
d
ate isl
from isl_un
i
o
n_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
Verdoolaege
isc
c
: allo
w
inverse on
n
on-
u
nion maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
iscc: add wrap
a
nd
unwrap oper
a
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-08-05
S
ve
n
Ver
d
oolaege
add isl_union_map_
a
p
p
l
y_union_pw_q
p
olynomi
a
l
commit
|
commitdiff
|
tree
2010-08-05
S
ve
n
Ve
r
doolaege
isl_pw_qpolynomial_sum: hand
l
e isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doo
l
aege
update i
s
l
f
or nested dim
e
nsi
o
n specifi
c
atio
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolae
g
e
is
l
_
m
ap_card
:
po
s
tpo
n
e
s
huffl
i
ng a
r
ound
of
dimens
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
upd
a
te isl f
o
r isl_b
a
sic_map_move_di
m
s
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdo
o
l
a
ege
isl_pw_qpoly
n
omial_sum: p
u
sh co
n
version
to Po
l
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erd
o
olaege
isl_p
w
_q
p
o
l
ynomial_sum: chec
k
for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
avoid use o
f
isl_dim
internals
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ve
r
d
oolaege
isc
c
: sup
p
ort codegen operation if CLooG
i
s a
v
ailable
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
iscc: switc
h
to using uni
o
ns
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
add isl_union_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdool
a
ege
add isl_uni
o
n
_
map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laeg
e
isl_p
w
_qpolynomial
_
sum: t
a
ke tuple
names into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_map_card
:
pres
e
rve full d
o
m
a
in
dimension in
f
ormati
o
n
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
update
isl for change in isl
_
hash_table_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
barvinok_enumerate
.
cc: fix
printf format
commit
|
commitdiff
|
tree
2010-07-03
S
v
en Verdoolaege
doc: add so
m
e more
p
a
p
ers
r
eferi
n
g to t
h
e
l
ib
r
ary
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoola
e
ge
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
update isl to
v
ersion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoola
e
ge
config
u
re
.
in: properl
y
add is
l
flags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
configure
.
in: drop cal
l
to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
g
en
f
u
n
.
cc: f
i
x printf
f
o
r
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Ve
r
doolaege
test_app
r
o
x
.
c:
f
ix print
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bo
u
nd
.
c
:
fix printf
forma
t
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n Ve
r
doolaege
configure
.
in: stop co
m
p
iling
Omega b
y
d
efaul
t
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdool
a
ege
veri
f
y
_lexsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoo
l
a
ege
evalue
.
c: a
v
oid use o
f
al
l
o
ca
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdool
a
e
g
e
ev
a
lue_isl
.
c
: fix
t
yp
o
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaeg
e
iscc: recover from err
o
r
s
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
doolaege
update i
s
l for improved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isc
c
.
c: fix
t
y
p
o
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdo
o
lae
g
e
d
o
c
: isc
c
:
update
d
o
c
umen
t
at
i
on o
f
"ub" opera
t
or
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
eg
e
t
est_ap
p
rox: include ctyp
e
.
h fo
r
isspace
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
test_approx: include
c
onfig
.
h f
o
r HAVE_SYS_T
I
MES
_
H
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaeg
e
test_boun
d
: include conf
i
g
.
h for
H
AVE_SYS_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
isc
c
: add vertic
e
s ope
r
ati
o
n
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
o
p
tionally use isl to
p
e
rform
p
arametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
update is
l
-polylib for hand
l
ing of r
a
tional se
t
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
drop distinction b
e
tween
b
arvinok-c
o
re and ba
r
vino
k
commit
|
commitdiff
|
tree
next