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: add more dom operations
2010-03-14
Sv
e
n Verdoolaege
is
c
c: add more do
m
operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
e
g
e
doc: reorganiz
e
table
o
f iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoo
l
aege
update is
l
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
v
en V
e
rdool
a
ege
AUTHORS: update support
i
nformatio
n
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
randomv
e
ctor: double size of coefficie
n
ts on
e
a
ch
attemp
t
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
a
ege
iscc: support t
r
ansitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
upd
a
te isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoola
e
ge
barvinok_
e
.
cc: enum
e
rate_vd: remove
u
nu
s
ed va
r
i
ables
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
do
o
laege
eva
l
ue
.
c: Polyhedron_
I
ns
e
rt: add missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
ev
a
l
u
e
.
c: re
d
uce_evalu
e
: remove u
n
used variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
o
laeg
e
i
scc: add
@
o
perator
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
doolaege
iscc
:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
la
e
ge
a
d
d isl_pw_qpolynomi
a
l_uppe
r
_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
add isl_pw_
q
polynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
ae
g
e
a
d
d
is
l
_pw_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
updat
e
isl for
isl_pw_qpoly
n
o
mial_foreach_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
ren
a
me evalue2isl to
isl_pw_qpolynomial_from
_
evalue
commit
|
commitdiff
|
tree
2010-03-06
Sve
n
Verdo
o
l
a
ege
i
s
cc: detect m
o
re kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
barvinok_enumerate: use
isl during the
verifica
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oo
l
aeg
e
add
i
scc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
d
d
isl_set
_
card and isl_map_car
d
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
evalue_
c
onv
e
rt: export
a
s
a
pplication
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
b
a
r
vinok_enumera
t
e_e
:
optionally use isl t
o
pr
o
ject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ve
n
Verdoolaege
add
i
sl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
A
X_SU
B
MOD
U
L
E: accept "-" in mod
u
lename
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoo
l
a
e
ge
b
arvinok
_
enu
m
erate: re
t
urn NaN for
i
nfini
t
e
p
roblems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remove_all
_
equalities: handle integ
r
a
lly, but
n
ot
r
ationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Ver
d
oolaege
barvin
o
k_enum
e
r
a
t
e_e: always
retur
n
a par
t
itio
n
fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Ver
d
oolaege
barvinok_en
u
merate: check that
d
imension o
f
input
i
ncludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoola
e
ge
pa
r
tition2enumeration
:
check that
input is re
a
lly a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdool
a
ege
update pi
p
lib for ch
a
ng
e
in con
f
i
gure option
s
commit
|
commitdiff
|
tree
2009-11-30
S
v
e
n
Verdoolaege
upda
t
e omega for c
o
nfiguration/co
m
pilation issu
e
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
barvi
n
ok
_
c
o
unt
_
with_op
t
ions: c
h
eck return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Ver
d
o
o
l
a
e
g
e
Polyhedr
o
n_Sample: pl
u
g m
e
mory leak
commit
|
commitdiff
|
tree
2009-11-12
S
v
en
Verdoolaege
s
ummate
.
c: add missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: suppo
r
t
n
ewer ve
r
s
ions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
ve
n
V
e
rdoolaege
topcom
.
c
: compute
_
domain: skip vertices without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
doc: reflect
that --enable-fractional is now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
aege
glpk_po
l
yhed
r
on_affine_s
i
gn: special c
a
s
e 0D
p
olyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
r
doolaege
Po
l
yhedron_
I
nsert
_
Columns: fix ty
p
o
commit
|
commitdiff
|
tree
2009-11-11
Sven
V
e
rdoolaege
P
olyhe
d
ron_Fa
c
tor:
f
i
x
u
pda
t
ing of groups
commit
|
commitdiff
|
tree
2009-10-06
S
v
en Verdo
o
laege
c
onfigur
e
.
i
n: use AX_SUBMODULE
instead of BV
_
SUBMODUL
E
commit
|
commitdiff
|
tree
2009-08-21
Sv
e
n Verd
o
olae
g
e
remov
e
_
e
q
u
a
lities:
u
se Po
l
yhedr
o
n
_
Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
bar
v
inok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaege
doc: add experimental comparison between
old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
lexmi
n
.
cc:
r
emove "
a
nachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaeg
e
doc: add some less
c
ommon
.
s
t
y files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdo
o
l
a
e
g
e
add "clever
"
Laurent expan
s
ion b
a
s
e
d
summ
a
t
ion
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdo
o
l
aege
move Last_N
o
n_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven
V
erd
o
olae
g
e
e
xtrac
t
out p
a
r
am_polyn
o
mial from la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Ve
r
doolaege
e
x
tract vertex_co
n
e
f
r
om laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
updat
e
po
l
ylib for speed improvement in in_doma
i
n
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
upd
a
t
e
pip
l
ib for distribu
t
ion issu
e
commit
|
commitdiff
|
tree
2009-05-26
Sven
V
erdool
a
ege
Polyh
e
dron_Factor
:
fix
m
erging of g
r
oups o
f
columns
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
r
doolaeg
e
(t)counte
r
: move counte
r
::reset() up to c
o
unter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
Makefile
.
am: keep
b
e
tter track of failed te
s
ts
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaeg
e
L
i
n
e
_
Length: ha
n
dle 0D polyto
p
e in 1D
space
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n Verdoolaege
Pol
y
h
e
d
r
o
n
_
Factor: ha
n
dl
e
p
o
lyhedra with a n
o
n-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdo
o
laege
update pi
p
l
i
b for chang
e
i
n
configure argu
m
ents
commit
|
commitdiff
|
tree
2008-12-27
Sve
n
Ve
r
doolae
g
e
barvinok
.
cc: remove unused nonort
h
og
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n
V
e
r
doolaege
updat
e
pipli
b
for
MinG
W
c
o
m
patibility
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verdoolaege
update polylib for Min
G
W co
m
patibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
e
rdo
o
laege
eva
l
ue
.
c: in_
d
omain:
s
pecial-case
0
D do
m
a
ins
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdool
a
ege
Avoid
use of s
y
s/times
.
h
header when
not available
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
erdoolaege
add gnu
l
ib g
e
t
subopt
m
odule for
M
inGW
commit
|
commitdiff
|
tree
2008-12-01
Sven
Verdo
o
l
aege
README
:
m
e
nti
o
n that GiNaC i
s
a
ls
o
needed for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Allow build
o
f occ when using
b
un
d
led omega
commit
|
commitdiff
|
tree
2008-10-28
Sven
Verdoolaeg
e
doc:
a
dd a re
f
erenc
e
to a master thesis actually us
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
ool
a
ege
b
arvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Ver
d
o
olaege
README: fix
u
p instal
l
a
tion instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaeg
e
Add
files generate
d
b
y bison and flex to
t
h
e
distri
b
u
tion
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update
p
ol
y
lib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaeg
e
update pipl
i
b
commit
|
commitdiff
|
tree
2008-10-10
Sven
Ve
r
d
oolae
g
e
evalue
.
c: affine2evalue: reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
erdo
o
lae
g
e
evalu
e
.
c:
e
value_l
e
v
e
l_cmp: prod
u
ce
more consist
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add another p
a
p
e
r ref
e
r
r
ing
t
o the lib
r
ary
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolae
g
e
piec
e
wise_lst
.
h: avoid
d
u
pli
c
ate pa
r
ameter
name
commit
|
commitdiff
|
tree
2008-09-02
S
ven Verdoolaege
e
value_read
.
c: fix
m
inor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Ve
r
doo
l
aege
u
p
da
t
e o
m
e
ga for missing
files in di
s
tribution
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoola
e
ge
barvinok_enumerate_e: avoid infinite
lo
o
p when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
move omeg
a
su
b
dir to omega_inter
f
ace
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
NTL_QQ
.
cc: add
s
tdlib include
f
o
r
abort hidd
e
n in NTL
_
vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Ver
d
ool
a
ege
remove gnulib link-warni
n
g module completely
commit
|
commitdiff
|
tree
2008-08-24
S
ven Ver
d
oolaege
update
p
olylib with extra field in
P
aram_Poly
h
edron
commit
|
commitdiff
|
tree
2008-07-30
S
ven Verdoolaege
doc: fix typo
s
commit
|
commitdiff
|
tree
2008-07-20
Sven V
e
rdo
o
laege
update gnulib funct
i
on to last pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoo
l
a
e
g
e
enumerato
r
::han
d
le
:
replace
i
ncorrect delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven
Verd
o
olaege
u
pdate pipl
i
b
f
or
c
orrecte
d
Urs_parms
h
and
l
ing
commit
|
commitdiff
|
tree
2008-06-12
S
v
en Ve
r
doolae
g
e
configure: use
cor
r
ect head
e
r
f
iles in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdoo
l
ae
g
e
omega/occ: on
l
y o
p
en debug output f
i
le if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoolaege
do
c
:
fix typo
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n
Verdoolaege
add ed
i
t
o
rs to
I
TSL papers
commit
|
commitdiff
|
tree
2008-05-04
S
ven V
e
rdoolaege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
add
some test set
s
from itsl2008 pa
p
er
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdool
a
ege
doc:
add la
t
e
s
t
(accepte
d
) publications
commit
|
commitdiff
|
tree
2008-05-04
S
ven V
e
rd
o
olaege
Makefile
.
am: add
section
_
a
r
ray
.
h
to
d
istribution
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdool
a
ege
n
orma
l
iz
a
t
i
o
n
.
c: compute_shifts: remove redundant re
t
urn
commit
|
commitdiff
|
tree
next