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
Verdoolaeg
e
b
arvinok_en
u
merat
e
: use argp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
l
e
xm
i
n: ma
k
e
l
exmin
o
ptions private
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
Revert
"
bernstein/configure
.
i
n
: remove redundant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
b
ar
v
i
n
o
k
.
cc:
mak
e
use o
f
sam
p
ling for countin
g
in
f
inite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdool
a
ege
barvinok_
e
numerate_
e
: resp
e
c
t --table op
t
ion
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Ve
r
doolaege
le
x
min
.
cc: move selectio
n
of
gbr solver
t
o
o
ptions
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
le
x
min: u
s
e argp
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
b
arvinok_enumera
t
e_e:
e
x
t
ract out verification o
p
tions
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
V
erdoola
e
ge
barvinok_enumerate_e: print
warning wh
e
n
--omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verdoolaeg
e
b
ernstein/confi
g
u
r
e
.
i
n
: r
e
move redund
a
nt c
h
ange to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
ven Verdo
o
l
aege
ba
r
vinok/pol
y
li
b
.
h:
d
efine value
_
subtract and value_addmu
l
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Verdoola
e
ge
de
c
ompos
e
r
.
c
c: decomp
o
s
e
: mi
c
ro-opt
i
mization
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdool
a
ege
sig
n
ed_cone: store rays of cone
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
l
exmin: disa
b
le
u
se of look
u
p-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok_enu
m
erate_e
.
cc: fix argp op
t
ions pa
r
ser
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
V
e
rdoolaege
o
p
t
ions
.
c: move choic
e
of u
s
e
of
l
ookup-table t
o
barv
i
nok
_
op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdool
a
ege
latti
c
e
_
p
oi
n
t
.
cc: fix
#
ifndef USE_M
O
DU
L
O code
pa
t
h
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Ve
r
doolaege
decom
p
oser
.
c
c: short_vector
:
r
e
move redundant cod
e
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
e
r
doolaege
decompo
s
er
.
cc: short_v
e
ctor: neg
a
te lambda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laege
b
a
r
vinok
.
c
c
: series:
only require
rays to be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
bar
v
in
o
k
.
c
c: series: pass full options to bar
v
inok_count
commit
|
commitdiff
|
tree
2007-01-03
S
v
en
V
e
r
doola
e
g
e
n
p
_base::handle:
p
ass around rays matrix instead
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoo
l
aege
deco
m
poser
.
cc: support
p
r
imal decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
decompo
s
e
r
.
cc: ba
r
vinok_d
e
compose: implement in te
r
ms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvino
k
_
en
u
merate:
r
espect inc
r
emental_spe
c
ialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
introduce signe
d
_cone struct
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
s
e
p
a
rate out
decomposi
t
ion
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
tes
t
: us
e
argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoolaege
update argp fr
o
m
gnulib and add prog
n
ame mo
d
ule
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_enumerate_e
.
c
c
: don't exit on
unrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
lib/argp
.
h:
r
emove
__NTH for __argp_usage inline function
commit
|
commitdiff
|
tree
2006-12-27
S
v
en
Verdo
o
laege
barvi
n
o
k
_enumerate_e
.
c
c
: remove another
d
up
l
icate defin
i
tion
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
ven Verdoolaeg
e
barvinok_enumerate_e: use argp parser
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Verdoolaege
b
a
rvinok_c
o
unt: use
arg
p
p
ars
e
r
commit
|
commitdiff
|
tree
2006-12-26
Sven
Verdoolaege
options
.
c
: add argp par
s
e
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaeg
e
add argp from gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdo
o
laege
scarf
.
cc: make compatible w
i
t
h
older versions of PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven Ver
d
oolaege
add miss
i
ng asse
r
t
.
h
#i
n
c
l
u
des
commit
|
commitdiff
|
tree
2006-12-26
S
v
e
n V
e
rdoolaege
Makefile
.
am: add remove_equal
i
t
i
es
.
h
t
o di
s
tribution
commit
|
commitdiff
|
tree
2006-12-26
Sven Ve
r
doo
l
aege
configure
.
in: only configur
e
bernstei
n
if Gi
N
aC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
S
v
en Ve
r
do
o
l
a
e
ge
b
ernstein: configure
.
in: check for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
S
v
en Verdoolaege
b
e
rn
s
tein: rem
o
ve extra
q
u
a
lifica
t
ions f
r
o
m
polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdool
a
ege
berns
t
ein/src/ma
i
n
.
cp
p
: r
e
move
r
edundan
t
include
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaeg
e
short_ra
t
::normalize
:
make po
w
ers i
n
the
denominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n Verdoola
e
ge
gen_
f
un:
:
substitute: n
o
rm
a
lize terms
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n
Verdoolaege
dpoly_r
:
store terms in a set rather than in a ve
c
tor
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n Verdoolaege
gen_f
u
n: store t
e
rms in a set rathe
r
than
in
a vector
commit
|
commitdiff
|
tree
2006-12-11
S
v
en
V
erdoolaege
lexmin: allow em
p
tiness check throu
g
h c
o
unting
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexm
i
n
.
cc: move constru
c
t
i
on of
s
u
b
dom
a
ins to e
d
omain
.
c
c
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
edoma
i
n
.
cc:
m
ove s
a
mple computation c
o
mpletely to EDoma
i
n
commit
|
commitdiff
|
tree
2006-12-11
S
v
en
V
e
rdoolaege
lexmin
.
cc: part
i
a
l_order::compare: us
e
sub
s
titution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdo
o
laege
lexmin
.
cc: ind
i
c
a
to
r
::combine: more efficient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
le
x
m
i
n
.
cc: keep heads in partial orde
r
separat
e
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
aege
e
d
omain
.
c
c
: E
D
omain
:
:add_ge_constraint: simpli
f
y new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdo
o
laege
lexmin
.
cc:
p
artial_order::
c
ompa
r
e
:
a
dd
cache
of co
m
pari
s
on
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoolae
g
e
lexmin: make sure le set in
p
artial
o
rder only
contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdo
o
laege
l
exmin: mor
e
san
i
ty ch
e
c
ks
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
d
o
o
laege
lemxin: use st
a
b
l
e ordering of indicator_terms in part
i
al_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en
V
erdoola
e
g
e
genfun
.
cc: move lex
_
cmp t
o
mat_util
.
c
c
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n
V
e
rd
o
olaege
lexmi
n
: indicator::combi
n
e: directl
y
a
d
d
s
ome k
n
o
wn
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Verd
o
ol
a
ege
barvinok/polylib
.
h: separate include
o
f
p
o
l
y
lib h
e
ader
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoo
l
aege
lexmin: optionally c
o
mpute sign of
a
ffine funct
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolae
g
e
lexmin
:
optionally ski
p
reduc
t
ion
of eval
u
e
s in d
o
mains
commit
|
commitdiff
|
tree
2006-12-09
S
v
en
Verdoo
l
aege
evalue_frac2f
l
oor
:
o
n
ly mak
e
argument nonnegative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolaege
lexmin: Poly
h
e
d
ron
_
not_em
p
ty:
be careful a
b
ou
t
empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
o
olaege
lexm
i
n: indic
a
tor_term::is_opposit
e
: as
s
ume numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
remove_all_equal
i
ties: handle compress_variables returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
lexmi
n
: op
t
ionally use c
d
d d
u
ring basis
reductio
n
commit
|
commitdiff
|
tree
2006-12-09
S
v
e
n
Verdoolaege
Polyhedron_Reduced_Basis: optional
l
y u
s
e cdd to s
o
lve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
c
o
nfigure
.
in
:
check for cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
lexmin:
Poly
h
edron
_
not_empty
:
continue
r
em
o
vi
n
g equalitie
s
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
lexmin:
ha
n
dle equalities among parameters
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
lae
g
e
remov
e
_all_eq
u
alities: i
g
no
r
e
i
dentity parameter com
p
r
e
ssio
n
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
remove_eq
u
alities
.
c: e
x
tracted
f
rom barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
g
e
ge
n
fun: add short_rat:
:
normalize
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdo
o
lae
g
e
genfun
:
add
short_rat const
r
uctors
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolaege
evalu
e
.
c: evalu
e
_denom
:
improve com
m
e
n
t
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolaege
lex
m
in: Polyhed
r
on_not_empt
y
: check result ret
u
rned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
barvinok
.
cc:
s
eries: remov
e
equaliti
e
s
u
s
ing Preimag
e
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verd
o
olaege
barvinok_count: co
l
lect stats
o
n numbe
r
o
f unimodula
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoo
l
aege
util
.
c:
triang
u
late_
c
one: us
e
bigger random values
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
sample
.
c: Po
l
yhe
d
r
o
n_R
e
moveFi
x
e
d
Col
u
mns: copy constants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Ve
r
doola
e
g
e
bernstei
n
: piecewise_lst:
:
evaluate:
fix
typo
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolaege
configure
.
in: on
l
y add -
l
be
r
n
s
tein to
barvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven
Verdoo
l
aege
configu
r
e
.
in: re
n
ame --with-gina
c
t
o
--w
i
thout-bernstein
commit
|
commitdiff
|
tree
2006-11-10
Sven
V
erdoola
e
g
e
conf
i
g
u
r
e
.
in: allow build withou
t
GiNaC (and therefore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
S
ve
n
Verdoolaege
conf
i
gur
e
.
in: add -lbernstein
t
o barv
i
nok
.
pc if
it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sve
n
Verdoolae
g
e
ut
i
l
.
c: compress_varia
b
l
es: correct check for sca
l
ing
commit
|
commitdiff
|
tree
2006-11-09
S
v
en Ver
d
oolaege
util
.
c: some docu
m
entatio
n
f
o
r compress_
v
ariables
commit
|
commitdiff
|
tree
2006-11-09
Sven
Verdoolaege
verif_ehrhart: add
--print
-
all option to replace PRINT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sv
e
n Verdoolaege
mat_util
:
m
ak
e
argumen
t
s of le
x
_
c
mp co
n
st
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdool
a
eg
e
a
dd A
U
THORS fil
e
commit
|
commitdiff
|
tree
2006-10-31
S
ve
n
Verdoola
e
ge
bump version
commit
|
commitdiff
|
tree
2006-10-31
S
v
en V
e
r
d
ool
a
ege
M
akefile
.
am: make sure corr
e
ct
f
ile
s
are include
d
in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
lae
g
e
doc: me
n
ti
o
n restrict
i
on of
b
arvinok_en
u
merate_scarf_se
r
i
e
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
e
ge
doc: mi
n
ima
l
documentation
for th
e
lexmin appli
c
ation
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoola
e
ge
be
r
nstein/configur
e
.
in: set AC_CONF
I
G_A
U
X_DIR to bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
d
o
o
laege
doc:
document polytope_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
oc: document polyhedron_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
o
c:
i
nclude
barvinok library version in title
commit
|
commitdiff
|
tree
next