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: accept empty lists
2011-07-05
Sven Verdoolaege
iscc: acc
e
p
t empty lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Verdoo
l
aeg
e
remo
v
e evalue_s
p
lit_periods
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Verdoolaege
d
rop evalue
_
convert application
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Verdo
o
laege
lexmin
.
cc
:
a
d
d mi
s
sing return
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolae
g
e
ver
i
fy
.
c: add
missing
r
eturns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
rdoolaege
eva
l
ue_read
.
c: stream
_
push_
t
oken:
fix return type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolae
g
e
evalue_read
.
c: add mi
s
s
i
ng
in
c
lude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoolaege
evalue
_
read
.
c
: fix t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
oo
l
aeg
e
isl_obj_list_
p
rint
:
prop
e
r
ly re
t
urn i
s
l_print
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoola
e
ge
isl_
o
bj_list
.
h: u
s
e flex array member
t
o avoid array
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdool
a
eg
e
update is
l
for renaming of isl_qpolynomial_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdool
a
e
ge
barvinok_summate
:
b
e
more caref
u
l
a
b
ou
t
spaces in
which
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verdoolaege
sum
m
ate
.
c: add missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verdool
a
ege
ba
r
vinok
.
cc
:
add mi
s
sing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
C
hange
license f
r
om GP
L
2
.
0 to GPL 2
.
0
+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
S
v
en Verdoolaege
eva
l
u
e_isl
.
c
:
add missing
in
c
lude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolae
g
e
add cl
o
og submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaege
update isl
for cloo
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sv
e
n Verdoolaege
isl_obj_list
.
c:
f
ix t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-01
Sven Verdo
o
laege
iscc:
t
urn on
s
h
option when calli
n
g
CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
ool
a
ege
e
value_isl
.
c: avoid use of isl_div
i
n
t
ernals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
updat
e
isl for isl_
d
iv_
g
et_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
con
f
igure
.
ac: don't
depend on au
t
omake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
iscc
:
add sch
e
dule a
n
d
schedul
e
_bands operati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
i
s
c
c
: add
solutions operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoola
e
ge
iscc
:
add coefficients oper
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
o
l
aege
isc
c
: add lif
t
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
iscc: perfor
m
as
s
ignments even on
err
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Ver
d
oolaege
iscc:
p
l
ug memory lea
k
on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-19
Sven Verdoolaege
use sil
e
nt make rul
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
ge
barvinok 0
.
33
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolae
g
e
iscc
.
c: fix typo which
w
ould prevent com
p
ila
t
ion
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
r
doolaege
upd
a
te isl
t
o
version 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
isl_pw_qpolynomia
l
_s
u
m:
handle
exist
e
ntials in n
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
drop piplib su
b
module
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
V
erdoolaege
stop us
i
ng
pip as LP solver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaege
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 Verdo
o
l
aege
iscc: parse lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdo
o
laege
add i
s
l_list_add
_
obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
is
c
c
:
parse booleans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
iscc: al
l
ow
i
nterrupt
i
on o
f
computation from the
k
eyboard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
Sven
V
erd
o
olaeg
e
avoi
d
use of is
l
_ctx internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Verdoolaeg
e
isl_obj
_
st
r
: p
r
int quotes aro
u
nd string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
iscc: keep track of intermediate results in
i
nteracti
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Verdo
o
laege
isc
c
: add pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaeg
e
iscc: add zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoolaege
i
s
cc: add deltas_
m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verd
o
olaege
lex
m
in: assume
unknowns
and parameters a
r
e non-
n
egativ
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
lae
g
e
lexmin: use i
s
l to rea
d
inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
also perform lexm
i
n che
c
k in absence of GLPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
pol
y
si
g
n: add isl-backed version and us
e
it
by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
er
d
o
olaege
u
p
date
i
sl-polylib for f
i
x in
h
ead
e
r
file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
update isl for ch
a
nge in isl_flow_get_no_source
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdo
o
lae
g
e
d
o
c: document isl modulo
n
otation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ve
n
V
e
rdoolaege
iscc: re
a
d_l
i
ne
:
f
i
x return
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
evalue_isl
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaeg
e
iscc: add operations
o
n
i
nt objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdool
a
ege
u
p
date isl for introducti
o
n of
int obje
c
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdoolaege
add
i
sl_
b
asic_set_card and isl_basic_map_card
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Ve
r
doola
e
g
e
document isl_union_se
t
_
a
pply_union_
p
w
_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Ve
r
doolaege
rem
o
ve polyhed
r
on_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
remo
v
e polytope_minim
i
ze a
p
p
l
ication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdo
o
laege
P
o
lyhedron_
S
ample: use isl un
c
onditionally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
remove combine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n
Verdoola
e
ge
build libisl and
l
ibpoly
l
ib
g
mp bef
o
r
e libisl-
p
olylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoola
e
ge
iscc: support application of pi
e
cewise quasipoly
n
o
mial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
V
erdoolaege
doc:
f
i
x
do
c
umentat
i
on of
join of maps and folds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoo
l
a
e
ge
add
i
sl
_
un
i
on
_
set_
a
pply_union_
p
w_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verd
o
o
l
aege
u
pdate isl for expo
r
t of isl_union_map_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
r
d
o
o
lae
g
e
i
s
c
c
: ad
d
write operatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
e
r
d
oolaege
i
scc: optionally di
s
a
b
l
e
read operat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdo
o
laege
doc: expla
i
n com
m
a operator in a
set d
e
scription
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n Verdoolaege
iscc: ad
d
ty
p
eof operator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
add
i
sl_str_from_str
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ve
r
doolaege
iscc
.
c:
u
se C
9
9 design
a
ted initializers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en
V
erdoolaege
isc
c
: mi
n
or impr
o
vement
in error m
e
ssage
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoo
l
a
e
ge
iscc: add
d
o
main_map and range_map operati
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
S
ven
V
erdoolaeg
e
i
s
c
c
: add "dom
a
i
n" and "range" synonyms
f
or "dom"
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n
Verdoolaege
update isl to versio
n
0
.
0
5
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verd
o
o
l
a
ege
iscc: do
n
'
t
allow code
g
e
n
e
ration
on union sets of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sv
e
n Verdoolaege
update isl
to version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verd
o
o
laege
a
vo
i
d use of isl_set and isl_m
a
p
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Ve
r
d
ool
a
ege
se
p
arate out is
l
interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven
V
e
r
doolaege
configure
.
in: propagate
abs
o
lu
t
e isl bu
i
l
d
d
ir to sub
m
odule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Ve
r
doolaege
update isl
f
or
re
n
ame of he
a
de
r
files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
e
value_fl
o
or2
f
ra
c
:
d
o
n't assume coefficients of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oolae
g
e
t
e
st_bo
u
nd: stop test
i
n
g
after
p
redeter
m
in
e
d number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
bar
v
inok_bou
n
d: rewrite
i
n C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
barvino
k
_
{summate,bou
n
d}:
take
i
sl input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oolaege
test_b
o
und:
s
witch t
o
isl represen
t
ation ev
e
n earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoo
l
ae
g
e
test_boun
d
: switch to isl rep
r
e
s
e
n
tati
o
n earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdool
a
ege
iscc
:
add
p
ol
y
nomial appro
x
imat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sve
n
V
erdoolaege
barvinok_sum
m
ate: re
w
rite i
n
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoo
l
aege
barvinok_
s
ummate
:
us
e
i
s
l interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Ve
r
doolaege
b
o
u
n
d
.
cc: dro
p
d
ead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaeg
e
doc: more in
f
ormat
i
on about
using sets and maps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdo
o
laege
d
o
c
: upda
t
e so
m
e references
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoola
e
g
e
iscc: ad
d
poly operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoola
e
ge
i
scc: a
d
d sca
n
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
S
v
en Verdoolaege
isl_pw_qpolynomia
l
_sum: handle existentials in wr
a
pped
.
.
.
commit
|
commitdiff
|
tree
next