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
add isl_list_concat
2010-09-06
Sven
V
erdoolae
g
e
add isl_list_conca
t
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
erdoolaege
barvinok_
b
ound
:
us
e
isl to split
p
e
riods
commit
|
commitdiff
|
tree
2010-09-05
Sven Ve
r
doolaege
update isl for i
s
l_pw_qpolynomi
a
l
_spl
i
t_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Ver
d
o
olaege
doc: mark PolyLib interface obsol
e
scent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
Ma
k
e
f
ile
.
am: drop reference
s
to obsolete
@
bv
_
barv
i
nok_bound@
commit
|
commitdiff
|
tree
2010-08-31
S
v
en
V
erdool
a
ege
e
value_convert
.
cc
:
eva
l
ue_print_isl
:
p
r
int end-of-l
i
ne
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaeg
e
isc
c
: allow coerci
o
n of b
i
nar
y
li
s
t into firs
t
element
commit
|
commitdiff
|
tree
2010-08-28
Sven
Verdoo
l
aege
barvinok_bou
n
d: co
n
vert to isl_pw_qpolynomi
a
l once
commit
|
commitdiff
|
tree
2010-08-28
Sven
V
erd
o
olaege
barvinok_bound: use isl to split on domain
size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
s
et sensib
l
e
default
s
wit
h
-
-
p
o
l
y
nomial-approxim
a
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verd
o
olaege
isl
_
p
w
_qpolynomia
l
_s
u
m: reuse ba
r
vinok_
o
pt
i
o
n
s if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verd
o
ola
e
g
e
i
s
l_map
_
c
a
rd: re
u
se barvino
k
_opt
i
ons if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
up
d
ate
isl for aligning paramet
e
rs
o
f union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdool
a
e
g
e
iscc: add "joi
n
" operation on folds
commit
|
commitdiff
|
tree
2010-08-18
S
ven
V
erdool
a
ege
isc
c
:
a
dd
"
join"
o
perati
o
n o
n
maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
iscc: support addit
i
o
n
o
n
a pai
r
of a fold an
d
a
q
ua
s
ipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
up
d
ate isl f
o
r a
d
ding type
s
to isl_{union_
,
}pw_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
allow codegen
on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
iscc: code
g
en: dete
c
t strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
:
us
e
simplifie
d
CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n V
e
rdoolaege
update isl for rename of
i
sl_pw_qpolynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
iscc
.
c: u
n
io
n
_pw_qpoly
n
o
mial_upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
r
doolaege
summate
.
c: fix typo
i
n
co
m
ment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verd
o
o
l
a
e
ge
isl_ma
p
_apply_pw_qpolynomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolae
g
e
upda
t
e
isl
from isl_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdo
o
laege
i
s
c
c
: allow inverse on non-uni
o
n ma
p
s again
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
iscc
:
add wrap and unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
ad
d
isl_un
i
on_map_apply_union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
r
dool
a
ege
i
sl_pw_qp
o
lynomial_sum: ha
n
dl
e
isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oola
e
ge
update isl f
o
r nested dime
n
sion specifi
c
ati
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
i
s
l_ma
p
_car
d
:
post
p
o
n
e
s
hufflin
g
ar
o
und of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
up
d
at
e
i
sl for isl_basi
c
_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw_qpolynomial_sum: push
c
onversion to P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
v
e
n Verdoolaege
i
sl_pw_qpol
y
nomial_
s
um: chec
k
for u
n
bounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoo
l
aege
avoid use of is
l
_d
i
m internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
iscc
:
support codegen operation if
CLo
o
G
i
s available
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
i
s
c
c:
switch to using
u
n
i
ons
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
ad
d
isl_union_p
w
_qpolyn
o
mia
l
_
s
um
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
add
isl_union_map_car
d
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoo
l
aege
is
l
_pw_qpolynomial_sum
:
take tuple names into
a
cc
o
unt
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
is
l
_map_card:
p
r
e
s
e
rve full domain dimension information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
update isl for
c
h
ange in
i
sl_
h
ash_table_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
bar
v
inok_en
u
mer
a
te
.
c
c
: fi
x
print
f
format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
doc: add some m
o
re
p
apers refering to the
l
ibrary
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ver
d
oolaege
barvi
n
ok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
update isl t
o
version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
rdoolaege
configure
.
in:
pr
o
perly add
i
sl flags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
configure
.
i
n
:
dro
p
c
a
ll to gl
_
EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
g
enfu
n
.
cc:
f
ix printf
f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
o
ol
a
ege
test_appr
o
x
.
c: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bound
.
c: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolae
g
e
configure
.
i
n
: s
t
op compilin
g
Omega
by default
commit
|
commitdiff
|
tree
2010-06-28
Sven
Verdoolaege
verif
y
_lexs
m
aller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoo
l
aege
eval
u
e
.
c: avoid use
of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
e
value_isl
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
d
o
o
laege
iscc: recover from erro
r
s
commit
|
commitdiff
|
tree
2010-06-20
S
ven
V
erdoolaege
u
p
dat
e
isl fo
r
improved err
o
r handling
commit
|
commitdiff
|
tree
2010-06-19
S
ven V
e
r
doolaege
iscc
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven
Verdoolaege
d
oc: iscc: update documentat
i
on of
"
ub" o
p
er
a
tor
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolae
g
e
test_approx: include
ct
y
p
e
.
h
for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaege
test_appro
x
:
incl
u
de
c
onfig
.
h
for
H
AV
E
_S
Y
S_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
rdoola
e
ge
t
est_boun
d
:
i
nclude c
o
nfig
.
h f
o
r
H
AVE
_
SY
S
_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
iscc: ad
d
vertice
s
operation
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
optionally use isl to perform para
m
etric ve
r
tex enumera
t
i
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
update is
l
-
poly
l
ib for handling
o
f ra
t
iona
l
sets
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaeg
e
d
r
op distinction b
e
tween barvinok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
remove
b
ernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
u
p
date isl fo
r
ge
n
eri
c
isl_pw_qpol
y
nomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoo
l
aege
con
f
igure
.
in: drop
b
v_omega_
p
rogr
a
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
a
d
d isl_ctx_
p
eek_b
a
rv
i
nok_
o
ptions
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoola
e
ge
iscc: parse
b
arvinok op
t
ions
commit
|
commitdiff
|
tree
2010-06-01
S
v
en
V
erd
o
olaege
export i
s
l_
q
pol
y
nomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
Makefile
.
am
:
drop dependence on doc/omega
.
t
ex
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
update isl
f
or r
e
name of isl_
p
w
_qpolyn
o
m
i
al
_
move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
ver
i
f_ehrhar
t
.
c: add missing inc
l
ude
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configu
r
e
.
in: fix typ
o
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
u
s
e isl
f
or argument
p
a
rsing
commit
|
commitdiff
|
tree
2010-06-01
S
ven
Verdoolaege
updat
e
isl for
keeping tr
a
ck o
f
user option
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoo
l
aege
te
s
t_boun
d
: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update isl for help message
p
r
intin
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
dool
a
eg
e
remove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove
evalue_range_p
r
opa
g
a
tion
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaeg
e
test_b
o
und:
use i
s
l interface for computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvinok_bou
n
d: us
e
isl
i
nterface for comp
u
t
i
ng bou
n
ds
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolae
g
e
iscc:
suppor
t
ub even if GiNaC
suppo
r
t was
n
o
t
compi
l
ed in
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
add generic isl_
p
w_qpolynomial_bo
u
nd
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoola
e
ge
update isl for isl_pw_qpolynomial_bound_rang
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
t
e
s
t
_bound: use isl during ver
i
fication
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
barv
i
nok_bound
:
us
e
isl
d
urin
g
verificatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
verify
.
c
:
extract
s
o
me h
e
lper f
u
nctio
n
s for
isl ba
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
introduce "bo
u
nd
"
opti
o
n
commit
|
commitdiff
|
tree
2010-05-14
S
ven
Verdo
o
la
e
ge
opt
i
ons
.
c: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolae
g
e
iscc: add application operatio
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoo
l
aeg
e
isc
c
: ad
d
rea
d
operation
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Ver
d
oolaege
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven
Ve
r
doolaege
u
pdate is
l
for r
e
adin
g
of s
t
rings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
upd
a
te isl for fix
in isl_print
e
r_print_pw_qpolyn
o
m
ia
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
up
d
ate
is
l
-polylib for chan
g
e in p
k
g-config file
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
isc
c
: al
l
o
w specification of output
format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
update isl for
change in isl_set_gist argument
commit
|
commitdiff
|
tree
next