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: turn on sh option when calling CLooG
2011-06-01
Sven
V
erdoo
l
aege
iscc: turn on
sh op
t
io
n
when
ca
l
li
n
g
CLoo
G
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolaege
evalue_i
s
l
.
c
: av
o
id use
o
f isl_div inte
r
nals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
o
l
a
e
ge
u
p
date isl
f
o
r
isl_
d
i
v
_ge
t
_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
confi
g
u
re
.
ac: don't depend on a
u
t
omake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven V
e
r
doolaege
iscc:
add schedule
and sc
h
e
d
ule_bands operat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdoolaege
iscc: add s
o
luti
o
ns op
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
i
scc
:
a
d
d
coefficien
t
s operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verd
o
ol
a
ege
iscc
:
add lift operati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
iscc
:
perfor
m
assignm
e
n
t
s even o
n
error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
i
s
cc: plu
g
memory leak
o
n err
o
r
p
ath
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-19
Sven
Verdool
a
ege
use
s
i
l
ent make rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaeg
e
barvinok
0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
iscc
.
c: fix typo which wou
l
d prevent
c
o
m
p
ilatio
n
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
update isl
to version 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
i
s
l_pw_qpolyn
o
mi
a
l
_sum: handle existent
i
als i
n
non
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
drop piplib subm
o
dule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoo
l
ae
g
e
stop
using pip as LP
s
o
l
v
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
doc: constraints no longer need to be specified
in
DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc:
p
a
r
s
e li
s
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
add isl_list_ad
d
_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
o
laege
iscc
:
parse booleans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
iscc: allow interru
p
tion of
c
omputation from the keyboard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sven Verdoolaege
avoid
u
se of isl
_
c
t
x
i
nternals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
ven Verdool
a
e
g
e
isl_obj_str: pri
n
t
quot
e
s around string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
iscc: kee
p
t
r
ack of intermediate results in in
t
erac
t
ive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
laege
iscc: add pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
olaege
iscc: ad
d
zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoolaege
iscc:
a
dd deltas_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
lexmin: assume unknowns an
d
param
e
ter
s
a
r
e non-neg
a
tive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdo
o
laeg
e
lexmin: use isl to re
a
d in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n Verdoolaege
also perform
l
exm
i
n check in absen
c
e of GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
Verdoolaeg
e
pol
y
sign: add isl-bac
k
ed vers
i
o
n
and use it by defa
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
u
pdate isl-p
o
lylib for fix in head
e
r
file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Ver
d
o
olaeg
e
upda
t
e
i
s
l for cha
n
ge in isl_flow_get_no_
s
o
u
r
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sven
V
e
r
d
o
o
laege
d
o
c: docu
m
ent isl modu
l
o
notation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laege
Ma
k
efil
e
.
am: put NTL CF
L
AG
S
after isl
C
FLAGS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n
V
erdoola
e
ge
iscc: read_l
i
ne: fix retu
r
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Ver
d
oolaege
evalue_isl
.
c
:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdo
o
lae
g
e
iscc:
add operation
s
o
n
i
nt objec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolaege
update isl
f
or introduct
i
on of in
t
obj
e
cts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en Verd
o
ol
a
ege
a
dd isl_basic_set_c
a
r
d
and isl_basic
_
map_card
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
document isl_union_set_
a
pply_union_pw_qpol
y
n
omial
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
Sven Verd
o
olaege
remove polytope_minimi
z
e application
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Polyh
e
dron_Sample:
u
s
e
i
sl unconditionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdool
a
ege
r
emove combine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
Verdoolaege
build
l
ibisl
and libp
o
l
y
libgmp before libisl-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
iscc: support
a
pplicati
o
n o
f
piece
w
ise quasipolynomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
d
oc:
fix
d
ocumen
t
ation of jo
i
n o
f
maps a
n
d folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en V
e
rdoolaeg
e
add
i
s
l
_union_set
_
a
p
p
ly_union_pw_qpolynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolae
g
e
update isl for export
o
f isl
_
union_m
a
p
_
from
_
range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
is
c
c: add write operatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
i
s
cc: optionally disable read operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdoolaege
doc: explain comma ope
r
a
tor in a set de
s
cription
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoolaege
iscc:
a
dd typeof oper
a
tor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdoolaeg
e
add isl_str_from_string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoo
l
aege
i
scc
.
c:
use C99 design
a
ted init
i
alizers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
i
s
cc:
m
in
o
r improvement in error me
s
sage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
i
s
cc:
add domain_
m
a
p
and ran
g
e
_
map
oper
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaeg
e
iscc: add
"
domain" and "ran
g
e" synonyms for "dom
"
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven V
e
rdoolaege
update isl
t
o
version 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
ven V
e
rdool
a
eg
e
iscc:
don't
allow code generat
i
on on union
sets of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolaege
u
p
date isl to version 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
avoid use of isl
_
set and isl_map intern
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven
Verdoolaege
separate out isl interfa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
S
ven V
e
rdoola
e
ge
c
o
n
f
igure
.
in: propagate absolute
isl
b
u
ilddir
t
o submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Ve
r
doolaeg
e
update isl f
o
r rename of
h
ead
e
r f
i
les
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoolaege
e
valu
e
_floor2frac: don't a
s
s
u
me coeffic
i
ents of floors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en
Verdoolae
g
e
test_bo
u
nd: stop
t
e
s
ting
a
fter predetermin
e
d
number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdo
o
la
e
ge
barvinok_bound: rewr
i
te in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
r
doolaege
b
arvinok_{summate,bound}: t
a
ke isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n
Verdoolaege
test_bound: switch to i
s
l representation even earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoola
e
ge
test_bou
n
d:
switch to i
s
l
r
epres
e
ntat
i
on earlie
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
r
d
o
o
laeg
e
i
s
cc: a
d
d pol
y
nomia
l
approxi
m
a
t
ion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolae
g
e
barvinok_sum
m
a
t
e: rew
r
ite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
b
a
rv
i
nok_summ
a
t
e: u
s
e
isl int
e
rf
a
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sv
e
n Verdoolaege
bound
.
cc:
d
rop dead cod
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sv
e
n Verd
o
olaege
doc: more
i
nformation about using sets and maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
doc: update
s
o
me refe
r
ences
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
S
ve
n
Ver
d
ool
a
ege
iscc: add
poly operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verd
o
olaege
iscc: ad
d
scan operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaege
isl_p
w
_qpo
l
ynomial_
s
um:
hand
l
e ex
i
s
te
n
tials in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sve
n
V
e
r
dool
a
ege
updat
e
i
s
l
for re
n
aming of
isl_map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven
Verdoolaege
version
.
c: show u
s
e
o
f
CLooG
commit
|
commitdiff
|
tree
2010-10-18
S
ven V
e
r
d
oolaege
d
o
c
: a
b
it m
o
re info o
n
iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rdoolaege
iscc:
a
dd befor
e
and after op
e
ra
t
ions
commit
|
commitdiff
|
tree
2010-10-18
S
v
e
n Verdoolaege
iscc:
add id
e
n
t
ity o
p
er
a
t
ion
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdoolaege
isc
c
: break
out
o
ff
m
ai
n
loop when printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: support ext
e
n
ded P
o
ly
L
ib o
u
tpu
t
format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
con
f
igure
.
in: perform check for GMP support in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
ge
isl_
P
olyhedron_S
a
mple: add missing
i
nit
i
alization
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolae
g
e
iscc: add c
o
mp
o
sition operation on piec
e
wise quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolae
g
e
iscc: add dependence analysi
s
operations
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaege
iscc:
re
g
is
t
e
r extra keywords
in gen
e
ri
c
w
ay
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
do
o
l
a
ege
use
i
sl to
perfo
r
m "manual_cou
n
t"
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoola
e
g
e
allow building without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaege
P
olyh
e
d
r
o
n_Reduc
e
d_Basis: o
p
tionally use isl
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n Verdo
o
laege
fi
x
dependence on bu
i
ld
i
sl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n
Verdoolaege
is
l
_map_card: use isl for factorization
commit
|
commitdiff
|
tree
2010-09-14
S
v
en Verdoo
l
a
e
g
e
isl_map_card: split
dimen
s
ion fiddling fr
o
m
c
onversi
o
n
.
.
.
commit
|
commitdiff
|
tree
next