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
partition2enumeration: check that input is really a partition evalue
2010-01-02
Sv
e
n
V
e
rdo
o
lae
g
e
partition2enumerati
o
n: check that
input
is r
e
ally
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sve
n
Verdool
a
e
g
e
up
d
ate piplib
f
or chan
g
e
in con
f
igure
options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdool
a
e
g
e
update omega fo
r
configuration/com
p
ilat
i
on issues
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdoola
e
g
e
barvinok_c
o
unt_w
i
t
h
_
options: check retu
r
n value
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
Polyhedron_Sam
p
l
e: plug me
m
ory
lea
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summate
.
c: add missing i
n
c
l
ude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: support newer versions
o
f TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
t
o
pcom
.
c
:
co
m
pute_domain: skip v
e
r
t
i
ces wit
h
out domain
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
polyt
o
p
e
_
m
i
n
imize
:
ta
k
e
constant
term
to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
doc: refl
e
ct tha
t
--enabl
e
-frac
t
ion
a
l is
now the
default
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
glpk_poly
h
edron_aff
i
ne_sign:
special
case 0D poly
h
edra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
Polyhedron_Insert_Columns: f
i
x typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedr
o
n_Facto
r
: fi
x
updating of
g
r
oups
commit
|
commitdiff
|
tree
2009-10-06
S
v
e
n
Verdoolaege
co
n
f
i
gure
.
in: use AX_SUBM
O
DULE instead of BV_SUBMOD
U
LE
commit
|
commitdiff
|
tree
2009-08-21
Sven Ver
d
oolaege
remove_equ
a
lit
i
e
s:
us
e
Polyhedron
_
P
r
eimage inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
bar
v
i
nok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verd
o
olae
g
e
doc: add experimental com
p
arison be
t
w
een old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
lexmin
.
cc: remove "ana
c
h
r
onism
"
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erd
o
olaege
do
c
: fi
x
typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
do
c
: add s
o
me less
comm
o
n
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven
Verdoolaege
add
"
cl
e
ver"
L
aurent ex
p
ans
i
on ba
s
ed s
u
mmation
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaege
move L
a
st_Non_Zero to u
t
il
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven V
e
rdoolaege
extract
out param_
p
olynomi
a
l from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoolaege
extract
v
ertex_cone
from
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
NTL_QQ
.
cc: add stdio
in
c
lude
for EOF hidden in
NTL_io_vecto
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
update polyl
i
b for
speed improvement i
n
i
n_dom
a
in
commit
|
commitdiff
|
tree
2009-06-12
Sven
V
erdoolaege
update pi
p
l
ib for d
i
stribution
issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
P
olyhedron_Factor: fix
merging of
g
r
oups of
c
olumns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
barvinok_enume
r
at
e
_se
r
ies
:
don't check f
o
r revle
x
posi
t
ive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n V
e
rdoolaege
(t)cou
n
ter: move counter::reset() up to c
o
unter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
Makefi
l
e
.
a
m: keep better track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
S
ven
V
erdoola
e
ge
add
semigr
o
u
p
_holes
a
ppli
c
ation
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
Line_Lengt
h
: ha
n
d
le 0D polytope in
1
D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
gen_fun: add
i
s_zero me
t
hod
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enu
m
erate_e_seri
e
s
: re
m
ove
e
q
ua
l
itie
s
in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
doc: fix
typ
o
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaeg
e
barv
i
nok_en
u
merate_e_serie
s
: h
a
ndl
e
al
l
existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
s
e
ries
.
cc: make project static
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolae
g
e
b
a
rvi
n
ok_enumerate_e_
s
eri
e
s: ha
n
d
l
e
a
ll equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven V
e
rdoolae
g
e
add test set from
t
he oth
e
r itsl
2
008
p
ap
e
r
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolaege
.
g
i
t
igno
r
e
: ignore object file
s
commit
|
commitdiff
|
tree
2009-04-28
Sven Ver
d
oolaege
g
e
nf
u
nc
.
cc: paralle
l
_polytopes: detect
0
D polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
configur
e
.
in:
s
et AC_CO
N
FIG
_
M
ACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
S
ven Verdoolaege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven
Verdo
o
lae
g
e
P
olyhedron_Factor: handle polyhedra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
v
en Verdool
a
ege
update pipl
i
b for change in configure ar
g
umen
t
s
commit
|
commitdiff
|
tree
2009-02-09
S
ve
n
Verdoola
e
ge
test_
a
ppr
o
x
.
c: add d
u
m
my field in dummy tm
s
structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erdoolaege
configure
.
in: avoid
i
ntroducing emp
t
y el
e
men
t
s in PKG_C
O
NFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolaege
o
cc: define OMIT_
G
ETRUSAGE i
f
sys/resource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
omega_in
t
erf
a
ce/M
a
kefile
.
am: put depe
n
di
n
g
lib
r
a
r
ies
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ve
n
Ve
r
doo
l
a
e
g
e
configure
.
in: add $(EXEEX
T
) to optional
occ f
o
r cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
update omega for MinGW compatibility
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolae
g
e
bern
s
tein/config
u
re
.
in: add missing AC_
P
ROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
S
ven
V
e
rdo
o
laeg
e
genfun
.
c
c:
add b
r
a
c
e
s round extern
"
C" typedef
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdoolaege
vector_part
i
tion_chamb
e
rs: computes ch
a
m
b
er
s
of
vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sv
e
n Verd
o
olaeg
e
barvin
o
k
.
c
c
: remove
u
nused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
S
v
e
n
V
e
r
doolae
g
e
update piplib for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
oolaege
upd
a
t
e
polyli
b
for Min
G
W
co
m
patibil
i
ty
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fdstrea
m
.
cc:
don't (re)decla
r
e fileno i
f
i
t
's a
macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c: in_d
o
main: special-ca
s
e
0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sve
n
V
e
rdo
o
laege
Avo
i
d
u
se of sys/times
.
h header when
not
available
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Ve
r
d
o
olaege
add gnu
l
ib get
s
ub
o
pt module for Min
G
W
commit
|
commitdiff
|
tree
2008-12-01
Sven
V
erdoolaege
README: ment
i
on
t
hat Gi
N
a
C
is
als
o
n
e
e
d
ed for t
h
e Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoola
e
ge
A
ll
o
w build of occ when u
s
ing bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sve
n
Verdoolaege
d
o
c: add a reference to a master thes
i
s act
u
al
l
y using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
v
en
Verdoolaege
b
arvino
k
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaeg
e
README
:
fix up installa
t
i
o
n inst
r
uctions
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoolaege
Add files genera
t
ed b
y
bison and flex to
t
he
d
istributio
n
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdool
a
ege
update po
l
y
l
ib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdo
o
laege
ev
a
lue
.
c: aff
i
ne2evalue: r
e
duce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdo
o
laege
evalue
.
c: eva
l
u
e_le
v
e
l_cmp: produce more consi
s
tent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verd
o
olaege
doc: add an
o
ther p
a
per referring to
the libr
a
ry
commit
|
commitdiff
|
tree
2008-09-16
S
v
e
n Verdoola
e
ge
piecewise_lst
.
h: avoid duplicate pa
r
a
m
eter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoola
e
ge
ev
a
lue_read
.
c:
fix
m
inor bugs in
tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Ver
d
oolaege
upd
a
te om
e
ga for
missing files
i
n
d
ist
r
ibut
i
on
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
barvi
n
ok_enum
e
rate_e: avoid infi
n
ite loop when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoola
e
ge
include omega
s
ubmodule
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdo
o
l
a
ege
mo
v
e
o
mega
s
ubdir to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven
Ve
r
d
oolaege
NTL_QQ
.
cc: add stdlib include
for abort hidden in NTL_vecto
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
re
m
o
ve gnuli
b
link-warning modul
e
comple
t
ely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmin
.
cc:
find and sor
t
a
r
e in st
d
:: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolae
g
e
lexmin
.
cc: a
v
oi
d
use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
4coins
.
cc: remove dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
testlib
.
cc
:
add mi
s
sing return
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
o
laege
workaround silly sun compil
e
r error
s
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
V
e
r
doolaege
A
v
oid
u
s
e
of
t
he make -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
summate
.
c: add missing
include
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolae
g
e
summate
.
c:
a
dd m
i
ssing return val
u
es
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
Mak
e
file
.
am: in
c
lude lib include di
r
in
build dir
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdo
o
laege
laurent
.
c
c: don
'
t use
c
onst vectors as m
a
p keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
vari
a
b
le length arrays are n
o
t s
t
andard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
g
enfun
.
cc: argume
n
t of mp_
g
e
t_
m
e
m
ory_functio
n
s
s
h
o
uld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
update piplib
for co
m
patibility ch
a
ng
e
s
commit
|
commitdiff
|
tree
2008-08-24
Sven V
e
r
doola
e
ge
update polylib with extra field in Param_Polyhed
r
on
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdo
o
laege
d
o
c
: f
i
x typo
s
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaege
add missing al
g
ori
t
hm in
c
l
u
de for
f
ind
commit
|
commitdiff
|
tree
2008-07-22
S
ven V
e
rdoolaege
Fix out-of
-
bounds error in Laure
n
t
e
xpansion
based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Incl
u
de empt
y
.
c
file in libba
r
v
i
n
ok if GiNaC
w
as n
o
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdoolaege
correctly reflect extra sources for
libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
next