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
decomposer.cc: barvinok_decompose: implement in terms of primal_decompose
2007-01-03
Sven V
e
rd
o
o
laege
deco
m
poser
.
c
c
: barvinok
_
d
eco
m
pose:
i
mple
m
ent i
n
terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
barvinok_e
n
umerate: re
s
pect incremental_
s
pecializ
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
introduce sign
e
d_
c
o
n
e stru
c
t
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
g
e
separate out
d
ecomposition
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaege
tes
t
:
u
se arg
p
p
arser
commit
|
commitdiff
|
tree
2006-12-28
Sve
n
Verdo
o
laege
update argp
f
rom
gnul
i
b and
a
dd progname modu
l
e
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
erdoolaeg
e
ba
r
vi
n
ok_enumerate_e
.
cc: don't
exit on u
n
r
ecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
ven Ver
d
o
olaege
lib/argp
.
h
: remov
e
__NTH for __argp_usage inline fu
n
ction
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdoolaege
barvinok_enumerate
_
e
.
cc:
remove another
d
uplicate defi
n
ition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
erdoolaege
barvinok_enumera
t
e_e: use
argp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_c
o
unt
:
u
se a
r
gp parser
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoo
l
a
e
ge
options
.
c:
add
argp
p
arse
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
e
rdoola
e
ge
add argp from gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdo
o
laege
scarf
.
cc:
m
ake compatible with o
l
der
versions of PolyL
i
b
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Verdoolaege
add missing assert
.
h #i
n
cludes
commit
|
commitdiff
|
tree
2006-12-26
Sven
Verdoolaege
Mak
e
f
i
le
.
am:
a
dd remove_equaliti
e
s
.
h
t
o distri
b
ution
commit
|
commitdiff
|
tree
2006-12-26
Sven Ve
r
doola
e
ge
configu
r
e
.
i
n: onl
y
c
o
n
figure be
r
nstein i
f
GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sv
e
n Verdoolaeg
e
bern
s
tein:
c
onfigure
.
in:
c
heck for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoo
l
aege
bernstein: remove e
x
t
ra q
u
alif
i
c
ations from po
l
yno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sve
n
V
erdoolaege
b
e
rnstein/src/main
.
cpp: remove redundant include
commit
|
commitdiff
|
tree
2006-12-18
Sve
n
Verdoolaege
short_rat::normalize:
m
a
k
e
powers in the d
e
nominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
g
e
n
_fun::s
u
bs
t
itute: nor
m
alize terms
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n
Verdoolae
g
e
dpoly
_
r
: store
term
s
in a set rather than in a vec
t
or
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaeg
e
gen_fun:
store terms in a set rather than in a vector
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verd
o
olaege
lexmin: all
o
w emp
t
iness ch
e
c
k
through
c
ounting
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaeg
e
le
x
mi
n
.
cc: move constructio
n
o
f subdomains t
o
edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoolaege
edomain
.
c
c: move
s
a
m
p
le computation co
m
pl
e
tely to EDo
m
ain
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
l
exmin
.
cc: p
a
rtial_order::compare: use substi
t
ution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven
Verdo
o
laege
l
e
xmin
.
c
c: indicator::combine: more
ef
f
icie
n
t way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoolaege
l
e
x
mi
n
.
cc: keep h
e
ad
s
in partial o
r
d
er
s
epara
t
e
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoolae
g
e
e
d
omain
.
cc: EDomain::add_ge_constraint:
s
im
p
lify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
aeg
e
lexmin
.
c
c
:
parti
a
l_
o
r
der::compare:
add cache of comparison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
l
e
xm
i
n: make
s
u
re le set
in partial order onl
y
contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Ve
r
doo
l
aege
l
e
xmin: more s
a
nity checks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
a
e
g
e
le
m
xin: use stab
l
e ordering
o
f indicator_terms in
p
artial_o
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n
Verdoolaege
gen
f
un
.
cc: move lex_cmp to
mat
_
util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolaege
le
x
m
in
:
indi
c
a
tor::c
o
m
bine: directly
add some kn
o
wn
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoolaege
b
arvinok/polylib
.
h: separate in
c
lude
o
f polylib
h
eader
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: optionally compute
s
ign of aff
i
ne functi
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Ver
d
oolaege
le
x
min: opt
i
o
nally skip red
u
c
t
ion of e
v
alues in domains
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doolaege
evalue_frac2floor
:
o
n
l
y make
argume
n
t no
n
negative
if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
l
e
x
min
:
Pol
y
h
edron_not_emp
t
y:
b
e ca
r
eful about empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
ge
lexmin: indic
a
to
r
_term::i
s
_opposite: assume
numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
r
e
move_a
l
l
_
equalities: handle compress_vari
a
bles retur
n
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
lexmin: o
p
ti
o
nally use cdd during bas
i
s reduction
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verd
o
o
laeg
e
Polyhedr
o
n_R
e
duced
_
B
a
sis: op
t
i
o
nally use cdd
t
o
s
olve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaeg
e
co
n
fi
g
ure
.
in:
c
heck
for cddlib
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdool
a
ege
lexmin: Polyhed
r
on_not_empty: continue removing e
q
ualities
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
e
g
e
lex
m
in: handle equalitie
s
amo
n
g parameters
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
ol
a
eg
e
re
m
ove_all_equalitie
s
:
ignore identity parame
t
e
r compression
commit
|
commitdiff
|
tree
2006-12-09
S
v
e
n
Verd
o
ola
e
ge
remove_eq
u
alities
.
c:
extracted f
r
om ba
r
vinok
.
c
c
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
g
enfun: add short_rat::norm
a
lize
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
gen
f
u
n
:
a
dd sho
r
t_rat constr
u
cto
r
s
commit
|
commitdiff
|
tree
2006-12-09
S
ve
n
Verdoolaege
evalue
.
c: ev
a
lue_den
o
m
:
i
m
pr
o
v
e comment
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdo
o
la
e
g
e
le
x
min: Polyhedron_not_
e
mpty
:
check result return
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdo
o
laege
ba
r
vinok
.
cc: seri
e
s: remov
e
equali
t
ies
using Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sv
e
n Ver
d
o
o
l
aege
bar
v
inok_count:
collect stats
on
n
um
b
er
of uni
m
odu
l
ar
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolae
g
e
ut
i
l
.
c: triangulat
e
_
c
on
e
: use bigg
e
r ran
d
om
v
alue
s
commit
|
commitdiff
|
tree
2006-12-07
S
ven Verdoolaege
sam
p
l
e
.
c: Polyhedron_Remove
F
ixedColumns
:
copy constants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven V
e
rdoola
e
ge
bernstein: piecewise_lst::evaluate: fi
x
typo
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolaege
configure
.
in:
o
nl
y
add -lbernstein
to ba
r
vinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sve
n
Ver
d
oo
l
aege
c
o
n
figure
.
in
:
rename --with
-
ginac
t
o -
-
wi
t
h
o
ut
-
b
erns
t
ei
n
commit
|
commitdiff
|
tree
2006-11-10
Sven Ve
r
doolae
g
e
configure
.
in: allow build
wi
t
h
out GiNaC
(
and th
e
refore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sve
n
V
erdoola
e
ge
configure
.
in: add -lber
n
stein to barvinok
.
pc
i
f it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verd
o
olaege
util
.
c
: co
m
press_variabl
e
s
:
correct check for scalin
g
commit
|
commitdiff
|
tree
2006-11-09
S
v
en Verdool
a
ege
u
t
il
.
c: some
d
ocumentation for compress_variables
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdool
a
e
g
e
verif_ehrhart:
ad
d
--print-all option to replace PRINT_
A
LL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
S
v
e
n
V
erdoolaege
mat_util: mak
e
arguments of lex_
c
m
p
const
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
ad
d
AUTHORS file
commit
|
commitdiff
|
tree
2006-10-31
S
ven
Verdool
a
ege
bump vers
i
on
commit
|
commitdiff
|
tree
2006-10-31
S
ven V
e
rdoolaege
Makefile
.
am: make sure correct fi
l
es are included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Ver
d
oolaege
doc: mention r
e
striction
of barv
i
nok
_
enumerat
e
_scarf_series
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaege
doc: min
i
ma
l
docume
n
tati
o
n for the
lexm
i
n ap
p
lication
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
ber
n
stein/con
f
igure
.
in: s
e
t
A
C_CONFIG
_
A
U
X
_
D
IR to bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
doc: doc
u
me
n
t
p
o
lytope_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc:
document
poly
h
edron_s
a
mpl
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolaege
doc: i
n
clude barvinok
l
ibrar
y
version in title
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n V
e
r
do
o
laege
configure
.
in: f
i
x
ty
p
o
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
doc: bib: name Kevin M
.
Woods consistently
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: document extra occ op
e
rations
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
laege
doc: update
gen_fun do
c
umentation
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
doc: re
f
le
c
t change of argument ty
p
e
of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaeg
e
d
o
c: doc
u
me
n
t barvinok_enumerate_scarf
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaeg
e
doc
:
a
d
d anothe
r
p
aper
r
e
fering to barvinok
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
doc: typos
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdool
a
e
g
e
doc:
document be
r
n
stein
d
ata stru
c
tures and func
t
ions
commit
|
commitdiff
|
tree
2006-10-31
S
ven
Verd
o
olaege
bernstein: piecewise_lst::simplify_domains: add MaxRay
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoo
l
aeg
e
bernstein: make poly argumen
t
of bern
s
teinExpansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Ver
d
oolaege
r
e
ducer
.
h: only use infinite_i
c
ounter w
h
e
n
dim==1
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoo
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
re
m
ove
a
few
dup
l
i
c
ate
d
e
fi
n
i
tions of MAX
R
AYS
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
util
.
c: mo
v
e
duplicate Pol
y
hedron_Read
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
b
arvi
n
ok
.
cc: a
d
d _
w
ith_o
p
tions version of
barv
i
no
k
_enumerate_
e
commit
|
commitdiff
|
tree
2006-10-28
S
ven Ve
r
doolaege
e
v
alue
.
c: re
m
ove include of config
.
h
commit
|
commitdiff
|
tree
2006-10-28
S
v
e
n
V
erdoolaege
version
.
c: show use o
f
Omega, GLP
K
and GiN
a
C
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdool
a
ege
versio
n
.
c: move ba
r
vi
n
ok_vers
i
on from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n
Verdoolaege
doc: do
c
ument Polyhedr
o
n_Reduced_Basi
s
and Polyhedr
o
n
_Sample
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n V
e
rdoolaege
export Polyhedron
_
Sample and P
o
lyhedron_
R
ed
u
ced_B
a
s
is
commit
|
commitdiff
|
tree
2006-10-27
Sven
Verdoolaeg
e
doc: rename "usage" section
to "appli
c
atio
n
s" section
commit
|
commitdiff
|
tree
2006-10-27
Sven Ver
d
ool
a
e
ge
b
ar
v
ino
k
_opti
o
ns: re
n
ame emptiness
_
check to lexmi
n
_emptiness
.
.
.
commit
|
commitdiff
|
tree
next