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_bound: convert to isl_pw_qpolynomial once
2010-08-28
Sven Verdoolaeg
e
barvinok_bound: c
o
nvert to isl_pw_qpolynomi
a
l
o
nce
commit
|
commitdiff
|
tree
2010-08-28
Sven Ver
d
oolaege
barvin
o
k_bound: use i
s
l to split
o
n
d
omain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verd
o
ol
a
e
ge
set
sen
s
ib
l
e
defaults with --polynomia
l
-a
p
p
rox
i
mation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
i
sl
_
pw_qpo
l
ynomial_
s
um: reuse barvino
k
_options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl
_
map_
c
ard:
r
euse
barvinok_options if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Ve
r
d
o
o
l
aege
u
p
date isl for a
l
i
g
ning p
a
ram
e
ters of
union
a
rg
u
ments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add
"
join" opera
t
ion on fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
iscc
:
add "join"
operation on maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Ver
d
oolaege
iscc: su
p
port addit
i
on o
n
a pai
r
of
a
fold and a qu
a
sipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
update isl for adding types t
o
is
l
_{union_,}
p
w_qpoly
n
om
i
al
_
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Ver
d
oolae
g
e
all
o
w
c
odegen
on sets
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n V
e
rdoolaege
is
c
c: codegen: detect s
t
rides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
ol
a
ege
iscc: use simplified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
V
erdoolaeg
e
update is
l
for
r
ename of isl_pw_q
p
olynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
iscc
.
c: uni
o
n_pw_qpo
l
ynomia
l
_upper_bo
u
nd:
fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Ve
r
dool
a
ege
isl_
m
ap_apply_pw_qpolynomial
:
fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
V
e
r
d
oolaege
update
i
s
l from
isl_un
i
on_map f
i
xes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verd
o
olaege
i
s
cc: allow inverse
o
n non
-
u
nion
m
a
ps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolae
g
e
i
s
c
c
: add wrap and unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add isl_union_map_app
l
y
_
u
nio
n
_pw_qpoly
n
omial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olaeg
e
isl_pw_qpolynomial_su
m
:
handle isl_pw_q
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Ver
d
o
o
laege
update i
s
l
for nested dimen
s
ion specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
i
sl_
m
a
p
_card:
p
o
stpone shuffling around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aege
up
d
ate isl for isl_ba
s
ic_map_move_d
i
ms
commit
|
commitdiff
|
tree
2010-08-04
S
ven
Verdoolaege
isl_pw_qpolynomial_
s
um: push conversion to
P
oly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Ve
r
d
oo
l
aeg
e
isl_pw_q
p
olynomial_sum
:
check for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
avo
i
d use
o
f isl
_
dim in
t
erna
l
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
iscc: support codegen ope
r
a
t
ion if C
L
ooG is
a
vailable
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
e
g
e
iscc:
swit
c
h to u
s
ing
uni
o
ns
commit
|
commitdiff
|
tree
2010-07-31
Sven
Ver
d
oolaege
add isl_union_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
add isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
isl_pw_qpolynomial_sum: take tupl
e
names in
t
o
a
ccount
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
is
l
_map_card: preserve full dom
a
in dimensio
n
information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
u
p
d
ate isl
f
or change in
i
sl_hash_table_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
r
d
oolaege
bar
v
ino
k
_
e
n
um
e
rate
.
cc: fix
p
ri
n
tf fo
r
mat
commit
|
commitdiff
|
tree
2010-07-03
Sv
e
n Verdoolae
g
e
doc
:
add some
m
o
r
e papers r
e
f
ering t
o
the library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
ba
r
vinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
u
p
date
i
sl to
v
e
r
sio
n
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: properly add isl fl
a
gs and li
b
s to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
c
o
nfigure
.
in:
d
rop call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doo
l
aege
genfun
.
c
c: f
i
x printf
form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
test_a
p
p
r
ox
.
c: fix printf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
o
ola
e
g
e
test_bound
.
c: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
confi
g
ur
e
.
i
n: stop co
m
piling
O
mega by defau
l
t
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
v
e
rify_le
x
smaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n Verdoo
l
aege
evalu
e
.
c: avoi
d
us
e
of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
ge
evalue_isl
.
c:
f
i
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdo
o
laege
iscc:
recover from erro
r
s
commit
|
commitdiff
|
tree
2010-06-20
Sven
Ve
r
doolaege
updat
e
isl for
i
mproved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
do
o
laeg
e
iscc
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Ve
r
dool
a
ege
doc: iscc: update documentation of "ub" oper
a
t
o
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
e
st_approx:
i
nclude ctype
.
h for issp
a
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx:
i
ncl
u
de con
f
ig
.
h f
o
r H
A
VE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
e
st_bound:
include
c
o
n
fig
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
iscc: add vert
i
ces operati
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
optionall
y
use isl
to perform parame
t
ric ve
r
tex enume
r
ation
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
updat
e
i
s
l-polyl
i
b
for handling
of rational
s
et
s
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaeg
e
drop
distinctio
n
be
t
ween barvin
o
k-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
r
emove bernst
e
in
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
update isl f
o
r
g
eneric isl_pw_qp
o
l
yno
m
ial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolaege
c
on
f
ig
u
re
.
in: drop b
v
_o
m
e
ga_pro
g
rams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_pe
e
k_b
a
rv
i
no
k
_
o
p
tions
commit
|
commitdiff
|
tree
2010-06-07
Sven
Ve
r
doolaege
iscc:
p
arse
barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
expor
t
isl_
q
poly
n
omial_f
r
om_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
Makefile
.
am: drop
d
ependence on doc
/
omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
update isl for rena
m
e
o
f
isl_pw_qpol
y
nomial_
m
o
ve
commit
|
commitdiff
|
tree
2010-06-01
Sven
Ver
d
oolaege
verif_ehrha
r
t
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configure
.
i
n:
f
ix t
y
po
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
V
e
rdoolae
g
e
use i
s
l for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
S
ven V
e
r
doola
e
ge
update isl for keepi
n
g track of u
s
er opt
i
ons
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdoo
l
aege
test_bound:
r
ew
r
ite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update
i
sl for help mess
a
ge
p
rintin
g
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaege
remo
v
e evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
laege
r
emov
e
eva
l
ue
_
r
a
nge
_
propagat
i
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doolaege
tes
t
_bound:
u
se i
s
l interface for computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaeg
e
barv
i
nok_b
o
und:
u
s
e i
s
l interfac
e
for computing bou
n
ds
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
iscc
:
s
upport u
b
even if GiNaC support w
a
s not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
add
generic isl
_
pw_qpolynom
i
al_bou
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
upda
t
e isl for
isl_pw_qpolynomi
a
l_b
o
und_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
d
oolaege
test_bou
n
d: use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
a
e
ge
barvinok_b
o
un
d
: use isl during v
e
rifi
c
atio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
veri
f
y
.
c: extract so
m
e helper functions
f
or isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
i
n
tro
d
uce "bound"
o
p
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
eg
e
options
.
c
:
fix
printf forma
t
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
iscc: a
d
d application opera
t
ions
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
l
a
e
ge
iscc
:
a
d
d
r
ead op
e
ration
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
i
scc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdoolaege
upd
a
te isl for
r
eadi
n
g of
strings
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
upd
a
te
i
sl for fix in
i
s
l
_
pri
n
te
r
_
p
rint
_
pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
upd
a
te is
l
-
polylib for
c
hange in pkg-con
f
ig fil
e
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
i
scc: allow specificatio
n
o
f out
p
ut fo
r
mat
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
olaege
up
d
ate isl for change i
n
isl_set_
g
ist ar
g
um
e
nt
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Ve
r
do
o
l
a
ege
upd
a
te i
s
l for
r
ena
m
e of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdool
a
ege
configure
.
in:
a
dd isl flags
a
n
d
libs to pkg-c
o
nfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolae
g
e
iscc: test is
l
_
str
e
am for eof
r
ather tha
n
t
h
e un
d
erlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: add del
t
a
s
op
e
ration
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaeg
e
update isl for fi
x
in is
l
_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
d
rop
barv
i
nok_enumerate
_
pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdoolaege
iscc
:
a
dd cross product o
p
erations
commit
|
commitdiff
|
tree
next