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
isl_obj_str: print quotes around string
2011-03-15
Sven Verdoo
l
a
e
ge
isl_
o
bj_str: print quotes arou
n
d
st
r
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoolaege
iscc: keep
tr
a
ck of intermediate results in i
n
teractive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdoolaege
iscc: add pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
iscc: add zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sve
n
Verdool
a
ege
iscc
:
add deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
V
erdool
a
ege
lexmin: assume
u
n
knowns
and pa
r
ameters a
r
e non-ne
g
a
tive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
r
doolaege
lexmin: use isl to read input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Ver
d
ool
a
e
g
e
al
s
o
per
f
orm le
x
min che
c
k in
a
b
s
ence of GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n V
e
rdoolaege
p
oly
s
ign:
a
dd i
s
l
-
backed versi
o
n
a
nd use it by de
f
a
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
d
ool
a
ege
updat
e
isl-polylib
for fix in header file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Ve
r
doo
l
aege
update
isl
f
or ch
a
nge in isl_
f
l
o
w
_
ge
t
_no_
s
ource
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
S
ven Verdoolaege
do
c
:
doc
u
ment isl modulo
notati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
Mak
e
file
.
a
m
: put NTL CFLAGS af
t
e
r
isl CFLAGS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laege
i
s
cc
:
read_
l
ine: fix re
t
u
r
n
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 Verdoola
e
ge
i
scc: add op
e
rat
i
ons
on
int obj
e
c
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
upda
t
e isl for introductio
n
of i
n
t objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
Ver
d
oolaege
ad
d
isl_bas
i
c_set_card
a
nd
i
sl_ba
s
ic_map_card
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
document is
l
_un
i
on_
s
et_apply_unio
n
_pw
_
qpolyn
o
mia
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove polyhedr
o
n_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove polytope_minimi
z
e applicat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Polyhedron
_
S
a
m
p
l
e: use
i
sl uncond
i
tional
l
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
Verdoolaege
remove
combine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
build
libisl an
d
libpolyli
b
gmp before lib
i
s
l-po
l
yli
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
iscc: support
applicatio
n
of piece
w
ise quasi
p
o
lynomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n Verdoolaege
doc: fix docu
m
entation
o
f
j
oin of maps and fo
l
ds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Ve
r
doola
e
ge
a
d
d
isl_union
_
s
et_apply_union_pw_qpolynomia
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
V
e
r
d
oolaege
up
d
ate
i
sl
f
or expor
t
of isl_u
n
ion_map_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
isc
c
:
add write operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
V
e
rdoolaege
iscc: optionally dis
a
ble rea
d
op
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdoola
e
ge
doc
:
explain com
m
a operator i
n
a s
e
t descrip
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoo
l
aege
iscc: a
d
d
ty
p
eof operator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven V
e
rdoolaege
ad
d
i
sl_str_from_string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdool
a
ege
i
scc
.
c: use
C99 design
a
ted ini
t
ializers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc: min
o
r improvement in error messag
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoo
l
aege
iscc: add dom
a
in_map a
n
d r
a
nge_map
op
e
rations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
iscc: ad
d
"domai
n
" and "range" synonyms
for "dom
"
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
upda
t
e
i
sl
t
o versio
n
0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven
Verdoolaege
iscc:
don'
t
allow code gen
e
ration
o
n
u
n
io
n
sets of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verd
o
o
l
a
e
g
e
update isl to version 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolae
g
e
a
v
oid us
e
of isl_set and
isl_map int
e
rn
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sv
e
n Ve
r
d
o
o
laege
separ
a
te out isl int
e
rface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
S
ven Verdo
o
lae
g
e
configure
.
in: propagate abso
l
ute isl bui
l
d
d
ir to
submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven
V
erdoo
l
aege
update isl for rename
o
f header fi
l
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Ve
r
doola
e
ge
evalue_
f
loor2frac: don't a
s
sume coeffi
c
i
e
n
ts
o
f floors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
ege
test_
b
ound
:
stop
testi
n
g
a
fter predetermined num
b
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doo
l
ae
g
e
barvinok_bound: rewrite
i
n C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdoo
l
ae
g
e
barvi
n
o
k
_{summate,bound}: take isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoolaege
test_bound: swi
t
ch to isl r
e
present
a
tion even
earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ve
n
Verdoolaege
test_bound: switc
h
to isl representation e
a
r
l
i
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
V
e
rdoolaeg
e
i
scc: add polynomial approxima
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barvinok_sum
m
ate: rewrite in
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sve
n
V
e
rdoolaege
barvinok
_
s
ummate: u
s
e isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdool
a
ege
b
o
und
.
cc: drop d
e
ad code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdo
o
la
e
ge
doc: m
o
re info
r
mation a
b
o
u
t using
sets
a
n
d
maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven V
e
rdo
o
laeg
e
d
o
c: upd
a
t
e some references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sve
n
V
e
r
doolaege
i
scc
:
a
dd pol
y
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
S
v
e
n Verdoolaege
iscc: add scan
o
pe
r
ati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaege
i
sl_
p
w
_
q
p
olynomial
_
sum: handle exi
s
te
n
tials
in w
r
apped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
upda
t
e is
l
for renaming
of isl_ma
p
_remove
commit
|
commitdiff
|
tree
2010-10-20
S
v
en Verdoolae
g
e
ve
r
sion
.
c:
s
h
ow use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erd
o
olaege
doc: a bit more i
n
fo on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaeg
e
iscc: add before
an
d
after operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaege
iscc:
a
dd i
d
en
t
i
ty operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oola
e
ge
iscc: break out
o
ff main l
o
op when p
r
i
n
ter
n
o longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: support extended P
o
lyLib output format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
aeg
e
confi
g
u
re
.
in: pe
r
form che
c
k for
GMP
s
u
pport in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
isl_
P
oly
h
edron_S
a
mple: add missin
g
initial
i
zati
o
n
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
i
scc: a
d
d composition operation on
p
iecewise quasi
p
olynomia
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oo
l
aege
iscc: add
d
ependence
a
n
al
y
si
s
operation
s
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n Ver
d
oolaege
iscc: register extra
keywords in generic way
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaege
u
se
i
s
l to perform
"man
u
a
l
_
c
ount"
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
allow buildin
g
without
p
i
pli
b
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
Polyhedron_Reduced_Basis: opt
i
onal
l
y use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
f
i
x dependence on build i
s
l
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
i
s
l_map_ca
r
d:
us
e
isl
for
fa
c
torization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoo
l
aege
isl_map_card: split dimension fiddling from c
o
nversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
v
en Verd
o
olaege
isl
_
map_card: use
isl_pw_qpolynomial_s
u
m if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdool
a
ege
barvin
o
k
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
up
d
ate
i
sl
f
o
r f
i
x
i
n para
m
eter alig
n
me
n
t
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoola
e
g
e
b
a
rvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
V
erdoolaege
iscc: add l
e
xi
c
ographic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
ae
g
e
up
d
ate isl t
o
versi
o
n
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdo
o
laege
iscc: add "source"
o
peration
commit
|
commitdiff
|
tree
2010-09-06
Sven Verd
o
olaege
iscc: add
suppo
r
t f
o
r strin
g
s
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
d
oo
l
aege
i
scc: print error messa
g
e on use of u
n
known identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolae
g
e
iscc: su
p
p
o
rt unio
n
sets in ver
t
ices operation
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verd
o
o
l
a
ege
add isl_
l
ist_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Ver
d
oolaege
barvinok_bou
n
d: use
i
sl to
s
plit
p
eriods
commit
|
commitdiff
|
tree
2010-09-05
S
ven V
e
rdoo
l
aege
update isl fo
r
i
sl_pw_qpolynomial_split_period
s
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoola
e
ge
do
c
: ma
r
k
PolyLib in
t
erface obsolesc
e
n
t
commit
|
commitdiff
|
tree
2010-08-31
Sven Ve
r
dool
a
ege
Makefile
.
am:
dro
p
references to obsolete @bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
erdoolaege
eval
u
e_con
v
ert
.
cc
:
e
v
alue
_
p
r
int_isl: print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven
V
e
rdoolaege
iscc: allow co
e
rcio
n
o
f
binary
list
into f
i
r
s
t elemen
t
commit
|
commitdiff
|
tree
2010-08-28
Sven V
e
rdoolaege
barvinok_
b
ound: conve
r
t to isl_pw_qpolynom
i
al
once
commit
|
commitdiff
|
tree
2010-08-28
S
v
en Verd
o
olaege
barvinok_bound: use isl to spl
i
t on
d
omain siz
e
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verd
o
olaege
s
et sensibl
e
defaults with --polynom
i
al-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolae
g
e
isl_pw_qpo
l
y
n
o
mial_su
m
: reuse b
a
rvinok_options i
f
available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n
Verdoolaege
isl_map_card: reu
s
e
b
arvi
n
ok
_
options if avail
a
ble in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
update
i
sl for ali
g
ning parameters o
f
union arguments
.
.
.
commit
|
commitdiff
|
tree
next