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
barvinok 0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
iscc
.
c: fix typo which w
o
ul
d
preven
t
compilation in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
update isl to v
e
rsio
n
0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_
p
w
_qpoly
n
o
m
i
al_sum: han
d
le ex
i
stentials in non
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
drop piplib
s
ub
m
o
d
u
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
s
top
u
sing pip as LP sol
v
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
d
oo
l
aege
d
o
c: c
o
nstraints no longer need to b
e
spe
c
ified
in DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
scc
:
parse lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
o
o
laeg
e
add isl_list_add
_
obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
er
d
oolae
g
e
iscc:
parse boolean
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaege
iscc: allow interruption of computation fr
o
m the
ke
y
board
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sv
e
n
Verdoolaeg
e
avoid
u
s
e of isl_
c
tx interna
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaeg
e
isl_
o
bj
_
str: print quotes around s
t
ring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verdool
a
ege
iscc:
keep
t
r
a
ck of in
t
e
r
mediate
r
esults i
n
i
nteractiv
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verd
o
o
l
a
ege
iscc:
a
dd 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
Sven Verdoolaege
iscc: add deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ve
n
V
e
rdoolaege
lexmin: assume unknowns and parameter
s
are
non-negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
lexmin
:
use isl
t
o
r
e
ad inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaeg
e
al
s
o perform lexmi
n
check
i
n absence of GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
o
o
l
a
e
g
e
polysign: add isl-backed ve
r
s
i
on and use it by
d
efault
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
upd
a
te isl-po
l
ylib for fix in header f
i
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
up
d
a
te isl for change in
i
s
l_
f
low_get_no_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdoolae
g
e
doc: document isl
m
odulo notat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
Make
f
ile
.
a
m
: pu
t
NT
L
CF
L
AG
S
after isl CFL
A
GS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Ver
d
oo
l
a
e
ge
i
scc: read_line:
f
i
x return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
evalue_isl
.
c:
f
i
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
la
e
ge
i
scc: add
operations on
int obje
c
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaeg
e
update
i
sl for introduction of int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verd
o
ola
e
ge
add isl_basic_set_card an
d
isl
_
ba
s
i
c
_
ma
p
_card
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
docu
m
ent
isl
_
union_set
_
apply_uni
o
n_pw_qpo
l
ynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
r
e
move polyhedron_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdool
a
ege
remove poly
t
ope_minimiz
e
a
pp
l
ication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Polyhe
d
r
o
n_Sample:
use
i
sl unco
n
ditionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
re
m
ove combine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
buil
d
l
i
bisl
a
nd libpolylibgmp before l
i
bisl-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n V
e
r
doolaeg
e
iscc: support applicati
o
n of piecewise quasipo
l
y
nomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
doc: fix d
o
cument
a
tion of join of maps
a
nd
folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
a
d
d
isl_union
_
set_apply_union_pw_qpolynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
update i
s
l
f
or export
o
f
isl_u
n
i
on_map_from_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
iscc: add w
r
i
t
e o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
i
s
c
c
:
optionally d
i
sab
l
e read ope
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sve
n
Verdoolaege
doc: explain comma operator in a set de
s
c
r
i
p
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc: add typeof
operator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoola
e
ge
add isl
_
str_fr
o
m_str
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
i
s
cc
.
c: use C99 designa
t
e
d init
i
a
l
iz
e
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verdoolaege
i
scc: min
o
r improvement
i
n e
r
ror
m
e
ssage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
iscc: add dom
a
in_map
a
nd range_map operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
iscc: add
"
domain" and "range" synonyms for "do
m
" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n
V
erdoola
e
g
e
update isl
to version 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdo
o
laege
i
s
cc: d
o
n't allow code g
e
nerat
i
on on union
sets
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Ver
d
oolaege
update isl
t
o version
0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven
V
erdoolaege
avoid use o
f
isl_set and
i
sl_ma
p
interna
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaege
separate out isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sv
e
n Verdoolaege
configure
.
in: propagate abs
o
lute isl bui
l
ddir to submod
u
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
S
ven
Verdoolaege
update
i
s
l for rename of h
e
ader
files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Ve
r
doolaeg
e
evalue_flo
o
r2frac: d
o
n't assume
coefficie
n
t
s
o
f
f
l
oors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oola
e
g
e
test_boun
d
: s
t
o
p test
i
n
g
a
ft
e
r
pr
e
determi
n
ed number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
Verdoolaege
barvi
n
ok_bound: re
w
rite
in
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaege
barvinok_{sum
m
a
te,bound}: take
i
sl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdoola
e
ge
t
est_bound:
s
witc
h
to isl
r
epresen
t
ation
e
v
e
n
earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
o
o
lae
g
e
test_bound
:
switch to isl
r
epr
e
senta
t
ion ear
l
ier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
isc
c
: add polynomial approximations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoo
l
a
ege
barvinok
_
s
ummate: r
e
w
r
it
e
in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven
Verdool
a
e
ge
barvinok_summa
t
e:
u
se isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven
Ve
r
do
o
laege
bound
.
cc: dro
p
dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaege
d
o
c
: mor
e
inform
a
tion about u
s
ing set
s
and maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
S
ven Verdoolaege
do
c
: update some references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
S
v
en Verdo
o
laege
i
s
cc: add p
o
ly operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sv
e
n Verd
o
olaege
iscc:
a
dd sca
n
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
S
ven
Verdoolaege
is
l
_p
w
_
q
polynom
i
al_sum
:
handle e
x
i
s
t
ential
s
i
n wr
a
pped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
update
i
sl f
o
r renaming of isl_ma
p
_remove
commit
|
commitdiff
|
tree
2010-10-20
S
ven V
e
r
dool
a
ege
version
.
c: show u
s
e o
f
CLooG
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Verdool
a
e
ge
doc: a bit more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoola
e
ge
isc
c
: add before and aft
e
r
o
perations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoola
e
ge
i
s
cc: a
d
d
i
dentity operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc
:
break
out off
main loop wh
e
n
printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
S
ven Ver
d
o
olaege
iscc:
suppor
t
ex
t
ended Poly
L
i
b
output form
a
t
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoola
e
ge
c
o
nfig
u
re
.
i
n:
p
erform check
f
or GMP suppo
r
t
in
N
TL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n Ve
r
d
o
olaege
isl
_
P
o
lyhedro
n
_
S
am
p
l
e
:
add missing initia
l
ization
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: add c
o
m
p
o
sit
i
on o
p
eration on piecewise quasipolyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verd
o
olaege
i
s
cc
:
add de
p
endence analysis operat
i
ons
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
o
l
aege
iscc: registe
r
extra keywords in generic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
use isl to perform "manual_count"
commit
|
commitdiff
|
tree
2010-10-11
S
ven V
e
rd
o
ola
e
ge
allow building without pipli
b
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolae
g
e
Polyhedron_Redu
c
ed_Basis: optiona
l
ly
use
i
sl
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaeg
e
f
i
x dependence on
b
u
ild isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoo
l
a
ege
isl_map_card: use
i
s
l for factori
z
ation
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoo
l
ae
g
e
isl_map_card: split
dimensio
n
fiddling from conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
rdoolaege
isl_
m
ap_card: use isl
_
pw_qpolynomial_sum if
requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
ven V
e
r
d
oolaege
b
a
rvinok 0
.
3
2
.
1
commit
|
commitdiff
|
tree
2010-09-13
S
ve
n
Ve
r
doolaege
u
p
date isl for f
i
x in parameter alignmen
t
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n Verdoolaege
ba
r
vi
n
ok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
e
rdoolaege
iscc: ad
d
lexicogra
p
hic ope
r
ators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
update is
l
to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sv
e
n Verdo
o
l
a
ege
iscc:
a
dd
"
source
"
o
peration
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoo
l
aege
iscc
:
a
dd suppor
t
fo
r
strings
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n
Verdool
a
e
g
e
iscc: print error messag
e
o
n use
o
f
u
nknown
i
dentifier
commit
|
commitdiff
|
tree
2010-09-06
S
ve
n
Verdo
o
laege
i
s
cc: support union sets in vertic
e
s operation
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n Ver
d
ool
a
ege
add
isl_list_c
o
ncat
commit
|
commitdiff
|
tree
next