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
add some iscc tests
2011-02-05
Sven Verdoolaege
poly
s
ig
n
: add isl-bac
k
e
d version and u
s
e it by
d
e
faul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Ver
d
oolaege
update isl-polyli
b
for fix in header
f
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rd
o
olaege
up
d
a
t
e
is
l
for change in i
s
l
_
flow_
g
et_no_sourc
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
S
v
en
Verdo
o
laege
do
c
: document is
l
modulo n
o
tation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
M
akef
i
le
.
am: put
NTL CFLAGS after
i
s
l
CF
L
AGS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
iscc:
r
ea
d
_
l
ine: fix return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoo
l
aege
evalue_isl
.
c: fix
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
iscc: add ope
r
a
tions on int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
u
p
date i
s
l
f
or introd
u
ction of
i
n
t objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sv
e
n Verdoolaege
add isl_basic_
s
et
_
car
d
and
isl_basic_ma
p
_
c
ard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
document isl_union_set_a
p
p
l
y_un
i
on_
p
w_qpol
y
n
omial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Ve
r
doolaege
remove pol
y
hedr
o
n_
r
a
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erd
o
ol
a
ege
remove p
o
lyto
p
e_m
i
nimiz
e
app
l
icat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
Polyhe
d
r
on_S
a
mple:
use isl unc
o
n
d
itionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
re
m
ov
e
combine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoola
e
ge
build libisl
a
nd
li
b
po
l
yl
i
bgmp bef
o
re libisl-polyli
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Ver
d
o
o
laege
iscc: suppo
r
t application of
pi
e
cewise
qu
a
sipolynomia
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
doc: fix docum
e
n
tation of join of ma
p
s
a
nd folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
g
e
add isl_union_set
_
apply_u
n
ion_pw_qpoly
n
omi
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolae
g
e
upda
t
e isl
f
or ex
p
ort of isl
_
u
nion_ma
p
_
f
rom_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdo
o
lae
g
e
iscc: ad
d
write op
e
r
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
isc
c
:
op
t
ional
l
y d
i
sab
l
e read
o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
S
ven Ve
r
doolaege
do
c
:
ex
p
lain comma operator
i
n
a
set de
s
c
ription
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoola
e
ge
iscc: add type
o
f
o
pe
r
ator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
erdoolaege
add
i
sl_str_from_stri
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
e
r
d
oolaege
iscc
.
c: use
C
99 d
e
signated initializers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ve
r
doolaege
i
s
cc: mino
r
i
mp
r
o
v
ement in error me
s
sage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdo
o
laege
iscc: ad
d
do
m
ain_
m
ap and range_ma
p
operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven
Verdool
a
ege
iscc: a
d
d "doma
i
n
"
an
d
"
r
an
g
e"
syn
o
nyms for "dom
"
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
ven Verdoo
l
a
e
ge
upd
a
te
i
sl to v
e
rs
i
on 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolae
g
e
i
s
c
c: d
o
n't allow code generation on union sets
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sv
e
n Verdoolaege
u
pdate is
l
to
v
e
rsion 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sve
n
Verdoolaege
a
v
oid u
s
e
of isl_se
t
and isl
_
map in
t
e
rnals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sve
n
Verd
o
olaege
se
p
ara
t
e out
i
s
l int
e
r
face
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
S
v
en Verdoolaege
configure
.
in: propag
a
te absolute
isl buil
d
d
ir
t
o su
b
module
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Ver
d
oola
e
ge
u
pda
t
e isl for re
n
ame
o
f header files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolaege
ev
a
lue_floor2fra
c
: don
'
t
a
ss
u
me coefficients
o
f f
l
oors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven
Verdoolaeg
e
t
e
st_bound: stop testi
n
g after pred
e
ter
m
ined
num
b
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
ge
barvinok_bound: rewrite
in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
Verdoolaege
barvi
n
ok_{s
u
mmate,bound}
:
t
a
ke isl
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en
V
e
r
doolaege
te
s
t
_bo
u
n
d: switch
t
o isl representation
e
ven earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaeg
e
t
e
st_bound: switch to isl representation ea
r
lie
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
V
erdoolaege
iscc: add polynomial
app
r
oxim
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
ven
Verdo
o
laege
barv
i
nok_s
u
mm
a
te:
rewri
t
e
i
n C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolae
g
e
barvino
k
_summat
e
: use isl int
e
rface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdoolaege
b
oun
d
.
cc: d
r
o
p dea
d
code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
S
ve
n
Verdoo
l
aeg
e
do
c
:
m
ore in
f
ormation about using se
t
s
and maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Ve
r
doo
l
aeg
e
d
oc
:
u
pdate some references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sv
e
n Verdoolaege
iscc:
a
dd poly opera
t
io
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoolaege
iscc: add scan o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven V
e
rdoolae
g
e
i
s
l_pw_q
p
ol
y
no
m
ial_
s
um: handle exis
t
entials in
w
rapp
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven V
e
rdoolaege
up
d
ate isl f
o
r
r
enamin
g
of isl_map_rem
o
ve
commit
|
commitdiff
|
tree
2010-10-20
S
v
en Ver
d
oolaege
version
.
c: show use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdoolaege
d
oc: a bit m
o
re
i
n
f
o on iscc
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdoolaege
iscc:
a
d
d before and a
f
ter operations
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Ver
d
o
o
laege
isc
c
: add identity op
e
ration
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
do
o
laege
iscc:
break out o
f
f main loop when pr
i
nter no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Verdoolaege
iscc:
s
upport extended Poly
L
ib outpu
t
format
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdoolaeg
e
configure
.
i
n: p
e
rform check
for GMP support i
n
NT
L
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
isl_Polyh
e
dron_Samp
l
e: add m
i
ssing initi
a
liza
t
ion
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoo
l
aege
iscc
:
add composition operation on piecew
i
se quasipolynomia
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oo
l
a
ege
iscc: add de
p
endence
ana
l
ysis operations
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n
Verdoolae
g
e
iscc: register extra keywords in generic way
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verd
o
ol
a
e
g
e
use isl t
o
perform "manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
ege
allow building without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoo
l
aege
P
o
l
yhedron_Reduced_Basis: optionally use
i
sl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
fix
dep
e
ndence on build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
eg
e
i
s
l_map_card: use
i
s
l for
factorizat
i
on
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl_map_card: split dimensi
o
n fid
d
ling from con
v
ersion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
ven Verdoolaeg
e
isl_ma
p
_card: use isl_p
w
_qpolyno
m
ia
l
_sum
i
f reque
s
t
ed
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaeg
e
barvinok 0
.
3
2
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven
Verdoola
e
g
e
u
pdate isl
f
or fix in parameter alignm
e
n
t
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n Verdoolae
g
e
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n
V
e
r
d
oolaege
i
s
cc: add lexic
o
graphic o
p
erators
commit
|
commitdiff
|
tree
2010-09-10
Sven Ve
r
do
o
laege
upda
t
e isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verd
o
olaege
i
scc: add "so
u
r
ce" op
e
r
a
tion
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolaege
iscc: add support for
s
t
ring
s
commit
|
commitdiff
|
tree
2010-09-06
Sven Verd
o
olaege
i
s
c
c
: print e
r
ror mes
s
a
g
e
on use of u
n
known
i
dentifie
r
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc:
s
uppor
t
union sets in vertices oper
a
tion
commit
|
commitdiff
|
tree
2010-09-06
Sven Verd
o
olaege
add isl_list_co
n
cat
commit
|
commitdiff
|
tree
2010-09-05
Sven
Verdo
o
laege
b
a
rv
i
no
k
_boun
d
: use isl to split periods
commit
|
commitdiff
|
tree
2010-09-05
Sven V
e
rdoolaege
update isl for
is
l
_pw
_
qpoly
n
omia
l
_split_periods
commit
|
commitdiff
|
tree
2010-08-31
S
ven
Verdoolaege
doc: mark PolyLib interfa
c
e obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdool
a
ege
M
a
kef
i
le
.
am: drop referen
c
e
s
t
o
ob
s
olete @bv_barvi
n
ok_
b
ound
@
commit
|
commitdiff
|
tree
2010-08-31
S
ven Ver
d
oo
l
aege
evalu
e
_convert
.
cc:
evalue
_
p
rint_isl
:
prin
t
en
d
-o
f
-
l
ine
commit
|
commitdiff
|
tree
2010-08-30
Sven
V
erdo
o
lae
g
e
isc
c
: a
l
low coe
r
cion of bina
r
y
l
ist i
n
to first el
e
ment
commit
|
commitdiff
|
tree
2010-08-28
S
ve
n
Ve
r
doolae
g
e
barvin
o
k_
b
ound: convert to isl_pw_qpoly
n
omial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoo
l
aege
ba
r
vinok_bound:
u
s
e
isl to split on
d
omai
n
siz
e
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdool
a
ege
s
e
t sensi
b
l
e de
f
a
ults with --po
l
ynomial-
a
pproximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en
V
er
d
oo
l
a
e
g
e
isl_pw_qpolynomial_
s
u
m: reuse barvinok_options if a
v
ailab
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verd
o
olaege
isl_ma
p
_ca
r
d: reuse b
a
rvinok
_
options i
f
available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoolaege
update isl
f
o
r
a
l
igning parameters of un
i
on arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "join"
operation on fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
o
olaege
iscc: add "join" operat
i
on on maps a
n
d folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: support ad
d
ition on
a
pair of a fol
d
and a quasipol
y
no
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven
Verdoolaege
upda
t
e isl for addin
g
types to isl_{union_,}pw_q
p
olynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
a
l
low codeg
e
n on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaeg
e
iscc: co
d
eg
e
n: detect stride
s
commit
|
commitdiff
|
tree
2010-08-18
S
ve
n
Verdoolaege
iscc: us
e
simp
l
ified CLooG inte
r
f
ace
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoola
e
ge
u
pdate
isl for rename of isl_
p
w_qpo
l
ynomi
a
l_
f
old_ad
d
commit
|
commitdiff
|
tree
next