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
glpk_polyhedron_affine_sign: special case 0D polyhedra
2009-11-12
Sven Ve
r
do
o
laege
glpk
_
polyhe
d
ron_a
f
fine_sign: special case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
d
o
olaege
Pol
y
hedron_Inse
r
t
_
C
olumns:
fi
x
typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolae
g
e
Polyhedron_Factor:
fix updating of gr
o
ups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoo
l
aege
con
f
igure
.
in: use AX_SUBMODULE instead of BV
_
SUBMOD
U
LE
commit
|
commitdiff
|
tree
2009-08-21
Sve
n
Ve
r
doolaege
remove_equ
a
lities:
u
se Polyhedr
o
n_Preima
g
e instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
er
d
oolaege
b
a
r
vinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add e
x
per
i
mental comparison between old
a
n
d
n
ew
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Ve
r
d
o
olaege
lexmin
.
cc:
r
emove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaege
d
o
c: add some
less common
.
s
t
y files
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Verdoolaege
a
dd
"
clever" L
a
urent
e
xpa
n
s
i
on based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
mov
e
Las
t
_Non_
Z
er
o
to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaeg
e
extract out para
m
_p
o
l
ynomial fro
m
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven
Ve
r
d
o
o
l
aeg
e
e
x
tract vertex_
c
o
n
e fro
m
lauren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
N
T
L_QQ
.
c
c
: add stdi
o
include
f
or
E
OF hidd
e
n in
N
T
L_
i
o_
v
ector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
v
en Verd
o
olaege
upd
a
t
e
p
o
lylib for speed improvement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaeg
e
update piplib for dis
t
ribut
i
o
n
issue
commit
|
commitdiff
|
tree
2009-05-26
Sven V
e
rdoola
e
ge
Po
l
yhedron
_
Fac
t
or
:
fix merging of groups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolae
g
e
b
arvi
n
ok_enumerate_series:
d
o
n
'
t check
f
or rev
l
ex p
o
sitive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n
V
erdoolaege
(t)counter:
mo
v
e c
o
unter::reset() up to c
o
un
t
er_ba
s
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
Mak
e
file
.
am: keep better track of fa
i
l
e
d te
s
ts
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
add semi
g
roup_hol
e
s appl
i
ca
t
ion
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
ol
a
ege
L
ine_Leng
t
h: h
a
n
dl
e
0D polytope in 1
D
space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
g
en_fu
n
: add is_zero method
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enumerat
e
_e
_
series
:
remove e
q
ualities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
doc: fix typ
o
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
barvinok_enumerate_e_series:
h
andle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
d
o
olaege
series
.
cc: make project static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
arvinok_enumerate_e_ser
i
es: handle all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aeg
e
add t
e
st s
e
t
fr
o
m the other
itsl20
0
8 pap
e
r
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdool
a
ege
.
giti
g
nore: i
g
nore object files
commit
|
commitdiff
|
tree
2009-04-28
S
v
en Verdo
o
lae
g
e
genfunc
.
c
c
: parallel_po
l
ytopes: dete
c
t
0
D
polytop
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sve
n
Verdoola
e
ge
configure
.
in: se
t
AC_CONFIG_MACRO_
D
I
R
commit
|
commitdiff
|
tree
2009-04-27
S
v
en Verdoolaeg
e
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verd
o
ol
a
ege
Polyhedr
o
n_Facto
r
:
handle polyhedra wit
h
a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
erdoolaege
u
p
dat
e
piplib for cha
n
ge in configure arg
u
me
n
ts
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
d
o
olaege
test
_
approx
.
c: ad
d
dummy field in dummy t
m
s struc
t
ure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaege
con
f
igure
.
in:
a
void
i
ntroducing em
p
ty eleme
n
ts in PKG_CON
F
IG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolae
g
e
occ: define
O
MIT_GETRUS
A
GE
i
f sys/res
o
urce
.
h
cann
o
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolae
g
e
om
e
ga_int
e
rface/Makefile
.
am: put depending lib
r
aries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdool
a
ege
configure
.
in:
add $(EX
E
E
X
T)
to
optional
o
c
c f
o
r cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oolaege
update omega
for MinGW c
o
mpatibility
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
V
erdo
o
laege
bernstein/c
o
nfigure
.
in: add missing AC_PR
O
G_CX
X
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolae
g
e
genfun
.
cc: add braces round e
x
tern "C"
t
yped
e
f
commit
|
commitdiff
|
tree
2008-12-30
Sven V
e
rdoolaege
vector_
p
arti
t
ion_chambers: co
m
putes chamber
s
of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Ve
r
doolaeg
e
barvinok
.
c
c: remove unuse
d
nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
rdoola
e
ge
u
pda
t
e piplib for MinGW compatibil
i
ty
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoolaege
u
p
date
polylib for
MinG
W
compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
oola
e
ge
fdstre
a
m
.
cc: don'
t
(re)declare
f
ileno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolae
g
e
eva
l
ue
.
c: in_do
m
ain: spec
i
al-cas
e
0D doma
i
ns
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdo
o
laege
Avoid use
o
f sys/times
.
h
h
e
a
der wh
e
n not availa
b
le
commit
|
commitdiff
|
tree
2008-12-25
Sven Verd
o
olae
g
e
add gn
u
lib getsubopt module f
o
r MinGW
commit
|
commitdiff
|
tree
2008-12-01
S
v
en
Verdoolaege
README: m
e
nt
i
on that GiNaC is als
o
n
eeded for th
e
Ome
g
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven
V
erdoolaege
Allow build of occ when using bund
l
ed
o
m
ega
commit
|
commitdiff
|
tree
2008-10-28
Sven
V
erdoolaege
doc: a
d
d a r
e
fer
e
n
c
e to a master thesis actua
l
ly using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoolaege
ba
r
vinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoolaege
README: fix up installation
ins
t
ructio
n
s
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoolaege
Add files ge
n
er
a
ted by bison a
n
d
f
lex t
o
the distributi
o
n
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Ve
r
doolaege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolae
g
e
u
p
date piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
e
v
alue
.
c: affine2evalue: reduce coef
f
ici
e
nt
s
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
e
value
.
c:
eval
u
e_l
e
vel_cmp: produce more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add ano
t
her paper referring to the library
commit
|
commitdiff
|
tree
2008-09-16
S
v
e
n
Verdo
o
laege
piecewise_lst
.
h: avoid duplic
a
te p
a
rameter
n
ame
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
e
va
l
ue_read
.
c: fi
x
minor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
S
ven V
e
rdo
o
laege
up
d
a
te omega for m
i
ssing file
s
in
di
s
t
rib
u
tion
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
barvinok_enumerate_e: avoid
i
n
finite loop when p
r
es
e
n
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
include omega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
olaege
move omega
su
b
dir t
o
omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdo
o
laege
NTL_
Q
Q
.
cc: add stdlib in
c
lude for
a
bor
t
hidden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
remove gnulib link-w
a
rni
n
g
module co
m
pletely
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
rdoolaege
lexmin
.
cc: find and sort
are i
n
std:
:
n
a
mespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmin
.
c
c
: avo
i
d u
s
e of
typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolae
g
e
4coins
.
cc: r
e
move dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
te
s
tlib
.
cc:
add mis
s
ing returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
workar
o
u
n
d silly s
u
n compiler errors
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdo
o
laege
Avoid
us
e
o
f
th
e
make -C option
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verd
o
olae
g
e
summate
.
c: add missing include
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaeg
e
summate
.
c
:
add missing retur
n
value
s
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolae
g
e
Makefil
e
.
am: include lib inclu
d
e dir in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
er
d
oolaege
laurent
.
c
c: don't u
s
e const vectors as m
a
p keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
variable lengt
h
arrays are n
o
t standard C++
(
yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rd
o
olaege
genf
u
n
.
cc: argument of mp_
g
e
t_memory_fun
c
tion
s
should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
update
piplib
for compatibility changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
upd
a
te polylib wi
t
h ext
r
a field in Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaeg
e
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoo
l
aege
a
dd miss
i
ng algorithm include for fin
d
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Fix o
u
t-of-
b
o
unds error in L
a
ur
e
n
t
ex
p
ansion
based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
oolaege
Include empty
.
c
f
ile i
n
libbarvinok if
GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
oolaege
correctly ref
l
ect extr
a
s
ou
r
ces for libbarvin
o
k an
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ve
r
doolaeg
e
fi
x
typo in
comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
lib/stri
n
g
.
in
.
h
:
copy __
r
estrict
handling f
r
om lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sve
n
Verdoolaege
u
pdate gnulib function to
last pr
e
-GPLv3 v
e
rs
i
on
commit
|
commitdiff
|
tree
2008-07-02
Sven V
e
rdoola
e
ge
enumerator::handle: replac
e
incorrect delete b
y
f
ree
commit
|
commitdiff
|
tree
2008-06-17
Sven Ver
d
ool
a
ege
update piplib for corrected Ur
s
_
p
arms han
d
ling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdool
a
ege
configur
e
:
u
se
c
orrec
t
header files in c
a
s
e of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
con
f
i
g
u
re
.
in: fix
check
for
cod
e
_gen
l
i
b
ra
r
y ava
i
lability
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaeg
e
omega/occ: only open
d
ebug output file
i
f
t
here is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n
Verd
o
olaege
ome
g
a/M
a
kefile
.
a
m: avoid bi
s
on's
-o opt
i
on a
s
naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdoolaege
range
.
cc: add
m
i
ssing inclu
d
e
o
f
a
lloca
.
h
commit
|
commitdiff
|
tree
next