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 Verd
o
olaege
barv
i
no
k
_enumerate_serie
s
:
don't check for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
l
a
ege
(t)count
e
r: move co
u
nter::reset() up to coun
t
e
r
_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
Makefile
.
a
m: ke
e
p bette
r
track of f
a
iled tests
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
add semigrou
p
_hol
e
s ap
p
licati
o
n
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n V
e
rdoolaege
Line_Length: handle 0D
p
olytope in
1D
space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
ge
n
_fun: add is_z
e
ro me
t
h
od
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Verdoolaege
barvinok
_
enumerate_e
_
series: rem
o
ve equalities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
b
a
rvinok_enumerate_
e
_series
:
handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
ser
i
e
s
.
cc: m
a
ke project
s
tatic
commit
|
commitdiff
|
tree
2009-05-07
S
ven V
e
rdoolaege
barvinok_enumerate_e_se
r
ies: handl
e
all e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdo
o
l
a
e
g
e
add test set
f
rom the other itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolae
g
e
.
gitignore: ignore object
files
commit
|
commitdiff
|
tree
2009-04-28
S
v
en Verdoolaege
genfunc
.
c
c: parallel_polytopes: d
e
tect 0D
polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
S
v
en Verdoolaege
configure
.
in: set
A
C_CONFI
G
_
MACRO_DI
R
commit
|
commitdiff
|
tree
2009-04-27
Sven Ve
r
doolaege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolae
g
e
Polyhedron
_
Factor:
ha
n
dle
p
olyhe
d
ra with a non-
t
r
ivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
erdoo
l
aeg
e
update piplib for change in configu
r
e a
r
guments
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoolaeg
e
test
_
approx
.
c: add dum
m
y fi
e
ld in dummy tms st
r
u
c
ture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Ve
r
do
o
laege
configure
.
in: avo
i
d
introduci
n
g emp
t
y el
e
ments in
PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erdoo
l
aege
o
cc:
define
O
MIT_
G
ETRUSAGE if
sys/resour
c
e
.
h can
n
ot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolae
g
e
o
mega_interface/Makefile
.
am: put depending l
i
b
r
a
ries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoola
e
ge
c
o
nfigure
.
in:
add $(EXEEXT) to optional occ
for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
update omega f
o
r MinG
W
compatibi
l
i
t
y
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erdoolaege
bern
s
t
e
in/c
o
nfigure
.
in: add m
i
ss
i
ng A
C
_PROG
_
CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven V
e
rdoolaege
genfun
.
cc: add
b
ra
c
es round ext
e
rn "
C
"
t
y
pe
d
ef
commit
|
commitdiff
|
tree
2008-12-30
S
v
e
n
Verdo
o
lae
g
e
vector_partiti
o
n_cha
m
b
e
rs: computes
c
ha
m
be
r
s of v
e
ct
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verd
o
olaege
barvinok
.
cc: remove u
n
used nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
olaege
update
p
iplib for MinGW c
o
mpatibility
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verdool
a
ege
update polylib for
Min
G
W compat
i
b
i
lity
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoolaege
f
d
s
tream
.
cc: don
'
t (re
)
declare fileno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
evalue
.
c: in
_
do
m
ai
n
:
special
-
case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Verdoo
l
aege
Avoid
use of
sys/times
.
h header
w
hen
not ava
i
l
able
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolae
g
e
add
gnulib getsub
o
pt module
f
or MinGW
commit
|
commitdiff
|
tree
2008-12-01
S
ven
V
erdo
o
l
aeg
e
README: mentio
n
that
G
iNaC is also needed for th
e
Om
e
g
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven V
e
rdoolaege
Allow buil
d
of occ w
h
en using bundl
e
d
o
m
eg
a
commit
|
commitdiff
|
tree
2008-10-28
Sve
n
Verdoolaege
doc: add a reference to
a
mast
e
r thesis actual
l
y usi
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdo
o
laege
b
a
rvi
n
ok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
REA
D
M
E: fix up
i
nstallation instructio
n
s
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoolaege
Add files g
e
nerated
by
b
i
s
on and flex to t
h
e distrib
u
t
i
o
n
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdool
a
e
g
e
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
aege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Ve
r
doolaege
evalue
.
c: affine2evalue: reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
S
ven Verd
o
olaege
eva
l
u
e
.
c
:
evalue
_
level_cmp
:
produce
more consi
s
t
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
v
e
n Verdoola
e
ge
d
o
c:
a
dd another paper
r
ef
e
rring t
o
the library
commit
|
commitdiff
|
tree
2008-09-16
Sven V
e
rdoolaege
p
iecewi
s
e_lst
.
h: avoid duplicate pa
r
ameter name
commit
|
commitdiff
|
tree
2008-09-02
S
v
en Verdool
a
e
g
e
evalue_re
a
d
.
c: fix minor
bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdo
o
lae
g
e
update omega for missing files in dis
t
ribution
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n V
e
rdoo
l
aege
b
arvinok_enumerate_e: avoi
d
infinite loo
p
when
p
r
e
sented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
include om
e
ga
s
u
bm
o
dule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
move omega subdir to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
NTL_QQ
.
cc: add std
l
ib i
n
clude for a
b
ort hidden
in NTL_
v
ector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
remove
gnulib link-warnin
g
module com
p
l
etely
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
r
d
o
o
laege
lexmin
.
cc: find a
n
d sort are
i
n std:: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolae
g
e
lexmin
.
cc: avoid use of typeo
f
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
4coi
n
s
.
cc: remove dead
code
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdool
a
ege
testlib
.
cc: add
m
issin
g
r
etu
r
ns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
workaround silly sun compiler
errors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
g
e
Avoid use of the
m
a
k
e
-C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
summate
.
c: add missi
n
g in
c
lude
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
summate
.
c: a
d
d missing retur
n
values
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
e
rdoolaege
Makef
i
l
e
.
am: in
c
lude
l
ib include dir i
n
bu
i
ld dir
commit
|
commitdiff
|
tree
2008-08-28
S
ve
n
Verdoolaege
l
aurent
.
cc: don't use const
v
e
ctors a
s
m
a
p ke
y
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
variable length arr
a
ys
a
re not standard C++ (ye
t
)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
genfun
.
c
c
:
a
r
gument
o
f
mp_get_mem
o
ry_func
t
ions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erd
o
olaeg
e
up
d
a
t
e piplib for compatibility changes
commit
|
commitdiff
|
tree
2008-08-24
Sve
n
Verdoola
e
ge
update polylib with extra
f
ield in
Param
_
P
o
lyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven
V
erdoolaege
d
oc: f
i
x
typos
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n
Verd
o
ol
a
ege
ad
d
missing
a
l
gorithm include f
o
r find
commit
|
commitdiff
|
tree
2008-07-22
S
ven
V
erdoolaege
Fi
x
out-of-bounds
er
r
o
r
in Laurent ex
p
ansi
o
n
based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
I
nclude empty
.
c
file in libba
r
vino
k
if GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Ver
d
o
o
laege
cor
r
ectly re
f
lect
extra
s
o
u
rce
s
for lib
b
arvinok a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaeg
e
fix typo in c
o
mment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
lib/s
t
ring
.
in
.
h:
copy __restrict han
d
ling
from
lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven
Ve
r
d
ool
a
ege
update
gnul
i
b
fu
n
ction to las
t
pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
enumer
a
t
or::h
a
ndle: r
e
place i
n
c
o
rrect del
e
te by fre
e
commit
|
commitdiff
|
tree
2008-06-17
Sven
Ver
d
o
olae
g
e
u
p
date p
i
p
lib for
cor
r
ected
U
rs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sv
e
n Verdoolaege
c
o
n
figure: use
c
orre
c
t header f
i
les
in
c
ase of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaeg
e
con
f
igure
.
in: fix check f
o
r code_gen lib
r
ary avai
l
a
bilit
y
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoola
e
g
e
omega/oc
c
: on
l
y o
p
en debug output file if
there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven Verdoolaege
omega/Makefile
.
am: avoid bi
s
on's
-
o
o
p
tio
n
as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
oo
l
aege
range
.
cc: add missing in
c
lude o
f
alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
V
erdoolaege
d
o
c: fix t
y
po
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
add
e
ditors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoo
l
aege
use
a
r
g
p
for argumen
t
par
s
i
ng in
barvinok_ehrh
a
rt an
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sve
n
Verdoolaeg
e
properly handle
NTL
C
PPFLAGS and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoo
l
aege
basis_reduct
i
on_templ
.
c: ad
d
missing incl
u
d
e
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdo
o
laege
barvinok
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
ad
d
some
t
est s
e
t
s
from
i
tsl2
0
08
paper
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
d
o
c
:
add latest (acce
p
t
e
d) p
u
blications
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
Makefile
.
a
m
:
add s
e
ction_array
.
h
t
o
d
i
stribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
nor
m
a
lization
.
c: compute_shif
t
s: remov
e
re
d
u
n
dant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
a
ege
m
o
ve Fr
e
e_ParamN
a
mes po
l
ylib an
d
make param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
occ: add
interface t
o
ba
r
v
i
nok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_convert
.
cc: extrac
t
ex
2
evalue from ra
n
ge
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
doc: d
o
cumen
t
more --summ
a
tion method
s
fo
r
barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
options
.
c: rename "ba
r
vinok" sum
m
atio
n
metho
d
to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolae
g
e
Make
f
ile
.
am: check-euler: also
check la
u
rent
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verd
o
o
laege
su
m
mate
.
c
:
b
arvinok_summate: handle pr
o
ducts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
g
e
e
v
a
l
ue
.
c: exp
o
r
t
evalue_reo
r
d
e
r_t
e
rm
s
commit
|
commitdiff
|
tree
next