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_count_with_options: check return value of remove_equalities
2009-11-30
S
v
e
n Verd
o
olaege
barvinok_count_with_optio
n
s
: c
h
ec
k
r
et
u
rn v
a
l
ue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
v
e
n
V
e
r
doolaege
P
o
lyhedro
n
_Sample: plug memory le
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
o
o
l
a
ege
sum
m
a
t
e
.
c: add
m
is
s
ing
i
n
clude
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
topcom
.
c: support
newer versio
n
s of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdo
o
laege
t
opcom
.
c
: compute_d
o
ma
i
n: s
k
ip vertices wit
h
out domain
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
polytope_min
i
mize:
take constant te
r
m
to be zer
o
whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
er
d
oolaege
d
oc: r
e
flect that
--enab
l
e-f
r
actional
i
s now
t
he defaul
t
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
o
o
laege
glpk_poly
h
edron_affin
e
_sig
n
: s
p
ecial case 0
D
polyhe
d
ra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaeg
e
Po
l
yhedron_In
s
ert_Co
l
umn
s
: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
P
o
lyhedr
o
n
_
Factor:
f
ix
u
pdating of
g
roups
commit
|
commitdiff
|
tree
2009-10-06
Sven Ver
d
o
o
laege
configure
.
i
n: use AX
_
SUBMODULE ins
t
ead of BV_SUBMODU
L
E
commit
|
commitdiff
|
tree
2009-08-21
Sv
e
n
V
e
r
doola
e
ge
remo
v
e_equalities: u
s
e Polyhedron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
bar
v
inok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
o
laege
doc
:
add exper
i
men
t
a
l c
o
mparison between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
ege
lexmin
.
c
c
:
r
em
o
ve "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n
Ver
d
oo
l
aege
doc:
ad
d
some
l
e
ss common
.
sty f
i
les
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "clever" Laurent expansion based summa
t
ion
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdool
a
e
ge
move Last_Non_Zero to u
t
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoola
e
ge
ex
t
ract
out
param_polyn
o
mial fro
m
lauren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdool
a
ege
extract vertex_
c
one from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
NTL_QQ
.
cc: add stdio include
for EOF hidden in NTL_io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
u
p
date polyl
i
b for
s
pe
e
d
i
mprovement in
i
n
_domain
commit
|
commitdiff
|
tree
2009-06-12
Sve
n
Verdoolaege
update piplib for distributio
n
issue
commit
|
commitdiff
|
tree
2009-05-26
Sven
Verd
o
olaege
Pol
y
hedron_Factor:
fix merging of
g
ro
u
ps of colu
m
ns
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Verdoola
e
ge
barvi
n
o
k
_enum
e
rate_series
:
don't check for
r
evlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
(t)
c
oun
t
er: m
o
ve co
u
n
te
r
::reset() up t
o
counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makef
i
le
.
am: keep better tra
c
k of faile
d
tes
t
s
commit
|
commitdiff
|
tree
2009-05-07
Sven
Ver
d
oolaege
a
d
d
semigroup_hol
e
s application
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
r
doo
l
aege
Li
n
e_Leng
t
h
:
handle
0
D
pol
y
tope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
rd
o
ol
a
ege
gen_fun
:
add is_zero method
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvi
n
ok_en
u
merate_e_series: remove
e
qualiti
e
s
in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdo
o
laege
barvinok_en
u
merate_
e
_
series: handle
a
ll
exist
e
ntia
l
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
serie
s
.
cc:
make project stat
i
c
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
barvinok_enumerate_e_series: hand
l
e
all equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Ver
d
oolae
g
e
add test set fr
o
m the oth
e
r it
s
l2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoola
e
ge
.
g
i
tignore: ignor
e
obje
c
t fil
e
s
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdo
o
laege
genfunc
.
cc: parallel_
p
olytopes:
d
etect
0
D
p
olytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
configure
.
in
:
set A
C
_
C
O
NFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
S
v
e
n
Verdoolaege
Polyhe
d
ron_Fac
t
or: handle polyhedr
a
w
i
th a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdo
o
l
a
e
ge
u
p
d
ate
p
ipli
b
f
o
r change in configure argum
e
nt
s
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolaege
tes
t
_approx
.
c: add dummy
f
ield
i
n dummy t
m
s structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
co
n
figure
.
in: avoid
introducing e
m
pty elemen
t
s in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en
Verdo
o
laege
occ: def
i
ne O
M
IT_GETRUSAGE
if sys
/
r
esource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erdoolaege
omega_interface/
M
akefile
.
a
m
: put de
p
ending libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
V
erdoolaege
c
o
nfigure
.
in: add $
(
EXE
E
XT
)
to optional occ for
cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
upda
t
e
o
mega for
MinGW compatibi
l
ity
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoolaege
bernste
i
n/configure
.
in: add missing AC_PROG_
C
XX
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
ge
n
fun
.
cc: add br
a
ce
s
round exter
n
"C
"
ty
p
edef
commit
|
commitdiff
|
tree
2008-12-30
Sv
e
n Verdoolaege
vect
o
r_partition_chambers: comp
u
tes ch
a
m
bers
o
f v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoo
l
aege
barvinok
.
cc: remove unused nono
r
thog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
u
p
d
a
te pip
l
ib fo
r
Mi
n
GW compati
b
ility
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoolaege
update
p
olylib for MinGW compa
t
ibil
i
ty
commit
|
commitdiff
|
tree
2008-12-26
S
ven Ver
d
o
o
laege
fdstream
.
cc: don
'
t
(
re)declar
e
f
i
leno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Ve
r
doolaege
evalue
.
c
:
in_dom
a
in: sp
e
cial-case 0
D
dom
a
ins
commit
|
commitdiff
|
tree
2008-12-25
S
ven V
e
rdool
a
ege
Avoid
use of sys/times
.
h
h
eader when
n
ot
avai
l
able
commit
|
commitdiff
|
tree
2008-12-25
Sven Verd
o
olaege
add gnul
i
b
getsubopt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Ver
d
oolaege
READ
M
E:
men
t
ion that G
i
N
a
C is also needed for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
v
e
n Ve
r
do
o
lae
g
e
Allow build of
o
cc wh
e
n using
b
u
n
dled o
m
ega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdo
o
laege
doc: add a refer
e
nce to a m
a
ster
t
hesis actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rd
o
o
laege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
er
d
oolaege
README: fix up
i
n
s
ta
l
latio
n
instr
u
ction
s
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdool
a
ege
Add files generated by bison
a
n
d
flex to the
distributio
n
commit
|
commitdiff
|
tree
2008-10-16
Sven
Ver
d
oolaege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdo
o
lae
g
e
update
piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven V
e
rdoolae
g
e
eval
u
e
.
c: affine
2
evalu
e
: reduce
c
oefficients
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
Ve
r
do
o
laege
ev
a
lue
.
c
:
e
value_lev
e
l_cmp: pr
o
duce more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Ver
d
oolaeg
e
doc:
a
dd anothe
r
pap
e
r
r
e
f
e
rring t
o
t
he libr
a
ry
commit
|
commitdiff
|
tree
2008-09-16
Sve
n
Ver
d
oola
e
ge
piecewis
e
_lst
.
h: a
v
o
i
d duplicate pa
r
ameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
e
v
a
l
ue_read
.
c: f
i
x minor bugs i
n
to
k
e
nizer
commit
|
commitdiff
|
tree
2008-09-02
S
ve
n
Verdoolaege
upda
t
e omeg
a
for
missi
n
g f
i
les in d
i
stri
b
ution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
barvin
o
k_enume
r
ate_e: a
v
oid infinit
e
loop when
presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolae
g
e
include omega s
u
bmodul
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
la
e
ge
m
ove om
e
ga subdir to omeg
a
_i
n
terface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
NTL_Q
Q
.
c
c: add
s
tdlib include
for a
b
ort hidd
e
n in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
re
m
ove gnu
l
ib
l
ink
-
warning m
o
dule
c
ompl
e
tely
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
V
e
rdoo
l
a
e
ge
lexmin
.
cc: find and sort are in std:: na
m
espace
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verd
o
olaeg
e
l
ex
m
in
.
cc: av
o
i
d
use
o
f typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
g
e
4coins
.
cc: rem
o
ve dead cod
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
testli
b
.
c
c
: add missing re
t
urns
commit
|
commitdiff
|
tree
2008-08-28
S
v
en V
e
rdo
o
laege
w
o
rkaround
si
l
ly sun compi
l
er e
r
r
or
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
Avoid use of t
h
e ma
k
e -C
optio
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
s
u
mmate
.
c: add
m
issing in
c
lud
e
commit
|
commitdiff
|
tree
2008-08-28
S
ve
n
Ve
r
dool
a
ege
summat
e
.
c: add missin
g
retu
r
n values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Ma
k
efile
.
am: include lib
include dir in
b
uild dir
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ve
r
d
o
olaege
l
a
urent
.
cc: d
o
n't use const
vectors as map
keys
commit
|
commitdiff
|
tree
2008-08-28
S
ven
V
e
rdoo
l
aege
var
i
able length ar
r
ays
a
re not standard C++ (y
e
t)
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
ge
n
fun
.
c
c
: ar
g
ument of mp
_
get_memory_func
t
i
ons
s
hould
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
l
aege
up
d
ate piplib
fo
r
compatibility c
h
a
nges
commit
|
commitdiff
|
tree
2008-08-24
S
v
en Verdo
o
l
a
ege
update polylib with e
x
tra field i
n
Param_P
o
lyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoo
l
aeg
e
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n V
e
r
d
oolae
g
e
add missi
n
g algori
t
hm include for fin
d
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaege
Fix out-
o
f-
b
ounds err
o
r
in La
u
rent expan
s
ion base
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoolaege
Incl
u
de em
p
t
y
.
c file in libbarvi
n
ok if GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoolaeg
e
correctl
y
reflect ex
t
ra sources for libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
fix typo in c
o
mment
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
o
olaeg
e
lib/str
i
ng
.
in
.
h: copy __
r
estrict hand
l
ing
f
r
om
li
b
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven V
e
r
doolaege
update gnulib f
u
nction to l
a
st
pre
-
GPLv3 version
commit
|
commitdiff
|
tree
next