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
topcom.c: compute_domain: skip vertices without domain
2009-11-12
Sven Verdoolaege
t
opcom
.
c
: compute_domain:
s
kip vertices
w
ithout domain
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Ve
r
doolaege
polytope_mi
n
imize: take
constan
t
term to
b
e zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
doc:
r
e
f
lect
t
hat --e
n
able-fract
i
onal is now the defa
u
lt
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_p
o
lyhedron_affine_sign:
s
pecial case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
Polyhedron
_
Insert_Colu
m
ns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedron_Factor: fix updating of
g
roups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoola
e
ge
c
o
nfig
u
re
.
in: use AX_SUBMODULE instead of BV_S
U
BMODUL
E
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaeg
e
remove_
e
qualit
i
es: use
Polyhedron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Ver
d
o
o
l
a
eg
e
barvino
k
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
la
e
ge
doc
:
a
dd
e
xperimental com
p
arison
between old
and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Ver
d
ool
a
ege
lexmin
.
c
c: r
e
m
ove "a
n
achron
i
sm"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
e
ge
d
o
c: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
r
do
o
laege
doc: a
d
d
some less co
m
m
o
n
.
sty f
i
l
es
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdool
a
ege
a
dd "clever" L
a
urent expansion based s
u
mmation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
o
l
a
e
ge
mov
e
Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
olae
g
e
ext
r
ac
t
out param_poly
n
omial f
r
om
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoolaege
extract verte
x
_cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
NTL_Q
Q
.
cc:
add stdio include for EOF hidden
in
N
T
L_
i
o
_
vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdo
o
laege
up
d
ate p
o
lyli
b
fo
r
speed im
p
r
o
vement
i
n in_d
o
m
ain
commit
|
commitdiff
|
tree
2009-06-12
S
ven
V
e
rdoolae
g
e
update piplib for dist
r
i
b
ution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Polyhedron_Facto
r
: fix merging
o
f group
s
of
c
olumns
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Ver
d
oolaege
barvinok_
e
num
e
rate_series:
d
on't check for revlex
p
ositiv
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
V
er
d
oola
e
ge
(t)c
o
unte
r
: mov
e
counter::reset(
)
up to
counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
Makefile
.
a
m
:
keep better track of faile
d
tes
t
s
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Ve
r
doolaege
add s
e
migrou
p
_holes
a
p
plication
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
rdoolaege
Line_Lengt
h
: handle 0
D
polytope in
1
D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
gen_
f
un: a
d
d
i
s
_zero method
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
b
a
r
vinok_enume
r
ate_e_series: r
e
move equalities in ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verd
o
olaege
barvinok_enum
e
rate_e
_
seri
e
s:
h
a
n
dle all exi
s
tentia
l
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
se
r
ies
.
cc: make project static
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verd
o
olaeg
e
barvinok_enumerat
e
_
e
_
s
e
r
i
es:
h
andle all
e
q
u
alities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verd
o
ol
a
e
ge
a
dd test set fro
m
t
h
e other itsl2008
p
a
p
e
r
commit
|
commitdiff
|
tree
2009-04-28
Sve
n
Verdoolaege
.
g
i
tigno
r
e: ignore obj
e
c
t
files
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolae
g
e
genfu
n
c
.
cc:
p
ar
a
llel
_
polyto
p
es:
d
ete
c
t
0D
p
olytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
configure
.
in: set AC_
C
ONFIG
_
MACRO
_
D
I
R
commit
|
commitdiff
|
tree
2009-04-27
Sven Ve
r
doolaege
add
pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
S
v
en Ve
r
doolaeg
e
Poly
h
edron_Factor
:
handle polyh
e
d
ra with a non-t
r
ivia
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
ven Ver
d
ool
a
eg
e
u
p
date
pipl
i
b f
o
r chan
g
e in
conf
i
gure arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoola
e
g
e
test_
a
pprox
.
c
: add dumm
y
field in dummy
tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdo
o
laeg
e
confi
g
ure
.
i
n
: avoid introd
u
cing em
p
ty el
e
m
ents
in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoolaege
oc
c
: defi
n
e
O
MIT_GETRUSAGE
i
f sys/
r
es
o
urce
.
h
cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
omega
_
i
nt
e
rface
/
Mak
e
file
.
am: put depending l
i
brar
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
configure
.
i
n
: add $(
E
XEEXT) to optional oc
c
for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdoolae
g
e
up
d
a
t
e o
m
ega for MinG
W
c
o
mpatibility
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoola
e
g
e
berns
t
e
in/
c
o
nfigure
.
in: add miss
i
ng A
C
_PROG
_
C
X
X
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
gen
f
un
.
cc: add braces
round extern
"
C" typede
f
commit
|
commitdiff
|
tree
2008-12-30
S
v
en Verdoolaege
vector_partition_chambers: compute
s
c
h
ambers of ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvinok
.
cc: remove unused nonort
h
og
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n
Ve
r
dool
a
ege
update piplib for MinGW com
p
atibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
u
pd
a
te p
o
lylib for
M
in
G
W com
p
atibi
l
ity
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fdstream
.
cc
:
don't
(
re)d
e
clare fileno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoola
e
ge
eva
l
ue
.
c: in_domain: specia
l
-
c
a
s
e 0D
d
omai
n
s
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
A
v
oi
d
use of
sys/times
.
h header when not availa
b
le
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdo
o
laege
add gnul
i
b
g
etsubo
p
t
module f
o
r MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
R
EADME:
mention that Gi
N
a
C
is also needed for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Allow build of
o
cc when using
b
undled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdo
o
laege
doc: add
a
r
efer
e
nce
to
a master thesis actually usi
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
ege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n
Ver
d
o
olaege
README:
fi
x
up installatio
n
i
n
s
t
ructions
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
Add fil
e
s
generated by biso
n
and fl
e
x
t
o the di
s
tribution
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoolaege
update
polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
g
e
u
p
date
p
iplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdo
o
l
a
e
ge
evalue
.
c: aff
i
ne2eval
u
e: reduce
c
oeffi
c
i
ents
commit
|
commitdiff
|
tree
2008-10-10
Sven Verd
o
o
l
aege
evalue
.
c
: evalue_level_cmp: produce
m
o
r
e consist
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc:
a
d
d another paper referring to th
e
library
commit
|
commitdiff
|
tree
2008-09-16
Sv
e
n Verdoolaeg
e
p
iecewise_lst
.
h: avoid duplicate parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sv
e
n Verdoolaege
evalue_read
.
c
:
f
ix minor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
S
ven Verd
o
olaege
upda
t
e omega for missing fi
l
es in dis
t
r
ibuti
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
barvin
o
k_enumer
a
te_e: avo
i
d infinite l
o
op when
presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
in
c
lude omega submodule
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
Verdoolae
g
e
mov
e
o
m
e
g
a subdir to omega_
i
nterface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NTL_
Q
Q
.
c
c
:
ad
d
st
d
lib in
c
lude for abort hidden in NTL
_
vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
remove gnul
i
b link-warning module complete
l
y
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
lex
m
i
n
.
cc: f
i
n
d a
n
d
sort are in std:: nam
e
space
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoo
l
ae
g
e
lexmin
.
cc: avoid
u
s
e
o
f
t
y
peof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
e
g
e
4coins
.
cc: remove dead
c
ode
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
testlib
.
cc: add missing returns
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Ver
d
oolaege
workaroun
d
silly sun compiler
errors
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Ver
d
oolaege
Avo
i
d use of t
h
e make -C op
t
ion
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doola
e
ge
summate
.
c:
a
d
d missing inc
l
ude
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
r
doola
e
ge
summate
.
c: a
d
d missi
n
g r
e
turn v
a
lues
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
Makefile
.
a
m
:
include
l
ib include
dir in b
u
il
d
dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
l
au
r
ent
.
cc: don't use
const vec
t
ors as map k
e
ys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
variable lengt
h
array
s
a
r
e not standard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdo
o
lae
g
e
gen
f
un
.
cc: argum
e
nt of mp_get_memor
y
_
f
unct
i
o
ns shoul
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Ve
r
doolaege
u
p
date piplib for compat
i
bility ch
a
ng
e
s
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaeg
e
update pol
y
lib
with ex
t
ra field in Para
m
_Polyhed
r
on
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
d
oc
:
fix typos
commit
|
commitdiff
|
tree
2008-07-22
S
v
e
n Verdool
a
ege
add mi
s
sing algori
t
hm
i
nclude for
f
ind
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaege
Fix out
-
o
f
-
bounds
error
i
n Laur
e
nt
e
xpansion base
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Include empty
.
c file in
l
ib
b
arvinok if GiNaC
w
as
n
ot
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ve
r
doolaege
correct
l
y reflect extra source
s
fo
r
li
b
barvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
Ve
r
d
o
ol
a
ege
fix typo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rd
o
olaege
li
b
/string
.
in
.
h
:
copy __restrict handling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven V
e
rdoolaege
update gnuli
b
function to
last pre
-
GPL
v
3 v
e
rsio
n
commit
|
commitdiff
|
tree
2008-07-02
Sv
e
n Verdoolaege
en
u
m
erator::handle: replace incorre
c
t delete by free
commit
|
commitdiff
|
tree
2008-06-17
S
ven Verdoola
e
ge
update piplib fo
r
c
o
rr
e
ct
e
d
Urs_pa
r
ms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven V
e
rdoolaege
configure:
u
s
e correct heade
r
f
ile
s
in case of b
u
ndled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
co
n
figure
.
in: fix
ch
e
c
k for co
d
e_gen l
i
brary availability
commit
|
commitdiff
|
tree
next