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
iscc: allow interruption of computation from the keyboard
2011-03-18
Sv
e
n Ve
r
doolaeg
e
is
c
c: a
l
low
interru
p
tion
o
f
computation from
t
he keybo
a
r
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
S
v
en V
e
r
doolaege
a
void
u
se of isl_ctx in
t
erna
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
Verdoolae
g
e
i
s
l_obj_str: print quotes
around strin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdoola
e
ge
iscc:
k
eep track of intermediate r
e
sul
t
s in
interactive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
rdoolaege
isc
c
:
a
d
d
pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n V
e
rdoolaege
iscc: add zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoolaege
isc
c
: add de
l
tas
_
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
lexmin: assume unkn
o
wns and parameters are no
n
-
n
egat
i
ve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
lexmin: use isl
to
read input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
also perform lex
m
i
n check i
n
ab
s
e
nc
e
o
f
GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
polysign: add isl-backed
v
ersion and use it by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
upda
t
e isl-po
l
y
lib for fix in he
a
der f
i
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verd
o
o
laege
update
isl for
c
hange in isl_flow_get_no_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdoolaege
d
o
c: docume
n
t isl m
o
dulo notation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoola
e
ge
M
a
k
e
file
.
am: put
NTL C
F
LA
G
S after
isl CF
L
AGS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oo
l
a
e
ge
iscc: read_line: fix return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laege
evalue_
i
sl
.
c: fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
iscc: ad
d
operations
on
i
nt objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaege
up
d
ate isl for introduction of int o
b
jects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ve
r
doolaege
add isl_basic_set_card a
n
d isl_ba
s
i
c
_map_ca
r
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Ve
r
doolaege
docu
m
ent isl_union_set_a
p
ply_un
i
on_pw_qpolyn
o
mial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove polyhedr
o
n_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remo
v
e polytope_mini
m
ize a
p
plication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
Poly
h
e
dro
n
_Sample:
u
s
e
isl unconditionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolae
g
e
remove combine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
b
uild libisl and
l
ibpolylibgmp before libisl-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
iscc: support application of piecewise qua
s
ipolynomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
e
r
doolaege
doc: fix do
c
um
e
ntation of
j
oin of maps and folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Ver
d
oolaege
add isl_uni
o
n_set_ap
p
ly_u
n
ion_pw_qpolynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
d
o
olaeg
e
upd
a
te isl for
export of isl_un
i
on_
m
ap_from_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoola
e
ge
iscc: ad
d
write operatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoo
l
a
ege
iscc:
o
p
tionally disable
read operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven V
e
r
doolaege
doc:
expla
i
n comma operator in a set descripti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Ve
r
d
oolaege
iscc: add typ
e
o
f
oper
a
tor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
e
n
V
erdo
o
lae
g
e
ad
d
isl_str_from_string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ve
r
do
o
laege
iscc
.
c: use C99 designated in
i
tializers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdool
a
ege
iscc: minor improvement in
e
rr
o
r message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven
V
erdoolaege
iscc
:
a
d
d domain_map
and range_ma
p
op
e
ra
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ver
d
oo
l
aeg
e
i
scc: add "domai
n
" an
d
"range" synonyms f
o
r "dom" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ver
d
oolaege
update isl
to v
e
r
s
ion 0
.
0
5
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven
Verdoolaeg
e
iscc:
don't allow code generation on
un
i
on sets of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolaege
u
p
d
ate i
s
l
t
o vers
i
on 0
.
0
5
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoola
e
ge
avoid u
s
e of isl_
s
et and isl_map i
n
t
e
rna
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
S
ven Ve
r
d
o
olaege
s
epa
r
ate out
isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Ver
d
o
o
laege
configure
.
i
n
: pr
o
pa
g
ate absolute isl bu
i
lddir to submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verd
o
olae
g
e
update isl f
o
r rename
of header file
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoolaege
e
value
_
f
loor2frac: don'
t
as
s
u
m
e coefficients of fl
o
o
rs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoola
e
ge
test_bound: stop testing aft
e
r pre
d
etermi
n
ed nu
m
ber
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
Verdoolaege
barvinok_bound:
rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoo
l
aege
b
a
rvinok_{summate,bound}: take isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_
b
oun
d
: switch to
isl repres
e
ntation even earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_
b
ound
:
switch to isl representation ear
l
ier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoolaege
isc
c
: add polynomial appr
o
ximat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Ver
d
oolaege
barvinok_summate: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
v
en Verdoolaege
barvi
n
ok_summate
:
use
isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
S
v
e
n
Verdoola
e
ge
bound
.
cc: drop dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Ve
r
d
oo
l
aege
doc: more inf
o
rma
t
ion abou
t
using sets and
m
a
p
s in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
doc: update some reference
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
iscc: add
poly operatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Ve
r
doolaege
i
scc: ad
d
scan operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven
V
erdoolaege
is
l
_p
w
_qpol
y
no
m
ial_s
u
m
:
handle
existentials in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
up
d
at
e
isl
for renam
i
ng of isl_map
_
remove
commit
|
commitdiff
|
tree
2010-10-20
Sven
V
erdoolaege
v
ersion
.
c: show u
s
e o
f
CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaeg
e
d
oc: a
bi
t
more info
on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdoola
e
ge
isc
c
: add before and after oper
a
tions
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: add identity
operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoola
e
ge
iscc: brea
k
o
ut
o
f
f
main loo
p
when
p
r
inter
n
o lo
n
ger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
is
c
c:
s
upp
o
r
t extended PolyLib outpu
t
format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
configure
.
in: perform che
c
k for GMP
support in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
i
s
l_P
o
lyhedron_Sa
m
p
le: add m
i
ssing initialization
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n
Ver
d
oolaeg
e
is
c
c: add composition
o
p
e
r
a
t
i
o
n
on piecewise qua
s
ip
o
l
y
n
o
mial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc:
a
d
d depend
e
nce analysis
o
per
a
tions
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
d
oolaege
iscc: register
e
xtra keywords
i
n generic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaeg
e
use
i
sl to pe
r
form
"
manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
a
l
low building witho
u
t pipl
i
b
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
Polyh
e
dron_Redu
c
ed
_
Basis: optionally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
fi
x
dependence on build
isl
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaege
isl_map
_
card: use isl for
f
actorization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl_map_card: split dimension
fi
d
dling from conver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
ven Verdoolaege
i
sl_map_card: use isl_pw_qpolynom
i
al_sum if
requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
barvin
o
k 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoola
e
ge
up
d
ate
isl f
o
r
f
ix in
p
arame
t
er
alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
erdool
a
ege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Ve
r
doolaeg
e
iscc: add
l
exicographic operators
commit
|
commitdiff
|
tree
2010-09-10
S
v
e
n
Verdoolaege
update is
l
to ver
s
ion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolae
g
e
iscc: a
d
d "sourc
e
" operation
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
iscc: add support
f
or strings
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verd
o
olaege
iscc: print erro
r
messag
e
on u
s
e of unknown identi
f
ie
r
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoo
l
aege
iscc: support union sets
in
vertices operation
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoolaege
add isl_l
i
st_
c
oncat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
barvino
k
_bo
u
nd: use i
s
l
to split
periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaeg
e
update i
s
l for isl_pw
_
q
polynomia
l
_
s
p
l
it_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Ve
r
doolaege
doc: mar
k
Poly
L
ib inter
f
ace obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdoola
e
ge
Makefile
.
am: drop references to ob
s
olete @bv_barvinok_
b
ound@
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verdoolaege
evalue_convert
.
cc
:
evalue
_
p
rin
t
_isl: print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sve
n
Verdoolaege
i
s
c
c: al
l
ow
c
o
e
r
cio
n
of bina
r
y lis
t
into first
element
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n
V
e
r
d
o
olaege
b
a
r
vi
n
ok_bound: c
o
nvert to isl_pw_qpol
y
nom
i
al on
c
e
commit
|
commitdiff
|
tree
2010-08-28
Sven
V
erd
o
olaege
barvi
n
o
k
_bound: use
i
s
l to split on domain si
z
e
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaeg
e
set sen
s
ible defaults with --polynomial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
r
doolaege
isl_pw_qpoly
n
omial_sum: reuse
b
arvinok_optio
n
s
i
f
availabl
e
.
.
.
commit
|
commitdiff
|
tree
next