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
evalue_isl.c: add missing include
2011-06-10
Sv
e
n V
e
rdoolaege
eva
l
ue_isl
.
c: a
d
d
m
issi
n
g include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaege
a
d
d cloog submo
d
ule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven
V
e
rdoolaege
update isl
f
or cloog
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaeg
e
isl_obj_list
.
c:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-01
S
ven Verdoo
l
aege
iscc: turn on sh optio
n
when calling
C
LooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
evalue_isl
.
c
: avoid use of isl_div internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
V
erdoolaege
update i
s
l f
o
r
isl_div_ge
t
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n
Verdoolaege
configure
.
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
e
rdoolaege
iscc: a
d
d schedule and sch
e
d
ul
e
_band
s
operati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Ve
r
doola
e
ge
i
s
cc
:
add s
o
lu
t
ions op
e
rat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
iscc: a
d
d
c
o
efficients opera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
iscc: ad
d
lift operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
iscc: per
f
orm assignme
n
ts even on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaeg
e
is
c
c: plug memory le
a
k
o
n error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-19
Sv
e
n Verdoolaege
use
silent make
rule
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
ba
r
vinok
0
.
3
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc
.
c: fix typo
w
h
i
ch
w
ould
p
revent
compi
l
ation
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoola
e
g
e
upda
t
e isl
to versio
n
0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
isl_pw_qpol
y
n
o
mial_sum: han
d
le e
x
istentia
l
s
in non
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
drop p
i
plib submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
o
o
l
aege
stop u
s
i
n
g pip as L
P
s
olver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Ve
r
doolaege
do
c
: co
n
straints no longer n
e
ed to be specified
in DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
ge
i
s
cc: parse lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
Verdoolae
g
e
a
d
d
is
l
_list_
a
dd_ob
j
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc:
p
arse bo
o
l
e
ans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Ver
d
oolaege
iscc: allow
interruption
of computation from the keybo
a
r
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
S
v
en Ver
d
oolaege
avoid use of isl_ctx in
t
ern
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven V
e
rdoola
e
ge
isl_obj_s
t
r:
print quotes around st
r
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
i
s
c
c: ke
e
p
t
r
a
c
k of intermediate results in
i
nteracti
v
e
.
.
.
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 Verdoolae
g
e
i
s
c
c: add zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sv
e
n
V
erdool
a
eg
e
iscc: add delt
a
s_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
lexmin: assume unknown
s
and pa
r
ameters are non-negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
le
x
m
in: use isl to read inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Ve
r
doolaege
al
s
o
p
erform lexmin check in absence of GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoo
l
aege
po
l
ysign: ad
d
isl-backed version
a
nd use it by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
update isl-polylib fo
r
fix in header fi
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
rdoola
e
ge
upda
t
e isl for cha
n
ge
in isl_flow_get_no_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdoola
e
ge
doc: do
c
ument isl modulo notation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdo
o
laege
Make
f
ile
.
a
m: put
NTL C
F
LAGS after isl CF
L
AGS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
is
c
c:
r
ead_line:
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
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
iscc:
a
dd operations on int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaeg
e
update
i
sl for introduction
o
f int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdo
o
laege
add i
s
l_basic
_
set_ca
r
d and isl
_
basi
c
_map_
c
ard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
doc
u
m
e
nt
i
sl_union
_
s
et_ap
p
ly_union_pw
_
qpo
l
y
n
o
mial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
remove polyhedro
n
_
r
a
nge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
rem
o
ve
polytope
_
minimize application
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
Polyhedron_Sa
m
pl
e
:
use
i
sl unconditionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
re
m
ove com
b
ine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
build libisl and libpolylibgm
p
bef
o
re
l
ibisl-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
iscc: support application of piecewise
q
u
asipolynomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
d
oc: fix do
c
umentation
o
f join of
m
aps
a
nd folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
add isl_uni
o
n
_
se
t
_
a
pply_unio
n
_pw_qpoly
n
omial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
u
p
date isl for export of isl_uni
o
n_map_fr
o
m
_
range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoola
e
ge
i
s
cc:
a
dd wri
t
e
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoo
l
aege
isc
c
:
o
p
t
i
onally d
i
sab
l
e
re
a
d ope
r
a
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven V
e
r
d
oola
e
ge
d
o
c
: explain comma op
e
rat
o
r in
a
set
d
escrip
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc: add
t
ypeof
o
perator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
add i
s
l
_str
_
from_stri
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n Ve
r
doolaege
i
s
cc
.
c: us
e
C99 designate
d
i
n
i
t
ial
i
zers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verdoolaege
iscc: minor
i
mpr
o
vement in error message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdo
o
l
a
ege
iscc:
add
dom
a
in_map and ra
n
g
e_map operat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdool
a
ege
i
s
cc: add "domain" and "range
"
synonyms for "
d
om" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaeg
e
update isl
to
vers
i
o
n
0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
ven Verd
o
o
l
a
e
ge
iscc: don't allow code g
e
n
e
r
ation on union sets of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Ve
r
doolaege
update
isl to version 0
.
0
5
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Ve
r
doolaege
av
o
id use of isl_set and
i
s
l_map internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven
V
erdoolaege
separate out
i
sl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaege
configure
.
in:
p
ropagate
a
bsol
u
te isl build
d
ir
to
su
b
mo
d
u
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
S
v
en Verdo
o
laeg
e
updat
e
isl for
ren
a
m
e of hea
d
er
files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
e
v
al
u
e_floor2frac: do
n
't
assume coef
f
ici
e
nts
o
f floors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
test_bound: stop testing
a
ft
e
r prede
t
erm
i
n
ed n
u
mber
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoolaege
b
ar
v
i
nok_bound: rewrit
e
in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdo
o
l
a
ege
b
a
rvinok
_
{summate,
b
ound}: take isl
i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
ge
test_bound: switch
t
o isl representatio
n
ev
e
n
earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
o
ola
e
ge
t
est_bound: switch to
i
s
l
re
p
resentatio
n
earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolaege
isc
c
:
add po
l
yno
m
ial approximatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
ven Verdoolaege
ba
r
vinok_summate:
rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoo
l
aege
barvinok_s
u
mmate: use isl
i
nterface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdoolaege
bound
.
cc: dr
o
p dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sve
n
V
e
r
doolae
g
e
d
oc: more information about using se
t
s and map
s
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
S
v
en
V
erdoolaege
doc: update some
r
eference
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
iscc: ad
d
poly operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoolaege
iscc:
a
d
d sca
n
opera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolae
g
e
i
s
l_pw_qpolynomial_sum
:
ha
n
dle e
x
iste
n
tials in wr
a
pped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven V
e
rdoolaege
u
p
date
isl
f
or rena
m
ing of
i
s
l
_map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoolaege
version
.
c: show use of C
L
ooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
ae
g
e
d
oc:
a bit mor
e
info
on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdool
a
e
ge
iscc: add
before and af
t
er oper
a
tions
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verd
o
olaege
iscc: add identity
operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
i
scc: break out off main
loop when printer no l
o
nger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Ver
d
oolaege
iscc: su
p
port extended Po
l
y
Lib out
p
u
t format
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Ve
r
do
o
laege
conf
i
gure
.
in: perform chec
k
for GMP support in
NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n
V
erd
o
olaege
isl_Polyh
e
dron_S
a
mple: add missing in
i
tialization
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
is
c
c
: add c
o
mposi
t
io
n
operation on piecewise quasipolynom
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaege
i
scc:
a
dd depende
n
ce analysis operati
o
ns
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: regi
s
ter extra keywords in generic
way
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolaege
use isl to perform
"
manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdool
a
ege
all
o
w
bui
l
ding w
i
thout piplib
commit
|
commitdiff
|
tree
next