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
barvinok 0.32
2010-09-10
Sven
Verd
o
o
laeg
e
barvinok 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
is
c
c: add lexico
g
r
a
phic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolae
g
e
update isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
S
v
en Ver
d
oolaeg
e
is
c
c:
add "s
o
urce"
o
peration
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdo
o
laege
iscc
:
ad
d
support
for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolaeg
e
iscc: print error
mes
s
age on use of u
n
known identi
f
ier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
i
s
c
c: supp
o
rt
unio
n
sets in vertic
e
s operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
d
o
olaege
add
i
sl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
S
v
en Verdoolaege
barvi
n
o
k
_bound: use i
s
l to sp
l
it
p
eriods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
update
isl for
i
s
l_pw_qpolynomial_split_
p
eriods
commit
|
commitdiff
|
tree
2010-08-31
S
ven V
e
rdo
o
laege
doc: ma
r
k PolyLib
i
n
terfa
c
e
obsolesce
n
t
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
erdoolaege
Makefile
.
am: drop references to obsolete @
b
v_barvinok_
b
ound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verd
o
o
laege
evalue_convert
.
cc: eva
l
ue
_
print_isl
:
pri
n
t en
d
-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
i
sc
c
: allow coerci
o
n of bina
r
y list into fir
s
t
e
lement
commit
|
commitdiff
|
tree
2010-08-28
Sve
n
Verdoolaege
barvinok_bound: convert to i
s
l
_pw_q
p
olynomia
l
o
nce
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvinok_boun
d
:
u
se
i
sl to split on dom
a
in
size
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoo
l
aege
set sens
i
b
l
e default
s
with -
-
polynom
i
a
l
-
appr
o
xima
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_pw_qpolynomial_sum: r
e
use b
a
r
v
inok_opti
o
ns if availabl
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
oolaege
isl_map_card: reuse barvinok_option
s
if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoolaege
update
i
sl f
o
r alig
n
ing paramet
e
rs of
uni
o
n
a
r
gu
m
ents
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoo
l
a
e
ge
iscc
:
add "join" operation on f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc:
add
"
join
"
operation on maps and folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoo
l
aege
iscc: support addit
i
on on a
p
air of a fold and a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoola
e
ge
update isl
f
or adding
types to is
l
_{
u
n
ion_,}pw_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
a
l
low codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
S
ven Ve
r
doo
l
aege
iscc: codegen:
d
e
tect
st
r
id
e
s
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
iscc:
use simplified CLoo
G
i
n
terfac
e
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
updat
e
isl for rena
m
e of i
s
l_pw_qpolynomial_f
o
ld_add
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
iscc
.
c: union_pw_qp
o
lynomial_upper_bound:
f
ix me
m
ory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ve
r
doolaege
summate
.
c: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoola
e
ge
i
sl_map_apply_pw_qpolynomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verd
o
o
la
e
g
e
u
pdate isl f
r
om isl_unio
n
_m
a
p
fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Ve
r
doolaege
iscc: allow inverse o
n
non-union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
dool
a
eg
e
iscc: add
wra
p
and unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olaege
add isl_
u
n
io
n
_ma
p
_apply_union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
isl
_
pw_
q
p
o
lynomi
a
l_su
m
: handle
isl_pw_qpolynom
i
a
ls
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
up
d
at
e
i
sl for nested
dimension sp
e
cif
i
cations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_
m
ap_card:
p
ostpone shuffling around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Ve
r
doolaege
upda
t
e isl for i
s
l_basic_map
_
m
o
ve_dims
commit
|
commitdiff
|
tree
2010-08-04
S
v
en V
e
rdoolaege
isl_pw_qp
o
lynomial_sum: pu
s
h
co
n
version
t
o PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
ven
Verdoo
l
aege
isl_pw_qp
o
lynomial_sum: check for unb
o
und
e
d
d
omains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdo
o
laeg
e
avoid u
s
e
of is
l
_dim internals
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdool
a
ege
iscc: supp
o
rt codegen
operation if
C
L
ooG
i
s av
a
ilable
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ver
d
oolaege
iscc: switch to usi
n
g union
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add
i
sl_union_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaeg
e
add
i
sl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdo
o
laege
isl_pw_qpolynomial_sum:
t
ake tu
p
l
e names into accou
n
t
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
isl_map_ca
r
d: pre
s
erve full domain dimension information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
g
e
update is
l
f
or c
h
ange in
isl_hash
_
table_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoo
l
aege
barv
i
nok_enumer
a
te
.
cc:
fix pr
i
n
tf format
commit
|
commitdiff
|
tree
2010-07-03
Sven
Ve
r
doo
l
aege
doc: a
d
d
some more
p
apers referin
g
t
o the librar
y
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdool
a
e
ge
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ver
d
oola
e
ge
update isl
t
o version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verd
o
olae
g
e
confi
g
ure
.
in:
properl
y
a
dd isl flags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
V
er
d
oolaege
configure
.
in: drop call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoo
l
aege
g
enfun
.
cc:
fix prin
t
f
for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Ve
r
doolaege
te
s
t_approx
.
c: fix p
r
i
n
tf forma
t
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdo
o
laege
test_bound
.
c:
f
ix
pri
n
tf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
configure
.
in:
s
to
p
c
o
mpi
l
ing Omega b
y
default
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verdoolae
g
e
verify_lex
s
malle
r
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
e
v
al
u
e
.
c:
avoid
use
of alloc
a
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
evalue_isl
.
c:
fix
typ
o
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
doolaege
isc
c
: re
c
ov
e
r
fr
o
m
e
rr
o
rs
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n
Verdoolaege
up
d
ate
isl for improved
e
rror hand
l
ing
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
is
c
c
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaeg
e
doc: iscc: up
d
ate documentation of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
test_
a
pprox: include ctype
.
h
f
o
r i
s
s
pace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
te
s
t_approx
:
include config
.
h
for H
A
VE_SYS_T
I
M
E
S_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolaeg
e
test
_
bound:
include config
.
h for HAVE
_
SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolaege
iscc: add v
e
r
tices operat
i
o
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
opt
i
onally
u
se
i
sl
t
o
perf
o
rm parame
t
ric verte
x
enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl
-
p
o
l
ylib for handling of rat
i
onal
s
ets
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
drop distinction between barvin
o
k-co
r
e and barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
ola
e
ge
update
i
sl for generic isl
_
pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
configure
.
in: drop bv_omega_p
r
ogr
a
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add is
l
_ctx_peek
_
barvinok_opti
o
ns
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoola
e
g
e
isc
c
: parse
ba
r
v
i
n
o
k options
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Ve
r
doolaege
export isl_
q
p
o
l
ynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
S
v
en
Verdoolae
g
e
Ma
k
efile
.
am: drop depen
d
ence on do
c
/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verd
o
olaege
up
d
ate isl for ren
a
me of isl_pw_qpol
y
n
omial_move
commit
|
commitdiff
|
tree
2010-06-01
S
v
en V
e
rdool
a
ege
ver
i
f_
e
hrhart
.
c: ad
d
m
issing in
c
lude
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
configure
.
in:
fix
t
yp
o
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
use isl
f
or argum
e
nt parsing
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdool
a
ege
update isl for keepin
g
t
rack of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verd
o
olaege
test_bound
:
rewrit
e
in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Ve
r
doolaege
update
i
sl for hel
p
message printing
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoo
l
aege
remove eval
u
e
_
optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove evalue_
r
a
n
ge
_
prop
a
gation
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
test_boun
d
: use isl interf
a
ce f
o
r
comp
u
ting boun
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvinok_bound: use isl
interf
a
ce for co
m
puting bound
s
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
iscc: su
p
port
u
b even if GiN
a
C supp
o
rt was not compile
d
in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
ad
d
ge
n
eric isl_
p
w_qpolynomial
_
bou
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
o
o
laege
u
p
d
ate isl
f
or
i
s
l
_pw_q
p
ol
y
no
m
ial_b
o
u
nd_
r
ange
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
tes
t
_bound: u
s
e is
l
during verification
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
Verdoolaege
barvinok_bound: use isl during verif
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
e
g
e
verify
.
c: ext
r
act
s
ome hel
p
e
r function
s
for isl base
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
intro
d
uce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
S
ve
n
Verdoolaege
o
p
tions
.
c: fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaeg
e
iscc: add ap
p
lica
t
io
n
operations
commit
|
commitdiff
|
tree
next