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
lemxin: use stable ordering of indicator_terms in partial_order sets
2006-12-11
Sven Verdoolaege
l
e
mxin: use stable
ordering
o
f indicator_terms in partial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Verd
o
ola
e
ge
genfun
.
c
c
: move l
e
x_cmp to mat_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoolae
g
e
lexmin: in
d
icator
:
:combin
e
:
di
r
ectly add some known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdool
a
ege
ba
r
v
inok/polylib
.
h: separate in
c
lude
o
f po
l
ylib head
e
r
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n
Verdoolaege
lexmin: option
a
l
ly
c
o
m
pute sign
of
affine function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
lexmin: optiona
l
ly sk
i
p reduction of evalues in domains
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
evalue_frac2floor
:
o
nl
y
mak
e
argument nonnegative
if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaege
lexm
i
n
:
P
o
l
y
hedron_not
_
emp
t
y: be
careful
about
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: indicator_term::is_opposite: a
s
sume num
e
rators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaege
remove_al
l
_equalities:
h
andle
c
ompre
s
s_
v
a
riab
l
es returni
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en V
e
r
d
oola
e
ge
l
exmin
:
opt
i
on
a
ll
y
use cdd du
r
i
ng basis reduction
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
e
rd
o
ol
a
ege
Polyhedron_Reduced_Ba
s
is:
o
ptionally use cdd to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en
Verdool
a
ege
confi
g
ure
.
in: check for cddl
i
b
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmi
n
:
Polyhedron
_
not_emp
t
y: continue r
e
mo
v
i
ng e
q
ualities
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolaege
lexmin: handle e
q
ualities among
parameters
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
V
e
rdo
o
l
aege
remove_all_equalities: ignore id
e
n
t
ity para
m
eter comp
r
e
ssion
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
remove_
e
qua
l
ities
.
c: extracted from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Ver
d
o
olaege
g
enfun: add
s
hort_rat::normali
z
e
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Ve
r
do
o
laege
g
e
n
fun:
a
dd short_rat con
s
t
r
u
ctors
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
evalue
.
c:
e
valu
e
_denom: improve c
o
mment
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoo
l
aege
lexmin: Polyhedron_not_empty: check res
u
lt returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoo
l
aege
barv
i
nok
.
cc: seri
e
s: re
m
ove equa
l
ities using Preimag
e
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoola
e
ge
barvinok_count: c
o
llec
t
stats on number o
f
unim
o
d
ular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoo
l
a
e
g
e
util
.
c
: triangulate_cone: use bigger
ra
n
dom value
s
commit
|
commitdiff
|
tree
2006-12-07
Sven V
e
rdoo
l
a
ege
sample
.
c
:
Polyh
e
d
ron_R
e
moveFixedColu
m
ns: cop
y
const
a
nts
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Verd
o
o
l
a
ege
ber
n
stein: piec
e
wise_lst::evaluate:
fix typo
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolaeg
e
configure
.
in: only add -lbernstein to barvin
o
k
.
pc
i
f
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdoolaege
confi
g
ur
e
.
in: ren
a
me -
-
with
-
ginac to --
w
ithout-bernst
e
in
commit
|
commitdiff
|
tree
2006-11-10
Sven Verd
o
olaege
configu
r
e
.
in:
allow build wit
h
out GiNaC (and ther
e
fore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdo
o
laege
configure
.
in: a
d
d -lbernstein to barvino
k
.
p
c
if
it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Ve
r
doolaege
util
.
c
: compress_var
i
ables: correct
c
heck f
o
r scali
n
g
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoola
e
ge
util
.
c: some documentation for compress_variable
s
commit
|
commitdiff
|
tree
2006-11-09
S
ven Verdoola
e
g
e
veri
f
_
e
hrhart:
add --p
r
int-all
o
ption to replace PR
I
N
T
_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Ver
d
o
o
lae
g
e
mat_util: make
a
rguments of
l
ex_cmp const
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdo
o
la
e
ge
add
A
UTHORS file
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolae
g
e
bump version
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdool
a
ege
Ma
k
efi
l
e
.
am:
m
a
ke sure correct files are includ
e
d in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
doc: menti
o
n restri
c
tion of ba
r
vinok_enume
r
ate_scarf_s
e
rie
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
o
c: min
i
mal documentation fo
r
the le
x
min appli
c
a
t
ion
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
bernstein/configure
.
in: set A
C
_
C
ONFIG_
A
UX
_
DIR
to bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolaege
d
oc: document polyto
p
e_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
d
oc: documen
t
polyhe
d
ron_sample
commit
|
commitdiff
|
tree
2006-10-31
S
ven
V
erdoolaeg
e
doc: includ
e
barvin
o
k
library ver
s
i
o
n in title
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
laege
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolaege
doc: b
i
b
:
name Kevin M
.
W
o
o
d
s
consistently
commit
|
commitdiff
|
tree
2006-10-31
S
ven V
e
rdoo
l
aege
doc: d
o
cument extra
o
cc operations
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolaege
doc: update gen_fun
d
ocume
n
tati
o
n
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
er
d
ool
a
ege
d
o
c: reflect chang
e
of argument type of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: document b
a
rvino
k
_enu
m
e
r
ate_scarf
commit
|
commitdiff
|
tree
2006-10-31
S
v
en
V
e
r
doola
e
ge
doc: add another pa
p
er ref
e
ri
n
g to barvin
o
k
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolaege
doc:
typos
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Ve
r
d
oo
l
aege
doc: docu
m
ent
bernstei
n
d
a
ta s
t
r
u
ctures and functions
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Ve
r
doolaege
bernstein: pi
e
cewise_
l
st::simplify_d
o
mains: add MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
S
ven
Verdoolaege
bernstein:
ma
k
e
poly argumen
t
of
be
r
nstein
E
xpansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sv
e
n
Verdoolaege
reducer
.
h: o
n
ly
u
s
e
infinite_icounter
w
he
n
d
im==1
commit
|
commitdiff
|
tree
2006-10-28
Sven Verd
o
olaeg
e
doc: fix t
y
po
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoo
l
aege
rem
o
ve a few
d
uplicate definitions
o
f MAX
R
A
YS
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
util
.
c: move duplic
a
te
P
olyhedr
o
n_Re
a
d
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
e
rdoola
e
ge
barvinok
.
c
c
:
add
_with_
o
pti
o
ns version of barvin
o
k
_
enumerate_e
commit
|
commitdiff
|
tree
2006-10-28
Sven V
e
rdoo
l
aege
evalue
.
c
:
remove
i
nclude of confi
g
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
version
.
c: sh
o
w use
of Omega, GLPK and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoo
l
aege
version
.
c: move barvinok_version f
r
om util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven V
e
rdo
o
la
e
ge
d
o
c: docu
m
e
n
t
Polyhedron_Redu
c
ed_Ba
s
is and Polyhedron_Samp
l
e
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
export Pol
y
hedr
o
n
_Sa
m
ple
a
nd Polyhedr
o
n
_
Reduced_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n
V
erdoola
e
g
e
doc: r
e
name "usage" section to "applica
t
ions" section
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
rdoola
e
ge
barvinok_o
p
tions: rena
m
e emptiness_
c
heck to le
x
min_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoola
e
ge
doc: document barvinok_
o
ptions
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoo
l
aege
scarf
.
c
c: expo
r
t function
s
to
l
i
brary
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
Verdoolaege
s
carf
.
cc: use
b
arvinok_
o
pt
i
o
n
s instead of MaxRays
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
rdoo
l
aeg
e
barv
i
n
ok/barvinok
.
h: export _with_op
t
i
ons versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdool
a
ege
barvinok_
e
numerate_e: rem
o
ve di
r
ect include of polyl
i
b
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n Verdoolae
g
e
bern
s
t
e
in
:
minim
a
l
docum
e
n
tatio
n
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
R
EADME
:
bernstein r
e
quires G
i
NaC
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
erd
o
ola
e
ge
doc: ad
d
reference to
b
ernstein
te
c
hreport
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
Verdoolaege
Merge branch 'b
e
r
n
stein'
commit
|
commitdiff
|
tree
2006-10-25
Sven
Verdool
a
ege
bernstein/src/TODO
:
r
emove; every
t
hing has been done
commit
|
commitdiff
|
tree
2006-10-10
S
v
en
Verdoolaege
d
o
c:
a
dd anothe
r
p
u
blicatio
n
that refers t
o
barvin
o
k
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoola
e
ge
LLL:
u
se re
d
uction parameter
1 by default
commit
|
commitdiff
|
tree
2006-10-07
S
ven V
e
rdo
o
l
aege
d
ecomposer
.
cc: sho
r
t_
v
ector: al
l
ow specificati
o
n of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
doc: add some m
o
re publications
t
ha
t
refer t
o
bar
v
inok
commit
|
commitdiff
|
tree
2006-10-02
S
v
en
V
erdoo
l
aege
evalue
.
c: evalu
e
_
den
o
m: d
e
cla
r
e
v
ariable at start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
v
e
n Verdoolaege
evalue
.
c: export eval
u
e_den
o
m
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolae
g
e
sc
a
rf
.
cc
:
handle ca
s
e w
h
ere four
constraints l
e
ad to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven
V
erdoolaege
util
.
c: compr
e
ss_
v
ariables: declare va
r
iable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Ver
d
oolaege
e
v
alue
.
c:
c
opy (and ad
a
pt) copy
r
ight statement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdoolaege
doc
:
add some r
e
ferences
t
o publicatio
n
s
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdoolaege
l
e
x
m
i
n
.
cc: reenable
o
p
timization
o
f
c
hecking
d
omains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven
Ver
d
oo
l
aege
evalue
.
c:
clean up
i
n_dom
a
i
n
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
edo
m
ain
.
cc: add EDomain::contains
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaeg
e
lexmin
.
c
c: max_t
e
rm::pri
n
t: pr
i
nt fl
o
ors expl
i
citl
y
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven V
e
rdoola
e
g
e
lexm
i
n
.
cc: d
i
sable possibly
o
verzealous optimi
z
ation
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaeg
e
edomain
.
cc: reme
m
ber "
c
onstraint
"
representa
t
ion
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
S
v
en V
e
rdo
o
laege
reduced_b
a
sis
:
reset "ne
g
ative widths" t
o
zero
commit
|
commitdiff
|
tree
2006-09-23
Sv
e
n V
e
rdo
o
laege
l
exmin
.
cc: m
o
ve
m
o
re code to edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
S
ven
Ve
r
doo
l
aege
edomain
.
h: add EDom
a
in_f
l
oor abstraction
commit
|
commitdiff
|
tree
2006-09-22
Sven Verd
o
olaege
l
e
x
mi
n
.
c
c: define max_t
e
rm ove
r
an EDo
m
ain
rat
h
er than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven V
e
rdoolaege
reducer
.
h:
a
dd virt
u
al destr
u
ct
o
r to
n
p_base
t
o
a
voi
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
lexmin
.
cc: extr
a
ct o
u
t some code to
e
value_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sv
e
n Verdoolaege
o
p
tions
.
c:
p
ick up definition of POL_
I
NTEGER fro
m
ba
r
v
i
nok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
o
p
tio
n
c
.
c: move c
h
o
i
ce of
w
h
ich specialization t
o
u
s
e
.
.
.
commit
|
commitdiff
|
tree
next