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
iscc: add schedule and schedule_bands operations
2011-04-21
Sven
Ver
d
oolaege
i
s
cc: ad
d
schedule and
sc
h
edule_b
a
nds ope
r
ati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
iscc: add solutions op
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
iscc: ad
d
coef
f
i
c
ien
t
s op
e
r
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laeg
e
iscc: add lift
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
i
s
cc: perform assi
g
n
m
ents even
on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
isc
c
: plu
g
memory leak on
error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-19
Sven Verdoolaege
use silent make rules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
laege
barvinok 0
.
33
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
V
erdoo
l
a
ege
i
s
cc
.
c
:
f
ix typo
w
hich would prevent compi
l
a
t
i
on in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Ver
d
oolaege
update i
s
l to versio
n
0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
r
d
oo
l
aege
isl_pw_
q
p
o
ly
n
om
i
a
l_sum: handle
exis
t
entia
l
s in non
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaege
drop pipli
b
sub
m
odule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Ver
d
oolaege
stop using p
i
p a
s
L
P
so
l
ver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
d
o
c
:
co
n
straints no longer n
e
ed
to
b
e spe
c
ified in DNF
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaeg
e
iscc: parse lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
add isl_list_add_obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven
V
erdoolaege
i
s
cc:
par
s
e booleans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
is
c
c: allow interruption of computation from the keyb
o
ard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
Sven
Verdoolaege
a
void use of isl_ctx internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven V
e
rdoolaege
isl_obj
_
s
tr: print quotes ar
o
und string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ven V
e
rd
o
olaege
iscc: keep
t
rack o
f
intermediate re
s
u
l
t
s in
i
n
terac
t
i
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
laege
i
scc: add po
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erd
o
olaege
iscc: add zi
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
Sve
n
Ver
d
o
o
lae
g
e
i
scc: add de
l
tas_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
lexmin: as
s
ume u
n
known
s
and p
a
rameters
are non-negative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdool
a
ege
lex
m
in: use isl to read
i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
also pe
r
form lexmin check in absence of GLPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
r
d
oolaege
p
o
lysig
n
: add
i
sl-backed version
and use it by def
a
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en
Verdoola
e
ge
update
i
sl
-
po
l
ylib for fix in head
e
r file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
u
p
dat
e
is
l
for
c
h
ange in isl_flow_get_no_source
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sven
V
erdo
o
l
a
ege
do
c
: d
o
cument i
s
l m
o
dulo not
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
iscc: read_line: fix return
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
e
v
al
u
e_
i
sl
.
c:
f
i
x typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
ol
a
ege
iscc: a
d
d operations
o
n i
n
t
o
b
jects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
update i
s
l for i
n
tr
o
d
ucti
o
n of int
o
bj
e
cts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
add
i
sl_basi
c
_se
t
_car
d
and
i
sl_basic_
m
ap_card
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
d
o
cument isl_u
n
ion_set_apply_union_
p
w_qpolyn
o
mial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaeg
e
r
emove polyhedron_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Ve
r
doolaege
remove
p
olytope_minimi
z
e
a
pplic
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Ver
d
ool
a
ege
Polyh
e
dron_Sam
p
le: use isl unconditionally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verd
o
olaege
remo
v
e
c
ombi
n
e
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
b
u
i
ld libisl and libpolylibgmp before
l
ibisl-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc: suppo
r
t
application of piecewise quasipolynomial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
doc: fix documen
t
ation of join of m
a
ps and folds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n
Verdoolaege
add isl_un
i
on
_
set_apply_union_
p
w_q
p
olyn
o
mia
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
Verdoolaege
update
i
sl for
export of
isl_union_map_fr
o
m_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc: add wr
i
te operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc: o
p
tionally disa
b
le rea
d
operatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven Ver
d
oolaege
doc:
ex
p
l
a
in comma operator in a set description
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
oolaege
iscc: add typeof operator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ve
r
dool
a
ege
add isl_str_from_string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaeg
e
iscc
.
c: us
e
C99 des
i
g
n
ated initializers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdool
a
ege
iscc: minor
improvement in er
r
or message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
iscc: add domain_map
an
d
range_ma
p
operat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n Verdo
o
la
e
ge
iscc: add "dom
a
in"
a
nd "ra
n
ge" sy
n
onym
s
for "dom
"
a
nd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verd
o
olaege
update isl to ver
s
ion 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
ven Verdoolaege
iscc: d
o
n't allow code generation on union sets of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolaege
u
p
date isl
t
o
version 0
.
0
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sv
e
n
Verdoolaege
avoid
u
se
of is
l
_set
a
nd isl_ma
p
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaege
sepa
r
ate
o
ut
isl interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven
Verdoolaege
configure
.
in: propag
a
te absolute isl
b
uilddir to su
b
module
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
S
ve
n
Verdoola
e
ge
u
p
date isl for rename
o
f
header
f
iles
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
ge
evalue_floor2frac: don't assume coeffici
e
nt
s
of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
ege
test_bound: stop testing after predete
r
m
i
ned n
u
mber
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
barvi
n
o
k
_bound
:
rewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolaege
barvi
n
ok
_
{summate,bound}: take isl
inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
test_bound: s
w
itch to isl representat
i
on even earl
i
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oolaege
tes
t
_
bound: sw
i
t
c
h to
i
sl
representation earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
Verdoolaege
is
c
c: a
d
d
p
o
lynomial ap
p
r
o
x
i
mation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sv
e
n Verdoolaege
bar
v
inok_su
m
mate: re
w
rite in
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sve
n
V
erdoo
l
a
e
ge
b
a
r
vinok_su
m
m
ate: use is
l
inte
r
face
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sve
n
Verdoo
l
ae
g
e
bound
.
cc: d
r
op dead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaege
doc: more informat
i
on about using
s
ets and m
a
ps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sve
n
Ver
d
oolaege
doc:
u
pdate som
e
ref
e
ren
c
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Ver
d
oolaege
iscc:
add poly o
p
eration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sve
n
Verdoolae
g
e
iscc: add
sc
a
n opera
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sve
n
Verdoolaeg
e
isl_pw_qpolyn
o
mial_su
m
:
h
andle
e
xistentials in w
r
apped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven
V
erdoolaege
up
d
ate isl
f
or renaming
o
f is
l
_map_rem
o
v
e
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoola
e
ge
version
.
c: show use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
olaege
doc: a b
i
t mor
e
info on
i
scc
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdoolaege
i
scc: add b
e
fore and
after opera
t
ions
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
V
e
rdoolaege
iscc: add
identity operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
aege
i
scc:
b
reak out off main
l
o
op when printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verd
o
o
laege
iscc
:
support extended
P
olyL
i
b output form
a
t
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
e
r
doolaege
conf
i
gure
.
i
n
: perform check for GMP
support in NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
d
o
olaege
iscc: add composition operation
on p
i
ecew
i
se quasipoly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olae
g
e
iscc: add dependence analysis operations
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isc
c
:
r
egist
e
r extra k
e
yword
s
in
gen
e
r
ic
way
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n
V
e
r
d
o
olaege
use
i
s
l to perform "manua
l
_c
o
unt"
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolae
g
e
allo
w
b
uilding
without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
Polyhedron_
R
educed_Ba
s
i
s: optionally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaege
fix de
p
endence on build is
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
d
o
o
laeg
e
i
sl
_
map_ca
r
d: use isl for factorization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl_map_card:
sp
l
it dimen
s
i
o
n fidd
l
ing from co
n
vers
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Ver
d
oolaege
i
sl_map_
c
ard:
u
se isl_pw_
q
polynomial_sum if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
ven Verdoolaege
barvin
o
k
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
u
p
d
ate i
s
l for fix i
n
p
arameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verd
o
olae
g
e
barvinok
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
e
rdoolaege
i
scc: add le
x
icographic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verd
o
olae
g
e
update isl to version 0
.
04
commit
|
commitdiff
|
tree
next