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
remove a few duplicate definitions of MAXRAYS
2006-10-28
Sv
e
n Verdoo
l
a
ege
remove
a
f
ew
d
uplicate
d
efin
i
tions of MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sven Ver
d
oolaege
ut
i
l
.
c
:
move duplica
t
e
Polyhedron_
R
ead
commit
|
commitdiff
|
tree
2006-10-28
Sven Verd
o
olae
g
e
barvino
k
.
cc:
add _with_
o
p
tions
versio
n
of barvinok
_
enumerate_e
commit
|
commitdiff
|
tree
2006-10-28
Sven Ve
r
doolaeg
e
ev
a
lue
.
c: remove inclu
d
e of config
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n Verdo
o
laege
version
.
c: show u
s
e
of Om
e
ga, GLPK and GiNa
C
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Ver
d
oolaege
ve
r
si
o
n
.
c: move barvinok_version from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
doc: d
o
cument Polyhe
d
ron_Re
d
uced_
B
asis and Polyhedr
o
n_Sa
m
ple
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
doola
e
ge
exp
o
rt
Polyhed
r
on_Sam
p
le and Po
l
yhedron_Reduced
_
B
asis
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verdool
a
ege
doc: rename "usage" s
e
c
t
ion to "ap
p
lic
a
tion
s
" sectio
n
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoola
e
ge
b
a
rvinok_options: re
n
am
e
emptiness_check
t
o lexmin_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erdool
a
e
ge
d
oc
:
document
barv
i
nok_opt
i
ons
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erdoolaege
sca
r
f
.
cc: e
x
p
o
rt f
u
n
c
tions to library
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verdoolaege
scarf
.
cc
:
use barvinok_
o
ptions inste
a
d of MaxRays
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
b
a
r
vi
n
ok
/
barvinok
.
h: export _with
_
options versi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolae
g
e
barvinok_
e
numerate_e: remove direc
t
include of p
o
ly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
S
ven Verdoolaege
berns
t
ein: minimal documen
t
a
ti
o
n
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
README:
be
r
n
s
tein r
e
quires
G
i
NaC
commit
|
commitdiff
|
tree
2006-10-25
Sven Ve
r
d
o
olaege
doc:
a
dd ref
e
rence
t
o b
e
rnstein te
c
hre
p
ort
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
Merge branch '
b
ernste
i
n
'
commit
|
commitdiff
|
tree
2006-10-25
Sven Ver
d
o
olaege
bernstein/src
/
TODO: remov
e
; everything has b
e
e
n done
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaege
d
oc:
a
dd anoth
e
r publicatio
n
that refers to barvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven
Verdo
o
l
a
ege
LLL: use reductio
n
paramet
e
r 1 by
d
e
f
a
u
lt
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
decompo
s
er
.
cc:
s
ho
r
t_v
e
ctor: allo
w
spe
c
ification of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
S
ven Ver
d
o
olaege
doc: add some
m
ore pub
l
ications that re
f
er to barvinok
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
Verd
o
ol
a
ege
evalue
.
c: eval
u
e
_deno
m
:
decla
r
e
variable at start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
v
en
V
erd
o
olaege
ev
a
lue
.
c:
export evalue_deno
m
commit
|
commitdiff
|
tree
2006-10-02
S
v
e
n
Ver
d
oolaege
scarf
.
cc: ha
n
dle case where fo
u
r constraints lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven V
e
rdoo
l
aege
util
.
c: co
m
p
ress_variables: declare variable
at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verdoola
e
ge
evalu
e
.
c: co
p
y (and ad
a
pt
)
c
o
p
yright statement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sve
n
Ve
r
doolaege
doc: a
d
d
some references to
publications
commit
|
commitdiff
|
tree
2006-09-26
Sven V
e
r
d
oolaege
lexmi
n
.
cc: reenable optimization
o
f
c
h
e
c
k
i
ng domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
S
v
en Verdoolaege
ev
a
lue
.
c
: clea
n
up in_dom
a
in
commit
|
commitdiff
|
tree
2006-09-25
Sv
e
n Ve
r
doolaege
edomain
.
cc:
a
d
d EDomain::contains
commit
|
commitdiff
|
tree
2006-09-24
Sven Verd
o
olaege
lexmin
.
c
c
: max_term::print
:
p
rint fl
o
ors explicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoo
l
aege
lexmin
.
cc:
disable possibly overzea
l
ous o
p
timizati
o
n
commit
|
commitdiff
|
tree
2006-09-23
Sv
e
n
V
erdool
a
ege
edomain
.
cc
:
remember "co
n
straint" represe
n
tation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven
V
erd
o
o
laege
reduced_basis: rese
t
"
negat
i
ve widths"
t
o
zero
commit
|
commitdiff
|
tree
2006-09-23
S
v
en Verdoo
l
a
e
ge
l
exm
i
n
.
cc: move more cod
e
to edomai
n
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sve
n
Ve
r
d
o
olaege
edom
a
in
.
h: add
E
Domain_f
l
oor
a
b
straction
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolae
g
e
le
x
min
.
cc: define m
a
x_term over
a
n EDomain rath
e
r
t
han
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
reducer
.
h: add virtu
a
l de
s
truc
t
or t
o
np_base
t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoo
l
aege
lexmin
.
cc:
e
xtr
a
ct out some c
o
de to eval
u
e_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
o
ptions
.
c: p
i
ck up definition of POL_INTEGER from b
a
rv
i
nok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
ven
V
erdoolaege
o
p
tionc
.
c:
m
o
ve
c
hoic
e
of
w
hi
c
h s
p
ecial
i
za
t
i
o
n to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdool
a
e
g
e
omega
/
parse
r
.
l:
let flex d
e
f
i
n
e yylineno
commit
|
commitdiff
|
tree
2006-09-20
S
ven
V
erdoolae
g
e
lexmin
.
cc:
optionally skip
chec
k
for empty domains
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdoo
l
a
ege
eval
u
e
.
c: reduce_evalue_
i
n_dom
a
in: reduce to zero e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexm
i
n
.
c
c: use barv
i
no
k
_o
p
tions
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
int
r
oduce barv
i
nok_op
t
i
ons str
u
cture
commit
|
commitdiff
|
tree
2006-09-20
S
ve
n
Ver
d
o
olaege
l
exmi
n
.
cc: c
o
m
pute generating functio
n
s
o
f
v
ertex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Ve
r
doolaege
lexmin
.
cc: move s
o
m
e
co
d
e around
to prepare
f
or new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Verdoo
l
aege
ev
a
l
u
e
:
declare arg
u
m
e
n
t
o
f
eadd and evalue_copy c
o
n
s
t
commit
|
commitdiff
|
tree
2006-09-06
Sve
n
Verd
o
ola
e
ge
lexmin
.
c
c: perform substit
u
tion i
m
mediately
o
n eac
h
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
S
v
en Verdo
o
laege
README
:
add
a
warning
o
n
(
n
o
t) using shared libraries
commit
|
commitdiff
|
tree
2006-09-06
Sven V
e
r
doolaege
piecewise_ls
t
: dro
p
t
he _s suf
f
ix in the class na
m
e
commit
|
commitdiff
|
tree
2006-08-31
Sven
Verdoolaege
bernste
i
n/piecewise_lst
.
c
p
p: add add(ex) method
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdool
a
ege
bern
s
tein
.
cc: expo
r
t evalue2ex
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
erdoola
e
ge
omega/polyfunc
.
cc: avoid warning
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n V
e
rdoolaege
bar
v
inok/evalue
.
h
: make mo
r
e
self-cont
a
in
e
d
commit
|
commitdiff
|
tree
2006-08-31
S
ven Verdoolaege
Merge branch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-31
S
v
e
n
Ve
r
do
o
l
a
ege
eval
u
e
.
h
:
c
hange na
m
e of h
e
ader define
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Verdoolaege
ev
a
lue
.
h: make more self-con
t
ained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaeg
e
b
f
counte
r
.
h: unde
f
ine di
v
ide from po
l
ylib's arit
h
meti
q
ue
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
ven V
e
rdoo
l
aege
c
o
nf
i
g
ure
.
in: no longer compile shar
e
d lib
r
aries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
ve
n
Verd
o
olaeg
e
README: reflect that
-
-enable-frac
t
ional is n
o
w the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
lex
m
in: remove dupl
i
cate u
n
frin
g
e
commit
|
commitdiff
|
tree
2006-08-16
Sven
V
erdoolaege
polytope_scan: option
a
lly
skip
b
asis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoola
e
g
e
p
olytope_scan: scan in redu
c
ed ba
s
is
commit
|
commitdiff
|
tree
2006-08-16
Sven V
e
rdoo
l
aege
pol
y
tope
_
s
can
:
scans the integer poin
t
s in a polyt
o
p
e
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdool
a
ege
Merge branch 'master' i
n
t
o
bern
s
tein
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoola
e
ge
insta
l
l
NT
L
_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
basis_reduction
.
c: clean up GLPK m
e
mory
commit
|
commitdiff
|
tree
2006-08-13
S
v
e
n Verdoolaege
M
e
rge branch 'master' into bern
s
tein
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Ve
r
d
o
o
l
aege
le
x
min
.
cc
:
d
on't bother tr
a
n
s
formi
n
g
if compress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lex
m
in
.
cc:
fix use of compres
s
_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
doolaege
sa
m
ple
.
c: fix remove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verdoolaeg
e
barvinok_cou
n
t: cl
e
an up
m
emo
r
y after
s
i
mplifying constraints
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdoolaege
R
E
ADME: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaeg
e
o
m
e
g
a/polyfunc
.
cc:
m
a
ximiz
e
: simplify
d
omain b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
doola
e
ge
omega/pa
r
ser
.
y: create new variableMap
fo
r
eac
h
polyf
u
nc
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
omega/parser
.
y: free malloc'ed memory
(
instead of
d
elete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven V
e
rdoo
l
aege
Merge bra
n
ch '
m
aster'
into bernstein
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoola
e
ge
only perfor
m
lex
m
in tests
w
hen le
x
m
in has been compiled
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoo
l
ae
g
e
some more tests
w
ith unbounded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verd
o
olaege
add
s
o
m
e
s
ma
l
l tes
t
s f
o
r lex
m
i
n
commit
|
commitdiff
|
tree
2006-08-12
S
v
en
V
er
d
o
o
l
aege
l
e
xmin: barf
when polyhedr
o
n contains lin
e
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Ve
r
doolaege
lexmin:
d
o
n't pri
n
t s
o
lution
when verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
verify_main
.
cc: clean up memory
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdool
a
ege
Me
r
ge branch 'master' into berns
t
ein
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
ba
r
vinok_s
e
ries: hand
l
e
fixed p
o
lyt
o
pes
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_fun:
a
dd constructor for generating
f
unc
t
io
n
with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
bar
v
inok
.
cc:
r
emove_m
o
re_equalit
i
e
s
: han
d
le equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoo
l
aege
gen_fu
n
::coeffic
i
ent: reset the number
of rows in
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verdoolaege
lexmin
.
cc: use remove_equalities consistently
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verdoolaege
util
.
c: compr
e
s
s
_va
r
iable
s
: e
x
tracted from lex
m
in
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
exmin: don
'
t che
c
k
a
nythin
g
if given
r
ange lies o
u
ts
i
de
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdo
o
l
a
ege
l
ex
m
i
n
.
cc: re
m
ove_equalities; take pr
e
im
a
ge wit
h
returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rd
o
o
l
aege
lexmi
n
.
c
c
: remove_equalities
:
extend returned
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
olaege
lexm
i
n
.
cc
:
i
n
_d
o
main: f
i
x typo
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verd
o
ola
e
ge
l
exmin
.
cc: rem
o
ve s
o
me deb
u
gging
re
s
idues
commit
|
commitdiff
|
tree
next