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
autogen.sh: replace superproject part by call to autoreconf
2011-07-10
Sv
e
n
Ver
d
oolaege
aut
o
g
e
n
.
sh: replace supe
r
project part by call
t
o autorecon
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven Ver
d
oolae
g
e
configure
.
ac: use non-d
e
p
recated
f
orm
of AM_INIT_AUTO
M
AKE
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven Ve
r
doolaege
re
n
ame con
f
igure
.
in to c
o
nf
i
gure
.
a
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
S
v
en Verdoolaege
u
p
date cloog
f
o
r not dependi
n
g on inter
n
al r
e
presenatio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
test: use isl interface for te
s
ting
lattice wid
t
h
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verdoolaege
iscc: ad
d
latt
i
ce_wid
t
h operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verd
o
olaege
i
scc: repl
a
ce
schedule_bands by
s
chedul
e
_forest
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoola
e
ge
updat
e
isl for fix in i
s
l_
s
che
d
ule interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
update
c
l
oo
g
for add
i
tion of missing in
c
lude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoola
e
ge
i
scc: acc
e
pt empty lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
oolaege
remove evalue_split_periods
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Ver
d
oo
l
a
ege
dr
o
p evalue_convert applicati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Verdoolaeg
e
lex
m
in
.
cc: add
m
i
s
sing retu
r
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erdoo
l
aeg
e
verify
.
c
: a
d
d mi
s
sing return
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erdoo
l
aeg
e
evalue_read
.
c: stream_
p
u
s
h_token: fix return
t
ype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoo
l
aege
e
v
alue
_
re
a
d
.
c:
a
dd
m
issing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
evalue_read
.
c: f
i
x typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
isl_obj_
l
i
s
t_print:
p
roperly r
e
t
u
rn isl
_
pr
i
nter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verd
o
o
l
aege
isl
_
o
b
j_list
.
h: use flex array member to avoid arra
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verd
o
ol
a
ege
update isl for
r
e
n
aming of
isl_qpoly
n
o
mia
l
_is_
e
qual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verd
o
olaege
barvinok_summate: be
m
o
r
e careful about spaces in which
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
e
n V
e
rdoolaege
s
ummate
.
c: add miss
i
ng i
n
clud
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
e
n Ver
d
oolae
g
e
barvinok
.
cc
:
add missing
i
n
c
lud
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Ver
d
oola
e
ge
C
h
ang
e
license from GPL 2
.
0
to G
P
L 2
.
0+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verd
o
olaeg
e
eva
l
u
e
_isl
.
c
:
add missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoo
l
aege
a
dd cloog
s
ubmod
u
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaege
update
i
sl
f
or cl
o
og
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sve
n
Verd
o
o
laege
isl_obj_lis
t
.
c: fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-01
Sv
e
n
V
erdoolaege
i
s
cc: turn
on sh o
p
tion whe
n
c
a
lling
C
LooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
ae
g
e
evalue_isl
.
c: a
v
oid use of isl_div internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
dool
a
ege
update isl for
i
sl_div_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolaege
configure
.
ac: d
o
n'
t
depend o
n
au
t
omake
1
.
1
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
do
o
lae
g
e
iscc: add
s
ched
u
le and schedule_bands
opera
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
o
laege
iscc: a
d
d
s
o
lutions ope
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oo
l
aege
iscc: add c
o
e
f
ficients operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
iscc: add lif
t
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Ver
d
oo
l
aege
iscc: perform assignments even on erro
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
isc
c
:
plug m
e
mory leak o
n
err
o
r path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-19
Sven
Ve
r
doolaege
use silent make
rule
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
barv
i
nok 0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc
.
c: fix t
y
p
o which would pre
v
ent
c
ompil
a
tion in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
upda
t
e isl to
v
ersion 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verd
o
olaege
isl_pw_qpol
y
no
m
ial_sum: handle existentials in non
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
drop piplib submodul
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
s
t
op u
s
i
n
g pip
as LP sol
v
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
d
oc:
c
onstraints
n
o
longer need to be speci
f
ie
d
in DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Ver
d
ool
a
ege
iscc: parse l
i
sts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en V
e
rdo
o
la
e
ge
add isl_list_
a
d
d_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdo
o
laege
iscc: parse booleans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
iscc: allow i
n
terrupt
i
on o
f
c
omputation fr
o
m
the keybo
a
rd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sven
Verdoolaege
a
void use o
f
isl_ctx
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaeg
e
isl_obj_str: p
r
int quote
s
around string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Verd
o
olaege
i
scc: keep
t
rack o
f
i
n
t
ermediate res
u
l
ts in int
e
ractive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
iscc
:
add pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdoolaeg
e
iscc:
a
dd
zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven Ver
d
o
o
lae
g
e
iscc: add
deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
lex
m
in: assume unknown
s
and par
a
meters are non-ne
g
a
tive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoola
e
ge
lexm
i
n: use isl to read input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
also
p
erf
o
rm lexm
i
n
check in absence
o
f GLP
K
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verd
o
olaege
polysi
g
n: add isl-b
a
cked
v
er
s
ion and
u
se it by
d
efa
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
Verdoolaege
update is
l
-polylib
for fix in header file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
update is
l
for
c
hange
i
n is
l
_f
l
o
w_ge
t
_no_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sve
n
V
e
r
doola
e
ge
doc:
d
ocu
m
ent is
l
modul
o
nota
t
io
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Ver
d
oolaege
Makefile
.
a
m: put NTL CFLAGS
aft
e
r
i
sl
C
F
L
AGS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n
Verd
o
olaege
iscc:
read_line: fi
x
return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
evalue_
i
sl
.
c: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
isc
c
: add opera
t
i
on
s
on int ob
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
upda
t
e isl for i
n
troduction of
int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
add isl_b
a
sic_set_card and i
s
l
_
basi
c
_map_card
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
document
i
s
l_union_set_apply_union_pw_qpolyn
o
mial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
r
emove polyhedron_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
re
m
ove pol
y
tope_minimiz
e
ap
p
licat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
Polyhed
r
on_Sample: use isl uncondi
t
ionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verd
o
o
l
aege
re
m
ov
e
combine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
build
libisl and li
b
p
o
l
y
libgmp befo
r
e libisl-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
isc
c
: su
p
port appli
c
at
i
o
n of piecewis
e
qua
s
ipolynomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven
V
e
rdoola
e
ge
doc:
fix documenta
t
i
on of join of maps and fo
l
ds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
a
dd isl_union_set_apply_union_pw_qpolynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
up
d
ate isl
f
o
r
e
xp
o
rt of i
s
l_u
n
ion
_
map_from_ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verd
o
olaege
i
s
cc: a
d
d wr
i
t
e operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
i
scc: optionally
disable
r
ead o
p
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sve
n
V
erdo
o
l
a
ege
d
o
c: explain com
m
a oper
a
tor in a set description
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ve
r
doolaege
i
s
cc: a
d
d typeof operator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n Ver
d
oolaege
add isl_str_from_string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdool
a
ege
i
s
cc
.
c: use C99
d
esign
a
ted
i
nit
i
alizers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
laege
iscc: minor improv
e
men
t
in e
r
ror message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n Verdoo
l
aege
i
s
cc: add do
m
a
in_map
and range_map operati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven V
e
rdoolae
g
e
iscc
:
add
"
domain"
and "ran
g
e
"
synonyms for "d
o
m"
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
Ve
r
doola
e
ge
update isl to ver
s
ion 0
.
0
5
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
i
s
c
c: don't allow code genera
t
i
on on union sets
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolae
g
e
update i
s
l to version 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
av
o
id use
of isl_set an
d
is
l
_map internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Ve
r
do
o
laege
sep
a
rate ou
t
isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
S
v
en Verdoo
l
aeg
e
configure
.
in: propagate absolute
isl
b
u
ilddir to sub
m
od
u
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sv
e
n Ver
d
oolaege
u
pdate isl for
r
en
a
me of header f
i
les
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
evalue_floor
2
frac: don
'
t ass
u
me coefficients
of floo
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
e
rd
o
olaege
test_bound: stop testing
a
fter
p
r
edet
e
rmin
e
d nu
m
ber
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdo
o
laege
b
arvinok_bo
u
nd: rewr
i
te in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
a
ege
barvin
o
k_{s
u
m
mate,bound
}
: take isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
olaege
test_bound: switch
t
o isl repr
e
sent
a
tion even earli
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next