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
ven Verdo
o
l
aege
ba
r
v
i
n
o
k
0
.
33
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
iscc
.
c
:
fix t
y
po whic
h
w
ould p
r
event comp
i
lation in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
up
d
ate i
s
l to v
e
rsion 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
isl_pw_
q
polyno
m
ial_sum: handle existent
i
als in non
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdo
o
laege
drop pipli
b
submo
d
u
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
stop using pip as LP solver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdool
a
ege
doc: const
r
aints no longer
nee
d
to b
e
specified in DNF
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdo
o
la
e
ge
is
c
c: parse list
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
add i
s
l_
l
ist
_
a
d
d_obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc: parse boo
l
eans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
rd
o
o
laege
iscc
:
a
llow interruption
of compu
t
atio
n
from the keyboard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
Sve
n
Verdoolaege
avoid use of isl
_
ct
x
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
Verdoolaeg
e
is
l
_obj_str: pr
i
nt quot
e
s a
r
ound strin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n V
e
rdoola
e
g
e
iscc: k
e
ep track of int
e
rmediate r
e
sult
s
i
n
interactive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoolaege
iscc: add po
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
o
lae
g
e
iscc: ad
d
zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
S
ven
Ve
r
dool
a
ege
is
c
c: add del
t
a
s
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
le
x
m
i
n
: ass
u
me unknowns and parame
t
e
r
s are non-
n
egative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
lexmin: use isl to read input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verd
o
olaege
also perform lexmin che
c
k
in ab
s
ence
o
f GLPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Ver
d
oolaege
polysign:
a
dd isl-backed version
a
nd use
it b
y
d
efault
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdo
o
laeg
e
update is
l
-polyli
b
for fix in header
f
i
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
update isl for chang
e
in
isl_fl
o
w_get_no_sourc
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sven V
e
rd
o
olaege
doc: docum
e
n
t isl modulo notation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
V
erdoo
l
aege
i
scc: r
e
ad
_
line
:
fix
re
t
u
r
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoola
e
ge
evalue_isl
.
c:
f
ix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
e
r
d
oolaege
iscc: a
d
d operati
o
n
s
on int
objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoolaege
up
d
ate isl
for
introducti
o
n
o
f int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sv
e
n
V
erdoolaege
add
isl_basic
_
set_card and i
s
l_basic_
m
a
p
_card
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
d
ocument isl_union_s
e
t
_
apply_union_p
w
_qpolyno
m
ial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Ver
d
oolaege
remove polyhedron_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remov
e
polytope_min
i
mize a
p
plicat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolae
g
e
Polyh
e
dron_
S
a
mpl
e
:
use
i
sl unconditio
n
ally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
remove c
o
mbine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
build lib
i
sl an
d
libpolyli
b
gmp before li
b
i
sl
-
po
l
y
l
ib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verd
o
o
laege
i
s
cc: support appli
c
a
tion
o
f
piecewise quasipo
l
ynomi
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
V
e
rdoolaege
doc: fix
d
ocumentation
o
f
j
oin of maps
and
folds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en V
e
rdool
a
ege
a
dd i
s
l_union_
s
et_appl
y
_
union_pw_qpoly
n
omial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
update isl for e
x
port of isl_union_m
a
p_fro
m
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc: ad
d
w
rite operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Ve
r
do
o
lae
g
e
iscc: o
p
tio
n
ally d
i
s
a
ble re
a
d
op
e
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
S
v
en Ve
r
doolae
g
e
doc: explain
c
omma
o
perator in a set d
e
scription
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
i
sc
c
: add ty
p
eof ope
r
ator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
ad
d
i
s
l_str_fro
m
_string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n
Ver
d
oolaege
is
c
c
.
c: use
C
99 designated initia
l
iz
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
la
e
g
e
iscc
:
mi
n
or improvemen
t
in err
o
r messag
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoo
l
aege
isc
c
: add
domain_map and
r
ange_map operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
Verdoola
e
ge
iscc
:
a
d
d
"domain" and "range" sy
n
onym
s
for "do
m
" and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolae
g
e
update is
l
to version
0
.
0
5
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven V
e
rd
o
o
la
e
ge
iscc: do
n
't
a
l
lo
w
code generation on
u
nion sets
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sv
e
n Verdoolaege
update isl
t
o vers
i
on 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
S
v
en Verdoo
l
aege
avoid use of isl_set and isl
_
map in
t
e
rnals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
S
v
en Verdoolaege
separ
a
te
o
ut isl interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verd
o
olaege
configure
.
i
n
: propagate absolute i
s
l builddir to submodule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoolaege
update isl for re
n
ame o
f
h
eader file
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
e
rdoolaege
evalue_floor2
f
rac:
don't assume coeff
i
c
ients
o
f floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoo
l
aege
test
_
bo
u
nd: stop tes
t
ing after pre
d
ete
r
mined number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
bar
v
i
nok_bound: rewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rd
o
ol
a
ege
barvinok
_
{summ
a
te
,
b
o
und}: ta
k
e is
l
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdo
o
laege
test_
b
oun
d
:
s
witch to isl repre
s
entation even earl
i
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaege
t
e
st_bound: switch
t
o isl repre
s
e
n
tation earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
iscc: add po
l
yn
o
mial
a
pproximat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolae
g
e
barv
i
nok_summate: rewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sv
e
n Verd
o
olaeg
e
barvinok_summate: use i
s
l interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sve
n
V
erdoolae
g
e
bound
.
cc:
d
rop dead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdo
o
laege
doc: more
i
nf
o
rmation about using sets and m
a
ps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sve
n
V
erdoolaege
doc: update som
e
referen
c
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
S
ven
Verdoolaege
iscc: add poly operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoolaege
is
c
c: add
sc
a
n op
e
r
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
S
v
e
n
Ver
d
oo
l
ae
g
e
isl_pw_qpoly
n
o
mi
a
l_sum: handle existentials
i
n
wrapp
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sv
e
n V
e
rdoolaege
update isl for
r
ena
m
in
g
of
i
sl_map
_
remove
commit
|
commitdiff
|
tree
2010-10-20
Sven
V
erdoo
l
aege
version
.
c:
show use of CLo
o
G
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdoola
e
ge
doc: a b
i
t mo
r
e info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdoola
e
ge
iscc: a
d
d
b
efore and after
o
perations
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdo
o
lae
g
e
iscc: add identity
o
peration
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Verdo
o
l
aege
iscc: brea
k
out off main loop
w
hen printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc
:
s
uppo
r
t ext
e
nd
e
d
P
o
lyLib output format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolae
g
e
c
o
nfigure
.
in: perform check for GM
P
suppor
t
in NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
V
e
r
d
oolaege
iscc: add
c
omposition o
p
eration on p
i
e
cew
i
se quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaeg
e
i
scc: add dependence
a
nalysis
operati
o
ns
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: register ext
r
a
keywords i
n
generi
c
way
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doo
l
aege
u
s
e isl to perform "manual_count"
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Ver
d
o
o
laege
allow buildi
n
g without pip
l
ib
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdool
a
ege
Polyhedr
o
n_Reduce
d
_Basis:
o
p
t
i
on
a
lly
u
se
i
sl
commit
|
commitdiff
|
tree
2010-10-11
S
v
en V
e
rdoolaege
fi
x
dependen
c
e
o
n build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laege
isl_m
a
p_card: use isl
f
o
r f
a
ctorization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl_m
a
p_card:
s
plit dim
e
n
s
ion fid
d
lin
g
f
rom
conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaeg
e
isl_
m
ap_card: use
i
s
l
_pw_qpo
l
ynomial_sum if req
u
ested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
Verdoolaege
b
a
r
v
inok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
S
v
e
n
Verdoolaege
up
d
ate isl for fix in parameter align
m
ent
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
bar
v
ino
k
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven
Verdoolaege
iscc: add lexi
c
ograph
i
c operators
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rdoolaeg
e
u
pda
t
e
is
l
to ve
r
si
o
n 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
S
v
e
n
V
er
d
oolae
g
e
iscc: add "s
o
urce
"
operat
i
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erd
o
olaege
iscc: add su
p
po
r
t for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven
Ver
d
oolaege
iscc: print error
m
essage on use
o
f
u
n
know
n
identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
i
s
cc: support uni
o
n sets in vertices operatio
n
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoolaeg
e
add is
l
_
list
_
concat
commit
|
commitdiff
|
tree
2010-09-05
Sven V
e
rd
o
olaeg
e
b
a
r
v
inok_bound: use isl t
o
split periods
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
e
r
doolaege
update isl fo
r
isl_p
w
_qpolynomial_split_periods
commit
|
commitdiff
|
tree
next