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
test: use isl interface for testing lattice widths
2011-07-05
Sven V
e
r
d
oolaege
test: use isl inte
r
face for
testing
l
attice widths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdool
a
e
g
e
iscc:
a
dd la
t
tice_w
i
dth o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verdoolaege
i
scc: replace schedul
e
_
b
ands by schedu
l
e
_
fores
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoola
e
ge
updat
e
isl for fix
i
n
isl_schedule interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
up
d
ate c
l
oog for add
i
tion o
f
miss
i
ng
in
c
l
u
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erd
o
olaege
isc
c
: accept empty li
s
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
rdo
o
laege
remo
v
e eva
l
ue_split_period
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verdoolaege
drop e
v
alue_con
v
er
t
a
ppl
i
cation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoolaeg
e
lex
m
in
.
c
c
:
a
dd missing
r
etu
r
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
e
n
Verdoolaege
verify
.
c: add mis
s
i
n
g
return
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
e
n Verdoo
l
aege
evalue_read
.
c: strea
m
_push_token: fi
x
return type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
e
v
al
u
e_read
.
c: a
d
d
missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n V
e
r
d
oolaege
evalue_read
.
c: fi
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolae
g
e
isl_o
b
j_list_pri
n
t:
p
roperly return isl_printe
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erdoolaege
isl_obj_list
.
h: use flex array
member to avoid array
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoo
l
aeg
e
u
p
date isl
f
o
r
rena
m
in
g
of isl_
q
pol
y
no
m
i
a
l_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Ver
d
oolae
g
e
barvinok_summate: b
e
mo
r
e
c
a
r
e
f
ul about s
p
a
ces in
which
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
V
e
rdoolaege
summate
.
c: add missing inclu
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n
V
erdoolaege
barv
i
nok
.
cc: add mis
s
ing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verd
o
ol
a
ege
C
h
ange license
f
rom GPL 2
.
0 to GPL 2
.
0+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven
V
e
rdoo
l
a
e
ge
evalue_isl
.
c: add missing inc
l
ude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
S
v
en Verdoo
l
aege
a
d
d
cl
o
o
g
su
b
module
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Ve
r
doolaege
update
i
s
l for c
l
oog
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Ve
r
doolaege
isl_obj
_
list
.
c: fix t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-01
Sven Ve
r
doola
e
ge
iscc: t
u
rn on sh opti
o
n when calling CL
o
oG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
evalue_is
l
.
c
:
avoid use of isl
_
div internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n
Verdoolaege
update isl for
isl_
d
iv_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
configu
r
e
.
ac
:
don't depend
o
n automake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
i
s
cc
:
a
d
d schedule and schedule_bands oper
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
iscc: a
d
d solution
s
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
i
scc: add
c
oefficients ope
r
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
iscc: add lift operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoola
e
g
e
iscc: perform assignments even on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
Verdoolaege
iscc:
plug memory
l
e
ak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-19
Sven Verdoolaege
use si
l
ent
m
ake rule
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
barvinok 0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoola
e
ge
iscc
.
c: fix
typo w
h
ich
w
ould pr
e
vent compilation in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaege
update isl to version 0
.
0
6
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_pw_qpolynomial_s
u
m:
ha
n
dle e
x
istentials in non
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
drop piplib
s
u
bmodul
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoola
e
ge
s
t
op usin
g
pip as LP sol
v
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
doc: con
s
traint
s
no lo
n
ger need to be specified in DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verd
o
olae
g
e
iscc: parse lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
a
d
d isl_list_a
d
d_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
isc
c
:
parse booleans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Ver
d
o
o
laege
iscc: allow inter
r
uption of computati
o
n
fr
o
m t
h
e
keyboar
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sv
e
n Verdoolae
g
e
avoid use of
isl_ctx
i
nternals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ve
r
d
o
olaege
isl_obj_str
:
p
r
int qu
o
te
s
arou
n
d
s
tring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdo
o
la
e
ge
isc
c
: ke
e
p
track of i
n
term
e
diate results in inter
a
ctive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
laege
iscc:
a
dd pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdoolaege
iscc: add zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoolaege
i
scc:
a
dd deltas_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
lexmin
:
assume unknow
n
s and parame
t
e
r
s are non
-
ne
g
ative
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ve
n
Verdool
a
e
g
e
lexmi
n
:
u
s
e
isl to read input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
also perform l
e
xmin check
i
n
a
b
se
n
ce o
f
GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
polysi
g
n
:
add isl-b
a
cked versi
o
n an
d
u
s
e it by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
updat
e
is
l
-
p
ol
y
lib for
f
ix
i
n
h
ea
d
e
r file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
Ve
r
doolaege
update isl for ch
a
nge
in isl_fl
o
w_get_no
_
source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sven
V
e
rdoo
l
aege
doc: d
o
c
u
ment isl modulo notation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Ve
r
d
o
olaege
M
a
k
efile
.
am:
put NTL
C
FLA
G
S after
isl C
F
L
A
GS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaege
iscc: read_line:
f
ix return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven V
e
rdoolaege
evalue_i
s
l
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en
V
erdoolaege
is
c
c: a
d
d op
e
rations on int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
update is
l
for introduction of int objec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaeg
e
a
d
d
isl_
b
asic_set_card and
isl_bas
i
c
_
map_card
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
e
r
doolaege
doc
u
men
t
isl_union_set_apply_un
i
on_pw_qpoly
n
omia
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
remove polyhedr
o
n_ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
r
em
o
ve polytope_minimize application
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaeg
e
Polyhedron
_
Sample: use i
s
l unconditionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoo
l
ae
g
e
remove combine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
b
u
ild libisl and libp
o
l
y
libgm
p
before li
b
isl-polyl
i
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Ve
r
doolaege
iscc: su
p
port a
p
pl
i
c
a
t
ion of pi
e
cewise quasi
p
olyno
m
ial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdool
a
ege
doc: fix documentation of
join of maps and folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl_uni
o
n
_set_apply_u
n
ion_pw_
q
pol
y
nomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
update i
s
l for export of
isl_unio
n
_
m
ap_fro
m
_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Ve
r
doolaege
iscc: ad
d
wr
i
t
e
o
peration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
is
c
c: optionally disable read ope
r
at
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sv
e
n Verd
o
o
l
a
ege
doc: explain c
o
mma
o
p
erator in a set d
e
scription
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
lae
g
e
iscc: add typeof o
p
erator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
a
d
d isl_str_from_st
r
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en
V
er
d
oolaege
iscc
.
c: use
C
99 desig
n
ated initi
a
l
i
zers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc
:
minor improvement in error messag
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
ven Verdool
a
ege
i
s
cc: add domain_map and
range_map oper
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
iscc: add "d
o
main" and "range" s
y
non
y
ms
for "dom" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erdoolaege
update isl to version
0
.
0
5
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
ven V
e
rdoolaege
iscc: d
o
n't allow c
o
d
e generat
i
on on union sets
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoola
e
g
e
upd
a
te isl t
o
version
0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
avo
i
d use of isl_set and i
s
l_map in
t
ernals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdo
o
laege
s
e
para
t
e out i
s
l
int
e
r
face
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
S
ven Verdoolaege
configure
.
in: propaga
t
e
absolute i
s
l
builddir to submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sv
e
n
Verdoolaege
update isl for r
e
name o
f
header files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Ve
r
d
o
olaege
evalue
_
floo
r
2frac: don'
t
assume coefficients of
floors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
ege
t
est_boun
d
: s
t
op testi
n
g after predetermin
e
d
number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoolaege
ba
r
vinok_b
o
und: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erd
o
olaege
barvinok_{summate,bound}: ta
k
e isl
i
n
pu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdoolaeg
e
test_bound: switch
to isl represe
n
t
a
t
ion
e
ven e
a
rlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
d
o
olaege
t
est_
b
ound:
switch to isl
representation
earli
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaege
iscc: add
p
olynomial approxi
m
ati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
ven Verdoolaege
barvinok_summ
a
t
e: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sv
e
n Ver
d
oo
l
aege
barvinok_summate: use isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next