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: print error message on use of unknown identifier
2010-09-06
Sven V
e
rdoolaeg
e
iscc: print error message
o
n use of un
k
nown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verd
o
o
l
aege
is
c
c:
s
upport
u
nion sets
i
n vert
i
ces o
p
eration
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdo
o
laege
add
isl_list_conc
a
t
commit
|
commitdiff
|
tree
2010-09-05
S
v
en Ver
d
o
olaege
barvinok_
b
ound:
use i
s
l to spl
i
t
pe
r
iods
commit
|
commitdiff
|
tree
2010-09-05
Sven V
e
r
d
ool
a
ege
update isl for isl_pw_qpolynomial_split_
p
e
riods
commit
|
commitdiff
|
tree
2010-08-31
S
ven Verd
o
olaege
d
o
c: m
a
rk PolyLib inter
f
a
ce obsolescent
commit
|
commitdiff
|
tree
2010-08-31
S
v
e
n Verdoolaege
Makefile
.
am: drop
ref
e
r
e
n
c
es
to o
b
solete
@
bv_barvin
o
k_bou
n
d@
commit
|
commitdiff
|
tree
2010-08-31
S
ven Ve
r
doolaege
ev
a
lu
e
_convert
.
cc:
evalue_p
r
int_isl: print
en
d
-of-l
i
ne
commit
|
commitdiff
|
tree
2010-08-30
Sven V
e
r
doolaege
iscc: a
l
low coercion of binary list into first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Ver
d
oolaege
barvinok_bound:
c
onve
r
t to isl_pw_q
p
o
ly
n
omial once
commit
|
commitdiff
|
tree
2010-08-28
Sven
Verdoola
e
ge
barvinok_bound: use isl to spli
t
on do
m
ai
n
size
commit
|
commitdiff
|
tree
2010-08-26
S
v
en
Verdoolaege
set sens
i
ble de
f
aults w
i
th --
p
olynomial-appro
x
imation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_
p
w
_qp
o
l
y
n
omial_s
u
m: reuse b
a
rvinok_options
i
f availabl
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
rdoolaege
i
s
l_map_card: reuse barvinok_opti
o
ns if
a
vailable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdo
o
laege
update isl
f
o
r aligning parameters of
u
nio
n
a
rgument
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: a
d
d "j
o
in" operat
i
on o
n
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
is
c
c: add "
j
o
in"
ope
r
ation
on maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
o
l
aege
iscc: sup
p
or
t
addition on a
p
a
i
r of a f
o
ld a
n
d a
q
u
asipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
update
i
sl f
o
r adding typ
e
s to isl_
{
unio
n
_,
}
pw_qpolynomial_f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
a
llow codegen on set
s
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
i
scc: codegen: detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
r
doolaege
iscc
:
use simplified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
up
d
ate isl
for r
e
nam
e
o
f
isl_pw_qpo
l
ynomia
l
_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoo
l
a
e
ge
isc
c
.
c: union_pw_
q
polynomial_up
p
er_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
summ
a
te
.
c: fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaeg
e
isl_map_apply_
p
w_qpolynomi
a
l: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
V
e
r
doolaege
upd
a
te isl from isl_union_map fix
e
s
commit
|
commitdiff
|
tree
2010-08-10
S
v
en Verdoola
e
ge
iscc: al
l
ow inve
r
se on non-uni
o
n maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
iscc: add wrap and unwr
a
p o
p
erat
i
ons
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add isl_union_map_apply_union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
d
o
olaege
i
s
l
_pw_qpol
y
no
m
ial_sum: handle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
update isl for nested dimension specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rd
o
olaege
isl_map_card: postpon
e
shuffling
arou
n
d of
dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl fo
r
isl_basic_
m
ap_move_
d
i
m
s
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdo
o
l
aege
isl_pw
_
qpolynomial_sum: push conve
r
sion to Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdo
o
laege
isl_pw_qpolynom
i
a
l
_
s
um: check
f
or unbounded
d
o
mains
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
avoid use of
i
sl_dim
intern
a
ls
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: support codegen ope
r
ation if CLooG is avail
a
ble
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: switch to using
unions
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n Verdoolae
g
e
add isl
_
union_
p
w_qpolyn
o
mial_
s
um
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_u
n
ion_m
a
p_ca
r
d
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
i
s
l_pw_
q
polynomial
_
s
um: take tuple names into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
s
l_map_card: pres
e
rve full
d
om
a
in
d
imensio
n
informati
o
n
commit
|
commitdiff
|
tree
2010-07-31
S
ven V
e
rdoolaege
update
i
sl
f
or change in isl_hash_table_fo
r
each
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdo
o
l
a
e
g
e
ba
r
vi
n
ok_enumer
a
t
e
.
cc: fix
printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoo
l
a
ege
d
o
c: add some m
o
re papers refer
i
ng to the lib
r
a
r
y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
update
i
sl
t
o v
e
rsion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
conf
i
gure
.
in: p
r
operly add isl flags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaeg
e
configure
.
in:
d
r
o
p
call to
gl_EAR
L
Y
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
genf
u
n
.
cc
:
fix
p
rintf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
test
_
ap
p
r
o
x
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
t
e
s
t_bound
.
c:
f
ix pri
n
tf forma
t
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolae
g
e
c
o
nfig
u
re
.
i
n: stop c
o
mpiling
Omeg
a
b
y default
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Ve
r
doolaege
verify_lexsmalle
r
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalue
.
c: avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
e
v
a
l
ue_isl
.
c:
fix
typo
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verdoolaege
iscc:
recov
e
r
f
ro
m
errors
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n
Verdoolaege
update isl f
o
r
improved err
o
r handling
commit
|
commitdiff
|
tree
2010-06-19
S
v
e
n Verd
o
olaege
iscc
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-13
Sven Verd
o
olaege
doc: i
s
cc: upd
a
te documentation of
"
ub" op
e
rato
r
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaeg
e
test_approx: inc
l
ude ctype
.
h f
o
r iss
p
ace
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
test_a
p
pr
o
x
: in
c
lude
c
onfig
.
h for HAVE_SYS_TIM
E
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
test_
b
o
und: include config
.
h
for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
aege
iscc: ad
d
ve
r
tice
s
operat
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
option
a
lly use isl to perf
o
rm parametri
c
v
e
rtex enumera
t
io
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
ae
g
e
update isl-
p
olylib for handling o
f
rational
s
ets
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
d
oola
e
g
e
d
rop
d
ist
i
nction between barvinok-
c
ore and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
remov
e
b
e
r
nstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
u
p
date isl for
g
ene
r
ic i
s
l_pw_qpolynomial
_
bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
conf
i
gure
.
in:
drop bv_omeg
a
_progra
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_ctx_p
e
ek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven
Verdoola
e
ge
i
scc: par
s
e barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
export isl_qpoly
n
omia
l
_from_
e
value
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Make
f
ile
.
am: drop depende
n
c
e
on doc/o
m
ega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
V
erdool
a
e
g
e
update isl for rename of isl_pw_
q
pol
y
no
m
ial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
verif_ehr
h
art
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configure
.
in:
f
ix
typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
us
e
isl for argument
p
a
rsin
g
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
u
pdate
i
s
l
for k
e
eping
t
ra
c
k of
user options
commit
|
commitdiff
|
tree
2010-05-19
S
ven Verdo
o
laeg
e
test_b
o
und: rewri
t
e
in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update isl for help me
s
s
age printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove eva
l
ue_optim
u
m
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Ver
d
oola
e
ge
re
m
ove eval
u
e
_range
_
p
r
op
a
gati
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdool
a
e
ge
test_bound: use isl
interface for computing
bounds
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Ve
r
dool
a
ege
barvinok_bound: u
s
e
isl interf
a
ce for compu
t
ing bo
u
nds
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Verdoolaege
iscc: supp
o
rt
u
b even
if GiNaC support wa
s
not
compi
l
ed in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
o
l
a
e
ge
add gener
i
c isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
Verdoolaege
update isl for isl_pw_qpolynomial_bound_rang
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
t
est_b
o
und:
u
se isl during verificati
o
n
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
ba
r
v
inok
_
b
o
und: us
e
isl during v
e
rificati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
verif
y
.
c
:
extract some h
e
lpe
r
functions for
isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
intro
d
uce "bound
"
option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
options
.
c: fix p
r
i
ntf format
commit
|
commitdiff
|
tree
2010-05-10
S
ven Ve
r
doolaege
iscc: add ap
p
licat
i
on
o
perations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
o
l
a
e
g
e
iscc: add re
a
d operati
o
n
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoola
e
g
e
iscc
:
free opti
o
ns
commit
|
commitdiff
|
tree
2010-04-24
S
v
en
Verdoolaege
u
p
d
ate
i
s
l
for re
a
di
n
g of strin
g
s
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoola
e
g
e
update isl for fix
in isl
_
p
ri
n
ter
_
print_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Ver
d
ool
a
ege
update isl-polylib
for chan
g
e in pk
g
-
config fil
e
commit
|
commitdiff
|
tree
next