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
S
v
e
n
V
erdoolaeg
e
barvinok 0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoola
e
g
e
i
scc
.
c
:
fix typo whi
c
h would prevent com
p
ilation in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
upda
t
e isl to version 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoo
l
aege
isl
_
pw_qpolynomial_sum: hand
l
e
existentials in non
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Ver
d
oolaege
d
r
op piplib submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
sto
p
u
s
in
g
pip
a
s LP solve
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdo
o
la
e
g
e
doc: c
o
nstraints no long
e
r need to be
sp
e
ci
f
ied
i
n DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Ver
d
o
o
laege
iscc
:
p
a
rse lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
r
d
oolae
g
e
add is
l
_
lis
t
_add_o
b
j
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ve
n
Verdo
o
laege
iscc:
parse
bool
e
ans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc: a
l
low
i
n
t
e
rrupt
i
on of computat
i
on f
r
om th
e
ke
y
board
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sv
e
n Verdoolaege
avoid
use of isl_
c
tx
i
n
t
e
r
n
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdool
a
ege
isl
_
obj
_
s
tr
:
print
quotes around s
t
ring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
iscc: keep track o
f
intermed
i
ate results in interac
t
ive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Verdool
a
ege
isc
c
: ad
d
p
o
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoola
e
ge
i
s
cc: add zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven Ve
r
doolaege
is
c
c: add
d
eltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
l
e
x
m
i
n: assume u
n
knowns and parameters
a
re
non-neg
a
tive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
lexm
i
n: use isl t
o
r
ead in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ve
r
doolae
g
e
also
p
e
rform lexmin check in absenc
e
of GLP
K
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
polysi
g
n: add isl-backed vers
i
on
and use it by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdool
a
eg
e
up
d
ate isl-polylib for fix in
he
a
d
e
r file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n Ver
d
o
olaege
update i
s
l for chang
e
in
isl_fl
o
w_get
_
no_s
o
urce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdoo
l
a
e
ge
do
c
: do
c
ument
i
sl modulo no
t
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven
V
erdoolaege
Makefile
.
am: put NTL CFL
A
G
S after
isl CFLAGS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolaege
iscc: read
_
l
ine
:
fix ret
u
rn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
eva
l
ue_isl
.
c: f
i
x
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erd
o
o
l
aege
iscc: add o
p
e
r
atio
n
s on int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oola
e
ge
update isl
f
or introduction of int ob
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
v
e
n V
e
rdool
a
ege
add
i
sl_basic_set_card and isl_basic_map
_
card
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoo
l
aege
d
ocume
n
t
isl_uni
o
n_set_apply_union_pw_qpolynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
V
erdoolaege
remove polyhedr
o
n
_r
a
n
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
re
m
ove polytope
_
minimize applica
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Polyhedron_Sample:
u
s
e
isl unconditionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
remove combine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
Ve
r
d
o
olaege
build li
b
isl a
n
d lib
p
olylibgmp before
libisl-p
o
lylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoo
l
a
e
ge
is
c
c: suppo
r
t
applicati
o
n o
f
piecewise
quasipoly
n
omial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Ve
r
doolaege
doc: f
i
x
d
ocumentation of join of
m
a
p
s and folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
add
i
sl_unio
n
_set_appl
y
_u
n
ion_pw_qpolynomia
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verd
o
ola
e
ge
update isl for export of isl_union_map_fr
o
m_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verd
o
olaege
iscc: add
wr
i
te op
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
ol
a
ege
iscc: opt
i
onally disa
b
le read operat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven
Verdoolaege
doc: exp
l
ain
comma operator in a set description
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
o
o
l
a
e
ge
is
c
c: add
t
y
p
eof
o
perator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
add isl_str_from_
s
trin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
e
n
Verd
o
olaege
iscc
.
c: use C99 designated initia
l
izers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc: mi
n
or improvement
i
n
error
m
e
ssage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolae
g
e
iscc:
ad
d
domain_map
and
r
ang
e
_map op
e
r
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
v
en Verdoolaege
is
c
c:
a
d
d "domai
n
" an
d
"
r
ange" synonyms
f
or "dom" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolae
g
e
update
isl
to ve
r
sion 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Ve
r
do
o
laege
isc
c
: don't allow code generation on union sets of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoo
l
aege
update is
l
t
o v
e
rsion 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sv
e
n V
e
rdoolaege
avoid use of
is
l
_set and i
s
l_m
a
p internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven V
e
rdoolaege
s
eparate out is
l
i
n
t
e
r
fac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven V
e
rdoolaege
c
o
nfigure
.
in: pr
o
paga
t
e absolute is
l
buil
d
dir t
o
submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sv
e
n Verdoolaege
up
d
ate is
l
for rename of header files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoo
l
aege
evalue_
f
loor2frac: don't assume coeffici
e
nts of flo
o
rs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
e
g
e
test_bou
n
d: stop test
i
ng
a
f
ter predeterm
i
ne
d
number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolae
g
e
barvi
n
ok_b
o
u
n
d: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oolaege
barvinok_{summate,bound}: take
i
sl in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_bound: sw
i
tch to isl r
e
pres
e
n
tation e
v
en earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
t
est_bo
u
nd: switch to isl representation
e
arl
i
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolaege
iscc: add polynomial appr
o
ximations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdool
a
ege
barvino
k
_
s
ummate
:
re
w
r
i
te i
n
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sve
n
Verdoo
l
a
ege
barvinok_summa
t
e:
u
se isl
i
nterface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Ve
r
d
oola
e
ge
bound
.
cc:
d
rop dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdo
o
l
a
ege
doc: mo
r
e
in
f
orma
t
ion about using
se
t
s an
d
ma
p
s in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sve
n
Verdoo
l
a
eg
e
doc
:
update some
references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Ver
d
oolaege
iscc: add poly
o
peration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
S
v
en Verdoolaege
is
c
c: add scan o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaege
isl_pw
_
q
p
olyn
o
mial
_
s
um: ha
n
dle existentia
l
s
in
w
rapp
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
S
ve
n
Verdo
o
laege
u
pdate isl for rena
m
ing of isl_ma
p
_remove
commit
|
commitdiff
|
tree
2010-10-20
Sve
n
Ver
d
oolaege
versi
o
n
.
c
: show use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdoolaege
d
o
c:
a
bit
m
ore info on i
s
c
c
commit
|
commitdiff
|
tree
2010-10-18
S
ven
Verd
o
olaege
i
s
c
c: add before an
d
afte
r
oper
a
tion
s
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
do
o
laege
i
s
c
c: add
i
dentity
operation
commit
|
commitdiff
|
tree
2010-10-18
Sven
Ver
d
o
olaege
iscc: break
o
ut o
f
f
main loop
when printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
laege
is
c
c
:
s
u
ppor
t
extended PolyLib outpu
t
format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
co
n
figure
.
in: perfor
m
check for
GMP support i
n
NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolaege
isl
_
Polyhedron_Sampl
e
:
add missing i
n
itialization
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: ad
d
composition operation
on piecewise quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
l
aege
iscc: add depen
d
ence analysis operatio
n
s
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Ve
r
doolaege
iscc: register extr
a
keywords
i
n generic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
u
se isl to p
e
r
form "manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoo
l
ae
g
e
allow
bui
l
ding
without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaege
P
olyh
e
d
r
on_Reduced
_
Basis: optionally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oo
l
aege
fix depen
d
ence on b
u
ild isl
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdo
o
laege
isl_map_card:
use is
l
for factor
i
zation
commit
|
commitdiff
|
tree
2010-09-14
Sven Verd
o
olaeg
e
is
l
_map_
c
ard: split
dimension
fid
d
ling from co
n
version
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
ven Verdoola
e
ge
is
l
_ma
p
_
c
ard: u
s
e isl
_
pw_qpolynomial_sum if
r
eque
s
te
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Verdoolaege
barvinok
0
.
3
2
.
1
commit
|
commitdiff
|
tree
2010-09-13
S
ven Verdoo
l
aege
u
p
date isl for fix
in par
a
meter alignm
e
nt
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdo
o
laege
barvino
k
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
ven
Verdoolaege
iscc: add lexicographic operat
o
rs
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
u
pd
a
te
isl
to
version
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sve
n
Verdo
o
l
a
e
g
e
is
c
c
: add "source" operation
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n
Verdoolaege
i
sc
c
:
add support for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaege
iscc:
p
r
i
nt err
o
r mess
a
ge
o
n use
of unknown identi
f
ier
commit
|
commitdiff
|
tree
2010-09-06
S
ven V
e
r
d
oolaege
i
scc: s
u
p
p
ort u
n
i
o
n
sets in vert
i
ces ope
r
at
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolae
g
e
add
i
sl_l
i
st_concat
commit
|
commitdiff
|
tree
next