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
polytope_minimize: take constant term to be zero when given linear objective
2009-11-12
Sven Ve
r
dool
a
ege
polytope_minimize
:
take constant t
e
rm to be
z
ero
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolae
g
e
doc: r
e
flect tha
t
--e
n
able-fractio
n
al is now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
g
l
pk
_
p
olyhe
d
ron_affine_sign: s
p
ecial
c
ase 0D
p
olyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doola
e
ge
Polyhedron_Insert_Columns: fix
t
ypo
commit
|
commitdiff
|
tree
2009-11-11
Sven
Verdoolaege
Polyh
e
dro
n
_Fa
c
tor
:
fix
updating
of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
configure
.
i
n: use AX_SUB
M
ODULE
inste
a
d of
BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
r
e
move_e
q
u
aliti
e
s: use Polyhedron_Preimage ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoola
e
ge
b
a
rvin
o
k 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Ver
d
o
olaege
doc: add experimental comparison between old
and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doo
l
a
e
ge
lexmin
.
cc: re
m
ove "ana
c
h
ronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add
s
ome
less
c
ommon
.
s
t
y files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoo
l
aege
add "c
l
ever" L
a
urent
e
xp
a
n
sion base
d
sum
m
ati
o
n
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
move
La
s
t_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoola
e
ge
extract o
u
t param_p
o
ly
n
omial from
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdo
o
laege
extract vertex_cone from laur
e
n
t
.
c
c
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
NTL_QQ
.
cc: add stdio inc
l
ud
e
for EOF hi
d
de
n
in NTL_io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sve
n
Verdoola
e
ge
update
p
olyl
i
b fo
r
s
p
eed improvement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n
V
erdoolaege
update piplib
for distribu
t
ion issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Ver
d
oolaege
P
olyh
e
d
r
on_Factor: fix me
r
g
i
ng
of
groups of col
u
mns
commit
|
commitdiff
|
tree
2009-05-07
S
ve
n
Verdoolaege
ba
r
vi
n
ok_en
u
m
e
ra
t
e_series: don't c
h
e
c
k for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
(
t)counter: move co
u
nter::reset()
u
p to
c
o
u
nt
e
r
_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
Makefile
.
am: keep better t
r
a
c
k of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolae
g
e
add semigroup_holes applica
t
ion
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
L
i
n
e_Length: handle 0D p
o
lytope i
n
1D space
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
gen_fun: add is_zero m
e
thod
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Verdoo
l
aege
barv
i
nok_enumerate_e_s
e
r
i
es: r
e
m
o
ve equalities
i
n
eac
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
d
oc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enume
r
ate
_
e_s
e
r
ies: hand
l
e all
e
x
istent
i
als
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdool
a
ege
s
e
r
i
e
s
.
cc: make pro
j
ect stat
i
c
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verd
o
olaege
b
arvinok_enumerate_e
_
s
eries: h
a
ndle
all equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doola
e
ge
add test
s
e
t from the other itsl20
0
8
paper
commit
|
commitdiff
|
tree
2009-04-28
S
ven Verdoo
l
aege
.
gitignore: ignore object files
commit
|
commitdiff
|
tree
2009-04-28
S
ven V
e
rd
o
olaege
genfun
c
.
cc: p
a
rallel_polytope
s
: dete
c
t 0D polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
S
v
en
V
e
rdoolaege
c
onfigu
r
e
.
in: set AC_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
S
v
en Ver
d
oolaege
ad
d
pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyhedron
_
Factor: h
a
ndle po
l
yhedr
a
with a non
-
trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaeg
e
update pip
l
ib fo
r
c
hange in configure
arg
u
m
ent
s
commit
|
commitdiff
|
tree
2009-02-09
S
ven Ver
d
oolaege
test_approx
.
c: add d
u
mmy
field in du
m
my tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Ver
d
oolaeg
e
configur
e
.
in: avoid introducing e
m
pty elements in
P
KG_CONF
I
G
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
e
r
doolaeg
e
occ: def
i
ne OMIT_
G
ETRUSA
G
E if sys/res
o
u
rc
e
.
h
c
a
n
not
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oola
e
ge
omega_interface/Makefile
.
am: put
de
p
e
n
d
i
ng l
i
braries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
configure
.
in:
add $(EXEEXT)
t
o op
t
ional occ for
c
ygwin
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaege
upd
a
te om
e
ga
for MinGW c
o
m
p
atibility
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oolaege
bernstein/configure
.
in: add
m
issing AC_P
R
OG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sv
e
n Verdoolaege
genfun
.
cc: add braces roun
d
exter
n
"C" typedef
commit
|
commitdiff
|
tree
2008-12-30
Sve
n
Verdool
a
ege
vector_partit
i
on
_
cham
b
ers
:
computes chambers
o
f vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdool
a
ege
barvinok
.
cc: rem
o
ve unus
e
d nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update piplib for
M
i
nGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolae
g
e
update polylib for
M
inGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verdo
o
lae
g
e
fdstream
.
cc: do
n
't
(
r
e)declare fi
l
eno if it's
a
macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
e
v
alue
.
c: in_domain: special-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
S
ven Ver
d
oolaege
Avoid use of
s
ys/times
.
h h
e
ader when n
o
t ava
i
l
a
ble
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
erdoolae
g
e
add gnu
l
ib
g
etsu
b
opt module f
o
r MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven V
e
rdoola
e
g
e
R
E
ADME: mention that Gi
N
aC
i
s
a
lso n
e
ede
d
for
t
he Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
All
o
w
build
o
f
occ when using bund
l
ed omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoola
e
ge
doc: add
a ref
e
r
e
nc
e
t
o
a ma
s
ter thesis
actual
l
y u
s
ing
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
barvin
o
k 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdool
a
ege
README: fix up inst
a
l
lation
in
s
truc
t
ions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
Add files ge
n
e
rated by bison a
n
d flex to
the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update polyli
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doolaege
upd
a
t
e p
i
plib
commit
|
commitdiff
|
tree
2008-10-10
Sven Ve
r
doo
l
aege
e
v
al
u
e
.
c: a
f
fine2evalue: r
e
d
uce
c
oefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
erdo
o
lae
g
e
eval
u
e
.
c:
e
value_l
e
ve
l
_cmp: produce
m
ore consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add another paper r
e
ferring to the lib
r
ary
commit
|
commitdiff
|
tree
2008-09-16
Sven
V
erdoolaege
piecew
i
se_lst
.
h: avoid dup
l
ica
t
e param
e
ter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdool
a
ege
evalue_read
.
c: fix minor bugs
i
n toke
n
izer
commit
|
commitdiff
|
tree
2008-09-02
S
v
en Verdoo
l
a
e
ge
up
d
ate
omega fo
r
missi
n
g fi
l
es in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
barvinok_enumera
t
e_e: avoid infinit
e
loo
p
wh
e
n p
r
esented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
include
o
mega submodule
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaeg
e
move
o
m
e
g
a subdir to omega_in
t
erf
a
ce
commit
|
commitdiff
|
tree
2008-08-28
S
ven V
e
rdoolaege
N
T
L_QQ
.
c
c: a
d
d stdli
b
inclu
d
e for abort hidden
i
n NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
remove gnul
i
b link-warning module completely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
o
l
a
ege
lex
m
in
.
cc:
f
ind and so
r
t are in std::
n
amespa
c
e
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdo
o
lae
g
e
l
exm
i
n
.
cc: avoi
d
use o
f
typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
r
doolaeg
e
4c
o
ins
.
cc
:
r
emove dea
d
c
ode
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
rd
o
olaege
testlib
.
cc: add missing
r
e
turns
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
o
laege
workaroun
d
silly
su
n
compi
l
e
r errors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
o
laege
Avoid use o
f
the m
a
ke -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
summate
.
c
: a
d
d missing include
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
summate
.
c:
add mi
s
sing return values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
lae
g
e
Makefile
.
am
:
include li
b
inc
l
u
d
e d
i
r in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
lau
r
ent
.
cc: don't use const vectors as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdool
a
ege
variable le
n
gth a
r
ra
y
s are n
o
t standard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
S
ven
V
e
rdoolaege
g
e
nfun
.
cc: argumen
t
of mp_get_
m
em
o
r
y
_func
t
ion
s
sho
u
ld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
update
p
iplib
f
or
compa
t
ibility changes
commit
|
commitdiff
|
tree
2008-08-24
S
v
en Ve
r
doo
l
aege
update po
l
yli
b
with ext
r
a
f
ield in P
a
ram_Poly
h
edron
commit
|
commitdiff
|
tree
2008-07-30
Sv
e
n Verd
o
olaeg
e
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
V
e
rdoolaege
ad
d
missing
algorith
m
includ
e
f
or find
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n
Verd
o
ola
e
ge
Fix out-of-bound
s
error in Laurent expansion
b
a
s
ed
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
In
c
lude empty
.
c fil
e
in libbar
v
inok if GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verd
o
ola
e
ge
correctly reflect extra sourc
e
s
for libb
a
rvi
n
ok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ven Verdoola
e
ge
fix typ
o
in co
m
ment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdool
a
ege
lib/stri
n
g
.
in
.
h
:
copy __r
e
s
tr
i
ct ha
n
dling fro
m
lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sv
e
n
Ver
d
o
olaege
update gnu
l
ib functio
n
t
o last pre-
G
PLv3
v
er
s
io
n
commit
|
commitdiff
|
tree
2008-07-02
Sven
Verdoolaege
en
u
merator::handle
:
r
eplace incorrect del
e
te by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Ve
r
doolae
g
e
update piplib
for corrected
Urs_pa
r
ms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verd
o
olae
g
e
c
o
nf
i
gu
r
e: use correct
header fil
e
s in ca
s
e
o
f bundl
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n
V
erd
o
o
laege
c
o
n
figure
.
in: fix chec
k
for cod
e
_gen library availabil
i
t
y
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
ome
g
a/occ: onl
y
open d
e
bu
g
o
u
tput f
i
l
e
if there is
.
.
.
commit
|
commitdiff
|
tree
next