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
S
v
e
n Verd
o
ol
a
ege
barvi
n
o
k
_b
o
und: convert to is
l
_
pw_qpol
y
nomial onc
e
commit
|
commitdiff
|
tree
2010-08-28
Sven V
e
rdoolae
g
e
barv
i
no
k
_bound: use isl to sp
l
it on
d
o
main siz
e
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
set sensible defaults wit
h
--polyno
m
i
a
l-
a
pproximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en
Ve
r
doolae
g
e
isl_pw_qp
o
lyno
m
ial_s
u
m: reus
e
ba
r
vino
k
_
o
ptions if availabl
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven Verdoolae
g
e
isl_map_card: reuse b
a
rvinok_options if av
a
ilable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoola
e
ge
update isl for aligning param
e
t
e
rs of union ar
g
u
ments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: a
d
d "join" operat
i
on on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
o
l
aege
iscc: add "join"
o
perat
i
on on m
a
p
s an
d
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
isc
c
:
support ad
d
ition on a
p
a
i
r of a fold and a q
u
asipoly
n
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven
V
e
r
d
ool
a
ege
up
d
ate isl for adding types to isl_{union_,}pw_qpolynomia
l
_fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow
c
od
e
gen on s
e
t
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
iscc: co
d
egen: detect
s
trides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc:
us
e
simp
l
ified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
r
doolae
g
e
upd
a
te i
s
l for rename of isl_pw_q
p
olynomial_fo
l
d_a
d
d
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verd
o
olaege
is
c
c
.
c: union_pw_qpolynomial_upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
su
m
mate
.
c
: fix typo in co
m
ment
commit
|
commitdiff
|
tree
2010-08-17
Sven
Verdoolaeg
e
isl_
m
ap_app
l
y_pw_qpolynomial: fix typ
o
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
updat
e
i
sl
f
rom
isl_u
n
ion_ma
p
fixes
commit
|
commitdiff
|
tree
2010-08-10
S
v
en Verdoo
l
aege
isc
c
: allow
i
nve
r
se on non-union maps again
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verd
o
ola
e
ge
iscc: add wrap and unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
ad
d
is
l
_union_map_ap
p
ly_union_pw_qpol
y
nom
i
al
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olae
g
e
isl
_
pw_qpolynomial_sum: h
a
ndle i
s
l_p
w
_
q
polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
l
a
e
ge
update i
s
l
for nes
t
ed
d
imensi
o
n speci
f
ic
a
tions
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_map_card: p
o
s
tpone
shuffling
a
round of di
m
en
s
ion
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update
isl for isl
_
basic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw_q
p
olynom
i
al_sum: pu
s
h c
o
nversion to Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoola
e
g
e
isl_pw_qp
o
lynomia
l
_s
u
m: che
c
k for unbounded
domains
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erdo
o
laege
avoid use
of isl_dim i
n
t
e
r
n
als
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
iscc:
support codegen operation
if CLooG is a
v
a
i
lable
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
is
c
c: switch to using un
i
ons
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
a
dd
isl_union_pw_qpoly
n
omial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
add isl_u
n
ion_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
isl_pw_qpolyno
m
i
al_sum: take tuple name
s
into ac
c
ou
n
t
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdo
o
laege
isl_ma
p
_card: preser
v
e
f
ull
d
omain di
m
ensio
n
information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
updat
e
isl for
c
ha
n
ge in isl_hash
_
table_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
barvinok_e
n
umerate
.
c
c
: fix pri
n
t
f
format
commit
|
commitdiff
|
tree
2010-07-03
Sv
e
n Verdoo
l
aege
doc: add some more papers refering to the library
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Verdoolaege
barv
i
nok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
lae
g
e
update isl to ver
s
ion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
c
o
nfigu
r
e
.
i
n
: proper
l
y ad
d
isl flags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoo
l
a
ege
configur
e
.
in
:
d
rop call to gl_EAR
L
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
genfun
.
cc:
fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
t
e
st_approx
.
c: fix pr
i
ntf
form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
test_bound
.
c: fix prin
t
f fo
r
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
do
o
laege
configur
e
.
in: st
o
p
c
om
p
iling Ome
g
a
b
y default
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
doolae
g
e
verify_l
e
xsma
l
ler
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
e
g
e
eval
u
e
.
c: avoid use of
alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
e
value_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
rdoola
e
ge
i
scc: re
c
o
ver
from e
r
rors
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoolaege
update isl
f
or improved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
is
c
c
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-13
Sv
e
n
V
erdoolaege
doc: iscc: upd
a
te doc
u
m
entati
o
n of
"ub
"
operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test
_
approx: inc
l
ude
c
t
ype
.
h
f
o
r isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
test_approx
:
include co
n
fig
.
h for H
A
VE
_
SY
S
_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdool
a
ege
test_bound:
i
nclude
c
on
f
ig
.
h for HAVE_SYS_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
iscc: add v
e
rtices oper
a
tions
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
opt
i
onall
y
use isl t
o
perform
p
arametric
v
ertex enumerati
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
upda
t
e
isl-polylib f
o
r
hand
l
ing of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
drop disti
n
c
t
i
on between barvinok-core
and
barvino
k
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
remove
b
e
r
n
s
te
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
ol
a
ege
update
i
s
l for
generic isl_p
w
_qpol
y
nomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
config
u
r
e
.
in:
d
r
op bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
ad
d
isl_
c
tx_peek_bar
v
inok_o
p
tions
commit
|
commitdiff
|
tree
2010-06-07
Sven V
e
rdool
a
e
ge
iscc: parse barvinok o
p
ti
o
ns
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
r
doolaege
exp
o
r
t
isl_q
p
olynomia
l
_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Verdoolaege
Makefile
.
am: drop dependence on
d
oc/omega
.
t
ex
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolaege
update isl for re
n
ame
of isl_p
w
_qpolyno
m
ia
l
_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
verif
_
ehr
h
ar
t
.
c
:
add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoo
l
aege
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
S
ve
n
Verdoolaege
u
se isl for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
u
p
dat
e
isl for kee
p
ing track of user options
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n V
e
rdoolaege
test_bo
u
n
d: rewrite in
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update isl for h
e
lp
message p
r
inting
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
remove
evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaege
remove evalue_range_propagation
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdo
o
laege
test_bound:
u
s
e
isl interfac
e
fo
r
computing bounds
commit
|
commitdiff
|
tree
2010-05-15
S
ven
Verd
o
olaege
b
arvino
k
_bound: use
isl inte
r
face for computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
ool
a
ege
iscc: su
p
port ub e
v
e
n if GiN
a
C support w
a
s not c
o
m
p
il
e
d i
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
a
d
d
generic isl_pw_qpolynomi
a
l_bo
u
nd
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdo
o
l
aege
upd
a
te
i
sl for i
s
l_pw_qpolyn
o
mial_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
test_bound: use isl during ve
r
ification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvinok_bound: use isl during v
e
rification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
l
aege
verify
.
c: ext
r
a
c
t some h
e
l
p
e
r
functi
o
ns for isl bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
intr
o
du
c
e "b
o
und" option
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
opti
o
ns
.
c: fix
p
rintf
f
ormat
commit
|
commitdiff
|
tree
2010-05-10
Sven
V
e
rdoolaege
is
c
c: add ap
p
lication oper
a
tion
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
doolaege
iscc: add read opera
t
ion
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdo
o
laege
iscc:
f
ree options
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdoolaege
u
p
d
a
te isl fo
r
reading of strings
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
update isl for fix in isl_printer_pri
n
t_pw_qp
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
u
p
date isl-polyli
b
for chang
e
in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isc
c
: al
l
o
w spe
c
i
f
icat
i
on of o
u
tput format
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verd
o
olaege
update isl for
c
h
ang
e
in isl_set_gist argu
m
ent
commit
|
commitdiff
|
tree
2010-04-11
S
v
e
n Verdool
a
ege
u
p
date isl fo
r
rena
m
e o
f
isl_map_mov
e
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoolaege
configure
.
in: add
isl flags and li
b
s to pkg-confi
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en
V
e
r
d
o
olaege
iscc: test isl_stream
f
or e
o
f rather than
t
he underl
y
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: add
deltas
o
peration
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoo
l
aege
update isl
fo
r
f
i
x in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolae
g
e
drop
b
arvinok_enumerate_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdoola
e
g
e
iscc: add cross product op
e
ration
s
commit
|
commitdiff
|
tree
next