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
Sven
Verdoolae
g
e
barvinok_count_with_opti
o
ns: check r
e
turn value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoola
e
ge
Poly
h
edron_Sample: plug mem
o
ry leak
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rd
o
ol
a
ege
s
ummate
.
c:
add miss
i
ng in
c
lude
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
to
p
com
.
c: support newer
v
ersions o
f
TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
to
p
com
.
c: compute_dom
a
in: ski
p
vertic
e
s
w
ithout
domain
commit
|
commitdiff
|
tree
2009-11-12
S
ven
V
er
d
oolaege
poly
t
ope_minimize: t
a
ke c
o
ns
t
a
n
t
t
e
rm to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaeg
e
doc: re
f
lect tha
t
--enable-fracti
o
n
al is
n
ow the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
g
l
pk_polyhedron_affine_
s
ign: spe
c
i
al case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
rdoola
e
ge
Polyh
e
dro
n
_Insert_Col
u
mn
s
: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaeg
e
Polyhedr
o
n_Factor:
f
i
x updati
n
g
of gr
o
ups
commit
|
commitdiff
|
tree
2009-10-06
Sv
e
n Verd
o
ola
e
ge
configure
.
in: use A
X
_SU
B
MODULE instead of
B
V
_
SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Ver
d
oolaege
remove_equalities: use
P
olyhed
r
on_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Ver
d
oolaege
bar
v
inok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
doc:
add exper
i
mental comparis
o
n
b
etween old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
l
e
xmin
.
cc: remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolae
g
e
doc: ad
d
s
ome
less common
.
sty fi
l
es
commit
|
commitdiff
|
tree
2009-07-21
S
ve
n
Verdool
a
ege
ad
d
"clever" Laur
e
nt ex
p
ansion based
summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
move Last_
N
on_Zero to
u
til
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract out param_polyno
m
ial
from
l
a
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
e
xtract vertex_cone from laur
e
nt
.
c
c
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
up
d
a
t
e
p
olylib
f
or s
p
eed improvement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Ver
d
oola
e
ge
u
p
d
a
t
e piplib fo
r
d
i
stribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoo
l
ae
g
e
Polyhedron_Factor: f
i
x
mergi
n
g of
g
roups of columns
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verd
o
ol
a
e
g
e
b
a
rvinok_enumerate_serie
s
: d
o
n't check
f
or revlex pos
i
tive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
(t)c
o
unt
e
r: move
c
oun
t
e
r
::reset() up to coun
t
er_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
V
e
rdoolaege
Makefile
.
am:
k
eep bett
e
r track of
failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add semigroup_holes ap
p
lic
a
tion
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdool
a
eg
e
Line_Length: ha
n
dl
e
0D po
l
ytope
i
n 1D
s
p
ac
e
commit
|
commitdiff
|
tree
2009-05-07
Sven
Ve
r
doolaege
gen_fun:
a
d
d is_zero method
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enum
e
ra
t
e_e_series: remove equaliti
e
s in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barv
i
nok_enumerate
_
e_ser
i
e
s: handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
seri
e
s
.
cc: make projec
t
static
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
barvi
n
o
k_en
u
merate_e_series: hand
l
e all equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add test
set from the
o
th
e
r itsl2
0
08
p
ap
e
r
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Pol
y
hedron_Factor: hand
l
e
polyhedra wi
t
h
a
non-tr
i
vial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoola
e
ge
update piplib for change in configur
e
argument
s
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaeg
e
test_ap
p
rox
.
c: add dummy
field
in dummy tms structur
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
con
f
igure
.
i
n: avoid
i
ntroducing empty elements in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Ver
d
o
o
laege
occ:
define OMIT_GE
T
RUSAGE if sys/
r
esource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
aege
om
e
ga_interface/Makefil
e
.
am: put
depending
l
i
b
raries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoo
l
aege
configur
e
.
i
n
: add $(EXEEXT) to opt
i
o
n
a
l
occ for cygw
i
n
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdo
o
laege
update o
m
eg
a
for
MinGW compa
t
ibi
l
ity
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolae
g
e
bernstein/
c
onfigure
.
in: add missi
n
g AC_
P
ROG_
C
XX
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdoolae
g
e
vector
_
partition_chambers:
c
omputes ch
a
mber
s
of
v
ec
t
or
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sv
e
n Verdo
o
l
ae
g
e
b
a
rvinok
.
cc
:
remove u
n
used nonort
h
og
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
oolaege
up
d
at
e
p
i
plib
f
or
MinGW c
o
mpa
t
ibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
updat
e
pol
y
lib for MinG
W
compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
fd
s
tream
.
cc: don't (re)de
c
lare fi
l
eno if it's a
m
acro
commit
|
commitdiff
|
tree
2008-12-26
S
ven
V
erdo
o
laege
evalue
.
c: in_do
m
ain:
special-
c
ase
0
D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verd
o
olaege
Av
o
id use of sys/times
.
h header when not available
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Verdoolaege
add gnulib getsub
o
pt module for
M
inGW
commit
|
commitdiff
|
tree
2008-12-01
Sve
n
Verd
o
olaeg
e
README:
men
t
i
on t
h
at GiN
a
C is also needed for
th
e
Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
v
en Ve
r
d
oolae
g
e
Allow buil
d
of occ when
u
sing bun
d
led omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
doc:
add
a
reference to
a
m
a
s
t
er thesis
a
ctually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
READ
M
E: fix up i
n
st
a
llation
instructi
o
ns
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
V
e
rdoolaege
Add files gene
r
ate
d
b
y biso
n
and flex t
o
the distribution
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdoola
e
g
e
updat
e
polyli
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
ool
a
e
g
e
update
p
iplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolae
g
e
evalue
.
c:
affine2eval
u
e: reduce
coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n Verdoo
l
aege
eva
l
ue
.
c: evalue_level_
c
mp: prod
u
ce mor
e
c
onsistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Ver
d
ool
a
ege
d
oc
:
add anothe
r
paper referr
i
ng
t
o
the libr
a
r
y
commit
|
commitdiff
|
tree
2008-09-16
Sven
V
erdool
a
ege
p
i
ece
w
ise_lst
.
h: avoid duplicate
p
arameter
n
ame
commit
|
commitdiff
|
tree
2008-09-02
S
ven Verdoolaege
evalue_read
.
c:
f
i
x minor bugs in token
i
z
er
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
rdoola
e
ge
u
p
d
ate omega for mis
s
ing fi
l
es in dis
t
ribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
barv
i
nok_enumerate
_
e: avoid inf
i
n
i
te loop when pre
s
en
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdool
a
ege
i
nclu
d
e
omega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
ol
a
e
ge
m
ove omega subdir
t
o
o
meg
a
_in
t
erface
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
NTL_QQ
.
c
c
:
add std
l
ib
i
nc
l
ud
e
for abort hidden in NTL
_
vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rd
o
olaege
r
e
m
ove g
n
u
l
ib link-warning modul
e
completely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmin
.
cc
:
find and sort
are in std:: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
lexmin
.
cc: avoi
d
use
o
f typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdool
a
ege
4
c
oins
.
c
c
: rem
o
ve dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
l
a
ege
tes
t
lib
.
c
c
:
a
dd missin
g
r
eturns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
wo
r
k
a
r
o
u
nd
silly
s
un
c
omp
i
ler
e
rrors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
Avoid use
of th
e
m
a
k
e -C
o
p
t
ion
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
s
ummate
.
c: add
missing include
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
summate
.
c
:
add missing return val
u
es
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Makefile
.
am: include l
i
b in
c
lu
d
e dir in bui
l
d dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
ool
a
ege
laure
n
t
.
cc: don't use
c
onst vectors as map ke
y
s
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
erdoolaege
variabl
e
lengt
h
arrays are
n
ot standard C+
+
(yet)
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ve
r
d
o
ol
a
ege
genfu
n
.
cc: argument of mp_
g
et_
m
emo
r
y_fu
n
ct
i
o
n
s
s
ho
u
ld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ve
n
Verdoolaege
update piplib for compatibility changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
update pol
y
l
i
b
w
ith extra
f
ield
i
n
P
a
r
a
m
_Polyhedr
o
n
commit
|
commitdiff
|
tree
2008-07-30
Sve
n
Verdo
o
laege
d
oc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Ver
d
oolaege
add miss
i
ng algorithm inclu
d
e for f
i
nd
commit
|
commitdiff
|
tree
2008-07-22
S
ven V
e
rdoola
e
ge
F
ix
o
ut-of-bou
n
ds
e
rror in Laur
e
nt expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Include empty
.
c fil
e
in
libbarvinok if
G
iNaC was no
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
lae
g
e
cor
r
ectly reflect extra source
s
for
l
i
bbarvinok a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
f
ix
t
ypo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
lib/s
t
ring
.
i
n
.
h
:
cop
y
_
_restrict handling from
lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
v
en Verdoolaege
up
d
ate gnulib function to
last
p
re-
G
PLv3 version
commit
|
commitdiff
|
tree
2008-07-02
S
ven
Verdoolaeg
e
enumerator::handl
e
: rep
l
a
ce incorre
c
t delete by free
commit
|
commitdiff
|
tree
2008-06-17
S
ven
Verdoola
e
ge
update
p
i
p
lib
for corre
c
ted Urs_
p
arms handl
i
ng
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
co
n
f
i
gure:
u
se correct header
f
i
les in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
V
e
rdoolaege
omega/
o
c
c: only open debug
o
u
tput file
i
f there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
eg
e
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doolaege
add ed
i
tors to IT
S
L
papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
ba
r
vinok 0
.
27
commit
|
commitdiff
|
tree
next