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
doc: a bit more info on iscc
2010-10-18
S
v
en Verdoolaege
doc:
a
bit
more info on isc
c
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Verdoolae
g
e
iscc: add before and after o
p
er
a
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
e
rdoolaege
iscc: add iden
t
ity o
p
eration
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
doolaeg
e
iscc: bre
a
k out off main loop wh
e
n printer no
longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
ool
a
ege
iscc: support
e
xtend
e
d P
o
lyLib o
u
tput f
o
rmat
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
con
f
igu
r
e
.
in:
perfor
m
check
for GM
P
s
upport
i
n NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoolaege
isl_Polyhedron_Sample:
add missing i
n
itialization
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc
:
add composition operation on pie
c
e
w
ise quasip
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
ool
a
ege
iscc: add dependence analysi
s
operations
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolaege
isc
c
: register
ext
r
a keywords in ge
n
e
r
ic way
commit
|
commitdiff
|
tree
2010-10-11
S
ven Ve
r
d
o
olaege
us
e
is
l
to perform "manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
allow
b
u
ilding without p
i
p
l
ib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
Polyhedron_Reduce
d
_Bas
i
s: op
t
ionally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Ver
d
oolaege
fix dependence on build
i
sl
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
i
s
l_map_ca
r
d: use
i
s
l
for facto
r
i
z
ation
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl_map_card: split
d
imension fi
d
d
l
i
ng fro
m
conve
r
s
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
i
sl_map_car
d
: use is
l
_pw_q
p
olynom
i
al_sum if reques
t
ed
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
Verdoolaege
b
a
rvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Ve
r
doolaege
update isl for fix in para
m
eter alignm
e
n
t
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
b
a
rvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc:
add
l
exi
c
o
graphic operator
s
commit
|
commitdiff
|
tree
2010-09-10
Sven Ver
d
oolaege
update isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Ver
d
oolaege
iscc: a
d
d "so
u
r
c
e" oper
a
tion
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolae
g
e
iscc: add su
p
port for strings
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
V
erdo
o
laege
iscc:
p
rint error mess
a
ge
o
n
u
se of unknown identifie
r
commit
|
commitdiff
|
tree
2010-09-06
Sven
Verdool
a
eg
e
iscc: support union
s
ets in vertices o
p
eration
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n Verdoolaeg
e
add isl_
l
ist_concat
commit
|
commitdiff
|
tree
2010-09-05
S
ven Verdool
a
e
g
e
barvinok_boun
d
:
u
s
e
i
sl to s
p
l
i
t
periods
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
erdoolaege
u
p
date isl for isl_pw_qpolynomial_spli
t
_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
e
rdo
o
laege
doc: mark P
o
l
y
Lib
i
nter
f
ace obs
o
lescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
Makefile
.
am:
drop
referen
c
es to obsolete @bv_barvino
k
_bo
u
n
d@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalu
e
_
convert
.
c
c
: evalue_print
_
i
sl: print e
n
d-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
i
s
cc: allow coer
c
ion of bina
r
y list
into
first
e
l
ement
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
bar
v
ino
k
_bound: convert to isl_
p
w
_qpolyno
m
ial once
commit
|
commitdiff
|
tree
2010-08-28
S
v
en V
e
rdool
a
ege
barvinok_bound:
use
i
sl
t
o spli
t
on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoo
l
a
e
ge
s
et sensible defa
u
lts with --
p
o
lynomia
l
-a
p
p
rox
i
mation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven V
e
rdoo
l
aege
isl_pw_qpol
y
nom
i
al_s
u
m:
reuse ba
r
vino
k
_options if ava
i
lable
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdoolaege
isl_map_c
a
rd: reuse bar
v
inok_options i
f
a
vailable
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdool
a
ege
update isl for alig
n
i
ng parameters of union argume
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaeg
e
is
c
c: add "join" operation
on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
i
scc: ad
d
"join" o
p
eration
on m
a
ps
a
n
d
fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
V
er
d
oolaege
iscc: sup
p
ort addition on a pair of a fold and a qu
a
s
ipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
upda
t
e
isl f
o
r
a
dding types to isl_
{
u
nion_,}pw_qpolynomial
_
f
olds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
Verdoolaege
allow codegen
on
s
ets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
o
l
aege
is
c
c: codegen: detect
s
trides
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoo
l
aege
iscc: use simpli
f
ie
d
CL
o
oG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
update isl for rename of
isl_pw_qpolynomial_fold_ad
d
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
Verdoolaege
iscc
.
c: union_pw
_
qpolynomial_upper_bound: fi
x
memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c: f
i
x typo in comm
e
nt
commit
|
commitdiff
|
tree
2010-08-17
Sv
e
n Verd
o
olaege
isl_
m
a
p_apply_pw_q
p
olynomial: fix ty
p
o
commit
|
commitdiff
|
tree
2010-08-10
Sven V
e
rdoo
l
aege
update isl from isl_union_map fixe
s
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
Ve
r
d
o
o
laege
iscc: a
l
l
o
w in
v
er
s
e on non-un
i
on maps ag
a
in
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
iscc: add wrap and un
w
rap
o
perations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add
i
sl_union_map_app
l
y_union_pw_qp
o
lyn
o
mial
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
isl
_
pw_qpolynomial
_
sum: handle
i
sl
_
pw_
q
poly
n
omia
l
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
up
d
ate isl for neste
d
dimension
specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
isl_
m
ap_card: postpo
n
e
shuff
l
in
g
a
round of d
i
mensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
u
pdate is
l
for isl_basic_map_move_d
i
m
s
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
e
rdoolaege
is
l
_pw_qpolynomial_sum:
push c
o
nve
r
sion to Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdoolaeg
e
isl_pw_qpoly
n
omial_sum: check
f
or unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n V
e
rdoo
l
a
ege
av
o
i
d use of isl_dim
internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
iscc:
support codegen operati
o
n if CLoo
G
i
s
available
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: switch
to us
i
ng
unions
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoola
e
g
e
a
dd isl_union_pw_qp
o
ly
n
omial_
s
u
m
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
add i
s
l_
u
nion_map
_
car
d
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdool
a
ege
isl_p
w
_qpoly
n
omial_sum: take tuple names
i
n
to account
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaeg
e
i
sl_m
a
p_
c
ard: pre
s
erv
e
full
d
omain di
m
e
nsion information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
update isl for change in
i
s
l_has
h
_tab
l
e
_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
barvinok_enumera
t
e
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
S
ven
V
erdoolae
g
e
doc: ad
d
some m
o
r
e
pa
p
er
s
r
e
fering to
th
e
library
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
oolaeg
e
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdo
o
laege
update isl to
version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
r
d
o
olaege
configure
.
in: properly add isl
f
lags and lib
s
to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
configure
.
i
n
: drop call to gl_
E
ARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoo
l
aege
genf
u
n
.
c
c
:
fix printf
f
o
r
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoo
l
a
ege
test
_
a
p
p
r
ox
.
c:
fi
x
pri
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
erdoolae
g
e
test_bound
.
c: fix prin
t
f format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
configure
.
in:
stop compil
i
ng Omega by de
f
ault
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaeg
e
verify_lexsm
a
ller
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n
Verdoolaeg
e
eval
u
e
.
c: avoid use of a
l
l
o
ca
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
ven Ve
r
d
o
olaege
iscc: reco
v
er fr
o
m e
r
rors
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
Ve
r
d
o
o
laege
update isl for improv
e
d error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
iscc
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc: iscc
:
up
d
ate document
a
t
ion o
f
"
ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
e
st_approx: include c
t
y
pe
.
h fo
r
isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_app
r
ox: include config
.
h for HAVE
_
SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
t
e
st_bou
n
d: include c
o
nfig
.
h for HAVE_SYS_TIM
E
S
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
scc:
a
dd
vertices operations
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
optionall
y
use isl
t
o perform p
a
rametric
v
ertex enumer
a
tion
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
aege
u
pda
t
e isl-polylib
fo
r
handling o
f
rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
d
r
op disti
n
cti
o
n between barv
i
nok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
upd
a
t
e isl for
g
eneric isl_pw_qp
o
lynomial
_
bo
u
nd
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdool
a
ege
configure
.
in
:
drop bv_omega
_
pr
o
grams
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdo
o
laege
add isl_
c
tx_peek_barvinok_optio
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sve
n
V
erdoolaeg
e
iscc: parse b
a
rvin
o
k options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
export isl_
q
pol
y
nomial_f
r
om_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
do
o
l
a
ege
Makefile
.
am: drop dependence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl for rename of isl
_
pw
_
qpoly
n
omial_move
commit
|
commitdiff
|
tree
next