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
update isl for cloog
2011-06-10
Sven Verdo
o
laeg
e
update isl for cloog
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaege
isl_ob
j
_
l
ist
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-01
S
v
e
n
V
e
rdoolaege
iscc: tu
r
n
o
n sh option when c
a
lling
CLo
o
G
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdo
o
laege
evalue_i
s
l
.
c: avoid use
of isl_d
i
v
i
nt
e
rnals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
upd
a
te i
s
l
f
o
r
i
s
l_di
v
_get_c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoola
e
g
e
configure
.
ac: don't
depend on automake
1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdoola
e
ge
iscc: add schedule a
n
d schedule_bands oper
a
ti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdool
a
ege
iscc:
add
solutions operati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
i
scc: add coefficien
t
s operation
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 Verdoolaege
is
c
c: perform assi
g
nm
e
nts eve
n
on erro
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdo
o
laege
iscc: plug memory lea
k
on error pat
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-19
Sven Verdoola
e
ge
use sil
e
nt make rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
barvinok 0
.
3
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
laege
iscc
.
c: fix typo which
w
ould
p
r
event compilation in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
upda
t
e isl
t
o version 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olae
g
e
isl_pw_qpol
y
n
o
mi
a
l
_
sum:
h
andle
existentials i
n
non
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolae
g
e
drop piplib submod
u
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
stop u
s
ing pip as LP sol
v
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Ver
d
oolaege
doc: constraint
s
no l
o
nger need to be specified in D
N
F
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdool
a
e
g
e
iscc
:
parse list
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
add
i
sl_list_ad
d
_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ve
n
Verdoo
l
aege
iscc
:
parse boolean
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc:
allo
w
int
e
rru
p
t
ion of
c
o
mputation fro
m
the
ke
y
board
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
S
ven Verdoo
l
aege
avoid use o
f
is
l
_ctx internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ve
r
doolae
g
e
isl_obj_st
r
: print quotes around string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdool
a
ege
iscc: keep track of intermediate
r
esults in inter
a
cti
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoo
l
aege
is
c
c: add
po
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Ver
d
oo
l
aege
i
s
cc: add zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sve
n
Verdoolaege
is
c
c: add delta
s
_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
lexmi
n
: assume unknowns and paramete
r
s
are non-
n
egati
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven V
e
rdoolaege
lexmin: use isl
t
o rea
d
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
also pe
r
form
l
ex
m
in
ch
e
ck
i
n absen
c
e of GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdo
o
laege
polysign:
add isl-back
e
d v
e
rsion
a
n
d us
e
it by defau
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven V
e
rdool
a
ege
u
pdate isl
-
po
l
ylib
f
or
f
ix in header file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
d
oolaege
upda
t
e isl for change in isl_flow_get_no_so
u
rce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
S
ven V
e
rdool
a
ege
doc: document isl modu
l
o not
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
Mak
e
file
.
am: put NTL CFLAGS after i
s
l CFLAGS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
iscc: read_line: fix
r
eturn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n
Verdool
a
ege
e
value_isl
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolae
g
e
iscc: add operations
on
int o
b
j
e
cts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoola
e
ge
u
p
date isl
fo
r
intro
d
uc
t
ion of
int ob
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en Ver
d
oolaege
add isl_basi
c
_s
e
t
_
card and
i
s
l
_ba
s
ic_ma
p
_card
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
e
g
e
doc
u
ment i
s
l_union_set_
a
p
p
ly_u
n
ion_pw_q
p
olynomia
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
re
m
o
v
e polyhedron_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdool
a
ege
remov
e
pol
y
tope_minimize
a
pplicat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olae
g
e
P
olyhedron_S
a
mple:
u
se isl u
n
co
n
di
t
ion
a
lly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
remove
c
o
mbine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
bu
i
l
d libisl
a
nd libpolyl
i
bgm
p
before libis
l
-p
o
l
ylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
iscc: supp
o
rt appl
i
cat
i
on of
p
iece
w
i
s
e
q
uasipolynom
i
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
V
erdoolaege
doc
:
fix docu
m
enta
t
ion of join of maps and f
o
lds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
Verdoolaege
add is
l
_union_set_apply_u
n
ion_pw_qpoly
n
omial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
u
p
date isl
f
o
r expor
t
of is
l
_uni
o
n
_
m
a
p_
f
rom_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
isc
c
: add w
r
ite operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
iscc:
op
t
iona
l
ly
d
isab
l
e
read operatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
S
ve
n
V
e
rd
o
ol
a
ege
doc
:
exp
l
ai
n
co
m
m
a
operator
i
n a set descript
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoola
e
ge
iscc: add t
y
peof operator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdoolaege
add isl_str_from_st
r
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc
.
c: u
s
e C99 designated
i
n
i
tializers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc: minor i
m
provement
in error
m
e
s
sage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
v
e
n
Ver
d
o
o
laege
iscc: add domain
_
map and range
_
map operat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
Verdoolaege
iscc: add "domai
n
" and "range" synonyms for "
d
om"
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
Verdo
o
laege
update isl to version 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdool
a
ege
is
c
c:
don't allow
co
d
e generation on union sets of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
S
v
en Verdool
a
ege
upda
t
e isl to
versi
o
n 0
.
0
5
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdo
o
laege
avoid
use of isl_set and isl_map
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sv
e
n Verdoo
l
aege
s
e
parate out
isl in
t
erface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Ver
d
oola
e
ge
configure
.
in: propagate absolu
t
e isl
builddir
t
o submod
u
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoola
e
ge
update isl for rena
m
e
of h
e
ader fi
l
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
e
rdoolaege
ev
a
lue_floor2frac: do
n
't ass
u
me coefficients of f
l
oors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
test_bound: stop
t
esti
n
g after predeterm
i
ned number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
olaege
barvi
n
ok_bound: rewrite
in
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oolaeg
e
barvinok_{s
u
mmate,boun
d
}: take
i
s
l
inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
d
oolaege
te
s
t_b
o
un
d
: switch
t
o
i
sl r
e
pre
s
entation e
v
en earl
i
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaege
t
e
st_bound: switch
t
o isl repr
e
senta
t
io
n
ea
r
li
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
a
eg
e
iscc:
a
dd po
l
ynomial approxi
m
atio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sv
e
n V
e
rdoolaege
b
a
rvino
k
_sum
m
at
e
: r
e
writ
e
in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
v
e
n Verdoola
e
ge
barvi
n
ok_summ
a
te:
u
se
i
sl
i
nte
r
face
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Ve
r
do
o
la
e
ge
bound
.
cc: drop
dead
c
ode
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
S
v
en Verdool
a
ege
doc: more in
f
ormatio
n
about using sets and ma
p
s in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
S
v
en Verdoolaege
d
o
c:
u
pdat
e
some references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
S
ven Verdoolaege
is
c
c:
a
d
d poly operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoo
l
aege
iscc:
a
d
d s
c
an oper
a
tio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaege
isl_
p
w
_
q
p
o
ly
n
om
i
al_sum:
h
andl
e
exist
e
ntials i
n
wrap
p
ed
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sve
n
Verdoolae
g
e
upd
a
te
isl for rena
m
ing of isl_map_re
m
o
v
e
commit
|
commitdiff
|
tree
2010-10-20
Sven Ver
d
o
olaege
version
.
c: show us
e
o
f C
L
ooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdool
a
ege
doc: a bit more
i
nf
o
on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdo
o
laege
iscc: add before a
n
d after operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: a
d
d identity
o
peration
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
doo
l
a
ege
i
s
c
c
:
b
r
eak out off main loop w
h
en printer no lon
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdoolae
g
e
iscc: supp
o
rt
ex
t
ended Pol
y
L
i
b output
format
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Ve
r
do
o
l
aege
conf
i
gure
.
in
:
perf
o
r
m
check for GMP su
p
port in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaeg
e
isl_Po
l
y
hedron_Sample:
a
d
d missing initialization
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaege
iscc: add composition ope
r
a
tion on
pie
c
ewi
s
e quasipolynomia
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
ege
iscc
:
add depende
n
ce analysis
o
p
e
rat
i
ons
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc:
register extra keywords in
gene
r
i
c
w
a
y
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
V
e
rd
o
olaege
u
s
e isl to perform "manual_c
o
un
t
"
commit
|
commitdiff
|
tree
2010-10-11
S
v
en
Verdoolaege
allow buildi
n
g with
o
u
t
p
iplib
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verd
o
olaege
Polyhedron_Reduced
_
Basis:
optionally u
s
e
i
s
l
commit
|
commitdiff
|
tree
2010-10-11
S
ven
Verdo
o
l
aege
fix depe
n
dence
o
n
buil
d
i
sl
commit
|
commitdiff
|
tree
next