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: use argp
2007-01-05
Sven Ver
d
oolaege
barvinok_en
u
merate:
use argp
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
lexmi
n
: make le
x
min
o
p
tions private
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
er
d
ool
a
ege
R
ev
e
rt "bern
s
tein/confi
g
u
r
e
.
in: remove r
e
dund
a
nt
c
hange
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
barvin
o
k
.
cc: make use o
f
samp
l
ing for c
o
unting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaege
barvinok_enumerate_e: r
e
spect
-
-
t
able o
p
ti
o
n
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin
.
cc: m
o
ve selection of gb
r
sol
v
er to o
p
ti
o
n
s
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olae
g
e
lexm
i
n
:
u
se argp
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
rdoola
e
g
e
ba
r
v
in
o
k_enumer
a
t
e_e: ext
r
a
c
t o
u
t verification opt
i
ons
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n Verdo
o
laeg
e
barvin
o
k_
e
numerate_e: print wa
r
n
ing when --
o
m
ega
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
er
d
oolaege
barv
i
nok/poly
l
i
b
.
h: define valu
e
_subtr
a
c
t and
v
a
l
ue_a
d
dmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
decomposer
.
c
c: decompose: micro-optimization
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
signed_cone:
s
t
ore ray
s
o
f
con
e
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
lex
m
in: disabl
e
use of look
u
p-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok_enumerate_e
.
cc
:
fi
x
argp op
t
io
n
s p
a
rser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
opti
o
ns
.
c: move choice
of use
o
f lookup-table
t
o barvi
n
o
k_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
lattice_poi
n
t
.
cc: fix #ifndef USE_MODULO code path
commit
|
commitdiff
|
tree
2007-01-03
S
v
en
V
erdoolae
g
e
d
ecomposer
.
cc: shor
t
_vecto
r
: r
e
move
redundant code
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laege
decom
p
o
s
er
.
cc:
s
hort_v
e
ctor
:
negate lambda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
b
ar
v
inok
.
c
c
: ser
i
es
:
on
l
y requi
r
e ray
s
to be rev
l
ex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n V
e
rdoolaege
barv
i
no
k
.
cc: series: pass
f
ull options to barvinok_count
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
np_base::handle:
p
ass around rays
m
atrix i
n
ste
a
d o
f
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
ge
decompo
s
er
.
cc: sup
p
o
rt
primal decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
r
doolaege
decomposer
.
cc: barvinok_deco
m
pose: imple
m
ent in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok_enu
m
e
r
ate:
r
espect incr
e
mental_s
p
ecializat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rd
o
olaege
introdu
c
e
signed_con
e
struct
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
separate out decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Ve
r
doolaege
test: use
argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sv
e
n Ve
r
doolaege
update argp from g
n
ulib and a
d
d pr
o
gname m
o
dule
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvin
o
k_enumerate_e
.
cc: don't exit on unrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verd
o
olaege
lib
/
argp
.
h: re
m
ove __
N
TH f
o
r
__argp_u
s
age inline fu
n
ction
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
e
r
d
o
olae
g
e
b
a
rv
i
nok_enum
e
r
a
t
e
_e
.
cc: r
e
move another
du
p
lica
t
e definiti
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
v
en Verdoo
l
aege
barvinok_enumerate_e: use a
r
gp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdo
o
l
aege
barvinok_count: use a
r
gp parser
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdo
o
laege
options
.
c:
add argp
p
a
rse
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n Verdoo
l
ae
g
e
ad
d
argp from
g
nul
i
b
commit
|
commitdiff
|
tree
2006-12-26
S
v
e
n Ver
d
o
olaege
scarf
.
cc: mak
e
compatible with older ve
r
sions of PolyL
i
b
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoola
e
ge
add missing assert
.
h #includes
commit
|
commitdiff
|
tree
2006-12-26
Sven
Verdoolaege
Makefi
l
e
.
am: add remove_equal
i
ties
.
h t
o
di
s
t
r
ibution
commit
|
commitdiff
|
tree
2006-12-26
Sven Ve
r
doo
l
ae
g
e
co
n
figure
.
in: on
l
y conf
i
gure be
r
n
stein if
G
iNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Verdoolaege
b
ernst
e
in: co
n
figu
r
e
.
in:
check for G
i
NaC
commit
|
commitdiff
|
tree
2006-12-19
S
ven Verd
o
olaege
bernstein: remo
v
e
extr
a
qualific
a
tions from polynomia
l
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolaege
b
ern
s
tein/
s
rc/main
.
cpp: remov
e
redundan
t
i
n
clude
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
short_rat::n
o
rmali
z
e
: make p
o
wers in th
e
deno
m
i
n
a
tor
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdo
o
laeg
e
ge
n
_fun::substitute: norm
a
l
i
ze terms
commit
|
commitdiff
|
tree
2006-12-18
Sven Ver
d
oolaege
dpol
y
_
r:
s
t
ore terms in
a
set rather than
i
n a vector
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
gen_fun: store terms in
a
se
t
rather than in a vector
commit
|
commitdiff
|
tree
2006-12-11
S
ven
Verdoolaege
l
exmin:
a
llow emptiness
c
heck thr
o
ugh
c
ounting
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexm
i
n
.
c
c: move construc
t
i
on of
subdomains to edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n
Ve
r
doo
l
aege
edomain
.
cc: move
s
ampl
e
computa
t
ion completely t
o
ED
o
main
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
laege
lexmin
.
cc: partia
l
_order::compare
:
u
se su
b
stitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Verdoolaege
l
exmin
.
cc: indi
c
ator::c
o
mbine:
mor
e
effic
i
e
n
t
w
ay of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
le
x
min
.
cc:
keep head
s
in partial o
r
d
e
r s
e
p
ar
a
te
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
d
o
o
laege
edomain
.
cc: EDomain::add_g
e
_constraint: simpl
i
fy
new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doolaege
l
e
xmi
n
.
cc: partial_ord
e
r::compare
:
a
dd cache of c
o
m
p
arison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaege
le
x
min:
m
a
ke sure le
s
e
t
in part
i
al
o
rder only
contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolae
g
e
lexmin: more sa
n
ity checks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lemxi
n
: use stable or
d
ering
o
f indi
c
ator_
t
er
m
s in partial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
V
e
rdoolaege
gen
f
u
n
.
cc: move lex_cmp to
m
at_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin: indicator::comb
i
ne:
d
irect
l
y add some
k
n
o
wn
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
b
a
rvinok/pol
y
lib
.
h: sep
a
rat
e
include of polylib header
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdool
a
ege
lexm
i
n
:
opti
o
nally compute sign of
affi
n
e fun
c
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: o
p
tionally skip
reduct
i
o
n of
e
values in do
m
ains
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
evalue_fr
a
c2floor: o
n
ly make argum
e
nt nonn
e
gati
v
e if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaege
lex
m
in: Polyhe
d
r
o
n
_
n
ot
_
e
m
pty: be careful
a
bout empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmi
n
:
i
ndicato
r
_t
e
rm::is_oppos
i
te:
assum
e
numerato
r
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
remo
v
e_al
l
_equalities: handle com
p
r
e
ss_variables
r
e
turning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
l
exmin:
optional
l
y us
e
cdd during basis reducti
o
n
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
V
erdoolaege
Po
l
yhedron_Reduce
d
_Basis: o
p
t
ionally use cdd to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
c
onfigure
.
in: check f
o
r
cddl
i
b
commit
|
commitdiff
|
tree
2006-12-09
S
ve
n
Verdoolaege
lex
m
in: Polyhedro
n
_not_empty
:
con
t
i
n
ue remo
v
ing equ
a
l
i
ties
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
l
exmi
n
:
handle e
q
ualities among
p
ar
a
meters
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoo
l
aege
r
e
move_al
l
_e
q
ualities:
i
gnor
e
i
dentity par
a
meter co
m
pression
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdo
o
laege
remove_equ
a
lities
.
c: extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaege
genf
u
n: add
short_r
a
t::normalize
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
g
e
nfu
n
:
a
d
d
s
h
o
rt_rat con
s
t
ructors
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
evalu
e
.
c: evalue
_
d
e
nom: impr
o
ve comment
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
lexmin
:
Poly
h
edron_
n
ot_empty: check r
e
sult re
t
u
r
ned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Ve
r
d
o
o
laege
ba
r
vinok
.
cc: se
r
ie
s
: remove e
q
u
alities using Prei
m
age
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven V
e
rdoolaeg
e
barvinok
_
count: c
o
llect stats on n
u
mber of unimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
util
.
c: tr
i
angulate_cone: use
bigger random value
s
commit
|
commitdiff
|
tree
2006-12-07
Sve
n
Verdoolaeg
e
sample
.
c:
P
ol
y
hed
r
o
n
_RemoveFixedCol
u
mn
s
: copy c
o
nstants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolaege
bernst
e
in: piecewise_l
s
t::
e
valuat
e
: fi
x
typo
commit
|
commitdiff
|
tree
2006-12-06
Sve
n
V
erdo
o
laege
configure
.
in
:
only add
-lber
n
stei
n
to barvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Ve
r
doo
l
aege
c
o
nfigure
.
in:
r
e
n
am
e
--with-g
i
nac to
-
-without-bernstein
commit
|
commitdiff
|
tree
2006-11-10
Sv
e
n
Ve
r
d
oolaege
configure
.
in:
a
llow build wit
h
out Gi
N
aC
(
and th
e
refore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoola
e
ge
con
f
i
g
ure
.
in: add -lbernstein
t
o barvi
n
ok
.
pc
if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sv
e
n Verdoola
e
ge
util
.
c: compress_variables: corre
c
t
check
f
or sca
l
ing
commit
|
commitdiff
|
tree
2006-11-09
Sv
e
n
Verdoola
e
ge
util
.
c
:
some
documentation for compres
s
_var
i
ables
commit
|
commitdiff
|
tree
2006-11-09
Sven Ve
r
do
o
l
a
e
ge
verif_ehrh
a
rt
:
a
d
d
--pr
i
nt-all opt
i
on to repl
a
ce PR
I
NT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sve
n
Verdoolaege
mat_util: make arguments of lex_c
m
p const
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
a
d
d
A
U
T
H
ORS file
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doola
e
ge
bum
p
ve
r
sion
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Ver
d
oo
l
aege
Mak
e
file
.
am:
mak
e
sure c
o
rrect files are inclu
d
ed in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolaege
doc: mention
rest
r
iction
o
f barvinok
_
e
numerate_sc
a
rf_s
e
r
ies
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
e
g
e
d
oc: minima
l
docu
m
ent
a
tion f
o
r
the lexmin application
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
bern
s
tein/configu
r
e
.
in: se
t
AC_C
O
N
FIG_AUX_DIR to ber
n
st
e
in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n
Verdoola
e
ge
d
o
c: do
c
ument po
l
ytope
_
s
ample
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoo
l
a
ege
d
oc: docu
m
ent
p
olyhe
d
ron_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: include barvinok librar
y
version in
t
itle
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Ve
r
dool
a
e
ge
confi
g
ure
.
in: f
i
x
t
ypo
commit
|
commitdiff
|
tree
next