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
allow codegen on sets
2010-08-18
Sven Ve
r
d
oolaege
al
l
o
w
code
g
en
o
n sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: codegen: detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
i
sc
c
:
use sim
p
lified CLooG int
e
rfac
e
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
update
is
l
f
or ren
a
m
e
of is
l
_pw_qp
o
l
yno
m
i
a
l
_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
is
c
c
.
c
: un
i
on_pw_q
p
oly
n
o
m
i
al_up
p
er
_
boun
d
: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
summate
.
c: fix
t
y
po in comment
commit
|
commitdiff
|
tree
2010-08-17
S
v
e
n
Verdoo
l
aege
isl_map_app
l
y_pw_qpolynomial
:
fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven
V
erdo
o
laege
upd
a
te isl fro
m
isl
_
union_map f
i
xes
commit
|
commitdiff
|
tree
2010-08-10
Sven
Verdoo
l
aege
isc
c
: allow inverse
o
n non-union maps agai
n
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaege
iscc: add wrap a
n
d unwrap op
e
rati
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolaege
add isl_union_
m
a
p
_ap
p
ly_union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
Verdoolaege
isl_pw_qp
o
lynomial_sum: hand
l
e isl_
p
w_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaeg
e
upd
a
te isl fo
r
nested dimension spe
c
i
fications
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdo
o
laege
i
sl_map_card: p
o
stpo
n
e shuff
l
ing around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verd
o
o
laege
update isl
for isl_basi
c
_map_
m
ov
e
_
d
ims
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verd
o
olaeg
e
isl
_
p
w
_qpolyn
o
m
ial_sum: push conversio
n
to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
aege
isl_pw_qpolynomial_sum
:
chec
k
for unb
o
unded domains
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verd
o
olae
g
e
avoid use of isl_dim
i
nt
e
r
n
als
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Verdoolaege
iscc:
sup
p
ort c
o
d
egen
o
p
erat
i
on i
f
CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
S
ven Ve
r
doolaege
iscc
:
swi
t
ch
t
o using un
i
ons
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verd
o
o
laege
a
d
d
i
s
l
_union_pw_
q
polynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
l
a
ege
add
i
sl_union_
m
ap_card
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Ve
r
doolaege
isl_pw_q
p
ol
y
n
omial_sum: ta
k
e tu
p
l
e
names i
n
to
a
c
c
ount
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
sl
_
m
ap_card: pre
s
erv
e
full domain dimension information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
upda
t
e
i
s
l fo
r
change in isl_has
h
_tab
l
e
_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
rdoolaege
b
a
rvin
o
k_enumera
t
e
.
cc: fix
p
r
in
t
f
format
commit
|
commitdiff
|
tree
2010-07-03
Sve
n
Verdoolaege
do
c
: add some
m
ore papers refering to the library
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doola
e
g
e
b
ar
v
in
o
k 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
o
olaege
update isl
t
o vers
i
o
n
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoo
l
aege
configu
r
e
.
in: properly add isl flag
s
and l
i
bs
to pk
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
configure
.
in
:
d
r
op call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaeg
e
ge
n
fun
.
cc:
fix printf
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
t
est_approx
.
c
:
fix print
f
for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoola
e
ge
test_bound
.
c: fix
p
r
i
n
t
f format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
er
d
oolaege
c
o
nfigure
.
i
n
: stop c
o
mpiling Ome
g
a by default
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Ve
r
doolaege
ver
i
fy_l
e
xsmaller
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoolaege
evalu
e
.
c: av
o
id use o
f
all
o
ca
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
evalue_isl
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoo
l
aege
iscc: recover
fr
o
m e
r
ror
s
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
r
d
oo
l
aege
u
pdate
i
sl for
imp
r
oved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
i
s
cc
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-13
Sv
e
n
V
erdo
o
laeg
e
doc: iscc: update
docume
n
t
ation of "
u
b
"
op
e
r
ator
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
tes
t
_app
r
ox:
include ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
r
d
ool
a
ege
test_approx: inc
l
ude config
.
h
for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
d
oolae
g
e
tes
t
_
bound: i
n
clude config
.
h
f
o
r
HAVE_SYS_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc: add ver
t
ices ope
r
ations
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aeg
e
optionally
u
se isl to pe
r
for
m
pa
r
am
e
tri
c
ver
t
ex en
u
me
r
a
tion
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
u
p
d
ate isl-p
o
lylib for handling of
r
ational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
drop distincti
o
n between
b
a
rvinok-core and barvi
n
ok
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoola
e
ge
r
e
m
o
v
e
b
e
r
n
stein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl
f
or
g
ener
i
c isl_p
w
_qpolynomial_boun
d
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
o
olaeg
e
configure
.
in: dr
o
p bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
ad
d
is
l
_
ctx_pe
e
k
_b
a
rvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven V
e
rdoolaege
i
scc: p
a
rse barvinok op
t
ions
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
export
i
sl_qp
o
lynomial_from
_
evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
rdoo
l
aege
Mak
e
file
.
am:
drop dependence
o
n doc/ome
g
a
.
t
ex
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaeg
e
update isl for rename
o
f isl_pw_qpolyn
o
mial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
verif_ehrh
a
rt
.
c:
add missing inclu
d
e
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
c
o
nfi
g
ure
.
in: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdool
a
ege
use isl for a
r
gument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ve
r
doolaege
upd
a
t
e
isl for keeping track of u
s
er opti
o
n
s
commit
|
commitdiff
|
tree
2010-05-19
Sven
Ve
r
d
o
olaege
test_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Ver
d
oolaege
update isl for
h
elp m
e
ssage printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doolaege
remove evalue_optim
u
m
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaege
remov
e
evalue_
r
a
n
ge_propagation
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdool
a
e
g
e
t
e
st_bound: use isl
interface fo
r
computing boun
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
a
ege
barv
i
nok_boun
d
: us
e
is
l
interf
a
ce for
com
p
u
t
i
n
g
b
ou
n
ds
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolae
g
e
iscc: support ub eve
n
i
f GiNa
C
support was not comp
i
led in
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
a
d
d gen
e
ric isl_pw_qp
o
l
ynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
u
pda
t
e isl for isl_pw_qpolynomial_bou
n
d_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doola
e
ge
test_bound: use
isl during
v
erification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
b
a
rvinok_bound: us
e
isl duri
n
g
verificati
o
n
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
ve
r
i
fy
.
c: extrac
t
s
o
me helper
f
unctions for isl bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
introdu
c
e "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
opti
o
ns
.
c: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolae
g
e
i
s
cc: add application o
p
erations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaeg
e
iscc:
add read op
e
r
atio
n
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdoolaege
iscc: fre
e
options
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdool
a
ege
update isl for r
e
adi
n
g of strin
g
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl for fix in isl_p
r
i
nter
_
print_pw
_
qpol
y
no
m
ia
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoo
l
aege
upda
t
e isl-po
l
ylib for cha
n
g
e
in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
iscc:
a
l
l
ow specification of ou
t
put format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoola
e
ge
update
is
l
for change
i
n
i
sl
_
set_gist ar
g
ument
commit
|
commitdiff
|
tree
2010-04-11
Sven
V
erdoolaege
u
pda
t
e isl
f
or re
n
a
me
o
f isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
configure
.
in: add isl
f
l
ags and libs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
i
scc: tes
t
isl_stream
fo
r
eof r
a
t
h
er than
the u
n
derlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en V
e
rdoolaege
i
s
cc: add
d
eltas oper
a
ti
o
n
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
aege
update isl for fix in
isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
S
v
e
n Verdoolaege
d
r
op
barvinok_enu
m
er
a
te_pi
p
_
w
ith_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Ver
d
o
olaege
i
s
cc: add cross prod
u
ct operation
s
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdool
a
ege
iscc: add
c
oales
c
e
oper
a
tions
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Verdoolae
g
e
upda
t
e
isl f
o
r isl_pw_qpolynomial_coale
s
ce
commit
|
commitdiff
|
tree
2010-03-27
Sven
Ver
d
oolaege
d
r
op "
O
mega cou
n
ting calcul
a
tor"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
test_bound
.
cc: fix
printf format
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoola
e
ge
b
e
rns
t
e
in
.
cc: f
i
x print
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Ver
d
oo
l
aege
evalu
e
_rang
e
_prop
a
gati
o
n
:
fi
x
substituti
o
n for
n
egative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoola
e
g
e
berns
t
ein/configure
.
in: use abso
l
u
t
e
srcdir of P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
erdoolaege
only dis
t
r
i
b
u
te bundled submodule
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
up
d
ate omega f
o
r
conf
i
gura
t
ion iss
u
e
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
c
o
nfigure
.
i
n
:
a
llow
"
build"
PolyLib
commit
|
commitdiff
|
tree
next