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.34
2010-03-04
Sven
V
erdoolaege
barv
i
nok_enum
e
r
ate: return NaN for infinite problem
s
commit
|
commitdiff
|
tree
2010-01-28
S
ven
V
erdoolaege
r
e
mo
v
e_all_equalities
:
handle integrally,
b
ut
not rati
o
nally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
r
do
o
laeg
e
b
arvinok_enu
m
erate_e: alway
s
return a partit
i
o
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
e
r
d
o
olaege
barv
i
nok
_
enume
r
ate: chec
k
t
h
at dimensio
n
of input inc
l
udes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdo
o
laege
pa
r
t
ition2enumeration: check
that
input is really
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
ven
V
erd
o
olaege
update piplib for change in config
u
r
e
options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaeg
e
update
o
mega for conf
i
g
u
ration/
c
om
p
ila
t
ion i
s
sues
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoolaege
barvi
n
ok_count_with_options: check return value
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Poly
h
edro
n
_Samp
l
e
:
plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summate
.
c: add missing i
n
clude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: support newer
ve
r
si
o
ns o
f
T
O
PCOM
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdo
o
laege
topcom
.
c
:
compute_domain:
ski
p
vertices without domai
n
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
ol
a
ege
polytope_mini
m
ize: tak
e
constant term to
b
e
ze
r
o
w
hen
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoola
e
ge
d
o
c
: refle
c
t that --e
n
able-f
r
a
c
tional i
s
now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
ae
g
e
glpk
_
polyhedron_affine_sign: special case 0
D
polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdo
o
l
a
ege
Polyhedro
n
_Insert_Colu
m
ns: fix t
y
po
commit
|
commitdiff
|
tree
2009-11-11
Sven
Ver
d
oolaeg
e
Polyhedron_Factor: fix updating
of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven
V
e
rdoolaege
confi
g
ure
.
in:
use AX_SUBMODULE instead of BV_S
U
BMO
D
ULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdool
a
ege
remov
e
_equalities: use Polyhe
d
ro
n
_Preimage
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
V
erdoolaege
b
a
rvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Ve
r
doolaeg
e
doc: ad
d
ex
p
erimenta
l
comparison betwe
e
n old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n Verdoolaege
lexmin
.
cc: r
e
move "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: fix
t
y
po
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n
Verdo
o
laege
d
oc: add some less common
.
sty
fil
e
s
commit
|
commitdiff
|
tree
2009-07-21
S
v
e
n Verdoolaege
add "
c
lever" La
u
rent expans
i
on based summation
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoolaege
move Last_
N
on
_
Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verd
o
olaege
ex
t
ract out p
a
ram_polynomial from lau
r
ent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
ex
t
r
act vertex_cone from la
u
re
n
t
.
c
c
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
NTL_QQ
.
cc: add
s
tdio
i
nclude for EOF hidden in NTL_io
_
vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdo
o
laege
updat
e
polylib
f
or spe
e
d improvem
e
n
t in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n
Verdoolaege
upda
t
e p
i
p
lib for distribution i
s
sue
commit
|
commitdiff
|
tree
2009-05-26
Sven Ver
d
oolaege
Polyhedron_Fac
t
or
:
fix me
r
ging of groups of co
l
umns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
barvinok_en
u
m
e
rate_series: don't che
c
k for revlex
p
ositive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
(t)cou
n
ter:
move counter::
r
eset(
)
up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makefi
l
e
.
a
m: keep better track of failed test
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
a
d
d semigroup_
h
oles appli
c
atio
n
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line_Length: handle 0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
o
laege
ge
n
_fun:
add
i
s
_
zero method
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolae
g
e
barv
i
nok_enume
r
ate_e_series: remove equalities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
V
erdo
o
laege
d
o
c: fix ty
p
o
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Ver
d
oolaege
barvinok_enumerate_e_series: ha
n
dle all existential
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
series
.
cc
:
make project st
a
tic
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
Ve
r
doolaege
barvi
n
ok_enu
m
erate_e
_
series: handle all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
add
te
s
t
set from th
e
othe
r
i
t
sl2008
p
aper
commit
|
commitdiff
|
tree
2009-04-28
Sven
V
er
d
oolaege
.
gitignore: ignore
o
b
jec
t
fi
l
es
commit
|
commitdiff
|
tree
2009-04-28
Sv
e
n Verdo
o
lae
g
e
gen
f
unc
.
cc:
parallel_p
o
lytopes: detect
0D
p
olyt
o
pes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
configure
.
in:
s
et AC
_
CONFIG_MACRO
_
DI
R
commit
|
commitdiff
|
tree
2009-04-27
Sve
n
V
e
r
doolaeg
e
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n
Verdoolaege
P
olyhed
r
o
n
_
Facto
r
: handle polyhedra with a non
-
t
r
ivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
update piplib for ch
a
nge in
co
n
f
igure a
r
guments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
test_app
r
ox
.
c: add dumm
y
f
ield in dummy t
m
s structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Ver
d
oolaege
co
n
figure
.
i
n: avoid introduci
n
g emp
t
y
e
leme
n
ts in
PK
G
_
C
ONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoola
e
ge
occ: define OMIT
_
GETR
U
SAGE if sys/res
o
urce
.
h
c
annot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
l
a
ege
ome
g
a_interface/Makefile
.
am
:
put depending lib
r
aries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n Ve
r
doolaege
conf
i
gure
.
in: add $
(
EXEEXT) to o
p
tional occ for cygwin
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaege
update omega for MinGW compati
b
ility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
b
e
r
nstein/
c
onf
i
gu
r
e
.
i
n: add
m
issing AC_P
R
OG_CX
X
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
g
enfun
.
cc: add b
r
aces
r
ound extern "C" typedef
commit
|
commitdiff
|
tree
2008-12-30
S
ven V
e
r
doolaege
v
ector_pa
r
tition_
c
hambers: computes chamb
e
rs of vecto
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verd
o
o
l
aege
barvi
n
ok
.
cc: remove unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdool
a
e
ge
update piplib for MinGW c
o
m
p
atibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update
p
o
l
y
l
ib
for
M
inGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
S
ven Ve
r
d
o
olaege
fdstream
.
cc: don't (re)declare fileno if it's
a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven
Ve
r
doo
l
aege
eval
u
e
.
c:
i
n_domai
n
: s
p
ec
i
al
-
case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Verdoolaege
Avoid use
of sys
/
times
.
h header when not available
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add gnulib
gets
u
bopt module f
o
r MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoo
l
a
ege
README: me
n
tion that GiNaC
is also needed for the Omeg
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Ve
r
doolaege
Allow bu
i
ld of
occ when us
i
ng bundled
omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Ver
d
oolaege
doc: add a
r
eference to a ma
s
t
er
t
hesis
actuall
y
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoolae
g
e
b
a
rvino
k
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
ge
README: fix up installation inst
r
uc
t
ions
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdool
a
ege
Add
f
il
e
s generated b
y
bis
o
n and flex to the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolae
g
e
update poly
l
ib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
g
e
updat
e
pi
p
l
i
b
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
e
v
alue
.
c: affine2evalue:
r
edu
c
e co
e
ffici
e
n
t
s
commit
|
commitdiff
|
tree
2008-10-10
S
ven Verdool
a
e
g
e
evalue
.
c: evalue_level_
c
mp: produce more
c
onsistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add
a
nother p
a
per refe
r
r
i
n
g to the
l
ibrary
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdool
a
ege
p
i
e
c
ewise_lst
.
h
:
avoid dupli
c
a
te
p
ara
m
eter n
a
me
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Verdoolaege
eval
u
e
_
read
.
c
: f
i
x min
o
r bu
g
s in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
update omega for mi
s
sing f
i
les in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Ve
r
d
o
ola
e
ge
b
arvinok_enumerate_e: avoid
infinite loop when presen
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
include omega sub
m
o
d
ule
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdool
a
ege
move omega subd
i
r to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
S
v
en V
e
rdoola
e
ge
N
TL_QQ
.
cc:
add std
l
ib include for abort hidde
n
i
n NTL
_
vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doola
e
g
e
remove
g
nulib link-war
n
i
n
g modu
l
e c
o
mp
l
etely
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
V
e
r
doolaege
lexmin
.
cc: fi
n
d and s
o
rt
a
re i
n
std:: namespace
commit
|
commitdiff
|
tree
2008-08-28
S
ven
Verdoolaege
lex
m
in
.
cc: avoid
u
s
e of
t
ypeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
4coins
.
cc: remove dead cod
e
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdo
o
laege
t
e
stlib
.
cc: add
m
issing returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
workaround silly sun compiler errors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
Avoid
u
se of
t
he make -C optio
n
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdool
a
ege
s
u
mmate
.
c: add miss
i
ng i
n
clude
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
su
m
mate
.
c: add missing return v
a
lu
e
s
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
V
erdoolaege
Makefile
.
am: inclu
d
e
lib i
n
cl
u
de dir in bu
i
ld dir
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
r
doolaege
l
a
ure
n
t
.
cc:
don't us
e
c
onst
vectors
a
s map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
variable le
n
gth a
r
ray
s
are
not st
a
ndard
C
+
+
(ye
t
)
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolae
g
e
genfun
.
cc: argument of mp_get_memory_f
u
n
c
tions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Ve
r
doolaege
update p
i
pl
i
b
fo
r
compat
i
bility cha
n
ges
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
update polylib with
extra fi
e
ld in Param_Polyhed
r
o
n
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoo
l
aege
d
o
c
:
fi
x
typos
commit
|
commitdiff
|
tree
next