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
barvinok 0.33
2011-03-18
Sven Verdoolaege
bar
v
inok 0
.
33
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
iscc
.
c: fix
typo which would prevent co
m
pilat
i
on in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
update isl to vers
i
o
n 0
.
0
6
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
is
l
_
pw_qpolyno
m
ial
_
s
u
m:
h
andle existentials
i
n n
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Ve
r
doolaege
dr
o
p piplib
s
ubmodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
stop using p
i
p as LP
s
olver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verd
o
olae
g
e
doc
:
c
o
nst
r
aints no longer need
t
o
b
e
specifi
e
d
in
D
NF
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
ola
e
g
e
iscc: par
s
e lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n
V
erdoolaege
add isl_lis
t
_add_
o
b
j
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc: pars
e
booleans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Ve
r
doolaege
iscc
:
al
l
ow interrup
t
ion of computation fr
o
m the
keyboard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
Sven
V
e
rdoolaeg
e
avoid use
o
f isl
_
ctx int
e
rnals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Verdoolae
g
e
isl_obj_str:
p
rint
quotes aroun
d
strin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
e
r
d
oolaege
iscc: ke
e
p track of interme
d
iate res
u
lts
i
n
interactive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoolaege
i
scc: add pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
e
rdoola
e
ge
isc
c
: ad
d
z
i
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
S
ven Ve
r
d
o
o
laege
iscc: add de
l
t
a
s
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
lexmin: a
s
s
ume unknowns a
n
d parameters are non-negative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
lex
m
in: use isl to r
e
ad input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven
V
erdoolaeg
e
als
o
per
f
orm lexmin check
i
n absence of GL
P
K
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolae
g
e
polysign: add isl-ba
c
ked
version and use it by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdool
a
ege
upda
t
e isl-polylib for fix in
h
eader f
i
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
Verdoolaege
upd
a
te is
l
for change
i
n i
s
l_flow_get_n
o
_source
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdoolaege
doc:
docum
e
nt isl modulo no
t
at
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoolaege
iscc: re
a
d
_
line: fix return
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
evalue_
i
sl
.
c
:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolaege
is
c
c: ad
d
operations on int objec
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
update isl f
o
r in
t
roduc
t
ion
of int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ver
d
oola
e
ge
add
i
sl_basic_se
t
_card and is
l
_basic_
m
a
p_card
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
documen
t
isl_union_set_a
p
ply_union_pw_qpolynomia
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove po
l
yhedron_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
l
aege
remov
e
polytope_minimize application
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
Polyhed
r
o
n
_Sample: use isl unconditi
o
nally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Ver
d
oolaege
remov
e
combine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
buil
d
libis
l
and libpolylibg
m
p before libisl-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc: support appl
i
cation of piecewise quasipolyn
o
mi
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
d
o
c: fix documentatio
n
of join of maps and folds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
add
isl_un
i
on_set_apply_
u
nion_pw_q
p
olynom
i
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdool
a
ege
u
pda
t
e
i
sl for export of isl_un
i
o
n_map_from_ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaeg
e
i
s
c
c
:
add write
o
p
e
ra
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
iscc: opt
i
onally disa
b
le
r
ead operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdoolaeg
e
doc: ex
p
la
i
n comma operato
r
in a set descriptio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdoo
l
a
e
ge
iscc: add typeof
o
perator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaeg
e
add isl_str_from_string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n Verdoolaege
iscc
.
c: u
s
e C99 designated initializers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc: minor improvement in
e
rror message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ve
r
doolaege
iscc: add
domain_
m
ap and range_ma
p
ope
r
ati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n Verdo
o
laege
is
c
c:
a
dd "dom
a
i
n
" and "range"
synonyms
f
o
r
"do
m
" and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven V
e
rdo
o
laege
u
p
date isl
t
o version 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdool
a
ege
iscc: don't
allow code g
e
neration
on union
sets
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoola
e
ge
updat
e
i
s
l to ve
r
si
o
n 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
avoid use of
i
sl_s
e
t and isl_map interna
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven
Verdool
a
e
ge
s
eparate o
u
t
isl int
e
rface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verd
o
olaege
configur
e
.
i
n
: propa
g
ate ab
s
olute
i
sl
builddir to su
b
mod
u
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sv
e
n V
e
r
doolaege
u
p
da
t
e isl for
rename
o
f header files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
eval
u
e_flo
o
r2frac: don't assume
co
e
fficients of
fl
o
o
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
ge
te
s
t_b
o
und: stop testing
a
fter pr
e
d
e
t
ermined number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
barv
i
n
o
k_bo
u
nd: rewrite in
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
barvinok_{summate,bou
n
d}:
t
a
k
e
i
sl input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaege
test_b
o
und:
switc
h
to
i
sl re
p
resent
a
tion
e
v
en
e
ar
l
ie
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verd
o
o
l
a
ege
te
s
t_bou
n
d: switch to is
l
representatio
n
ea
r
lier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaeg
e
iscc: add polynomial appr
o
xim
a
ti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdool
a
ege
barvinok_summa
t
e: rewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Ver
d
o
o
laege
barvinok_summate: use isl
interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sve
n
Ver
d
o
o
laege
bound
.
cc:
d
rop
d
e
ad code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaege
doc: more
inform
a
tion abou
t
using
sets and map
s
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sve
n
Ve
r
doola
e
g
e
doc: update som
e
referenc
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven
Verdoola
e
ge
iscc: add
poly operat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
S
v
en Verdo
o
l
a
ege
iscc: add scan
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaeg
e
isl_p
w
_qpoly
n
omial
_
sum: h
a
ndl
e
existentials in
wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven
V
e
r
doola
e
g
e
upda
t
e
isl for renaming of
i
s
l_
m
ap_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven V
e
rdoolaege
version
.
c: show use of C
L
o
oG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
olaege
d
o
c:
a bit more i
n
fo on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
V
e
rdo
o
l
a
ege
iscc: add
b
e
f
ore and
af
t
e
r
operati
o
ns
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
l
a
e
ge
isc
c
:
ad
d
identity
opera
t
ion
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
e
rdoo
l
aege
iscc: brea
k
out off m
a
in
l
o
o
p when pr
i
n
ter no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc:
support exten
d
e
d PolyLib output form
a
t
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
e
r
doolaege
configure
.
in
:
p
erform check
for GMP suppor
t
in
N
TL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
o
o
lae
g
e
iscc:
add co
m
position
o
p
e
ration on
p
iec
e
wise quas
i
polynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n Verd
o
olaege
is
c
c:
a
dd dependence analysis operations
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaege
iscc: regis
t
er extra ke
y
words in generi
c
wa
y
commit
|
commitdiff
|
tree
2010-10-11
S
v
en V
e
rdoo
l
a
e
g
e
use isl to
p
er
f
orm
"
manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaege
all
o
w building without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
l
a
e
ge
P
o
lyhedron_Reduced_Basis: optionally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
fix de
p
endence on build isl
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaeg
e
isl
_
map_card
:
use isl f
o
r
factor
i
zation
commit
|
commitdiff
|
tree
2010-09-14
S
ven Verdoolaege
isl_map_
c
ard: s
p
li
t
dim
e
nsion fiddling fro
m
conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolae
g
e
isl_
m
ap_card: use i
s
l_pw_qpolynomial_sum if
requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verd
o
olaege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
rdoolaege
update is
l
fo
r
fix in
p
ara
m
eter a
l
ignment
commit
|
commitdiff
|
tree
2010-09-10
S
v
en Verdool
a
ege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Ve
r
doolaege
iscc: a
d
d lexi
c
ographic operators
commit
|
commitdiff
|
tree
2010-09-10
S
v
en Verdoolaege
update isl to ver
s
ion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Ve
r
doolaege
iscc:
add "sour
c
e" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: add support
for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verd
o
olaege
is
c
c:
print error message
on use
o
f
u
nknow
n
identifier
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoolaege
i
scc
:
support un
i
on
s
e
ts in vertices operation
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n
V
erdoo
l
ae
g
e
add isl_l
i
st_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoola
e
ge
b
a
rvinok_bound: use i
s
l t
o
split periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
upd
a
te
i
sl for isl_pw_qpolyn
o
mial_split_periods
commit
|
commitdiff
|
tree
next