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_enumerate_e: print warning when --omega or --pip are not supported
2007-01-04
Sven V
e
rdo
o
l
a
ege
b
a
rvinok
_
enume
r
ate
_
e
:
p
rint
w
arning
wh
e
n --omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
r
doolaeg
e
b
ernstein/config
u
re
.
in:
remove redunda
n
t c
h
ange
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
ven Verdool
a
ege
barvinok/p
o
lylib
.
h: def
i
ne value_subtr
a
ct a
n
d
v
alue_a
d
dmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
ven V
e
r
d
oolaege
decomposer
.
cc
:
decom
p
ose
:
micro-optimizatio
n
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
signed_c
o
ne: store ra
y
s of co
n
e
commit
|
commitdiff
|
tree
2007-01-04
H
arald Devos
om
e
ga/
p
ars
e
r
.
y: remove brackets
a
r
oun
d
type in new
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
lexmin: disable use of lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
a
ege
barvinok
_
enumera
t
e_e
.
cc:
f
ix ar
g
p options parser
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoola
e
ge
o
p
tions
.
c
:
move
c
hoice
o
f use of l
o
okup-table to b
a
rv
i
nok
_
op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oola
e
ge
l
attice_poi
n
t
.
cc:
f
ix #ifndef
U
SE_M
O
D
ULO code path
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
dec
o
mposer
.
c
c
: short_vector: re
m
ove r
e
dundant code
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
decompos
e
r
.
cc:
s
hort_
v
ector: n
e
gat
e
lambda
i
f z
is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
barv
i
nok
.
cc
:
s
eries: only requir
e
rays
to be revle
x
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaege
b
a
r
vinok
.
cc: se
r
ies:
p
ass full
options to barvino
k
_count
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdo
o
laege
np_
b
a
s
e::handle: pass
around rays matrix in
s
t
e
ad
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven
V
e
rdoolaege
d
eco
m
pos
e
r
.
cc: support primal decomposition
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolae
g
e
de
c
omposer
.
cc: barvi
n
o
k
_de
c
om
p
o
s
e
: im
p
lemen
t
in te
r
ms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdool
a
ege
b
arvin
o
k_enumer
a
te: resp
e
ct incremental_speci
a
lization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaege
introduce sig
n
ed_cone struct
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdo
o
laeg
e
sepa
r
a
t
e o
u
t decom
p
ositi
o
n
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
test: use argp p
a
rser
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoolaege
update
argp from g
n
ulib and add progname module
commit
|
commitdiff
|
tree
2006-12-27
S
v
e
n V
e
rdool
a
e
ge
barv
i
nok_enumerate_e
.
cc: d
o
n't exit on unrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n
V
erdoolaege
lib
/
argp
.
h: r
e
move __NTH for __argp_usage inl
i
ne
f
uncti
o
n
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
r
d
oolaege
bar
v
inok_enumerat
e
_e
.
cc: remove another
d
uplicate
definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven
Ver
d
oo
l
a
e
ge
b
a
rvinok_enumerate_
e
: use argp
parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaeg
e
barvinok_count: use
a
rgp p
a
r
ser
commit
|
commitdiff
|
tree
2006-12-26
Sven V
e
rd
o
olaege
opt
i
ons
.
c: add
argp parse
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Ver
d
o
o
l
aege
a
dd ar
g
p from gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n Verdoola
e
ge
scarf
.
cc: make com
p
atible with olde
r
vers
i
ons of
PolyLib
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdoolaege
add
m
i
s
sing assert
.
h #inclu
d
es
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n Verdoolaege
M
a
kefile
.
am: add remove_equ
a
l
ities
.
h
to
d
i
stribution
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdo
o
laege
c
onfigure
.
in: onl
y
confi
g
ure be
r
nstein if GiNaC
w
as
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Verd
o
olaege
b
e
r
nstein
:
c
onfigure
.
in: check for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sv
e
n Verdoolaege
b
e
rnste
i
n: remove extra
quali
f
ications from polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Ve
r
d
oolaege
bernstein/src/main
.
cpp: remove r
e
dundant include
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdo
o
l
a
ege
s
hort_rat::normalize: make p
o
w
ers in the de
n
o
m
inato
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
gen_fun::substitute
:
normal
i
ze t
e
rms
commit
|
commitdiff
|
tree
2006-12-18
Sven Ver
d
oolaege
dpoly_r: store ter
m
s
i
n a s
e
t rather than
i
n a vector
commit
|
commitdiff
|
tree
2006-12-18
Sven
Verdo
o
la
e
ge
gen_fun:
store terms in
a set
rather
than in
a
vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdool
a
ege
lexmin: allow emptines
s
check
t
hro
u
g
h counting
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoola
e
g
e
lexmin
.
cc:
move cons
t
ruction
of su
b
dom
a
ins to
e
domain
.
c
c
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erd
o
ola
e
g
e
edomain
.
cc
:
move sa
m
ple computation completely to
E
Domai
n
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
aege
lex
m
i
n
.
cc:
p
artial_orde
r
::compa
r
e: use substitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
cc: indicator
:
:combine: more efficient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexm
i
n
.
cc: keep
heads in partial or
d
er separate
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n
Ve
r
doolaege
e
domain
.
cc: EDom
a
i
n
::ad
d
_g
e
_
c
o
ns
t
r
a
i
nt: simplify
n
e
w
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoolaege
lexm
i
n
.
cc:
p
a
rtial_orde
r
::c
o
mpare: add cache o
f
compar
i
son
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
e
n Verdoolae
g
e
le
x
min: make sure le set
in partial order onl
y
c
ontains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Ve
r
doolaege
lexmin: more sanity check
s
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoolaege
l
e
mxin:
use stable
order
i
n
g
of ind
i
c
a
tor_terms in part
i
al_
o
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoolaeg
e
genf
u
n
.
cc: mov
e
l
ex_cmp t
o
mat_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
le
x
min: indi
c
at
o
r::combine
:
d
irectly add some known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
e
r
doolaege
bar
v
inok/p
o
lylib
.
h:
s
eparate
i
nclude of pol
y
lib header
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rd
o
o
l
a
eg
e
lexmin: optio
n
ally compute
sig
n
of affine
fun
c
tion
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
r
d
oolaeg
e
lexmin: opt
i
onally skip reduction of evalues in domains
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
evalue_frac2flo
o
r: only
m
a
k
e argument nonnegative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven
V
e
rdoolaege
l
e
xmin: Polyhedron_not_empty: be car
e
f
u
l
about empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaeg
e
le
x
mi
n
:
ind
i
cato
r
_term::is_o
p
pos
i
te: assume nume
r
ators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
rem
o
ve_all_eq
u
a
lit
i
es: han
d
le compress_va
r
iables retur
n
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
ge
lex
m
in: optionally use cdd during basis
r
e
duction
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
Polyhedro
n
_Re
d
uced_Basis: opt
i
o
nally use cdd to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
con
f
igure
.
in: check for cddl
i
b
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
lexmin: Polyhedron_not_empty:
continue removing equalities
commit
|
commitdiff
|
tree
2006-12-09
S
v
en
Verdoolaeg
e
l
exmin: handle equa
l
ities
a
m
o
n
g pa
r
a
meters
commit
|
commitdiff
|
tree
2006-12-09
S
v
en V
e
rd
o
olaege
rem
o
ve_all_eq
u
a
litie
s
:
i
gnore identity
p
a
r
ameter
c
omp
r
ession
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
ge
r
emove_equalities
.
c:
e
xt
r
acted fro
m
barvino
k
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaeg
e
ge
n
fun: add short_ra
t
::norma
l
ize
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
genfun:
add short_rat
c
onstructors
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
evalue
.
c: evalue_denom: improve comment
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
lex
m
in:
Polyhe
d
ron_no
t
_empty
:
check resul
t
returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
ven Verdo
o
laege
barvino
k
.
c
c
:
se
r
ies: remove e
q
ual
i
ties us
i
n
g
Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven
Ve
r
d
o
o
l
aege
bar
v
inok_
c
ount: collect
s
t
a
ts on nu
m
b
e
r
o
f unimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaeg
e
util
.
c: tria
n
gulate_cone: use bigger random values
commit
|
commitdiff
|
tree
2006-12-07
S
v
en Verdool
a
ege
sa
m
ple
.
c: Polyhedron_R
e
moveFixed
C
olumns: copy constant
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolaege
bernstei
n
: piecewise_lst::evaluate:
f
ix
typo
commit
|
commitdiff
|
tree
2006-12-06
Sven Ver
d
oolae
g
e
c
o
nfigure
.
in: onl
y
add -
l
bernstein to bar
v
inok
.
pc
if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdoolaege
confi
g
ur
e
.
in: renam
e
--w
i
th-ginac to --without-bernstein
commit
|
commitdiff
|
tree
2006-11-10
S
v
en Verdoolaege
conf
i
gure
.
in: allow build
witho
u
t GiNaC (and th
e
refore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
S
v
en Ve
r
doolaege
configu
r
e
.
i
n
:
add -lb
e
rnstein
t
o barv
i
nok
.
pc i
f
i
t
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sv
e
n Verdoo
l
aege
util
.
c: compress_variables: correct c
h
eck for scaling
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
util
.
c: some documentatio
n
for
c
o
m
press_variables
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
ver
i
f_ehrhart
:
add
--print-all op
t
ion to replace PRINT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
mat_ut
i
l: make arguments of l
e
x
_cmp const
commit
|
commitdiff
|
tree
2006-11-09
Sven
V
erdoolae
g
e
add AUTHORS file
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
b
u
mp versi
o
n
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oo
l
aege
M
a
k
ef
i
le
.
am: ma
k
e sure
c
o
rrect f
i
le
s
are in
c
luded
i
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolae
g
e
doc:
m
ention
res
t
riction
of b
a
rvinok_enume
r
ate_scarf_se
r
ies
commit
|
commitdiff
|
tree
2006-10-31
S
ven Ver
d
oolaege
doc:
m
inimal document
a
t
i
on
for the
l
e
xmin appli
c
ati
o
n
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolaege
bernstein/configure
.
in: set AC_CONFIG_A
U
X_
D
IR to ber
n
stein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdool
a
ege
doc: document polytope_
s
am
p
le
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
d
o
c:
docume
n
t polyhedron_samp
l
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
oc: in
c
lud
e
barvinok libra
r
y
v
e
r
s
ion in title
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
con
f
i
g
ure
.
i
n: fi
x
typo
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdoolaege
do
c
: b
i
b: name
K
evin M
.
Woods con
s
i
s
t
entl
y
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc
:
docum
e
nt extra occ ope
r
ati
o
ns
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolae
g
e
doc: up
d
ate gen_fun document
a
tion
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc
:
reflect
change o
f
argum
e
nt
t
ype
o
f ea
d
d
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
doc:
d
ocumen
t
barvinok_enumerate_scarf
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc:
a
d
d
another
p
aper refering
t
o
barvinok
commit
|
commitdiff
|
tree
next