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
scarf.cc: export functions to library
2006-10-27
S
v
en V
e
rdoolaege
s
c
arf
.
cc: export functions
to library
commit
|
commitdiff
|
tree
2006-10-27
Sven
Verdoolaege
sca
r
f
.
cc:
u
se barvino
k
_
o
ptions
i
n
s
te
a
d
o
f MaxRays
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verd
o
ola
e
ge
bar
v
inok/bar
v
inok
.
h: export _with_options versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n V
e
rdool
a
ege
b
a
rvinok_enumerate_e: re
m
ove direct inc
l
ude o
f
polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n Verd
o
olaege
be
r
nstein: minimal documentation
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
README: be
r
n
stein requires Gi
N
aC
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
erdoolaege
d
o
c
: add refer
e
nce to ber
n
stein tech
r
eport
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoola
e
ge
M
erge branch 'b
e
r
n
stein
'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
bernstein/src/TODO: remove
;
ev
e
r
y
thing has b
e
en
d
one
commit
|
commitdiff
|
tree
2006-10-10
Sv
e
n Verdoo
l
aege
doc: a
d
d
another publication that refers to bar
v
inok
commit
|
commitdiff
|
tree
2006-10-10
Sven Ve
r
d
o
ol
a
eg
e
LLL: use reduction p
a
rameter 1 by default
commit
|
commitdiff
|
tree
2006-10-07
Sven Verd
o
olaege
decom
p
os
e
r
.
c
c
: short_v
e
ctor: all
o
w sp
e
cificati
o
n
of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven V
e
rd
o
ol
a
ege
doc: add some mor
e
publications that refer
t
o barvinok
commit
|
commitdiff
|
tree
2006-10-02
Sven
V
e
r
d
oolaege
e
val
u
e
.
c: eva
l
ue_denom:
declare variable at star
t
of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
v
en V
e
r
doo
l
aege
evalue
.
c: expo
r
t e
v
alue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sven Verd
o
olaege
scarf
.
cc:
handle
c
ase where
f
our co
n
s
train
t
s
lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verd
o
olaeg
e
util
.
c: compress_varia
b
les:
d
eclare variab
l
e at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven
V
e
r
d
oolaege
eval
u
e
.
c: copy (and adapt) cop
y
righ
t
stat
e
ment from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdoolaege
doc: add some refer
e
nces to publications
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdool
a
ege
lexmi
n
.
c
c
: re
e
nable optimiza
t
i
o
n of che
c
king d
o
m
a
ins
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdo
o
la
e
ge
evalue
.
c: clean up in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
edomain
.
cc: add EDomain
:
:contains
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
l
exmin
.
cc
:
max_term::print: print
floors explicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven
Verdoola
e
ge
lexmin
.
cc: disa
b
le
p
ossibly overzealou
s
optimization
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
edo
m
ain
.
cc: remember "constraint" representation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verd
o
olaege
reduced
_
basi
s
: reset "n
e
ga
t
ive w
i
dth
s
" to zero
commit
|
commitdiff
|
tree
2006-09-23
S
v
en Verdoolaege
lexmin
.
cc:
m
ove more c
o
d
e to edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
e
d
o
ma
i
n
.
h
: add ED
o
mai
n
_f
l
oor
a
bstra
c
tion
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdo
o
laege
le
x
min
.
cc: define ma
x
_term over an EDomain rat
h
er than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
reducer
.
h
: add virtual
d
estructor to np_ba
s
e to
a
void
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
erdoolae
g
e
le
x
min
.
cc: extract out so
m
e code
to
evalue_util
a
nd
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolae
g
e
o
pt
i
ons
.
c:
pic
k
up
d
efinitio
n
of POL_INTEG
E
R
f
rom barvino
k
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
ven Verdo
o
l
aege
optionc
.
c: move choice of which spe
c
ializatio
n
to
u
se
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Ve
r
doolaege
o
m
ega/par
s
e
r
.
l: let f
l
ex de
f
ine yyl
i
neno
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdoolae
g
e
lexmin
.
cc: o
p
tionally skip c
h
eck for empty d
o
main
s
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoo
l
aege
e
v
a
lu
e
.
c: redu
c
e_evalue_in_d
o
main: r
e
duc
e
to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaeg
e
lexmin
.
cc: use b
a
rvinok_options
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
in
t
roduce ba
r
vinok_options structure
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdo
o
laeg
e
lexm
i
n
.
cc: c
o
mpute generating
f
un
c
tions of
v
er
t
ex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Ve
r
do
o
laege
lexmin
.
cc: move so
m
e code around to prep
a
re for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Ver
d
o
o
laege
evalue
:
declare
ar
g
u
ment of eadd and evalue_copy
const
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaeg
e
lexmi
n
.
cc:
p
erform substi
t
ution immediately on
each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
README: ad
d
a warning on (not)
using shar
e
d libraries
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdool
a
ege
p
ie
c
ewise_lst: drop the _s suffix
i
n th
e
class
n
ame
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
bernstein/piece
w
ise_lst
.
cpp: add
a
d
d
(ex) method
commit
|
commitdiff
|
tree
2006-08-31
Sven V
e
rdoolaege
bernstein
.
cc
:
ex
p
ort eva
l
ue2ex
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
om
e
ga/polyfun
c
.
cc: avoid warnin
g
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolae
g
e
b
a
rvin
o
k
/eval
u
e
.
h: ma
k
e more
s
e
lf-con
t
ained
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Verdo
o
la
e
ge
Merge bran
c
h 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
erdoolaege
ev
a
lue
.
h: change name of
header
def
i
ne
commit
|
commitdiff
|
tree
2006-08-31
Sven
Ver
d
ool
a
ege
eva
l
ue
.
h: make more self-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
bf
c
ou
n
ter
.
h: undefine di
v
id
e
f
rom polyl
i
b
'
s a
r
ithmetiqu
e
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
v
en
Verdoolae
g
e
c
o
n
f
igure
.
in: no
l
o
nger
c
o
m
pil
e
shared l
i
braries
by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven
V
erdoolaege
R
E
AD
M
E: r
e
fle
c
t that
--enable-
f
r
a
cti
o
nal is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
V
erdoolaege
lexmin:
remove
d
uplicate unfr
i
nge
commit
|
commitdiff
|
tree
2006-08-21
Sven
V
erdoo
l
aege
ge
n
_fun::Had
a
mard_
p
r
o
duct: use u
n
op
t
imized version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
v
en Verd
o
ola
e
g
e
b
a
rvinok_series: perf
o
rm backsubstitut
i
on also if all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
b
ar
v
inok_e
n
um
e
rate_union_series: call c
o
r
e
of barvinok_s
e
ries
commit
|
commitdiff
|
tree
2006-08-21
Sven Ve
r
d
o
olaege
ut
i
l
.
c: remove
_
eq
u
aliti
e
s_p: correct check for e
n
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
v
en Ver
d
oolaege
gen_fun: set context i
n
no variables constructor
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Verdoolae
g
e
gen_fun::Ha
d
amard
_
product: don'
t
a
ssume equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven
V
erdoolaege
barv
i
nok_unio
n
: take
con
t
ext into
a
ccount
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolae
g
e
po
l
y
top
e
_sca
n
:
op
t
ionally skip bas
i
s red
u
cti
o
n
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoo
l
aege
polyt
o
pe
_
sca
n
:
scan in r
e
d
uced basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
p
o
lytope_scan: sca
n
s the
i
nteger
p
oints
in a polytope
commit
|
commitdiff
|
tree
2006-08-14
S
v
en Verdoolaege
Merge branch 'master
'
into bernst
e
in
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoola
e
g
e
i
nst
a
ll NTL_QQ
.
h hea
d
e
r
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaeg
e
basis_reduction
.
c: cle
a
n u
p
G
L
PK
m
emory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
Merge branch 'master' into berns
t
ei
n
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoola
e
g
e
le
x
min
.
cc: don't bother tran
s
forming if compress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verd
o
olaege
lexmin
.
c
c
:
fix use of co
m
press_p
a
rms
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
doolaege
s
ampl
e
.
c: fix r
e
move_ray
commit
|
commitdiff
|
tree
2006-08-13
S
v
en
V
erdoolaege
ba
r
vinok_count: clean up me
m
ory a
f
ter simpl
i
fying constraints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
R
E
A
D
M
E
: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oolaege
omega
/
polyfunc
.
cc: maximi
z
e: simp
l
ify do
m
ain be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdo
o
laege
omega/
p
arser
.
y: c
r
eate new variable
M
ap fo
r
each polyfunc
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n
V
e
r
doo
l
a
ege
omega/parser
.
y: f
r
ee ma
l
loc'ed
m
e
mo
r
y (instead of delete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oolae
g
e
Merge branc
h
'
master' into bernstein
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoolaege
only pe
r
f
o
rm lexmin tests
wh
e
n lexmin has been compiled
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n
Verdoolaege
s
o
me more
t
ests with unbounded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
S
ven Ve
r
d
o
o
l
ae
g
e
add some small
tests for lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verd
o
olaege
lexmin:
barf when
polyhedron
cont
a
ins line
commit
|
commitdiff
|
tree
2006-08-12
S
ve
n
V
e
r
doolaege
l
e
xmin:
don't print
solut
i
on
when v
e
ri
f
ying
commit
|
commitdiff
|
tree
2006-08-11
Sven V
e
rdoolaege
verify_main
.
cc: clean up memory
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
Merge branch 'master' in
t
o bernstein
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoo
l
aege
barvinok_
s
e
ries: h
a
n
d
l
e
f
i
xed polytopes
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
g
e
n
_
f
un: add constructor for ge
n
era
t
ing function
with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verdoolaege
barvinok
.
cc: remo
v
e_more_eq
u
alities:
ha
n
dle eq
u
ali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdoolaege
gen_fun::coeffi
c
ien
t
: reset
the number of rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoola
e
ge
lex
m
in
.
cc: use rem
o
ve_equa
l
ities
c
onsistently
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verd
o
ola
e
ge
util
.
c:
c
ompres
s
_var
i
a
b
les: extr
a
cted fr
o
m lexm
i
n
.
c
c
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
olaege
lexmin:
d
on't che
c
k
a
nything i
f
give
n
r
a
nge lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Ver
d
oolaege
lexmin
.
c
c
:
remove_equa
l
iti
e
s
; take
preima
g
e wit
h
re
t
ur
n
ed
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
exm
i
n
.
c
c
: remove_equalities
:
extend
r
eturned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdo
o
laege
lexmin
.
c
c
: in_domain: fix ty
p
o
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n
V
erdoolaege
lexmin
.
cc: remove
some debu
g
g
i
n
g res
i
d
u
e
s
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
reduce
_
domain: compute convex union
o
f domain
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
e
r
doolaege
lexmin
.
cc: in_
d
omain: al
s
o check other parts
o
f unio
n
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdo
o
laege
lexmin: in_domain: set valu
e
s if constra
i
nts don
'
t
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n
Ve
r
doolaeg
e
lexmi
n
: p
l
u
g
some m
e
mo
r
y leaks
commit
|
commitdiff
|
tree
next