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: extract out verification options
2007-01-04
Sven
V
erdo
o
laege
bar
v
inok_enumer
a
te
_
e
:
e
x
trac
t
out verification option
s
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoo
l
aege
barvinok
_
enumerate_e: print war
n
ing when -
-
o
meg
a
or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
bernstein
/
conf
i
gure
.
in: re
m
ove redundant c
h
ange to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaeg
e
ba
r
v
inok/poly
l
ib
.
h: define value_subtract and val
u
e_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoola
e
ge
decomposer
.
cc: decomp
o
se: micro-optimization
commit
|
commitdiff
|
tree
2007-01-04
Sven Ver
d
oolaege
signed_cone: store rays
o
f con
e
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
lexmin: disable use of lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvino
k
_
e
num
e
rate_e
.
cc: fix
argp
o
ptions p
a
rser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
o
p
ti
o
n
s
.
c:
m
ove ch
o
ice of use of loo
k
up-table to
barvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
lattice_
p
oint
.
cc: fix #ifndef USE_MODULO c
o
de path
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n Ve
r
d
oolaege
decompo
s
er
.
c
c: short_vector: remove redund
a
n
t
co
d
e
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
d
e
comp
o
ser
.
c
c: s
h
ort_vector: negate lambda if
z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barv
i
n
o
k
.
c
c
: s
e
ri
e
s: only requi
r
e
r
a
y
s to be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdool
a
e
g
e
ba
r
vinok
.
c
c
: series: pass full options to barvin
o
k
_
cou
n
t
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
np_base
:
:handle: pass around ra
y
s ma
t
rix i
n
stead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laege
decompo
s
e
r
.
cc
:
su
p
port
p
rimal de
c
omposit
i
on
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
e
rdool
a
ege
decomposer
.
c
c: barvinok_de
c
ompose:
i
mpleme
n
t in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
ba
r
vi
n
ok_e
n
umera
t
e: respect increm
e
n
tal
_
specialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Ver
d
o
o
laege
introduce sign
e
d
_co
n
e struct
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
r
doolaege
separate out decomp
o
s
ition
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
test: u
s
e arg
p
pars
e
r
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoolaege
update arg
p
from gnu
l
ib an
d
add
progname module
commit
|
commitdiff
|
tree
2006-12-27
S
ven Verdoolaeg
e
barvinok_enume
r
ate_e
.
cc: don't
exit
on unrecog
n
ized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
v
e
n Ve
r
d
o
olaeg
e
lib/ar
g
p
.
h: remove
__NTH for __a
r
gp_usage
inline
f
unction
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_enumerate_e
.
cc: re
m
o
v
e another d
u
plicate defini
t
ion
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoo
l
aege
barvinok_enumerate
_
e
:
use
a
r
gp pars
e
r
commit
|
commitdiff
|
tree
2006-12-27
S
ven V
e
rd
o
olaege
b
a
r
vinok_cou
n
t: use argp
parser
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Ve
r
doolaeg
e
options
.
c: a
d
d
argp parse
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verd
o
ol
a
eg
e
add ar
g
p
from gn
u
lib
commit
|
commitdiff
|
tree
2006-12-26
S
v
e
n
Ve
r
doolaege
scarf
.
cc: make compat
i
ble w
i
th olde
r
ve
r
sions of
P
o
l
yLib
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n Verdoo
l
aege
add missing ass
e
rt
.
h
#inclu
d
e
s
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoo
l
aege
Makefile
.
a
m
: a
d
d remove_equalities
.
h to
d
ist
r
ibut
i
on
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
config
u
re
.
in: o
n
ly configure bernstein i
f
GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sv
e
n
V
erdoolae
g
e
berns
t
e
i
n: config
u
r
e
.
in: check for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven V
e
rdoolaege
b
ernstein: remove
e
x
tra qualifications fr
o
m
polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdo
o
laege
bernstein/
s
rc/main
.
cpp: r
e
m
o
ve
r
e
d
u
ndant includ
e
commit
|
commitdiff
|
tree
2006-12-18
Sven Ver
d
oolae
g
e
short_rat::normal
i
ze: mak
e
pow
e
rs
i
n
t
he denomi
n
ator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
S
v
en Verdo
o
laeg
e
gen_fun::substitu
t
e: normal
i
ze term
s
commit
|
commitdiff
|
tree
2006-12-18
Sve
n
Ve
r
doo
l
aeg
e
dpoly_r
:
store
t
e
r
ms
in a set rat
h
er tha
n
in a vector
commit
|
commitdiff
|
tree
2006-12-18
Sven V
e
rdo
o
laege
g
en_fun
:
store terms
in a se
t
rather than in
a
v
ector
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdool
a
ege
lexm
i
n: allow em
p
tiness check
t
hr
o
ugh
counting
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Verd
o
olaege
lexm
i
n
.
cc: move co
n
s
t
ruction of s
u
b
d
omains to
e
d
omain
.
c
c
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n
Verdoolae
g
e
e
doma
i
n
.
cc: move sample com
p
utat
i
on completel
y
to EDo
m
ain
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
laege
lex
m
in
.
c
c
:
p
a
r
t
ial_order::compar
e
: use substitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoo
l
a
eg
e
le
x
min
.
c
c
:
indicator::combine: mor
e
efficie
n
t
way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
c
c
: keep heads in partial order separat
e
commit
|
commitdiff
|
tree
2006-12-11
S
v
en
V
erdoolae
g
e
ed
o
main
.
cc: EDomain::add_
g
e_constraint: simplify
n
ew
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdoolaege
l
e
xmin
.
c
c:
p
artial_order::
c
ompa
r
e
: add cache of comparison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolaege
lexmin: make sur
e
l
e set in partial
order
o
nly contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
o
o
laege
lexmin: more sanity
checks
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
r
d
oolaege
l
emxin: use sta
b
l
e ordering o
f
in
d
icator_terms
in partial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Ve
r
d
o
olaege
genfun
.
cc: move
l
ex_cmp to
mat
_
util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
S
ven
V
erdoolaege
lexmin: indicator:
:
combine: d
i
rect
l
y add some k
n
own
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoolaege
barvinok/poly
l
i
b
.
h: s
e
parate incl
u
de of polylib he
a
der
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoo
l
aege
lexmin: optionall
y
compute sign of aff
i
ne function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
le
x
min: optionally skip r
e
duction
o
f evalues i
n
domains
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
evalue_frac2flo
o
r:
only make argumen
t
n
o
n
n
egative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoola
e
ge
lexmin: Polyhed
r
on
_
not_empty: be careful about
e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: in
d
icator_
t
erm::is_opposite: assume numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oola
e
ge
remove_all_equalit
i
es:
h
andle compr
e
s
s
_va
r
i
a
bles
re
t
u
r
ni
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
do
o
l
aeg
e
lexmin: opti
o
nally u
s
e cdd during bas
i
s reduction
commit
|
commitdiff
|
tree
2006-12-09
Sven
Ve
r
doolaege
Po
l
y
h
e
dron_Reduced
_
Basis
:
opt
i
onally use cdd to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaege
configure
.
in: check for
c
d
dlib
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Ver
d
o
o
laege
le
x
min: Pol
y
hedro
n
_not_empty:
c
on
t
inue
r
emov
i
ng
e
qualities
commit
|
commitdiff
|
tree
2006-12-09
S
v
en
V
erdoolaege
lexmin:
h
andle
equal
i
ties among para
m
eters
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolaege
r
e
move_all_eq
u
a
lit
i
e
s: ignore
i
dent
i
t
y
p
a
ramete
r
compr
e
ssion
commit
|
commitdiff
|
tree
2006-12-09
S
v
e
n Verdoolaege
remove_equalities
.
c:
e
xt
r
acted
fr
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
gen
f
un: add short_r
a
t::no
r
maliz
e
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
genfun:
a
dd
s
hort_rat const
r
uct
o
r
s
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Ve
r
doolaege
e
v
alue
.
c: ev
a
lu
e
_denom: improve comment
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoo
l
aege
lexmin: Polyhedr
o
n
_
n
o
t
_
empty: c
h
e
c
k resul
t
r
e
turned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven V
e
rd
o
o
laege
b
arv
i
n
ok
.
c
c:
series: remove equalit
i
es u
s
ing Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sve
n
V
erdoola
e
ge
bar
v
inok_coun
t
: collect stats on nu
m
ber of unimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdo
o
laege
u
t
il
.
c
:
triangul
a
te_c
o
ne: use bigg
e
r ra
n
dom
values
commit
|
commitdiff
|
tree
2006-12-07
Sven Ve
r
d
oolaege
sample
.
c
: Polyhedron_RemoveFixedCol
u
mns: copy constants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Ve
r
do
o
laege
b
e
rnstein:
piecewise
_
lst::evaluate: fix typ
o
commit
|
commitdiff
|
tree
2006-12-06
S
v
en Ve
r
doo
l
aege
configure
.
in: only add -lbernstein to
barvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdoola
e
ge
co
n
figu
r
e
.
i
n
: rename --w
i
th-gina
c
t
o --
w
ithout-be
r
nste
i
n
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoola
e
ge
configure
.
in: allow
bui
l
d without Gi
N
aC (and
therefore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven V
e
rd
o
olaege
configure
.
i
n: add -lb
e
rnstein to ba
r
v
i
nok
.
p
c
i
f
i
t
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoola
e
ge
util
.
c: comp
r
ess_va
r
iab
l
es: correct che
c
k
f
or s
c
a
l
i
ng
commit
|
commitdiff
|
tree
2006-11-09
Sven
Verdoolaege
u
t
il
.
c: some documentation f
o
r compress_variables
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
verif
_
ehrhart: a
d
d --print-all o
p
tion to
r
eplace PRINT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
mat_util: ma
k
e
a
rguments of le
x
_
c
mp const
commit
|
commitdiff
|
tree
2006-11-09
Sven Ve
r
doolaege
add AUT
H
OR
S
file
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
ola
e
ge
bump
ve
r
s
i
on
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n Verdo
o
la
e
ge
Makefile
.
a
m:
m
a
k
e
sure
cor
r
ect fi
l
es are i
n
c
luded in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
d
o
c: mention restriction of
barv
i
n
o
k_enumerate_
s
carf_series
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
do
c
:
minimal
d
ocumentation
for th
e
lex
m
in applica
t
ion
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verd
o
olaege
b
e
r
nste
i
n/config
u
r
e
.
in: set AC_CONFIG_A
U
X_DIR to bernstei
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
doc: document pol
y
tope_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaeg
e
doc: d
o
cument polyhedro
n
_
sample
commit
|
commitdiff
|
tree
2006-10-31
S
v
en V
e
rdoolaege
d
oc
:
i
n
clu
d
e bar
v
inok l
i
bra
r
y versio
n
in title
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
conf
i
gure
.
in: f
i
x
t
y
p
o
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc
:
bib:
n
a
me Kevin M
.
Woods consis
t
ently
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: docum
e
nt extra occ
operations
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
d
o
c: update gen_fun
documenta
t
ion
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
oc: r
e
flect change of
argum
e
nt
ty
p
e of ea
d
d
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
o
olaege
d
o
c
:
document
b
a
rvinok_enumerate_
s
carf
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoola
e
ge
doc: add an
o
ther
p
aper
r
efering to barv
i
nok
commit
|
commitdiff
|
tree
next