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
update pet for support for recent clangs
2011-01-12
S
ven Verd
o
o
laeg
e
ad
d
isl_str_from_str
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoo
l
a
e
ge
iscc
.
c: use
C
9
9
de
s
ignat
e
d initializers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdool
a
eg
e
iscc: minor im
p
rovement
i
n
error mes
s
age
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
ve
n
Verdoola
e
ge
iscc: add dom
a
i
n_map and range_map opera
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n Verdoolaege
iscc: add "doma
i
n
"
a
nd "range"
syno
n
yms for "dom" a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
v
en Ve
r
doolaege
update i
s
l t
o
ve
r
sion 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
v
en Verdoolaege
i
scc: don
'
t
allow c
o
de generati
o
n
o
n uni
o
n
s
ets of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
S
v
e
n Verdoolaege
upd
a
te i
s
l
to version 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sve
n
Verdoolaege
a
v
o
i
d use of isl_set and i
s
l_map inte
r
n
a
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Ve
r
doola
e
ge
se
p
ar
a
te out isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sve
n
Verdoolaege
configure
.
in: prop
a
gate
absolute isl buildd
i
r to submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sve
n
Verdoolaege
u
p
date isl f
o
r rename of header files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
e
va
l
ue_floor2f
r
a
c
:
don't assume coefficients of
f
loors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
olaege
test_
b
ound: stop
t
e
s
ting
a
fter predetermined number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
barvinok_bound
:
rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
ege
barvinok_{summate,bound}: take is
l
inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ve
n
V
e
rdoolaege
t
e
st_bound: switch to
isl
r
epresentation
eve
n
earli
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaeg
e
t
e
st_bound:
sw
i
tch to isl representation ea
r
l
ier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
ege
i
s
cc: ad
d
poly
n
o
mial ap
p
roximations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaeg
e
ba
r
vinok_summate: rew
r
i
t
e
in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdool
a
ege
barvinok_summate: use isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdoolaege
bou
n
d
.
cc:
d
ro
p
dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verd
o
o
l
aege
doc: more
in
f
ormati
o
n a
b
out us
i
ng sets
a
n
d m
a
ps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
S
ven Verdoolaeg
e
doc: upd
a
te some re
f
eren
c
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
S
ven
Verdoolaege
is
c
c: add poly oper
a
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven V
e
rdoolaege
iscc: add scan ope
r
a
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Ver
d
ool
a
ege
i
sl_pw
_
qpolyn
o
mial_
s
um: han
d
l
e
existentials in
w
rapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sv
e
n
Verd
o
olaege
update
i
sl for renami
n
g of isl_ma
p
_remove
commit
|
commitdiff
|
tree
2010-10-20
S
v
en Verdoolaege
v
ersion
.
c: show use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
d
o
c: a
b
it more inf
o
on is
c
c
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Ver
d
oolaege
iscc
:
add b
e
fo
r
e an
d
after
operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
olaege
i
s
c
c
:
add
i
d
e
ntity operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
i
s
cc: brea
k
out off
main loop when printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Ve
r
doola
e
ge
iscc: su
p
port extended P
o
lyLi
b
outp
u
t fo
r
mat
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Verd
o
olaege
configu
r
e
.
in: perform check
f
or GM
P
s
u
ppor
t
in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n Verdoolaege
i
s
l
_P
o
l
y
hedron_Samp
l
e:
add mi
s
sing initial
i
z
a
tion
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaeg
e
iscc: add composition operation on
piece
w
is
e
quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
i
scc: ad
d
dependence anal
y
sis
o
perations
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaege
iscc: register ext
r
a keywords i
n
generic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
u
s
e isl to perfor
m
"
manual
_
c
o
unt"
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoo
l
aege
allow bu
i
lding without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven
Ver
d
oolaeg
e
Polyhed
r
on_Reduced_
B
asis
:
option
a
lly
u
s
e isl
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolae
g
e
fix de
p
endence on build isl
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
V
e
rdoolaege
isl_map
_
card:
u
se is
l
for factorization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
i
s
l
_map_
c
ard: split
dimension fid
d
ling from conv
e
rsio
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
ven Verdoolae
g
e
isl_map
_
card: us
e
i
s
l
_
pw_qpol
y
nomial_s
u
m if requ
e
sted
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n
V
erdoolae
g
e
bar
v
inok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
S
ven Verdoolaege
update is
l
fo
r
fix i
n
p
arameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n Verdoolaeg
e
ba
r
vin
o
k 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdool
a
ege
iscc
:
add lexico
g
raphic operat
o
r
s
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
upd
a
te isl t
o
version 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
Sv
e
n Verdoolaege
isc
c
:
a
dd "source" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoo
l
aege
iscc:
a
dd suppor
t
f
o
r
s
t
rings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: print error mess
a
g
e
o
n
u
s
e
of
u
n
known identifier
commit
|
commitdiff
|
tree
2010-09-06
S
v
en V
e
rd
o
olaege
iscc: s
u
pport union
se
t
s in v
e
r
tices
operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdo
o
laege
add isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n
V
erd
o
o
laege
barvinok_bound: us
e
isl
t
o split per
i
ods
commit
|
commitdiff
|
tree
2010-09-05
Sven
Verdo
o
laege
update isl
f
or is
l
_pw_q
p
olynomi
a
l_split_
p
e
r
iods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
doc: ma
r
k
PolyLib interface
ob
s
olescent
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdoolaeg
e
Makefil
e
.
am: drop r
e
fere
n
ces to ob
s
o
l
ete
@
bv_b
a
rvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalue_convert
.
c
c: ev
a
l
u
e_print_isl: p
r
i
nt end-of-l
i
ne
commit
|
commitdiff
|
tree
2010-08-30
Sven Verd
o
olaege
iscc: allow c
o
ercion
o
f
binary list
int
o
first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
b
a
rvi
n
ok_bo
u
nd: co
n
vert to isl_pw_qpoly
n
om
i
al onc
e
commit
|
commitdiff
|
tree
2010-08-28
Sve
n
Ve
r
doolaege
barvinok_bou
n
d
:
u
s
e is
l
to split on do
m
ain size
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdool
a
ege
set sensible defaul
t
s wit
h
--polynomial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
r
d
oolaege
isl_p
w
_q
p
olyno
m
i
a
l_
s
um: re
u
se barvino
k
_o
p
tions if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven
Verdoolaege
isl_m
a
p
_ca
r
d: reuse barvi
n
ok_options
if
a
vail
a
b
le in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
V
e
rdoola
e
ge
up
d
a
te i
s
l for
aligning p
a
r
ameters
o
f union
a
rgume
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
iscc: add
"join" opera
t
i
o
n
on folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdo
o
laeg
e
iscc
:
add "j
o
in" operation on maps a
n
d
folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Verd
o
olaege
iscc: support additio
n
on a pair of a fold and a quasipoly
n
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
o
olaege
update isl
fo
r
adding ty
p
es to
i
s
l_{union_,}pw_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Ve
r
d
o
o
laege
all
o
w code
g
en on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
isc
c
: codegen
:
detect
s
trides
commit
|
commitdiff
|
tree
2010-08-18
Sven
Ve
r
d
o
ola
e
g
e
isc
c
:
us
e
s
i
m
plif
i
ed CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
r
d
o
olaege
upda
t
e
isl for renam
e
of isl_pw_qpolyn
o
mial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
.
c: uni
o
n_p
w
_qpolynomial
_
u
p
per_bound: f
i
x memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
s
u
mmate
.
c: fix typ
o
in c
o
mment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verd
o
olae
g
e
isl_map_apply_pw_qpolynom
i
al: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n Verdoolae
g
e
upda
t
e
isl from isl_un
i
on_map fixes
commit
|
commitdiff
|
tree
2010-08-10
S
ve
n
V
e
r
doolaege
iscc: allow
i
n
verse on non-union m
a
ps again
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdool
a
ege
is
c
c:
add wrap
an
d
unwrap ope
r
a
t
ion
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add
isl_union_map_a
p
ply_u
n
ion_pw_qpo
l
y
n
omial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
a
ege
isl_pw_qpo
l
ynomial_sum: handl
e
isl_pw_q
p
o
l
ynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdo
o
laege
update
i
s
l for nested
dimensi
o
n spe
c
ific
a
tion
s
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoola
e
ge
isl_map_
c
ard: pos
t
pone s
h
uffling around of d
i
me
n
sions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update i
s
l
for isl_basic_ma
p
_
m
o
v
e
_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw_
q
p
o
l
y
nomial_
s
um: push co
n
version to
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdoolaege
isl_
p
w_qpolynomial_sum: check fo
r
u
n
b
o
unded dom
a
ins
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verd
o
o
l
aege
av
o
i
d use of isl
_
dim i
n
terna
l
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
is
c
c: suppor
t
codegen ope
r
ation if CLooG is
a
v
a
ilable
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
iscc: swit
c
h to usi
n
g un
i
o
ns
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
l
aege
add isl_union_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
add
i
s
l
_u
n
i
on_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
o
o
laege
i
sl_
p
w_qpolynomial_sum: ta
k
e tup
l
e na
m
es i
n
to account
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
isl_map_card: preserve full domain dimension information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
upda
t
e isl
for change i
n
isl_has
h
_table_fo
r
each
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
bar
v
inok_enumera
t
e
.
cc: fix p
r
intf
f
or
m
at
commit
|
commitdiff
|
tree
2010-07-03
Sve
n
V
erdoolaege
doc: add some more
papers refering t
o
t
h
e
l
ibrary
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
barvinok
0
.
3
1
commit
|
commitdiff
|
tree
next