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: allow coercion of binary list into first element
2010-08-30
Sven Verdo
o
laege
i
s
cc: allow coercion of bin
a
ry list into first e
l
ement
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaeg
e
barvinok_bound: convert t
o
isl_pw_qpolynomia
l
once
commit
|
commitdiff
|
tree
2010-08-28
Sven
Verdoo
l
a
ege
barvinok_bound: use
i
sl to spli
t
o
n
d
omain si
z
e
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
oolaege
set s
e
nsible defaults with --p
o
lyno
m
ial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
isl
_
pw_qpo
l
ynomial_sum: reuse
barvinok
_
o
p
tions if availabl
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ve
n
V
e
r
doolaege
is
l
_map_card: re
u
se barvinok_options if avail
a
ble i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
u
pdate isl for
aligning
par
a
meters
of union argu
m
ents
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
d
oolaege
iscc: ad
d
"join" opera
t
i
on on f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
e
ge
iscc: add "
j
oin
"
operation o
n
maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
i
s
cc: su
p
por
t
addit
i
on on a pa
i
r of a
fol
d
and a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
update isl for ad
d
ing
type
s
to
is
l
_{union_,}pw_qpolynomi
a
l_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
all
o
w
cod
e
gen on sets
commit
|
commitdiff
|
tree
2010-08-18
S
ven Ver
d
oolaege
iscc: codege
n
: dete
c
t
stride
s
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
i
s
c
c
:
u
se si
m
p
l
ified CLooG in
t
erface
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oo
l
aege
upda
t
e isl
for
re
n
ame of is
l
_pw
_
qp
o
lynomial
_
f
o
ld_add
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
is
c
c
.
c: unio
n
_pw_q
p
olynomial_upper_
b
o
und: fix me
m
ory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
sum
m
a
te
.
c:
f
i
x typo in comme
n
t
commit
|
commitdiff
|
tree
2010-08-17
Sven
Verdoolae
g
e
i
s
l_map_apply_pw_qpolynomial:
fi
x
t
ypo
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
V
erdoolaege
u
p
date isl from
i
s
l_union_map f
i
xes
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n Verdo
o
l
a
ege
i
s
cc
:
allow i
n
v
erse on no
n
-un
i
on ma
p
s again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
isc
c
: ad
d
wrap and unwra
p
ope
r
ati
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
V
erd
o
o
l
aege
add isl
_
unio
n
_
m
ap_ap
p
ly_union_pw_qpol
y
nomial
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoo
l
a
ege
i
s
l_pw_qpolyno
m
ial_sum: handle
i
sl
_
pw_qpol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
dool
a
e
g
e
update
isl f
o
r
nested dimens
i
on sp
e
cifications
commit
|
commitdiff
|
tree
2010-08-05
S
v
en
V
erdoolaege
i
s
l
_
m
ap_card: pos
t
pone shuf
f
l
i
n
g
around of dimensio
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update is
l
for
i
sl_basic_map
_
mo
v
e_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdoolaege
isl_pw_qpoly
n
omial_sum: push co
n
version to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
aeg
e
isl_pw_qpolyn
o
mia
l
_sum
:
ch
e
c
k for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoola
e
ge
a
v
oid use o
f
isl_dim
i
ntern
a
ls
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolae
g
e
iscc:
s
upport
codegen
operatio
n
i
f
CLooG is
a
vaila
b
le
commit
|
commitdiff
|
tree
2010-07-31
S
ven Ve
r
d
o
olaege
iscc:
s
witch to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add
isl_uni
o
n_pw_qp
o
lyno
m
ia
l
_sum
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaeg
e
add
i
sl_union_ma
p
_card
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
i
s
l_pw_qpolyno
m
ial_su
m
: take
t
upl
e
names into ac
c
oun
t
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
isl_map_card:
preserve full d
o
main dimension
i
nforma
t
ion
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
V
erdoolaege
upda
t
e isl for chan
g
e
in
i
sl_hash_tabl
e
_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
ba
r
v
i
nok_enu
m
e
r
ate
.
cc: fix
p
rintf form
a
t
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
do
c
:
a
d
d some more
papers refering to th
e
libra
r
y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
a
e
ge
b
a
rvinok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
V
e
r
doolaege
update isl to
vers
i
o
n 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Ver
d
oolaege
configure
.
in: properly add is
l
flags and lib
s
to
p
kg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaeg
e
conf
i
gure
.
in:
d
rop c
a
ll t
o
gl
_
EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
o
olaege
genfun
.
c
c
:
fix p
r
i
n
tf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
test
_
a
pprox
.
c: fix printf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
S
v
en V
e
rdo
o
laege
te
s
t_bound
.
c: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
conf
i
gure
.
in:
s
top c
o
mpiling Omega by de
f
ault
commit
|
commitdiff
|
tree
2010-06-28
S
ve
n
Verdoolaege
verify_
l
exs
m
al
l
er
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Ver
d
o
o
laege
evalue
.
c: avoid us
e
of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalue_isl
.
c: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n
V
erdoo
l
aege
iscc: recover f
r
o
m errors
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
rdool
a
eg
e
update isl
f
or
improved error
h
and
l
ing
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oolaege
iscc
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc:
i
s
c
c:
update
documentatio
n
of "ub"
o
per
a
tor
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx
:
inc
l
ude ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaege
test_app
r
o
x: in
c
lude config
.
h for HAVE_SYS_
T
IMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_
b
ou
n
d
: include c
o
nfig
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
a
e
ge
iscc:
a
d
d vertices
o
p
e
rations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
optionally
u
se isl to
perform para
m
etric vertex enumeratio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
upda
t
e is
l
-
p
olylib for handl
i
ng of
r
a
tiona
l
s
e
ts
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
d
rop disti
n
c
tio
n
b
e
t
ween barvinok-
c
ore and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
remov
e
bernstein
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoo
l
ae
g
e
update
isl for generic isl_p
w
_
qpolyno
m
ial_
b
ound
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
configure
.
in: drop bv_
o
m
e
ga_p
r
ograms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ct
x
_peek_barvi
n
ok_options
commit
|
commitdiff
|
tree
2010-06-07
Sv
e
n Verdo
o
laege
i
scc: par
s
e
b
arvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolae
g
e
e
xport isl_qpolynom
i
al_from_ev
a
l
u
e
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
Makefil
e
.
am: drop dependence on doc/omega
.
te
x
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoola
e
ge
update
i
sl for rename of is
l
_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
d
oolaege
verif_ehrh
a
r
t
.
c: add missing
i
n
c
lude
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdool
a
e
g
e
configure
.
in: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolae
g
e
u
s
e
i
s
l for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
up
d
ate isl fo
r
keeping track of
u
ser
o
p
tions
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Verdoo
l
aege
test_boun
d
:
r
e
write
in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Ve
r
doolae
g
e
update is
l
for
h
elp me
s
sage printing
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdool
a
ege
remove eva
l
ue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oo
l
aege
re
m
o
v
e
evalu
e
_ra
n
ge_
p
r
o
pa
g
ati
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
t
e
s
t_bound: use isl interface for compu
t
ing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaege
b
a
rvino
k
_
b
ound
:
use isl
i
n
terface for computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdo
o
l
aege
iscc: supp
o
rt ub even if GiNaC support was
n
o
t
compiled in
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
add
g
e
neric isl_pw_qpolynomial_bo
u
nd
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
update
isl fo
r
i
s
l
_
pw_
q
p
o
lynomial_bou
n
d_r
a
nge
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Verdoolaege
te
s
t
_bound: use isl during
verification
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
r
d
ool
a
ege
ba
r
vinok_bound: use isl during verifica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
v
e
rify
.
c: ext
r
act some helpe
r
functions for
isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdo
o
laege
introduce "b
o
und" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
la
e
ge
options
.
c: f
i
x prin
t
f
f
o
r
mat
commit
|
commitdiff
|
tree
2010-05-10
Sven Verd
o
olaege
is
c
c: add applicatio
n
operations
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdo
o
laege
iscc: add re
a
d
operation
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaege
iscc: free
options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
update
i
s
l
for reading of strin
g
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl for fix in isl_printe
r
_print_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verd
o
olaege
update isl-polyl
i
b for change in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
s
cc:
a
ll
o
w s
p
ecification of output fo
r
m
a
t
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
update isl for change in isl_s
e
t_gist argum
e
nt
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoo
l
ae
g
e
update
isl
for
r
en
a
me of isl_ma
p
_move
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdoolaege
conf
i
gure
.
in:
a
d
d isl flags an
d
libs to pk
g
-
config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: tes
t
isl
_
stream for eo
f
rather than the und
e
rl
y
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isc
c
:
add deltas opera
t
ion
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update isl for fi
x
in isl
_
map_de
l
tas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoo
l
aege
drop barv
i
n
ok_e
n
um
e
rate_pi
p
_with
_
o
p
ti
o
ns
commit
|
commitdiff
|
tree
next