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: respect incremental_specialization option
2007-01-03
Sven Verdoolae
g
e
barvin
o
k_enumerate: respect i
n
cremental
_
spec
i
alizat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
introduce signed_cone
struct
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n V
e
rdoolae
g
e
separate ou
t
decom
p
osition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
test: use argp
p
ar
s
er
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoolae
g
e
up
d
ate arg
p
from gnulib and add progname mod
u
le
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
Verdoolae
g
e
barvinok_enu
m
erate
_
e
.
c
c: don't exit on unrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
Verdoo
l
ae
g
e
lib/argp
.
h: r
e
move __NT
H
f
or __argp_usage in
l
ine function
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdoolae
g
e
b
a
rvino
k
_
e
numerate_
e
.
cc: remove anot
h
er dup
l
i
cate definitio
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_enumerate_e: u
s
e argp par
s
e
r
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
bar
v
in
o
k_cou
n
t: use argp parser
commit
|
commitdiff
|
tree
2006-12-26
Sven Verd
o
olaege
option
s
.
c: add argp
parse
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaeg
e
add argp
from gnulib
commit
|
commitdiff
|
tree
2006-12-26
S
v
e
n
V
erdo
o
l
aege
sc
a
r
f
.
cc: make compatible with older
v
er
s
i
ons
o
f
PolyLi
b
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
add miss
i
ng assert
.
h
#
includ
e
s
commit
|
commitdiff
|
tree
2006-12-26
Sven
Verd
o
ol
a
ege
Makefil
e
.
a
m
: add rem
o
ve_equalitie
s
.
h to
d
istribution
commit
|
commitdiff
|
tree
2006-12-26
Sven Ver
d
oolaege
configure
.
in: only
configure bernstein
i
f GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven
Verdool
a
ege
bernstein
:
configure
.
in: check for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoo
l
aege
bernstein: remove
extra qu
a
l
i
fications from po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
S
v
en Verdool
a
eg
e
bernste
i
n/src/main
.
c
pp: remove redun
d
ant include
commit
|
commitdiff
|
tree
2006-12-18
Sven Verd
o
olaege
short_rat::normaliz
e
: make powers in the denom
i
nato
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
S
ven Verdoola
e
g
e
g
e
n_fun::su
b
stitute: no
r
mali
z
e
t
e
rms
commit
|
commitdiff
|
tree
2006-12-18
S
v
en Verdool
a
e
ge
dpoly_r: store terms in a
set rather than in a vector
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
gen_fun: store te
r
ms in a set rather
t
h
an in a ve
c
t
o
r
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdo
o
lae
g
e
lexmin: allow emptiness check through co
u
nting
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
cc: move construction of subdo
m
ains to edomai
n
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
o
l
aege
edomain
.
c
c
: move sample computation completely to EDomai
n
commit
|
commitdiff
|
tree
2006-12-11
S
ven Ver
d
oolaege
lexmin
.
cc: p
a
rtial_o
r
der::compare: u
s
e substitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
le
x
m
in
.
c
c
: indicat
o
r
::combine:
m
ore efficient w
a
y of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
l
a
e
g
e
lexmin
.
cc
:
keep heads in par
t
ial or
d
er
s
e
p
ar
a
te
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoolaege
edomain
.
cc: EDomain::add_ge
_
c
o
n
s
traint: simplify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoolae
g
e
l
exmin
.
cc:
pa
r
tial_o
r
de
r
::c
o
mpare: ad
d
cache
of comparison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
l
e
xmi
n
: mak
e
sure l
e
s
e
t
in
p
artial ord
e
r
o
nly contain
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
o
olaege
le
x
min: mo
r
e san
i
t
y
che
c
ks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lemxin: use stable ordering of indi
c
ator_terms in par
t
i
a
l_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
e
r
doolaege
genfun
.
cc: move
l
ex_cmp
to ma
t
_
util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin: indicator::co
m
bine: direct
l
y ad
d
s
o
me known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
V
e
r
d
oolaege
barvinok/polylib
.
h: separa
t
e include of polylib heade
r
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
lexmin: optio
n
ally compute sign of affine funct
i
on
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
ge
lex
m
in: optionally s
k
ip re
d
uction of
eval
u
es
in domains
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdool
a
e
ge
evalue_fra
c
2floo
r
:
o
nly make argument nonnegative
if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolaeg
e
lexmin: P
o
ly
h
edron_not_e
m
pty:
be careful about empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Ver
d
oolaege
l
exmin: indicator_term::is
_
oppos
i
te: assume numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
remove_al
l
_equalities: hand
l
e com
p
ress_v
a
riables returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
l
ex
m
in:
o
pt
i
o
n
ally us
e
cdd
d
u
ring
b
asis red
u
c
t
ion
commit
|
commitdiff
|
tree
2006-12-09
S
v
e
n V
e
r
d
oolaege
P
ol
y
hed
r
o
n
_Reduce
d
_Basis: op
t
i
o
n
all
y
use cdd to sol
v
e
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
o
o
laege
conf
i
gure
.
in: check
f
or
cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doolaege
lexmin: Polyhedron_not_empty: continue remov
i
n
g
eq
u
ali
t
ie
s
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaege
lexmin: handle equalities amo
n
g para
m
eters
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaeg
e
re
m
ove
_
all_equalities: ignore identity p
a
rame
t
e
r
compression
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
remov
e
_equali
t
ies
.
c: extracte
d
from barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
g
e
nfun: add short_rat::norm
a
lize
commit
|
commitdiff
|
tree
2006-12-09
S
ven
V
erdo
o
laege
genfun: add short_r
a
t
c
o
n
s
tru
c
tors
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolae
g
e
ev
a
lue
.
c:
e
value_denom: improve comment
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: Polyhedron_not_empty: check
result
return
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoola
e
ge
bar
v
inok
.
cc: series: remo
v
e equ
a
lities usi
n
g Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven V
e
rd
o
olaege
barvinok_count:
collect
stats on number o
f
unimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
ven Verd
o
olaege
u
t
i
l
.
c: triangulate_c
o
ne: use bigger random
v
alu
e
s
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoo
l
aege
sample
.
c: Poly
h
edron_RemoveF
i
xedColumns:
c
opy c
o
nstants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven
V
e
rdo
o
laege
bernstein: p
i
e
c
ewis
e
_ls
t
::evaluate: fix typo
commit
|
commitdiff
|
tree
2006-12-06
Sven Ve
r
doolaege
co
n
figure
.
in: on
l
y add -lber
n
stein to barvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven
Verdoolaege
configure
.
in: rename --wi
t
h-gin
a
c to
--without-bernste
i
n
commit
|
commitdiff
|
tree
2006-11-10
Sv
e
n Verdoolae
g
e
c
onfigu
r
e
.
i
n: all
o
w build without G
i
N
a
C
(and
t
h
erefore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdool
a
ege
c
o
nf
i
gure
.
in: add
-lbe
r
nstein to barvinok
.
pc if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sv
e
n Verdoolaege
util
.
c: compress_varia
b
les:
correc
t
check f
o
r
s
c
aling
commit
|
commitdiff
|
tree
2006-11-09
Sve
n
V
erdoolaege
u
til
.
c: some documen
t
ation for compress_var
i
ables
commit
|
commitdiff
|
tree
2006-11-09
Sven
Verdoola
e
ge
v
eri
f
_
e
h
rhart:
a
d
d
--print-all op
t
ion to repla
c
e
PRIN
T
_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sve
n
Ve
r
do
o
laege
mat_uti
l
:
mak
e
arguments of lex
_
cmp con
s
t
commit
|
commitdiff
|
tree
2006-11-09
S
ven V
e
rdo
o
laege
add
A
UTHORS file
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
bump version
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
e
rd
o
o
l
aeg
e
Ma
k
efile
.
am: make sure correct
f
i
les
a
re
i
ncluded in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolaege
doc: mention restric
t
ion of barvinok_enumerate
_
scarf
_
ser
i
e
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: min
i
mal documentation for t
h
e lexmi
n
a
pplication
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
bernst
e
in/configu
r
e
.
i
n:
set AC_CONFIG_AUX_DIR to
bernstei
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
d
o
c: document polytop
e
_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erd
o
ol
a
ege
d
oc: docum
e
nt poly
h
e
d
r
o
n
_
s
a
m
ple
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
e
rdoolaege
doc:
i
nclude barv
i
no
k
li
b
rary v
e
rsion in titl
e
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
e
r
doola
e
ge
c
o
nfi
g
u
r
e
.
in: fix typo
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
doc: bib: name Kev
i
n M
.
Wood
s
consistently
commit
|
commitdiff
|
tree
2006-10-31
S
v
en
V
erdo
o
laege
doc: docu
m
ent extra occ operations
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
doc
:
update gen_fun documentation
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
laege
d
o
c: refl
e
ct change of
a
rgume
n
t type of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: docum
e
nt barvinok_enume
r
at
e
_
sca
r
f
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: a
d
d
an
o
the
r
paper refering to barv
i
nok
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdool
a
e
ge
do
c
: typos
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Ve
r
doolaege
doc: document bernstein data structures and functions
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verd
o
olaege
bernstein: piecewise_
l
s
t
::simplify_domains: ad
d
MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sv
e
n Ve
r
doolaege
b
ernstein: make poly argument of be
r
nsteinExpansi
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoolaege
red
u
cer
.
h
: onl
y
use infinit
e
_icounter wh
e
n
d
im==
1
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n Verd
o
olaege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
remove a few
duplicate
d
e
finitions of MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sven Ve
r
doo
l
aege
util
.
c
: move duplicate Polyhedron_Read
commit
|
commitdiff
|
tree
2006-10-28
S
v
e
n Verdoo
l
aege
barvino
k
.
c
c
:
add _
w
ith_options vers
i
on of barvinok_enu
m
erate_e
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n
Verdoolaege
eval
u
e
.
c: remove include
o
f config
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
v
e
r
sio
n
.
c: show use of Ome
g
a
,
G
LPK
a
nd GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolae
g
e
v
e
rsion
.
c:
mo
v
e barvinok_vers
i
on from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdool
a
ege
doc:
d
ocument Poly
h
ed
r
on_Reduced_Bas
i
s and Polyhedron_Sample
commit
|
commitdiff
|
tree
2006-10-27
Sven
Verdoolaege
export Polyhedr
o
n_Sample and Poly
h
e
dron_Reduce
d
_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
Verd
o
olaege
doc: ren
a
me "usage" se
c
tion to "applic
a
tions" se
c
tion
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erdo
o
laege
b
arvinok_optio
n
s: rename
emp
t
iness_c
h
ec
k
to lexmi
n
_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
doc: document barvinok_opt
i
ons
commit
|
commitdiff
|
tree
next