repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
barvinok_enumerate_series: don't check for revlex positive rays on recursive call
2009-05-07
Sven Verdoolaeg
e
ba
r
v
i
n
ok
_
enu
m
e
rate_seri
e
s: don't ch
e
ck for
r
e
v
l
e
x
positi
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
(t)count
e
r:
m
ove c
o
unter:
:
rese
t
() up to
c
ounter_bas
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
l
a
ege
Mak
e
file
.
am: kee
p
better track of
failed te
s
ts
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n
V
e
r
d
oolaege
add semigroup_hol
e
s application
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
rdool
a
ege
Line
_
L
e
ngth: handle 0
D
polytope in 1D
s
p
a
ce
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rd
o
olaege
g
e
n_fun: add is_zero
method
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Ve
r
doolaeg
e
bar
v
inok_enumerate_e_seri
e
s:
r
emove
e
qualities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
doc: fix typ
o
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdool
a
ege
barvinok_enu
m
e
r
ate_
e
_seri
e
s: handle
a
ll
exis
t
en
t
ials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoola
e
ge
s
eries
.
cc: make proj
e
ct st
a
t
i
c
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvin
o
k
_enumerate_e_series: handle all equ
a
liti
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
o
olaege
add t
e
st set from the othe
r
itsl2008
p
aper
commit
|
commitdiff
|
tree
2009-04-02
S
ven Verdoolaege
Polyhedron_F
a
ct
o
r:
h
a
n
d
le polyhedra
wit
h
a
non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Ve
r
doo
l
a
ege
update piplib for change
i
n
conf
i
gure arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
e
r
doola
e
ge
t
es
t
_approx
.
c: add du
m
my field in
d
u
m
my tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
laege
configure
.
in: a
v
oid introduci
n
g
empt
y
elements in PKG
_
C
O
NFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
occ
:
d
e
fine OMIT_
G
E
T
RUSAGE if sys/reso
u
rce
.
h
cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
d
o
olaege
o
mega_interfac
e
/Makefile
.
am
:
p
ut dependin
g
libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoolae
g
e
configur
e
.
i
n
: add $(EXEEXT)
t
o option
a
l occ for cy
g
w
i
n
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
la
e
ge
upda
t
e
omega for Min
G
W compat
i
bility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
bernstein
/
c
o
nfigure
.
i
n
: add
m
issing AC_PR
O
G
_
CX
X
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdool
a
ege
vector_parti
t
i
on_
c
h
amb
e
rs: com
p
utes
cham
b
ers of
v
ect
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven V
e
rdoolaeg
e
bar
v
i
n
o
k
.
c
c: remove unu
s
e
d
n
onorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
laege
update pipl
i
b
for M
i
nGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoolaege
update pol
y
lib for MinGW
c
ompat
i
bility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fdst
r
e
am
.
cc: don't (re)declare
f
i
le
n
o if it's a macr
o
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdool
a
ege
evalue
.
c: in_
d
omain
:
s
pecial-ca
s
e
0D doma
i
ns
commit
|
commitdiff
|
tree
2008-12-25
S
ven Ve
r
doola
e
ge
Avoid use of
s
ys/t
i
m
es
.
h header
w
h
en
not
available
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
erd
o
olaege
ad
d
gnulib getsubopt modu
l
e
for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdo
o
l
a
e
g
e
REA
D
ME: mention
that GiNaC
i
s
also n
e
eded
f
or the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sve
n
Verdoolaege
A
l
low build of occ w
h
en using bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
do
c
: add
a
refer
e
nce to
a
mas
t
er
t
he
s
is actual
l
y
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
v
en
V
e
rdoolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
a
e
g
e
README: fix up installation i
n
struction
s
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoolaege
Add fil
e
s generated by bison and flex to the distributio
n
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-10-16
S
v
en
V
erdoolaege
update pi
p
lib
commit
|
commitdiff
|
tree
2008-10-10
S
v
en
Verdoolaege
evalue
.
c: af
f
ine2ev
a
lue
:
reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: eval
u
e_level_cm
p
: produce more co
n
sistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoo
l
aege
doc:
ad
d
another
p
a
pe
r
refe
r
ri
n
g to t
h
e library
commit
|
commitdiff
|
tree
2008-09-16
Sven V
e
rdool
a
ege
piecewise_lst
.
h
:
avoid dupli
c
ate
p
arame
t
er name
commit
|
commitdiff
|
tree
2008-09-02
S
v
en Verdoo
l
aege
eval
u
e_re
a
d
.
c: fix minor bugs
i
n tokenize
r
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Ve
r
d
o
o
lae
g
e
u
pdate omega for m
i
ssing fi
l
e
s in
d
istribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
ba
r
vinok
_
e
n
um
e
rate_e: avoid
i
nfinit
e
loop when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
include omega
submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven
Ver
d
oolaege
move om
e
g
a su
b
dir to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verd
o
olaege
NTL_QQ
.
cc: a
d
d stdlib include fo
r
ab
o
rt hidden in NTL_v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
r
e
move
gnulib li
n
k-warning modul
e
completely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmin
.
c
c: find
a
nd
sor
t
are in std:
:
namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmi
n
.
c
c
:
a
voi
d
use
o
f t
y
peo
f
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
rdool
a
ege
4coins
.
cc: rem
o
ve dead
c
ode
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
la
e
ge
testlib
.
cc: add missi
n
g ret
u
rns
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
er
d
ool
a
e
ge
workaround silly sun c
o
mpiler errors
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
A
v
oid use of
the
make -C opti
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
o
la
e
ge
summate
.
c: add missing inc
l
ude
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
s
ummate
.
c: a
d
d
missing return values
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
Makefile
.
a
m
: include lib inclu
d
e dir in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
la
u
rent
.
cc:
don't use const vectors as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verd
o
o
laege
variable le
n
gth a
r
r
ays are not
s
tanda
r
d C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Verdoola
e
ge
g
e
nfun
.
cc: argume
n
t
o
f mp
_
get_memory_
f
unctions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
Verdo
o
lae
g
e
update piplib for
c
ompatib
i
lit
y
chang
e
s
commit
|
commitdiff
|
tree
2008-08-24
Sv
e
n V
e
r
doolaege
u
p
da
t
e polyl
i
b with e
x
tra field in P
a
ra
m
_Poly
h
edron
commit
|
commitdiff
|
tree
2008-07-30
Sv
e
n
V
erdoolaege
do
c
: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoolaege
add mis
s
i
n
g algorithm include f
o
r find
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
e
rdoolaege
F
i
x
o
ut-of
-
bound
s
error in Laurent ex
p
ansi
o
n based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoo
l
aege
In
c
l
u
de
e
mpty
.
c
fi
l
e in
l
ibbarvinok if GiNaC was
n
o
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdo
o
laeg
e
correctly re
f
l
e
ct e
x
t
r
a
sources for
libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
fi
x
typo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
erd
o
olaeg
e
lib/string
.
in
.
h: copy __restrict
hand
l
ing from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
v
en Ver
d
oo
l
ae
g
e
update
gnulib
fun
c
tion to
l
ast
p
re-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdo
o
laege
en
u
me
r
ator::handle: replace incorr
e
ct delete
b
y free
commit
|
commitdiff
|
tree
2008-06-17
Sven
Verdoolae
g
e
update piplib
f
o
r corrected
U
rs_parm
s
handl
i
ng
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
configure:
use corre
c
t
h
e
ader files in ca
s
e
of
b
undled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdoo
l
a
ege
ome
g
a
/oc
c
:
only open d
e
b
ug
out
p
ut
f
ile if t
h
ere is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdo
o
laege
doc: fix
t
y
p
o
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verd
o
ola
e
g
e
add edit
o
rs to
ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ve
r
do
o
lae
g
e
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdool
a
ege
add some
t
e
s
t
set
s
from itsl2
0
08
p
aper
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
doc: add la
t
est (a
c
cepted) p
u
blicat
i
ons
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolae
g
e
M
a
kefile
.
a
m
: add section
_
ar
r
ay
.
h to d
i
stribution
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
erdoolaege
normalization
.
c: c
o
mpute_shifts: remov
e
re
d
undant ret
u
r
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
move Free_ParamNa
m
es polylib and make pa
r
am names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
o
cc: add interf
a
ce t
o
barvinok_su
m
m
a
te
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
ex_convert
.
cc: extract
e
x2ev
a
lue
f
rom range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ver
d
oo
l
a
ege
doc: document more --summation m
e
thods for
b
ar
v
inok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdo
o
la
e
ge
options
.
c:
r
ename "ba
r
vinok
"
summatio
n
metho
d
to "
b
ox
"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
g
e
Makefile
.
am
:
check-euler:
a
lso
c
h
e
ck laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
su
m
mate
.
c: barvin
o
k_su
m
mate: ha
n
dle pro
d
ucts of polyto
p
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
d
oolaege
eval
u
e
.
c: exp
o
rt evalue_reor
d
er_terms
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdo
o
l
a
ege
b
e
r
n
stein: numeric2value: fix typo to all
o
w correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ut
i
l
.
c: F
a
cto
r
_Context:
extracted from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
summ
a
te
.
c: barvinok_summa
t
e: ignore
f
loo
r
s
independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolaege
e
v
alu
e
.
c: add eval
u
e_floor
2
frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
o
mega
/
occ:
prin
t
b
a
rvi
n
ok version number
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
doc
:
update
s
ome references
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
Make laurent based
summation
t
he default
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
summate
.
c: barvi
n
ok_s
u
mmate: handle qu
a
si-polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verd
o
o
la
e
ge
reduce_ev
a
lue: extract o
u
t e
v
alue_
r
educe_size
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
evalue
.
c
: evalue_s
h
ift_variables: allow shift
i
ng of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
summa
t
e
.
c: handl
e
equ
a
lities
f
o
r all summation
a
l
gorith
m
s
commit
|
commitdiff
|
tree
next