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
barvinok.cc: add missing include
2011-07-05
S
ven Verdoolaege
barvi
n
ok
.
cc:
ad
d
mi
s
sing inclu
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
C
han
g
e license fr
o
m GPL
2
.
0 to GPL
2
.
0
+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Ve
r
dool
a
ege
evalue_i
s
l
.
c: ad
d
missin
g
include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaege
add cloog submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaege
u
pdate isl for cloog
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoo
l
a
e
ge
isl_obj_l
i
st
.
c: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-01
Sven Verdool
a
ege
iscc: turn on
s
h
o
ption wh
e
n calling CLooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaege
evalue_isl
.
c
:
avoi
d
use of isl_div internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdool
a
ege
update is
l
f
o
r isl_di
v
_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
confi
g
ure
.
ac: d
o
n't depen
d
o
n automake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
iscc
:
add schedule
a
n
d
schedule_bands o
p
eration
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolae
g
e
iscc: a
d
d solutions operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
V
erdool
a
e
ge
isc
c
: add
c
o
ef
f
icients operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
iscc:
add lift opera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven V
e
rdoolaege
iscc: perfo
r
m assignments
e
v
en o
n
error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
r
doolaege
iscc: plug memory leak on err
o
r path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-19
S
v
en Verdo
o
laege
use silent make r
u
les
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
b
a
rvinok 0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
isc
c
.
c: fix typo which woul
d
pre
v
ent comp
i
la
t
ion in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoo
l
aege
update isl to version 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_pw_qpolynomial_sum:
handle
e
x
i
stenti
a
ls in non
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
drop piplib submodul
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
ola
e
ge
stop
u
s
i
n
g
p
ip as
LP solver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
r
d
oola
e
ge
doc: constraints no l
o
n
g
e
r need to
be sp
e
cif
i
ed in DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc: pars
e
lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
add is
l
_l
i
s
t_add_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
iscc:
p
arse b
o
oleans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc: a
l
lo
w
interruption
o
f
c
o
mputation from the keyb
o
ard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sven Verdoolaege
avoid us
e
of
isl_ct
x
in
t
ern
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ver
d
oo
l
aege
isl_obj_str
:
pr
i
n
t quotes ar
o
und string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdo
o
laeg
e
i
s
c
c
: keep track
of intermedi
a
te results
in
i
n
terac
t
ive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Ve
r
doo
l
aege
iscc:
a
d
d
pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
iscc: add zi
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sv
e
n
Verdoolaege
iscc: add
d
eltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
lexmin: assume unknowns and parameters
a
re non-n
e
gati
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
ae
g
e
lexmin: use isl t
o
r
ead in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
also perform lexmin check in absence of GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
polysign: add is
l
-
b
ac
k
ed version
an
d
u
se it by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
update i
s
l-polylib f
o
r
fi
x
in hea
d
er file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaeg
e
updat
e
isl for change in isl
_
flow_get
_
n
o_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdoo
l
aege
doc:
d
o
cument
isl
modul
o
notatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
r
d
oo
l
aeg
e
Makefile
.
am: p
u
t
N
TL
CFLAGS
aft
e
r isl CFL
A
GS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Ve
r
dool
a
e
ge
iscc: r
e
ad_l
i
ne: fix ret
u
rn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
e
rdoolaege
evalue_isl
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaeg
e
iscc: add op
e
rati
o
ns on in
t
objec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Ver
d
o
o
laege
u
p
date isl for introduction of
int
objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
ven
V
erdoolaege
add isl_b
a
s
ic_set_card and
i
s
l_basic_map_card
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
documen
t
isl_union_s
e
t_apply_union_pw_
q
polynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove polyhedron
_
range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdo
o
laege
re
m
ov
e
p
o
ly
t
ope_
m
inimize
application
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erd
o
o
laege
P
o
lyhed
r
on_Sample: use
i
sl uncon
d
iti
o
nal
l
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove combine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoo
l
ae
g
e
build
l
ibi
s
l a
n
d libpoly
l
i
b
gmp be
f
o
re
libis
l
-pol
y
lib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoo
l
aeg
e
iscc: supp
o
r
t applicat
i
on of piecewi
s
e q
u
asipolynom
i
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
doc: fix
docume
n
ta
t
ion of jo
i
n
of ma
p
s
a
nd
f
ol
d
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
add is
l
_uni
o
n_
s
et_appl
y
_
u
n
ion_p
w
_q
p
ol
y
nomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Ve
r
doolaege
u
p
date
isl
for expo
r
t
o
f
isl_union
_
m
ap_from
_
range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
scc: add wri
t
e operat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
V
erdoolaege
iscc: op
t
io
n
ally
d
isa
b
le read operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
S
v
en Ver
d
o
o
laege
doc: explain c
o
mma operator in a set description
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verd
o
olaege
iscc: add typeof
o
perator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoolaege
a
d
d i
s
l_str_f
r
om_string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven V
e
rdoolae
g
e
iscc
.
c:
us
e
C99 d
e
s
ignated i
n
itial
i
zers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verd
o
olaeg
e
iscc: minor improvement in er
r
or messa
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
ven Verdoo
l
aege
iscc
:
a
dd domain_map and range_
m
a
p
opera
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
v
e
n
Ve
r
d
o
olaege
iscc: add "domain" and "rang
e
" synon
y
m
s
for "dom" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erdo
o
laeg
e
update isl to vers
i
on 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaeg
e
isc
c
:
d
on't allow code generation on union
sets of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoo
l
ae
g
e
update isl to versio
n
0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
S
ven Verd
o
o
l
a
e
g
e
a
v
oid
u
se of isl_
s
et
an
d
i
s
l_map intern
a
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoo
l
a
e
ge
s
eparate out isl int
e
rface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaege
configure
.
i
n: pro
p
agate absolute isl
builddir to submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven
V
e
rdoolaege
upd
a
t
e isl for rename of
header files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oola
e
ge
eva
l
ue_floor2frac: do
n
't assu
m
e
c
o
e
ffici
e
nts
of fl
o
ors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
t
est
_
b
o
und: stop
t
esting after predet
e
r
m
ined number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Ver
d
oolaege
barvinok_bound: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaege
barvinok_{summate,bound}:
take isl
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Ver
d
oolaege
te
s
t_bou
n
d: switch to isl repres
e
ntation even earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
test_b
o
und: switch to
isl repre
s
entation earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaege
iscc:
a
dd p
o
lyn
o
mial a
p
proximatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven V
e
rdoola
e
g
e
bar
v
inok_summate: rewrit
e
in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven
V
erdo
o
laege
barvinok_s
u
mmate: us
e
isl int
e
rfa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven
Ver
d
oolae
g
e
bound
.
cc
:
drop
dea
d
c
o
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaeg
e
do
c
: more informat
i
on abo
u
t
u
sing
s
e
t
s and
ma
p
s
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
doc: update s
o
me referenc
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven V
e
rdoolae
g
e
iscc: add poly operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven
V
erdoolaege
iscc: add scan operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaege
isl
_
pw
_
q
polynomial_s
u
m
: h
a
ndle existential
s
in w
r
ap
p
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
update
i
sl for rena
m
ing of isl_map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdool
a
ege
versio
n
.
c: s
h
ow use
of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
doc: a bit more in
f
o
on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc:
a
dd be
f
ore and after operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
o
l
aege
iscc: add i
d
en
t
ity operation
commit
|
commitdiff
|
tree
2010-10-18
S
v
en
V
e
rdoolaege
i
s
c
c
:
break
o
u
t off
main
l
o
op when printer no
longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdool
a
ege
iscc: suppor
t
extended PolyLib o
u
tput for
m
at
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdoolae
g
e
config
u
re
.
in:
p
er
f
orm check
f
or GM
P
support
in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isl_Polyhedron_Sam
p
le: ad
d
miss
i
ng initia
l
i
zation
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Ve
r
doolaege
iscc: ad
d
co
m
positio
n
opera
t
ion
o
n
p
iecew
i
se q
u
asipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
i
s
c
c: add
dependence
a
nalysi
s
operations
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
ool
a
eg
e
is
c
c: register extra keywords in ge
n
eric way
commit
|
commitdiff
|
tree
next