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
configure.ac: don't depend on automake 1.11
2011-05-16
Sven Verdoolaeg
e
configure
.
ac: don't d
e
pend on automake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
isc
c
: add schedule an
d
schedu
l
e_bands operat
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
o
olaege
iscc
:
add solutions
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
iscc: ad
d
coefficien
t
s o
p
erat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoola
e
ge
is
c
c: add lift operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
Verdoolaege
iscc:
p
erform assig
n
ments even o
n
error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
iscc:
p
l
ug memo
r
y l
e
ak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-19
Sven V
e
rdo
o
laege
use sile
n
t make rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n
Verdoola
e
ge
barv
i
n
ok 0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
r
dool
a
e
g
e
iscc
.
c: fix typ
o
which
would prevent compilation in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ve
n
Verdoolaege
update isl to
ve
r
sion 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Ve
r
dool
a
ege
i
sl
_
pw_qpolynomial_sum: handle existentials in n
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaeg
e
drop pi
p
l
i
b
submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
stop using pip as LP
s
olver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
o
o
laege
do
c
: const
r
aint
s
no l
o
ng
e
r ne
e
d to
b
e specified in DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aeg
e
iscc
:
parse
l
is
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolae
g
e
add isl_list_add_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
o
l
aege
iscc:
p
arse b
o
ole
a
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
iscc
:
allow i
n
te
r
ru
p
tion
o
f comput
a
t
i
on from the keyboard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sven V
e
rdoola
e
g
e
avoi
d
use
o
f
isl_ctx intern
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_obj_str: print quotes around
st
r
i
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdoolaege
iscc: keep track
o
f
intermediate
re
s
ults
in interact
i
ve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
doo
l
aege
iscc: add pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Verdoolae
g
e
i
sc
c
: add
z
ip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven Ve
r
doolaege
iscc
:
ad
d
delta
s
_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
l
e
x
min: assu
m
e
u
nknowns and parameters are non-negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
lex
m
in: use isl to
rea
d
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
al
s
o perform lexmin check in absen
c
e of G
L
PK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n Ver
d
oolaege
pol
y
sign: add i
s
l-backed ve
r
s
ion and use it by
default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
update isl-polyli
b
for fix in
h
eader file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
update is
l
for chan
g
e in isl_flow_get_no_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sv
e
n V
e
r
d
oolaege
doc: document isl modulo
nota
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Ve
r
d
oolaege
Mak
e
f
il
e
.
am
:
put NTL CFLAG
S
after
i
sl
C
FLAGS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
lae
g
e
iscc: read_l
i
ne: f
i
x ret
u
rn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolae
g
e
ev
a
lue_isl
.
c
:
fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laege
is
c
c
: add operations on int obje
c
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
o
l
aege
update i
s
l for intro
d
u
ction of
i
nt objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
Verdoolaege
add isl_ba
s
ic_set_ca
r
d and
i
s
l
_
b
as
i
c_map_car
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
docum
e
nt isl_union_s
e
t_apply_un
i
on_pw_qpo
l
y
n
omial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
r
emo
v
e
polyhedron_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
remove po
l
yto
p
e_
m
inimize applica
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Poly
h
edron_Sample
:
use isl
u
nc
o
nditionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
o
o
l
ae
g
e
r
emove co
m
bine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
ae
g
e
buil
d
libisl and libpo
l
ylibgmp before li
b
i
sl-p
o
lylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
iscc:
support application of
p
iecew
i
se q
u
asipolyn
o
mial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
doc: fix
d
o
c
umentat
i
o
n
o
f
j
oin o
f
maps and folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
a
dd isl_union_se
t
_apply_union_pw_qpolyno
m
ial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
a
e
ge
update isl f
o
r export of isl_union_map
_
from_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
iscc:
add write operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc: op
t
i
o
na
l
ly d
i
sable
r
ead o
p
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdoolaege
d
oc: explain comma o
p
erat
o
r in a set descript
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n Verdoolaege
iscc:
add type
o
f ope
r
a
t
or
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoo
l
a
e
ge
add isl_str_from_string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdoo
l
a
ege
is
c
c
.
c: u
s
e
C
99
de
s
ignated
initial
i
zers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en
Verdoolaeg
e
iscc: minor i
m
prove
m
en
t
in error message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
iscc:
add domain_m
a
p
and range_map operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven
Verdoo
l
a
ege
iscc: add "domain" a
n
d "range" synonyms for
"
dom" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
update isl
to vers
i
on 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven
V
erdoolaege
i
s
cc:
don't al
l
ow cod
e
generation on union sets of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sve
n
Verdoolaege
u
p
date is
l
to vers
i
on
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 and isl
_
map int
e
rnals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verd
o
olaege
sep
a
rat
e
out is
l
inter
f
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Ve
r
d
o
olaege
config
u
re
.
in:
p
ropagate abs
o
lute isl builddir to submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
S
v
en Verdool
a
ege
update isl for
re
n
am
e
of header files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdo
o
laege
evalue_floor2
f
rac: don't assume coeffici
e
nts
o
f floors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aeg
e
t
e
st_bound: stop
testin
g
a
fter pred
e
t
e
rmined nu
m
be
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
ge
barv
i
nok_bound: rewrite in
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdo
o
l
a
ege
barvi
n
ok_
{
summate,bo
u
nd}: ta
k
e isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
test_
b
ound:
s
witch to is
l
representation
e
ven earlie
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdool
a
eg
e
t
e
st_bound: swi
t
c
h to i
s
l
r
e
p
resentation earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n
V
erdo
o
la
e
ge
isc
c
: a
d
d p
o
lynomial
a
pproxima
t
ion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaeg
e
bar
v
i
n
ok
_
summate: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven
Verdo
o
laege
b
a
rvin
o
k_s
u
mmate
:
use isl int
e
r
face
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven V
e
rdoolaege
bound
.
cc: drop dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaege
doc: mor
e
infor
m
ation about using sets and maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sv
e
n Verdool
a
e
ge
doc: update some references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Ver
d
oolaeg
e
iscc: add pol
y
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoolaege
iscc: add sca
n
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verd
o
olaege
isl_pw_qpol
y
nomial_sum: handle existe
n
tials i
n
wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven
Verdoolaege
update isl for renami
n
g of isl_map_remov
e
commit
|
commitdiff
|
tree
2010-10-20
Sv
e
n Verdoola
e
ge
versio
n
.
c:
sho
w
use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdo
o
laege
d
o
c: a bit
more
inf
o
on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: add
before and after ope
r
ati
o
ns
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
dool
a
ege
iscc:
add identity operati
o
n
commit
|
commitdiff
|
tree
2010-10-18
S
ven
Verdoola
e
ge
iscc: break out off mai
n
l
o
op when printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
i
sc
c
:
support extended Po
l
yL
i
b output format
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rd
o
olaege
co
n
figure
.
in: perform check for GMP
s
upport in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
isl_Po
l
yhedro
n
_Sample:
a
dd miss
i
ng i
n
i
t
ia
l
izat
i
o
n
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolae
g
e
iscc: add c
o
mposition
opera
t
ion
on piecew
i
se quasipoly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
iscc
:
add dependenc
e
analysis operatio
n
s
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoo
l
ae
g
e
iscc: register extra keywords i
n
gene
r
ic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaege
use isl to
p
e
rform "manual
_
count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
o
olaege
allow buil
d
ing without
p
iplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
P
olyhedron_Reduced
_
Basis: option
a
lly
u
se isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n V
e
r
d
oolaege
fix
dependence on bu
i
ld isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoolaege
isl_
m
a
p_card: use isl
for
fact
o
rization
commit
|
commitdiff
|
tree
2010-09-14
Sv
e
n Verdoolaege
isl_
m
ap
_
card: split
d
i
m
e
nsi
o
n fi
d
dling from c
o
nve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
is
l
_ma
p
_c
a
rd:
u
se i
s
l
_
pw_q
p
olyno
m
ial_sum i
f
requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verd
o
olaege
bar
v
inok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
r
doolaege
update isl
f
or fix
i
n p
a
rameter a
l
i
gnment
commit
|
commitdiff
|
tree
next