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 Ve
r
d
o
o
l
aege
ba
r
vin
o
k_e
n
umerate: r
e
spect incre
m
ental_s
p
ecialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
introd
u
ce signed_
c
one struct
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
separate out de
c
omposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
test: use argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdo
o
l
aege
update argp from gnulib and add progname module
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdo
o
l
aege
barvinok_enume
r
ate_e
.
c
c
:
don't e
x
it on unrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
v
e
n
Ve
r
doolaege
lib/argp
.
h: remove
__NTH for __argp_usage
i
nline functi
o
n
commit
|
commitdiff
|
tree
2006-12-27
Sven Ve
r
d
oolaege
barvinok_enumerate_e
.
cc: remove a
n
o
t
h
e
r
duplicate defin
i
t
ion
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdo
o
laege
barvinok_enum
e
r
a
te_e:
use argp par
s
er
commit
|
commitdiff
|
tree
2006-12-27
Sven
Verdoolaege
ba
r
vinok
_
c
o
unt: use
ar
g
p parser
commit
|
commitdiff
|
tree
2006-12-26
Sven Ver
d
oolaege
op
t
ion
s
.
c: add argp
parse
commit
|
commitdiff
|
tree
2006-12-26
S
v
en
Verdo
o
l
a
e
ge
add argp
from gnulib
commit
|
commitdiff
|
tree
2006-12-26
S
v
en
Verdoolaege
scarf
.
cc
:
mak
e
compatible with older
v
e
rsions of Poly
L
ib
commit
|
commitdiff
|
tree
2006-12-26
Sven Ver
d
oo
l
aege
add mis
s
i
ng assert
.
h
#includes
commit
|
commitdiff
|
tree
2006-12-26
Sven V
e
rdoolaege
Makefile
.
am: add remove_equalities
.
h to
d
i
stribut
i
o
n
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
con
f
ig
u
re
.
in: only configu
r
e bernstein if GiNa
C
w
a
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven
V
erdoolaege
bernstei
n
: conf
i
gure
.
in: che
c
k f
o
r GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven
Ve
r
doolaege
bernst
e
in: remove extra qua
l
ifi
c
ations from polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven V
e
r
d
oolae
g
e
be
r
n
st
e
in/src
/
main
.
cp
p
: remov
e
r
e
d
u
ndant in
c
lu
d
e
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n
Verdoolaege
short_rat
:
:normal
i
ze: m
a
ke powers
i
n the denominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
S
v
en Verdoolaege
gen_
f
un::sub
s
tit
u
t
e: normali
z
e terms
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n Verdoolaeg
e
dpoly_r: sto
r
e term
s
i
n a se
t
rat
h
er than in a vector
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolae
g
e
gen_fun: store
t
e
r
ms
i
n a set
rather than in a
v
e
ctor
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoo
l
aege
l
exmin:
allow emptines
s
chec
k
through count
i
ng
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
cc: move co
n
struction
of subdomains to
edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
laege
ed
o
ma
i
n
.
cc: mov
e
sample compu
t
ation
c
o
mpletely to EDomain
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoolaeg
e
le
x
min
.
cc: partial_order::compare: use subs
t
itution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
V
e
r
doolae
g
e
l
exm
i
n
.
cc: in
d
i
c
ator::combine: mo
r
e
efficient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
e
r
do
o
laege
lexmin
.
c
c:
k
e
e
p
heads in
pa
r
tial order
separate
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
edom
a
in
.
cc: EDomain::add_ge_constraint: s
i
m
plify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
c
c: partial_order::compare
:
add cac
h
e
of com
p
aris
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolaege
lexmin: mak
e
sure le set in partial ord
e
r
on
l
y contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
e
n Verdool
a
ege
lexmin: more s
a
n
i
t
y checks
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
V
e
rdoolaege
l
emxin:
use stable order
i
n
g
o
f
ind
i
cator_te
r
ms i
n
pa
r
tial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoola
e
ge
g
enfun
.
cc: mo
v
e lex_cm
p
t
o m
a
t_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
V
e
r
d
oolaege
lexmin: ind
i
cator:
:
combine: d
i
rectly add
s
o
m
e k
n
own
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Ver
d
oolaege
ba
r
vinok/polylib
.
h
: separate inclu
d
e of p
o
lylib header
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
V
erdoola
e
g
e
lexmin: opti
o
n
a
lly compute sign of affine
f
unctio
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doolaege
l
e
x
min:
optionally ski
p
r
e
duction of e
v
alu
e
s in dom
a
ins
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdo
o
l
aege
evalu
e
_
f
ra
c
2floor: only make argument nonnegative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verd
o
olaege
lexmin: Polyhed
r
on_n
o
t
_empty:
be
careful about empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
lexmin: indic
a
tor_ter
m
::is_opposite:
a
ssume numera
t
ors
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
V
erdoolaege
rem
o
v
e_all_e
q
u
alities: hand
l
e
c
om
p
ress
_
v
ar
i
ables returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verd
o
olaege
lexmin: opti
o
nally use
cdd d
u
ring bas
i
s
reduction
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdool
a
ege
Polyhedro
n
_Redu
c
ed_Ba
s
i
s
: optionally use cdd to sol
v
e
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
configure
.
i
n
:
c
he
c
k for cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
e
g
e
lexmin: P
o
l
y
h
edron_
n
ot_
e
mpty: continue remov
i
ng equalit
i
es
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
ge
lexmin: hand
l
e eq
u
alit
i
es among paramet
e
r
s
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoolaege
rem
o
ve_all_equali
t
ies: ignore identi
t
y p
a
r
ameter compres
s
ion
commit
|
commitdiff
|
tree
2006-12-09
S
v
e
n Verd
o
olaege
r
e
m
ove_equa
l
ities
.
c: extrac
t
ed fr
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
ge
n
fun: add short_rat::normal
i
ze
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaege
gen
f
un: add short_rat
c
onstructors
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoola
e
ge
e
v
alue
.
c: evalue
_
denom: improve comment
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
l
e
xm
i
n: Polyhed
r
on_not_empty:
ch
e
ck result
r
eturne
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
barv
i
n
o
k
.
cc: series: rem
o
ve equalities using Prei
m
age
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaeg
e
ba
r
vinok_count: col
l
ect stats on numb
e
r of unimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sv
e
n Verdoolaege
util
.
c:
triangu
l
ate_cone: us
e
bigger rand
o
m val
u
e
s
commit
|
commitdiff
|
tree
2006-12-07
S
v
en Verdoolaeg
e
sample
.
c: Polyhedron_Remov
e
Fixed
C
olumns:
c
opy
c
o
n
stants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
S
ven Verd
o
o
l
aege
bernstein
:
p
i
ecewise_l
s
t::evaluate: fix typo
commit
|
commitdiff
|
tree
2006-12-06
Sv
e
n
V
e
rdoolae
g
e
configure
.
in
:
on
l
y
a
d
d -lbernstein to barvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
S
v
en Verdoolaeg
e
configure
.
in:
r
e
n
ame --with-ginac to --without-bernstein
commit
|
commitdiff
|
tree
2006-11-10
Sven Ve
r
doo
l
aeg
e
configure
.
in: allow build withou
t
GiNaC (and therefore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
c
o
nfigure
.
in: add -lbe
r
n
stein to
b
arvinok
.
pc if
i
t
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdo
o
laege
util
.
c: compress_variables: cor
r
ec
t
c
heck f
o
r sca
l
ing
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolae
g
e
util
.
c: so
m
e
d
ocumen
t
a
t
i
on for
compress_v
a
riab
l
es
commit
|
commitdiff
|
tree
2006-11-09
S
v
en
Verdoolaege
v
erif_ehrhart
:
add --print-all
option to
r
eplace PRINT
_
A
L
L_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven
Verdoolaege
mat_util: ma
k
e arg
u
ments of lex_c
m
p const
commit
|
commitdiff
|
tree
2006-11-09
Sve
n
Ve
r
doolaege
add AUTHORS fi
l
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
la
e
ge
bump ver
s
ion
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
e
rdoolaege
Makefile
.
am: make
sure
c
o
r
rect file
s
are
included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
d
o
c: mention restri
c
tion
of
barvin
o
k_e
n
umerat
e
_scarf_se
r
ies
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
doc: minimal docum
e
ntat
i
on for the l
e
xm
i
n applicat
i
o
n
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
bernst
e
in
/
configure
.
in: set AC_CONF
I
G_AUX_DI
R
to ber
n
s
t
e
in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
la
e
ge
doc: d
o
cumen
t
p
o
lyto
p
e
_
s
am
p
le
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: document pol
y
hedron_sample
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
doc: includ
e
barvinok
l
ibrary ve
r
sion in title
commit
|
commitdiff
|
tree
2006-10-31
Sven
Ve
r
d
oo
l
aeg
e
c
onfigure
.
in:
f
ix t
y
p
o
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
d
oc: bib
:
name Ke
v
in M
.
Wood
s
consisten
t
ly
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
doc: docume
n
t e
x
tr
a
occ
o
pe
r
ations
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verd
o
o
l
aege
doc: update
g
e
n_fun
d
ocumentation
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc:
r
ef
l
ect change of arg
u
ment t
y
pe of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
d
oc: d
o
cume
n
t
ba
r
vinok_enumerate
_
scarf
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
doc: add anoth
e
r paper ref
e
ring to barvinok
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
er
d
oola
e
ge
do
c
: typos
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
o
laege
doc:
document
bernstein da
t
a s
t
ructures and fu
n
cti
o
ns
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
be
r
nstein: piecewise_lst::simplify_
d
omains: add M
a
xRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Ve
r
doo
l
ae
g
e
berns
t
ein: make
p
oly arg
u
m
ent of bern
s
t
e
inExpansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoolaege
reducer
.
h: only use
inf
i
nite_icounter
when dim==
1
commit
|
commitdiff
|
tree
2006-10-28
S
ve
n
Verdoolaeg
e
doc
:
fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sven V
e
rdoo
l
aege
remove
a
fe
w
d
u
plicate definitions of MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolae
g
e
uti
l
.
c: m
o
ve d
u
plicate Polyhed
r
o
n_
R
e
ad
commit
|
commitdiff
|
tree
2006-10-28
S
ven Verdoolaege
bar
v
inok
.
c
c
: add _with_opt
i
ons versi
o
n of
b
a
r
vinok
_
enumerate_e
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Verdoola
e
ge
evalue
.
c: remove include of config
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
version
.
c:
s
how use
o
f O
m
ega, GLPK and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
version
.
c: move barvinok_version from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Verd
o
ol
a
ege
doc
:
d
ocument Poly
h
edron_Reduced_Basis
a
nd Polyhe
d
ron_Sam
p
le
commit
|
commitdiff
|
tree
2006-10-27
S
v
e
n Verdoolaege
export
Polyhedron_Sample a
n
d
Polyhedron_Reduce
d
_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
doolaege
doc:
r
e
name "
u
sage" secti
o
n
to
"applic
a
tions
"
sec
t
ion
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
b
a
rvinok
_
opt
i
ons:
r
e
name e
m
ptiness_check
to lex
m
in_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
doc: document barvinok_options
commit
|
commitdiff
|
tree
next