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 isl for cloog
2011-06-10
Sv
e
n
Verdoolaege
upd
a
te isl fo
r
cloog
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Ver
d
oo
l
aege
isl_obj_list
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-01
Sven Verdo
o
laege
iscc: turn
o
n sh option wh
e
n calling CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verd
o
olaege
evalue_isl
.
c: av
o
i
d use of isl_div internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
update is
l
for isl
_
div
_
get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
con
f
igure
.
ac: don't depend on
a
utomake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
er
d
ool
a
ege
iscc: add
sched
u
le and schedule_bands
o
perations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
iscc: ad
d
solutions operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Ve
r
d
ool
a
ege
iscc: add coefficients oper
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
iscc: add li
f
t oper
a
tio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdo
o
l
aege
isc
c
: p
e
rform assignments
e
ven on
e
r
ror
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
Ve
r
doolaege
iscc: plug memo
r
y le
a
k on error p
a
th
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-19
Sven Verdoolaeg
e
use
s
ilent make ru
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
la
e
ge
barv
i
n
o
k 0
.
3
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
scc
.
c: fix typo
w
h
ich would preve
n
t
c
ompilatio
n
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
upd
a
te isl to
v
ers
i
on
0
.
0
6
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
Verdoolaege
isl_pw_qpolynomial
_
s
u
m: handle existentials
in n
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
d
r
o
p
piplib submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
r
doolaege
stop u
s
ing pip as LP solver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
doc: con
s
traints no
l
o
n
g
e
r need to be spe
c
ified
i
n
DNF
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Ve
r
doolaege
i
s
c
c:
parse lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoo
l
aege
add
i
sl_list_add_obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc: pa
r
se boole
a
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Ve
r
doo
l
a
e
ge
i
s
c
c: allo
w
int
e
rruption of computation
from the ke
y
b
o
ard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
Sven
Verdoolaege
avoid use of
isl_ctx inte
r
nals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
ve
n
Verdoolaege
isl_obj
_
str: print quo
t
es
around stri
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
la
e
g
e
i
s
cc: keep track o
f
intermediate results
i
n interactive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Ve
r
do
o
laeg
e
iscc: a
d
d
pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ven
Verdo
o
lae
g
e
is
c
c: add zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
S
ven Verd
o
o
l
aege
isc
c
: add deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdo
o
l
aege
lexm
i
n: assume un
k
now
n
s and paramete
r
s
a
re non-ne
g
ativ
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
lexmin: use isl to rea
d
inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
also perform lexmin
ch
e
ck
i
n a
b
sence
o
f GLPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Ve
r
do
o
laege
po
l
ysig
n
: a
d
d isl-backed versio
n
a
nd use it by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoo
l
aege
u
p
date
isl-poly
l
i
b
f
or fix in header f
i
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
u
p
date i
s
l for change in isl_flow_get_no_sou
r
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sv
e
n
Ver
d
o
olaege
doc:
document isl modulo notation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n
Ver
d
o
ola
e
ge
isc
c
:
read_lin
e
:
fix ret
u
rn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
evalue_isl
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
iscc: a
d
d oper
a
tio
n
s
on
i
n
t object
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Ver
d
oolaege
u
pdate
i
s
l f
o
r introduction of
int
o
bjects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en
V
erdoolaege
a
d
d
isl_basic_set_card and
i
sl_ba
s
ic_
m
ap_card
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
d
ocument
i
sl_union_set_apply_union_pw_qpolyn
o
mial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
r
e
mov
e
polyhedro
n
_ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n
Ver
d
oolaege
r
emove polytop
e
_min
i
miz
e
applic
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
la
e
ge
P
olyhedron_Sa
m
ple: use isl unconditionally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
er
d
oolaege
remove combine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
build libisl and libpoly
l
ibgmp bef
o
r
e
libisl-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
iscc: sup
p
ort application of piecewise quasipolyno
m
ial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
doc: fix documen
t
a
tion of join of ma
p
s and fol
d
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
add isl_union_s
e
t_apply_union_pw_qpo
l
yn
o
mia
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Ve
r
doolaege
up
d
ate isl
fo
r
exp
o
rt of isl_union_map_fro
m
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
i
s
c
c: add
w
rite ope
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
V
e
rdo
o
laege
iscc: optionally disable rea
d
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven
V
erdoolaege
doc: expl
a
in com
m
a operator in a se
t
d
escrip
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc: add type
o
f
o
pera
t
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verd
o
olaege
add
isl_str_from_string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verd
o
olaege
iscc
.
c
: use C99 des
i
gna
t
ed initia
l
izers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en
V
erdoolae
g
e
iscc:
minor
i
m
proveme
n
t i
n
error message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n Verdoolaege
i
scc: add doma
i
n_map and range_
m
ap o
p
erati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
Verdool
a
ege
iscc: add "domain
"
an
d
"range" sy
n
onyms
for "dom" and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
e
r
doolaege
u
p
d
a
te
i
s
l to
version 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdool
a
ege
iscc: don'
t
al
l
ow code generation o
n
union s
e
ts
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sv
e
n Verdoolaege
update isl
t
o version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sve
n
Ver
d
oolaege
a
v
oid use
of
isl_set
and isl
_
map
i
n
t
ernals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaege
separate out i
s
l
i
nter
f
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaege
configure
.
in: propagate absolute isl build
d
ir to
s
ubmodule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sv
e
n Verdool
a
ege
update i
s
l
f
o
r rename of head
e
r fi
l
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
olaege
e
value_floor2frac: don't assume coefficient
s
o
f
floo
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoolaege
tes
t
_b
o
und:
s
top testing aft
e
r
pr
e
determ
i
ned
number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
b
a
rvinok
_
bound: re
w
rit
e
in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
olae
g
e
barvin
o
k
_
{
s
ummate,bound}: take isl input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdo
o
l
a
ege
test_bound: switch to isl representati
o
n even earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
test_
b
ound: switch
to
i
s
l
representation earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doo
l
a
eg
e
iscc: add
p
oly
n
omial app
r
ox
i
mations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolae
g
e
barv
i
nok
_
summate: rewrite
i
n
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sve
n
Verdoolaege
barvinok_summ
a
te: use isl inte
r
f
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven
V
erdo
o
laege
bound
.
cc: drop dead c
o
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sv
e
n Verdoo
l
aege
doc: more i
n
formation about using sets a
n
d maps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
S
v
e
n Verdoolaege
doc: update some r
e
ferences
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaeg
e
is
c
c: add poly operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
S
ven Ver
d
o
o
l
a
ege
iscc: a
d
d
s
can o
p
era
t
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sv
e
n Ver
d
oolaege
isl_pw_qpolynomial_sum: handl
e
existentials in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sve
n
Ver
d
o
ola
e
ge
update
i
sl f
o
r renami
n
g of isl_map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven
V
erdoolae
g
e
v
ersion
.
c: show use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
S
v
en
Ve
r
doolaege
doc:
a b
i
t more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
laege
iscc:
a
dd before and afte
r
ope
r
ations
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdool
a
ege
iscc: add ide
n
tity
operation
commit
|
commitdiff
|
tree
2010-10-18
S
v
e
n
Verdool
a
e
g
e
iscc: break out off main lo
o
p w
h
en printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
S
v
en V
e
rd
o
olaege
iscc: support extended Poly
L
ib out
p
ut format
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdoolae
g
e
configure
.
i
n
: perform
check f
o
r
GMP suppor
t
in NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
V
e
rdoolaege
i
s
cc: add
composition o
p
erat
i
on on piecewise quasipo
l
ynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoolaege
iscc: add depende
n
ce analy
s
is opera
t
ions
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
eg
e
iscc: register extra
k
eyword
s
in generic way
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
V
e
r
doolaege
u
s
e isl to p
e
rform
"
manu
a
l_count"
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
allo
w
building
with
o
ut piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
ge
Po
l
y
h
edron_Reduced_Basis: optiona
l
ly
use isl
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Ve
r
doolae
g
e
fi
x
dependenc
e
o
n
bu
i
ld is
l
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoolaege
i
s
l_
m
ap_card: u
s
e isl
for factorizatio
n
commit
|
commitdiff
|
tree
2010-09-14
Sven Verd
o
o
laege
isl_
m
ap_card: spli
t
di
m
ension
f
iddling fr
o
m conversion
.
.
.
commit
|
commitdiff
|
tree
next
