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
barvino
k
0
.
3
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
ool
a
ege
iscc
.
c: fix typo which would
preve
n
t
c
o
mpila
t
io
n
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
up
d
at
e
is
l
to version
0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
ge
isl_pw_qpol
y
nomial_sum: handle exist
e
ntials in non
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
drop pipli
b
submodu
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoo
l
aege
stop using
pip as LP
s
o
l
ve
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
doc: cons
t
r
aints n
o
longer n
e
ed
to be spec
i
f
i
ed in DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdool
a
eg
e
is
c
c: par
s
e l
i
sts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Ve
r
doolaege
ad
d
is
l
_list_add_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n
Ve
r
doolaege
iscc: parse booleans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
i
s
c
c: allow inter
r
uption of
computation from the
k
e
y
board
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sven
V
erdoolaege
avoid
use of isl_ctx
i
nte
r
na
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdo
o
laege
is
l
_obj_str
:
pr
i
n
t
quotes around stri
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
laege
iscc: k
e
ep tr
a
c
k
of intermediate
r
esults in interactive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
rdoolaege
isc
c
: add pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
iscc: add zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoolaeg
e
iscc: add de
l
tas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
lexmin: assume unknowns and parameters are n
o
n-negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
V
er
d
oolaege
lexmin:
u
se isl
t
o
read
i
npu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laeg
e
also perform lexmin ch
e
ck in
absen
c
e of GL
P
K
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
p
olysi
g
n: a
d
d i
s
l-backed version and use it
by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verd
o
ola
e
g
e
updat
e
isl-polyl
i
b fo
r
fix i
n
h
e
ader
f
i
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Ver
d
oolaege
update isl for chang
e
in isl_flo
w
_
g
et_no_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
S
ve
n
Ver
d
oolaege
doc: document isl modu
l
o notation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Ve
r
doolaege
Make
f
ile
.
am: put
NTL CFLAGS after
i
sl CFLAGS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rd
o
olae
g
e
i
s
cc: read_lin
e
: fix return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoolaeg
e
eva
l
u
e_isl
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doola
e
ge
i
scc: add operations on
i
n
t objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoolaeg
e
u
p
date isl for introduction of
int objec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en V
e
rdoo
l
aege
a
d
d
i
sl_basic_set_card and isl_basic_map
_
ca
r
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
ol
a
ege
d
o
c
u
m
ent isl_union_set_apply_union_pw_qpolynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remov
e
po
l
yhedron_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
re
m
ove polyt
o
pe_minim
i
ze a
p
pli
c
atio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
Polyhedron_Sample: use
isl unconditionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolae
g
e
remove combin
e
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
build libi
s
l and libpolylibgm
p
befor
e
libisl-pol
y
lib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoo
l
a
ege
iscc: suppo
r
t appli
c
ation of piecewise quas
i
polynom
i
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
doc: fi
x
docume
n
tation of join of maps and folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolae
g
e
add
isl_union_
s
et_apply_union_pw
_
qpolyno
m
ial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
u
p
date
i
sl for export of isl_uni
o
n
_
m
a
p_from_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc: add write operat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
is
c
c: opt
i
ona
l
ly dis
a
ble
r
ead ope
r
ati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdoolaege
doc:
explain comma operator
in a
set desc
r
i
p
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
er
d
o
olaege
iscc: add ty
p
eof operator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdoolaege
add isl_s
t
r_from
_
string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdool
a
ege
i
scc
.
c: use C9
9
designated i
n
itializers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdoola
e
ge
iscc: min
o
r improvement
in e
r
ror m
e
ssage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdool
a
ege
is
c
c
:
add domain_map and range_
m
ap op
e
rations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
Ver
d
oolaege
iscc: add "do
m
ain" and "range"
s
ynony
m
s for "
d
om" an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdo
o
laege
u
p
d
a
t
e
i
s
l
t
o
versi
o
n 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
iscc: don't
a
llow cod
e
gen
e
ration on uni
o
n
sets of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
S
ven Verd
o
ola
e
ge
update i
s
l
t
o
version 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
S
v
en Verdoo
l
aege
av
o
id use of isl_
s
et
a
nd isl_map internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoo
l
aege
sep
a
rat
e
o
u
t
isl int
e
rface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven V
e
rdoo
l
aege
configure
.
in
:
propagate absolute isl bu
i
l
d
d
ir t
o
submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
S
v
en Verd
o
olaege
update isl
f
or renam
e
of header files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Ve
r
doolae
g
e
evalue_floor2fra
c
: don't a
s
sume coef
f
icients of floor
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
V
e
rdoolaege
test
_
bound
:
stop testing after p
r
edetermined
n
u
m
b
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
d
o
olaege
barv
i
nok_bound: rew
r
ite
in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaege
barvinok_{summate,bound}:
t
a
k
e
isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoolaege
tes
t
_bound: switch to isl represent
a
tion even earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
tes
t
_bo
u
nd: switch to isl repres
e
ntation earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaege
iscc: add polynomial ap
p
roximations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
v
en Ve
r
doolaege
b
a
rvino
k
_s
u
mmate: rew
r
ite in
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven V
e
rdo
o
laege
barvinok_summate: u
s
e isl
i
nterface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdoolaege
bound
.
cc: drop d
e
ad code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sv
e
n Verd
o
olaeg
e
d
oc:
mor
e
information about using
s
e
t
s
a
n
d maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
doc: update some refere
n
ces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sve
n
Verdoolaege
iscc: ad
d
poly ope
r
a
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdo
o
la
e
g
e
iscc: add scan
operatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdo
o
laeg
e
i
s
l_p
w
_qpoly
n
omial_sum
:
h
andle exi
s
tenti
a
ls i
n
wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Ver
d
oolaege
updat
e
isl for renaming of is
l
_map_r
e
mo
v
e
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoolaege
version
.
c: show use of C
L
ooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
doolaege
doc: a
b
it mor
e
info
on
iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolae
g
e
i
sc
c
: add before an
d
after
o
p
erations
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verd
o
olaeg
e
iscc: add ident
i
ty oper
a
tion
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: brea
k
out off
mai
n
loop when printer no l
o
nger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verd
o
olaege
iscc:
s
upport extended P
o
lyLib outpu
t
format
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaege
configure
.
in: perform
c
heck for GMP support in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaege
i
sl_P
o
l
y
h
e
dron_Sampl
e
: add missing initializat
i
on
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
ege
iscc: add com
p
osition operation
on
p
iecewise qu
a
si
p
o
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaeg
e
iscc: add dependence analysis
oper
a
tions
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaege
iscc: regis
t
er extra keywords in ge
n
eric way
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoola
e
ge
use is
l
to pe
r
form "manual
_
count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
ege
a
llo
w
buildi
n
g wi
t
hout p
i
pl
i
b
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
Polyhedron_Redu
c
ed_Basis: o
p
tionall
y
use isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Ver
d
oolaege
fix depende
n
ce on build
i
sl
commit
|
commitdiff
|
tree
2010-10-11
S
v
en
Verdoo
l
a
e
ge
isl_map_card: use is
l
for factor
i
zat
i
on
commit
|
commitdiff
|
tree
2010-09-14
Sv
e
n Verdoolae
g
e
isl_map_card: split dimension f
i
ddling fr
o
m conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
rdoolaege
isl_map_card:
us
e
i
sl_
p
w_
q
polynomial_
s
um if
r
equested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdo
o
l
aege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
S
v
e
n Ver
d
oolaege
updat
e
isl
for fi
x
in parameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolae
g
e
b
a
rvino
k
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdo
o
la
e
ge
iscc: add lex
i
cograp
h
ic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven
Verdo
o
laeg
e
upda
t
e
isl t
o
version
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven
V
e
r
d
oolae
g
e
iscc: add "source" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rdoolaege
i
scc: add su
p
p
ort f
o
r
strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoo
l
aege
iscc
:
print
e
rror mes
s
age
o
n us
e
of unkn
o
wn
identifier
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Ver
d
oolae
g
e
iscc: support
u
n
ion
s
ets
i
n vertice
s
op
e
ration
commit
|
commitdiff
|
tree
2010-09-06
S
v
en V
e
rdoolaege
add isl_lis
t
_
concat
commit
|
commitdiff
|
tree
next