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 0.35
2009-11-12
Sven V
e
rdoolaege
P
o
lyhedron_In
s
er
t
_Columns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoo
l
aeg
e
P
o
l
y
h
e
dron_Factor: fix updating of g
r
oup
s
commit
|
commitdiff
|
tree
2009-10-06
Sven Verd
o
olaege
configure
.
i
n
: use AX_SUBMODULE instead
of BV_SU
B
MODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven
Verdoo
l
aege
remove_eq
u
a
lities:
use
Polyhedron
_
P
reimage ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
barvi
n
ok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
doc:
add experimental co
m
pa
r
ison between old and n
e
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoolaeg
e
le
x
min
.
c
c:
remove "anachroni
s
m"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
d
oc: fix typ
o
commit
|
commitdiff
|
tree
2009-07-22
S
v
en
Verdoolaege
doc: add some less common
.
s
t
y files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoola
e
g
e
add "clever" Laurent expansion based summati
o
n
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n
V
erd
o
ola
e
ge
move Last_
N
on_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
ex
t
ra
c
t
out param_po
l
ynomial from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
v
e
n
Verdoolaege
extr
a
ct vertex_cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
erdoolae
g
e
NTL_QQ
.
cc: a
d
d st
d
io inclu
d
e for EOF
hidde
n
in NTL
_
io_ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
update polyli
b
for
s
peed improvement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoo
l
ae
g
e
update piplib for dist
r
i
bution issue
commit
|
commitdiff
|
tree
2009-05-26
S
ven V
e
rdool
a
ege
Po
l
y
h
edron_Factor: fi
x
merging o
f
g
rou
p
s
of col
u
mns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_e
n
umerate_serie
s
:
don't ch
e
ck for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
r
doolaege
(t)counte
r
:
m
ove counte
r
:
:
reset() up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oola
e
ge
Makefil
e
.
am: k
e
ep better track of f
a
iled tests
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
add semigroup_holes application
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
r
doolaege
Lin
e
_Len
g
th: handle 0D polyt
o
pe
in 1D s
p
ace
commit
|
commitdiff
|
tree
2009-05-07
S
ven
Verdoolaege
gen
_
fun:
a
dd is_
z
ero meth
o
d
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
ba
r
vinok_
e
numerate_e_serie
s
: r
e
m
ove equali
t
ies in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven
V
erdo
o
l
aege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoo
l
aeg
e
barvinok_
e
nume
r
ate_e_series: handle all
e
xisten
t
i
als
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
ser
i
es
.
cc:
m
ake pro
j
e
ct st
a
tic
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
barvi
n
ok_enumerate_e_
s
eries:
h
andle all equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
add test set from the other its
l
200
8
p
ape
r
commit
|
commitdiff
|
tree
2009-04-28
S
v
e
n V
e
rdo
o
laege
.
gitign
o
re: ignore objec
t
files
commit
|
commitdiff
|
tree
2009-04-28
Sven Ve
r
doola
e
ge
genfunc
.
cc:
parallel_
p
o
l
ytopes:
d
e
t
e
ct 0D polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolae
g
e
conf
i
gure
.
i
n
: set AC_CONFIG_
M
ACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven
Verdoola
e
ge
a
dd pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n Verdoolaege
P
o
lyh
e
dron_
F
acto
r
: handle polyhedra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
erdool
a
ege
upda
t
e piplib f
o
r change
in configure
a
rguments
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolaege
test_approx
.
c: add dum
m
y field in dummy tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oolae
g
e
con
f
igure
.
i
n: avoid intr
o
d
ucing empty elemen
t
s
i
n P
K
G_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaeg
e
occ: define O
M
IT_GETR
U
SAGE if sys/
r
e
s
o
u
rce
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
omega
_
inte
r
face/Make
f
i
l
e
.
am:
p
ut depend
i
ng libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rd
o
o
l
a
e
g
e
conf
i
gure
.
in: add
$
(
E
XEEXT) to
o
p
t
i
o
n
a
l occ for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoola
e
ge
u
p
date om
e
ga for MinGW comp
a
t
i
b
ility
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Ver
d
oolaege
b
e
r
nstein/configure
.
in: add missing AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
genfun
.
cc
:
add br
a
ces round
ex
t
er
n
"C" typedef
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdool
a
ege
vecto
r
_partition_cha
m
bers: computes
c
h
a
mbers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sve
n
V
e
r
d
oolaege
b
a
rvin
o
k
.
cc
:
rem
o
ve unused n
o
n
orthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update piplib
f
or
M
inGW compatibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
lae
g
e
upd
a
t
e p
o
lyl
i
b f
o
r MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fdstream
.
cc: don't
(
re)declare fileno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
evalue
.
c
:
in_domain: spe
c
ial
-
c
a
se 0D
d
oma
i
ns
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Verdoola
e
ge
Avoid us
e
of sy
s
/times
.
h header
w
h
e
n
not available
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add
g
nulib g
e
ts
u
bopt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
README: mention that
GiNaC is also
n
e
eded for the O
m
ega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven V
e
rdoolaege
Allow build of oc
c
when u
s
ing bundled o
m
e
g
a
commit
|
commitdiff
|
tree
2008-10-28
S
v
e
n V
e
rdoolae
g
e
doc: add a reference to a m
a
ste
r
thesi
s
a
ct
u
a
l
l
y
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doolaege
ba
r
vi
n
ok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
ven
Verdoo
l
aege
README: fix up in
s
t
allation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
olae
g
e
Add f
i
l
e
s
generated by
b
ison and flex to
t
he d
i
stri
b
utio
n
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oo
l
aege
upd
a
te
p
olylib
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoolaege
upd
a
te piplib
commit
|
commitdiff
|
tree
2008-10-10
S
v
en Verdoolaege
eval
u
e
.
c: af
f
ine2evalue: re
d
uce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Ver
d
o
o
la
e
g
e
e
v
alue
.
c: e
v
al
u
e_le
v
el_cm
p
: produce more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
v
e
n Verdoolaege
d
oc:
a
d
d
a
n
other paper ref
e
rrin
g
to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdo
o
laege
pie
c
ewise_lst
.
h: av
o
id duplicate p
a
rameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
r
doolaege
evalue_read
.
c: fix m
i
nor bugs i
n
tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
update ome
g
a for missing files i
n
d
i
stribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
barvinok_
e
num
e
rate_e: avoid infinite loop w
h
en presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
include omeg
a
s
ubmodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
mov
e
omega subdir to o
m
ega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
dool
a
ege
N
T
L_QQ
.
cc: add stdlib include for abort hidden
i
n
N
T
L_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoola
e
ge
remo
v
e gnu
l
ib
link-warning module co
m
plete
l
y
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
l
e
xmin
.
cc: find and sor
t
are
i
n std::
n
amespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmin
.
cc: av
o
id use of typeof
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaeg
e
4
co
i
ns
.
cc: remove dead code
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
te
s
t
lib
.
cc: add
mi
s
sing returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
work
a
round silly sun
c
ompiler er
r
ors
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
Avoid use of the ma
k
e
-C o
p
tion
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdo
o
la
e
ge
summate
.
c:
a
d
d
m
issing inc
l
ude
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
summate
.
c: a
d
d m
i
ssing
r
e
tur
n
val
u
es
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
e
g
e
M
a
k
efi
l
e
.
am: include lib i
n
cl
u
d
e
dir in
bu
i
ld d
i
r
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
lauren
t
.
cc:
d
o
n't u
s
e
const vectors as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
var
i
able length
a
r
r
ay
s
are not
s
t
a
nd
a
rd C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
genfun
.
cc
:
argum
e
nt of mp_get_memory_funct
i
ons
sho
u
ld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaeg
e
upda
t
e
piplib for comp
a
tibility chan
g
es
commit
|
commitdiff
|
tree
2008-08-24
Sve
n
Ve
r
d
o
o
laege
updat
e
polylib with ext
r
a
field in Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
S
ven Verdoolaege
doc: fix t
y
pos
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verd
o
o
l
aege
add mi
s
sing al
g
orithm
i
nclu
d
e
for find
commit
|
commitdiff
|
tree
2008-07-22
Sven Ve
r
doolaege
Fix out-of-b
o
unds error in Laurent e
x
pans
i
on based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdo
o
laege
Incl
u
de e
m
pty
.
c file in libbarvi
n
ok if
G
iNa
C
w
a
s
no
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdo
o
laege
correctly reflect extr
a
sour
c
es for lib
b
arvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Ver
d
oolaeg
e
fix typo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoolaege
l
ib/string
.
in
.
h: copy __r
e
strict handling fr
o
m l
i
b
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
ven
V
erdoo
l
ae
g
e
up
d
ate gnulib function to last p
r
e-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
S
v
en Verdo
o
laege
enumerator::handle: replace i
n
corre
c
t
del
e
te by f
r
ee
commit
|
commitdiff
|
tree
2008-06-17
Sve
n
Verdoolaege
upda
t
e piplib
for corrected Ur
s
_
p
a
rms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
config
u
re: use correct
head
e
r files in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdoolaege
configur
e
.
in: fix check for co
d
e_gen libr
a
ry availa
b
ility
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdo
o
laege
o
mega/occ:
o
n
l
y
o
pen debug outp
u
t file
i
f th
e
r
e
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
o
m
e
g
a
/Makefile
.
am: avoid bison's -o
o
ption
as
n
aming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven Verdo
o
la
e
ge
range
.
cc: add miss
i
ng incl
u
de of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoolaege
doc: fix
typo
commit
|
commitdiff
|
tree
next