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 0.34
2011-07-14
S
v
en Verdoolaege
barvinok 0
.
34
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
Sven Verdoolaege
u
pdate clo
o
g to versi
o
n 0
.
16
.
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-13
Sven Verdool
a
ege
update
i
sl to ve
r
s
ion 0
.
07
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Ver
d
ool
a
ege
a
u
togen
.
s
h: r
e
pl
a
ce s
u
perpro
j
ect
p
art by call to auto
r
e
con
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven
Verdoolaege
confi
g
ure
.
ac: use n
o
n-depr
e
c
a
ted form
o
f AM_INIT_A
U
TOMAKE
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
S
v
en Verdoolaege
rename
configu
r
e
.
i
n
to configur
e
.
a
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoola
e
ge
update cl
o
o
g
for not depending on inte
r
nal represen
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
t
e
st: use isl i
n
terface
f
or testi
n
g latt
i
ce
w
i
d
t
hs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n
Verdool
a
ege
iscc:
add
l
attice_width operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdool
a
ege
iscc: r
e
p
lace
s
c
h
edule_ba
n
ds by sche
d
ule
_
forest
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
upd
a
te isl for fix in
i
s
l
_schedu
l
e
i
nt
e
rfa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdoolaege
update cloog fo
r
addi
t
ion of missi
n
g inc
l
ude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
is
c
c: acce
p
t
empty lis
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoola
e
ge
remove evalue_split_period
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n
Verdoolaege
drop evalue_con
v
ert a
p
p
l
i
c
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdoo
l
aege
lexmin
.
c
c
: add missi
n
g retu
r
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdo
o
laege
verify
.
c: add
missin
g
retu
r
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdool
a
ege
evalue_read
.
c:
s
tream_push_token: fix
r
et
u
rn type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
e
value
_
read
.
c: add missi
n
g include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
e
v
alue_read
.
c
: fix t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ve
r
doo
l
a
e
ge
isl_obj_lis
t
_pr
i
nt:
p
r
operly r
e
tur
n
isl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
isl_
o
bj_li
s
t
.
h: use f
l
ex arr
a
y member t
o
avoid array
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolae
g
e
updat
e
isl for rena
m
ing of isl_qpolyn
o
m
i
al_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoola
e
ge
b
arvi
n
ok_s
u
m
m
ate: be more careful about spaces in which
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verdo
o
l
ae
g
e
summate
.
c: add missin
g
inclu
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Ver
d
o
o
laeg
e
bar
v
inok
.
cc: add missing in
c
lude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
e
rdoola
e
g
e
Change
license from GPL
2
.
0
t
o
GPL 2
.
0+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verd
o
o
l
aege
eva
l
ue_i
s
l
.
c: add missing inc
l
u
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven V
e
rdoolaeg
e
a
d
d
cloo
g
submodu
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
S
v
en V
e
rdoolae
g
e
update isl fo
r
cloog
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven
Verdoolaege
isl_ob
j
_
list
.
c: f
i
x typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-01
Sven V
e
rdoolaege
iscc: turn
o
n
sh
optio
n
w
hen c
a
l
ling CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
evalue_isl
.
c: avoid us
e
o
f
isl_div
i
n
ternals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
update isl for isl_
d
iv_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
configure
.
ac: don
'
t de
p
end on automake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
V
erdoolaege
i
s
c
c: add schedule and schedule_bands operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
iscc: add soluti
o
ns operatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
iscc
:
add coefficients ope
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
iscc: add lift operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
isc
c
: perf
o
rm assign
m
ents even
on
erro
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Ve
r
doolae
g
e
isc
c
:
plug memory leak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-19
Sven Verdoolae
g
e
use sil
e
n
t
ma
k
e rul
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
Verdoolaege
b
a
rv
i
nok
0
.
33
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
i
sc
c
.
c: fix typo which would
p
revent compilati
o
n in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdool
a
e
ge
update isl to version 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n Verdoolaege
is
l
_pw_qpolynomial_sum: h
a
ndle existentials
in non
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
dool
a
e
g
e
drop pi
p
lib
s
ubmodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
sto
p
using pip as LP solver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
a
e
ge
doc: constraints no
lon
g
er n
e
ed
t
o
b
e sp
e
cified
i
n DNF
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc: pars
e
list
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
add isl_list_add_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
S
v
en
V
erdoolaege
isc
c
: all
o
w i
n
terr
u
ption of
computation
f
ro
m
th
e
keyboard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
S
v
en Verdoola
e
ge
avoid
u
se of isl_ctx
inte
r
na
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
Ver
d
oola
e
g
e
isl_obj_str: prin
t
quotes
a
rou
n
d st
r
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
r
doolae
g
e
i
s
cc: ke
e
p track of intermediate results in interac
t
ive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdoolaege
is
c
c:
add pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
iscc: add zi
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoolaege
iscc: ad
d
deltas
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
lexm
i
n: assume unk
n
owns an
d
p
arameters are non-negativ
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
Verd
o
o
laege
lexm
i
n: use
isl
t
o read
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
also perform lexmin
c
heck i
n
absence of GLPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
polysign: add
isl-
b
acked ver
s
ion an
d
us
e
it by
default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven V
e
rdoolaege
upd
a
t
e
isl
-
polylib fo
r
fix in header
f
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
d
oolaege
u
pdate
isl for
c
ha
n
g
e
in isl_flow_get_no_source
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sven Ve
r
doolaege
doc: docum
e
nt isl
m
o
dulo
notation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaege
is
c
c
: re
a
d
_
line: fix
r
e
turn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
evalue_isl
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
eg
e
iscc: add
operations on int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n Ve
r
doolaege
up
d
ate isl for intr
o
d
u
ction of int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en Ve
r
doolaege
add isl_basic_set_
c
ard
a
nd
i
sl_basi
c
_map_c
a
rd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
Verdoola
e
ge
d
o
cument isl_union_set_apply_
u
ni
o
n_pw_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
remove polyhe
d
ron_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n
V
er
d
ool
a
ege
remov
e
polytope_minimize ap
p
lica
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
P
olyhedron_Sample: use
isl uncondit
i
onal
l
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
rem
o
ve co
m
bine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
build libisl and libpoly
l
i
b
gmp before libisl
-
polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc: suppor
t
applica
t
ion of piec
e
wi
s
e quasipolynomial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
doc:
f
i
x
d
ocu
m
entation of jo
i
n of maps and fo
l
ds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
add isl_unio
n
_set_apply_u
n
ion_pw_
q
p
ol
y
no
m
i
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolae
g
e
up
d
ate isl for e
x
port
o
f
i
sl_unio
n
_map_from
_
r
a
ng
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
Verdool
a
e
ge
iscc: add write operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
iscc:
optio
n
ally disabl
e
read operati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven V
e
rdo
o
laege
doc: explain com
m
a op
e
rat
o
r in a se
t
d
e
scripti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven V
e
rdoolaege
iscc: a
d
d ty
p
eof
o
perator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verd
o
olaege
add i
s
l_str_from_string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc
.
c: use C99 designated ini
t
i
a
lizers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdoolaege
iscc: minor improvement in erro
r
message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
S
v
en Verdoolaege
i
s
cc: add doma
i
n
_ma
p
a
n
d ran
g
e
_map oper
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ve
r
doolaege
i
s
c
c: add
"
d
o
m
ain" and "range" synon
y
ms for "
d
om" and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erdoo
l
aeg
e
upda
t
e isl to
v
ersion
0
.
0
5
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sv
e
n Ve
r
doolaeg
e
iscc: don't
a
llow code gener
a
tion on u
n
io
n
sets o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven
V
e
r
d
o
ol
a
ege
update isl to
v
ersion
0
.
0
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verd
o
ol
a
ege
avoid
u
s
e of isl_set and isl_map inter
n
als
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven V
e
r
doolaeg
e
separate out i
s
l inter
f
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
S
v
e
n Verdoolaege
configure
.
in: pr
o
pagate ab
s
olute
i
s
l
buil
d
dir
t
o submod
u
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoo
l
a
e
ge
up
d
ate isl for r
e
name of
h
e
ader
f
iles
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolae
g
e
evalue_floor2frac: don't
as
s
ume coe
f
ficients
o
f
floor
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolae
g
e
t
est_bound
:
stop testin
g
after
p
redetermined nu
m
b
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n Verd
o
o
laege
barvinok_bound: r
e
wr
i
te
i
n C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next