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
Sven
V
e
r
doolaege
upda
t
e i
s
l for c
l
o
og
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sv
e
n Verdoo
l
aege
isl_obj_li
s
t
.
c: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-01
Sven Verdoo
l
aege
iscc
:
t
urn
on sh o
p
t
ion
w
h
en ca
l
l
in
g
CLo
o
G
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
evalue_isl
.
c:
av
o
id use
of
isl_div in
t
ernals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdool
a
eg
e
update isl for isl_di
v
_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n V
e
r
doo
l
aege
c
o
nfigure
.
ac: don't dep
e
nd on au
t
omake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
iscc: add schedule
a
nd schedule_bands operatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoo
l
aege
iscc
:
add
solutions
o
peration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
iscc: add coefficients
o
pera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verd
o
olaege
iscc: a
d
d li
f
t op
e
ratio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
isc
c
: perform
assignments ev
e
n
o
n
e
r
ror
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
i
scc: plug memor
y
l
e
ak o
n
e
rro
r
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-19
Sven Verdoolaege
use sile
n
t make rule
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoo
l
a
ege
b
a
rvinok 0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en
V
erdoolaege
iscc
.
c: fix typo w
h
ich would prevent
compilation in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdo
o
laege
update is
l
to
v
ersion 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
isl_pw_qpol
y
nomial_su
m
: han
d
l
e
ex
i
stentials in no
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
d
rop piplib submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
laege
sto
p
u
s
ing pip as LP solver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n V
e
r
d
oo
l
a
ege
doc: con
s
t
r
a
i
n
t
s
no
l
onger
n
eed to
be specified in DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Ver
d
ool
a
ege
is
c
c: parse lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
o
o
laeg
e
add isl_list_add_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
iscc: parse booleans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
isc
c
:
al
l
ow interrupti
o
n of c
o
mputa
t
ion
f
r
om th
e
keyboar
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sven Ver
d
o
olaege
avoid
u
se of is
l
_ctx i
n
ter
n
als
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ve
r
doolaeg
e
isl_obj_str: p
r
int
q
uo
t
es around string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdoolaege
iscc: keep track of
int
e
rmediat
e
results in inte
r
a
c
tive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
iscc: add pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
iscc: add
zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sve
n
Verdoolae
g
e
iscc:
a
dd deltas
_
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
a
ege
lexmin: assum
e
unkn
o
wns and
p
a
rameters are non-negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
ae
g
e
lexmin: use isl to read input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
rdo
o
l
aege
also p
e
rform lexmin
c
heck in ab
s
ence of GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaeg
e
pol
y
s
ign: a
d
d isl-backed ver
s
ion and us
e
it by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaeg
e
up
d
ate isl
-
polylib
f
or f
i
x in h
e
ader file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolae
g
e
update isl
f
o
r
c
ha
n
ge in isl_flow_get_no_sou
r
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdoo
l
aege
doc:
d
ocu
m
ent isl mod
u
l
o
n
otation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ve
n
Verdoolaege
Makefile
.
am: put NTL CFLAGS after isl
CF
L
AG
S
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
iscc: rea
d
_lin
e
:
f
i
x
retur
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven
V
erdoolaege
e
value_isl
.
c
:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
is
c
c: add operatio
n
s on
int objec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoolaege
upd
a
te isl f
o
r
i
ntroduction of i
n
t o
b
ject
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
erdo
o
laege
ad
d
isl_basic_set_card and
i
s
l
_basic
_
m
a
p_card
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
d
oc
u
m
ent
isl_u
n
ion_
s
et_a
p
ply_un
i
o
n
_pw_qpo
l
y
n
omi
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
re
m
ove polyhedron_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove polytope_min
i
mize application
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Polyhed
r
on_
S
a
m
ple
:
use isl unconditionall
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
remove com
b
i
ne
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoo
l
aege
b
u
ild libi
s
l and
l
ibpol
y
libgmp before libisl-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
d
oolaege
is
c
c: suppor
t
a
p
p
li
c
ation of
piecewise
quasip
o
l
ynomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
doc:
fix docume
n
tation of join o
f
ma
p
s a
n
d folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
a
d
d i
s
l
_
union_set_a
p
p
l
y_unio
n
_pw_
q
polynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
update isl for export of isl_
u
nion_map_from
_
ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
i
s
cc: add write operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven
Verdo
o
laege
isc
c
: opti
o
nally
d
isa
b
le read operati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdool
a
ege
doc: explain co
m
ma ope
r
ato
r
in a
set
desc
r
ipti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc: add
typeof operator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ve
r
do
o
la
e
ge
add isl_st
r
_
f
rom_
s
tring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Ver
d
oolaege
i
s
cc
.
c: u
s
e C99
d
esignated ini
t
i
al
i
zers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
i
scc:
m
inor improvement in erro
r
m
essage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
iscc: ad
d
d
o
main_map and range_map
o
p
eration
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
Verdoolaege
iscc: add
"domain" and
"
r
a
nge" synonyms for "d
o
m
"
a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven V
e
rdoolaeg
e
u
p
date isl to version 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sv
e
n V
e
rdoola
e
g
e
iscc: don't allow co
d
e generatio
n
on union
s
e
t
s
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sv
e
n Verdo
o
laege
upda
t
e is
l
to version 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven V
e
rdoolae
g
e
avoid use
o
f isl_set and isl_map internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven V
e
rdoolaege
s
e
parate out isl
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sv
e
n Ver
d
o
o
lae
g
e
con
f
igur
e
.
in: pr
o
pagate
ab
s
olut
e
isl builddir to submo
d
ule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven V
e
rdoolaege
update
isl f
o
r rename of hea
d
er f
i
l
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
evalu
e
_
floor
2
frac: don't a
s
su
m
e
c
oefficients of floor
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoo
l
aege
test_bou
n
d: sto
p
testing after predete
r
m
ined number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven
V
erdoolaege
barv
i
nok
_
b
o
un
d
: rewri
t
e i
n
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoolaege
barvinok_{summ
a
t
e
,
b
ound}: take isl in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
te
s
t_bound: s
w
itc
h
t
o
isl represe
n
ta
t
ion even ear
l
ier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verd
o
olaege
test_bound: sw
i
tch
to isl representation earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
iscc: add polynomial app
r
oximati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sv
e
n V
e
rdoolae
g
e
barvinok_summate: rewrite i
n
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Ve
r
doolae
g
e
barvinok_summate: use isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdo
o
laege
b
o
und
.
cc
:
drop dead co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven
V
e
rdoolaege
d
oc: mo
r
e
information
about using sets and maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sve
n
V
erd
o
olaege
doc: u
p
date
some references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
iscc:
add p
o
ly
ope
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoo
l
ae
g
e
iscc: add s
c
an operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaege
isl_
p
w_qpolynomial
_
su
m
:
h
andle existentials in
w
rapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
updat
e
isl for renaming o
f
isl_map_re
m
ove
commit
|
commitdiff
|
tree
2010-10-20
Sven Ver
d
o
o
laege
version
.
c: show
u
se of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
doolaege
doc: a
bit more
info o
n
iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaege
iscc: add be
f
o
r
e and after o
p
erations
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
o
o
laege
isc
c
: add
i
de
n
t
ity op
e
ration
commit
|
commitdiff
|
tree
2010-10-18
S
v
en V
e
rdoolaege
i
s
cc: break out o
f
f main loop when printe
r
n
o
longe
r
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdo
o
laeg
e
iscc: s
u
pport
e
x
tended
PolyLib output format
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erd
o
olaeg
e
c
o
nfigu
r
e
.
in: perform
check for GMP support
in
N
T
L
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaege
isl_Poly
h
edron_Sample
:
add
missing in
i
tializatio
n
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
e
rdoolaeg
e
i
s
c
c
: add c
o
mp
o
sition o
p
eration on piecewise quasip
o
lyn
o
mia
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
ge
iscc: add depend
e
n
c
e anal
y
sis operations
commit
|
commitdiff
|
tree
2010-10-11
S
v
en
Verdool
a
ege
i
s
cc: regis
t
er
extra
k
e
y
wo
r
d
s in gene
r
ic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaeg
e
use is
l
to perform
"
manua
l
_co
u
nt"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
allow bui
l
ding without
p
iplib
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n
V
erdoolaege
Poly
h
edron_Reduced_
B
asis:
o
ptio
n
ally u
s
e isl
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdool
a
ege
f
ix
dependence on
build isl
commit
|
commitdiff
|
tree
next