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: support extended PolyLib output format
2010-10-18
Sven Verdoo
l
aege
iscc: suppo
r
t
extended P
o
lyLib out
p
ut format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
laege
configure
.
i
n
: perform ch
e
ck for GMP support in NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
ge
i
s
cc: add composition o
p
era
t
ion on pi
e
cewise q
u
asipolyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoo
l
aeg
e
i
scc: add dependence ana
l
ysis operati
o
ns
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verd
o
olaege
iscc: register extra
k
ey
w
ords
in generic way
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verd
o
olaege
use isl to p
e
rform "manual_co
u
nt"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
all
o
w
b
uilding witho
u
t pip
l
ib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoo
l
aege
Polyhedron
_
Reduced_Basis: optionall
y
u
s
e isl
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolaege
fix
dependence on build i
s
l
commit
|
commitdiff
|
tree
2010-10-11
S
ven
V
e
rdoo
l
aege
i
s
l_map_car
d
:
use isl for
factori
z
ati
o
n
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl_map_car
d
: s
p
l
i
t d
i
mension fiddling from conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
Verdoola
e
g
e
isl_map_card:
u
s
e
isl_pw_qpolynom
i
al_sum if request
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verd
o
olaege
b
a
rvinok
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
rdoolaege
upda
t
e isl for
f
ix in parameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven
Ver
d
ool
a
ege
barvino
k
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
v
en V
e
rdoolaege
isc
c
: add
l
exicographic oper
a
t
ors
commit
|
commitdiff
|
tree
2010-09-10
S
ven
V
e
rdoolaege
upd
a
te isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolaege
iscc: add "sourc
e
" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolaege
iscc: add su
p
port fo
r
st
r
ings
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdo
o
la
e
ge
i
scc: prin
t
e
r
ror message on
use
of unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verd
o
ola
e
ge
iscc: support union s
e
ts in
v
ertices operat
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
o
o
laege
add isl_lis
t
_c
o
nc
a
t
commit
|
commitdiff
|
tree
2010-09-05
S
ven Verdoolaege
barvino
k
_
b
o
un
d
:
u
se isl to
s
p
li
t
per
i
ods
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n
Ve
r
do
o
l
a
ege
upda
t
e isl for isl_pw_qpol
y
nomial_split_pe
r
iods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoola
e
ge
d
oc: mark PolyLib interface obsoles
c
ent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verd
o
o
l
ae
g
e
M
a
kefile
.
am: drop re
f
erences to obsolet
e
@bv
_
barvinok_boun
d
@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalue_convert
.
cc: evalue_print
_
isl: print
e
n
d-of-l
i
ne
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
iscc: allow c
o
e
rc
i
on of binary list into fi
r
st ele
m
ent
commit
|
commitdiff
|
tree
2010-08-28
S
v
en Ve
r
do
o
laege
ba
r
vinok_
b
ou
n
d: convert
to isl_pw
_
qpolynomial on
c
e
commit
|
commitdiff
|
tree
2010-08-28
Sven
V
e
rdoo
l
aege
b
arv
i
n
ok_bound: u
s
e isl to s
p
lit on do
m
ain
s
ize
commit
|
commitdiff
|
tree
2010-08-26
S
ven
V
erd
o
olaege
set sensible defaults with --polynomia
l
-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_pw_qpolyn
o
mi
a
l_s
u
m: re
u
se barvi
n
ok_
o
ptions if availabl
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_map_car
d
: reuse barv
i
nok_option
s
if ava
i
la
b
le
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
update isl for aligning parameters of union argu
m
ents
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
o
olaege
iscc: add "j
o
in" o
p
e
ration on folds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
V
e
rdoolaege
iscc:
a
dd "join"
o
pera
t
i
o
n
o
n maps
and fold
s
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoo
l
aege
iscc: support ad
d
ition on a
p
a
i
r of
a
fold and a quasi
p
olyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoo
l
aege
up
d
ate is
l
for adding
types to isl_{union_,}pw
_
qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow codegen on se
t
s
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Verdo
o
laege
iscc
:
code
g
en: detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
iscc: use simplif
i
ed
C
LooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
upd
a
t
e isl
for
rena
m
e of isl_pw_qp
o
lyn
o
mial_
f
old_ad
d
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
V
erd
o
olaeg
e
iscc
.
c
:
uni
o
n_pw_qpolynomial_upper
_
bound:
f
ix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summa
t
e
.
c
:
fix typo in com
m
ent
commit
|
commitdiff
|
tree
2010-08-17
Sv
e
n Verdool
a
ege
isl_map_apply_pw_qpolynomi
a
l: fi
x
t
y
po
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
up
d
a
te i
s
l from isl_union_map
f
ixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verd
o
olaege
iscc: al
l
ow inver
s
e on non-union maps a
g
ain
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
dool
a
ege
iscc: add wrap and unwrap o
p
e
r
ations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add isl_uni
o
n_map
_
apply_union
_
pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoo
l
ae
g
e
i
s
l_p
w
_qpolynomial_
s
u
m
: handle
i
sl_pw_qp
o
lyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
update isl for nested dimensi
o
n specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
i
sl_map_card: postpone shuffling aroun
d
of dimens
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
upda
t
e isl
f
o
r
i
s
l_b
a
sic_
m
ap_move_
d
ims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaege
i
s
l
_pw_qpoly
n
o
mial_s
u
m: push
con
v
ersi
o
n
to P
o
lyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
er
d
oolaege
is
l
_pw_
q
poly
n
omial_sum:
c
heck for
unbounde
d
domain
s
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
doolaege
avoid use of isl_d
i
m int
e
rnals
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
i
s
c
c
: su
p
port codegen operati
o
n
i
f CLoo
G
is
a
vailabl
e
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verd
o
olaege
iscc: sw
i
tch to usin
g
unions
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
Verdoolaege
add isl_union_pw_qpolynomial
_
sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
add isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
la
e
g
e
isl_pw_q
p
olynomia
l
_sum: t
a
ke tuple names into account
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
erdoo
l
aege
i
s
l_map_card
:
p
r
eser
v
e fu
l
l domain di
m
ens
i
o
n
information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
update isl
f
or chang
e
in isl_hash_ta
b
le_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olae
g
e
b
a
rvinok_en
u
merate
.
cc: f
i
x
printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven
Verdoolaege
doc: add
s
ome
m
ore
p
ape
r
s re
f
e
r
i
ng t
o
the
library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
e
ge
ba
r
vi
n
ok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
update i
s
l t
o
version
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaeg
e
configure
.
in:
prope
r
ly add
is
l
flags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: drop call to
gl_
E
ARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
g
e
nfun
.
cc:
fix
p
rintf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ve
r
d
oolaege
test_approx
.
c: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
test_bound
.
c:
fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Verdoolaege
configure
.
in: s
t
op compilin
g
Omega
b
y default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaeg
e
v
erify_lexs
m
aller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoolaege
e
v
a
lue
.
c: avo
i
d us
e
o
f alloc
a
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
evalu
e
_is
l
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
rdoolaege
iscc:
r
ecover from er
r
o
r
s
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verdoolaege
update isl for improved
e
rror handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
iscc
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Ve
r
do
o
laeg
e
doc: iscc: upda
t
e
docu
m
entation of "ub"
o
perator
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
t
e
st_appro
x
: include ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
test_a
p
p
ro
x
: in
c
lude
c
o
n
fig
.
h for HAVE_S
Y
S_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bound: include confi
g
.
h for HAVE_SYS_TIMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
iscc: ad
d
v
ertices ope
r
ations
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
op
t
iona
l
ly
use isl to pe
r
form parametric verte
x
enume
r
ati
o
n
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolae
g
e
updat
e
isl-polylib for ha
n
dlin
g
of ratio
n
al set
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
d
ro
p
dis
t
inct
i
o
n be
t
ween barvinok-core and bar
v
inok
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
remov
e
bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
ge
upd
a
te isl for generic isl
_
pw
_
qpolynomi
a
l_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
configure
.
in: drop bv_omega_pro
g
ram
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_peek_ba
r
vin
o
k_options
commit
|
commitdiff
|
tree
2010-06-07
Sve
n
Verd
o
olaeg
e
iscc: parse barvino
k
options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
exp
o
rt isl_qpo
l
yn
o
mi
a
l_from
_
ev
a
lue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
la
e
ge
M
a
k
efile
.
am
:
d
r
op dependence on doc
/
omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
update isl for ren
a
m
e
of isl_pw_qpo
l
ynomial_mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
v
erif_ehrhart
.
c: add
missing include
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
V
e
rdoo
l
a
ege
c
o
nfigure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use isl for argume
n
t parsing
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ver
d
oolaege
update isl for keeping track of use
r
options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoola
e
g
e
test_b
o
u
n
d
: re
w
r
i
te in C
commit
|
commitdiff
|
tree
next