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: use barvinok_options instead of MaxRays
2006-10-27
Sven Verdoolaege
scarf
.
c
c: use ba
r
vinok_options instead of Ma
x
Ray
s
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
barv
i
no
k
/barvinok
.
h: export _
w
ith_option
s
version
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
barvinok_enumerate
_
e: remove direct include of polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
S
v
en Ve
r
doolaege
bernstein:
m
ini
m
a
l documentation
commit
|
commitdiff
|
tree
2006-10-25
Sven Verd
o
ol
a
e
g
e
R
E
ADME: bernstein requires GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
doc: add reference to
b
e
r
n
stein techreport
commit
|
commitdiff
|
tree
2006-10-25
Sven Verd
o
olaege
Merge
b
ranc
h
'bern
s
te
i
n
'
commit
|
commitdiff
|
tree
2006-10-25
Sven Ve
r
doolaege
ber
n
st
e
in/
s
r
c
/TODO: remove; everything
h
as b
e
en done
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaege
doc: add anot
h
e
r
pub
l
ic
a
tion that r
e
fers to b
a
rvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdo
o
lae
g
e
LLL: u
s
e reduction paramete
r
1 by defa
u
lt
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
decomp
o
s
e
r
.
cc: short_vector: allow spe
c
i
f
ication of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven V
e
rdoolaege
doc: add some more pub
l
ication
s
t
hat re
f
e
r
to barvinok
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n V
e
rdoolaege
evalue
.
c: evalue_denom
:
d
e
clare vari
a
b
le at start
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Ve
r
dool
a
ege
eva
l
ue
.
c: exp
o
rt evalue_den
o
m
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaeg
e
scarf
.
cc: handle case where four constrain
t
s l
e
ad to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven
Verdoola
e
ge
util
.
c: comp
r
ess_
v
ariables: declare
vari
a
ble at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sve
n
Ver
d
oolaege
evalue
.
c: c
o
p
y (and ad
a
pt) copyright sta
t
ement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven V
e
rdoola
e
ge
d
oc: add some
r
eferences
to publicatio
n
s
commit
|
commitdiff
|
tree
2006-09-26
Sven
Verd
o
olaege
l
e
xmin
.
cc: reenable opt
i
mization of
chec
k
ing do
m
ains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
S
ven Verdoolaege
evalue
.
c
:
clean up in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdool
a
ege
edomain
.
cc: add EDomai
n
:
:contains
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
lexm
i
n
.
cc: max_
t
e
rm::p
r
in
t
:
pri
n
t floor
s
expl
i
c
i
tly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
S
v
en Verdoolaeg
e
lexmin
.
cc: d
i
sable
p
ossibly overzealous optimization
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
edomain
.
cc: remember "constraint" representati
o
n
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
reduced_b
a
sis: reset "negative widths" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
lexmin
.
cc: move m
o
re cod
e
to edo
m
a
i
n
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sve
n
Verdoolaege
edomain
.
h: add EDomain_floor abstraction
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoola
e
ge
lex
m
i
n
.
cc: define max_ter
m
over an EDomain rather t
h
an
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven V
e
rdoolaege
re
d
ucer
.
h:
add vi
r
t
ual destructor to np_base to
a
void
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sve
n
Ver
d
oolaege
lexmin
.
cc: extract
out some code to evalue_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
o
ption
s
.
c
: pic
k
up de
f
inition of
P
OL_INTEGER from b
a
rvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoola
e
ge
optionc
.
c
: m
o
ve choice of which s
p
ecializat
i
on to u
s
e
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
V
erdool
a
ege
omega/parser
.
l: let f
l
e
x def
i
n
e yylineno
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdoolaege
l
exmi
n
.
c
c: optio
n
ally sk
i
p
check for
e
mpty domain
s
commit
|
commitdiff
|
tree
2006-09-20
Sven Ver
d
oolaege
e
v
alue
.
c
:
r
educe_evalue_in
_
d
om
a
in:
reduce to zero e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rd
o
o
l
ae
g
e
lexmin
.
cc
:
use ba
r
vinok_o
p
ti
o
ns
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
r
doolae
g
e
introduce barvin
o
k_optio
n
s structure
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc: compute gene
r
ati
n
g
f
un
c
tions
o
f v
e
rtex
cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Verdool
a
ege
lexm
i
n
.
cc
:
move some
c
ode
around
t
o
pre
p
are for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Verd
o
ola
e
ge
evalue: declare argument
of ead
d
and evalue_copy
c
onst
commit
|
commitdiff
|
tree
2006-09-06
Sven
V
erdoolaege
lexm
i
n
.
cc: perfor
m
substitu
t
i
o
n immediately
o
n each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdo
o
laege
README
:
add a warni
n
g on (n
o
t) us
i
ng
s
hared li
b
raries
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdool
a
e
g
e
piecewise_ls
t
:
drop the
_s
suff
i
x in the class name
commit
|
commitdiff
|
tree
2006-08-31
S
ven
V
erdoola
e
ge
be
r
nstein/pi
e
ce
w
i
se_lst
.
c
pp: add add
(
e
x
)
m
e
thod
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Verdoolaege
b
e
rnstein
.
cc: export evalue
2
ex
commit
|
commitdiff
|
tree
2006-08-31
Sven
Verdoolaege
omega/polyfunc
.
c
c
: avoid warn
i
ng
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdo
o
laege
barvinok/ev
a
lue
.
h:
m
ake more se
l
f-contain
e
d
commit
|
commitdiff
|
tree
2006-08-31
Sven Ver
d
oo
l
aeg
e
Mer
g
e branch 'm
a
st
e
r' into ber
n
stei
n
commit
|
commitdiff
|
tree
2006-08-31
Sven Ve
r
dool
a
eg
e
evalue
.
h: change name of he
a
der define
commit
|
commitdiff
|
tree
2006-08-31
S
ven
Verdoolaege
e
val
u
e
.
h: make mor
e
self-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdool
a
ege
b
fco
u
n
t
er
.
h
:
undefine divide
from polyl
i
b's arithme
t
iqu
e
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven V
e
rdool
a
ege
conf
i
gure
.
in
:
n
o
l
onger c
o
m
p
ile sh
a
red libraries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven
Verdoola
e
ge
README
:
reflect th
a
t
-
-
e
nable-f
r
actional is n
o
w
th
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
Ver
d
oolaege
lexmin: remove duplicate
u
nfringe
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdo
o
la
e
ge
gen_fun::Hadam
a
rd_product: use unopt
i
mized
ver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Ve
r
doolaege
barvinok_
s
eries:
perform b
a
cksubstitu
t
io
n
also
if all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Ver
d
oolae
g
e
barvinok_enumerate_unio
n
_serie
s
:
c
a
l
l core of b
a
r
v
ino
k
_
s
eri
e
s
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoola
e
g
e
util
.
c: rem
o
ve_equalities_p: cor
r
ect check
for
e
nd
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
gen_fun:
set con
t
e
xt in no va
r
iables co
n
s
tructor
commit
|
commitdiff
|
tree
2006-08-21
S
ven
Verdoolaege
g
e
n_fun::H
a
d
a
mard_produ
c
t:
d
o
n
'
t
assu
m
e equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Verdoola
e
g
e
barvinok_union:
t
ake context into accoun
t
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
pol
y
tope_scan: op
t
i
o
nally skip
b
asis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verd
o
olaege
polytope_scan:
s
can i
n
r
educed basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoo
l
aege
polytope_
s
can: scans the integer points in a po
l
ytope
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
Merge branc
h
'mast
e
r' int
o
berns
t
ein
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
install NT
L
_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
b
a
sis
_
r
e
duct
i
o
n
.
c: clean up GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoola
e
ge
Merge
b
ranch 'master
'
into bernstein
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oolaege
lexmi
n
.
cc:
d
on't bother transforming if compress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
S
ven Ver
d
oolaege
l
e
xmin
.
cc: fix use of compress_par
m
s
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoola
e
ge
sample
.
c
: fix remove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoo
l
aege
barvinok_co
u
nt: clean up m
e
mory
a
f
ter
sim
p
lifying
constraints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
README: update
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verd
o
olaege
omega
/
poly
f
u
nc
.
cc
:
maximize: simpl
i
fy domain
b
efore
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
omega/parser
.
y: create new va
r
iableMap
for each polyf
u
nc
commit
|
commitdiff
|
tree
2006-08-12
S
v
e
n Ve
r
doolaege
o
mega/
p
arser
.
y: free malloc'ed memory (i
n
stead of delet
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
M
erge branch
'master' into b
e
rnstei
n
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
olaege
on
l
y perform lex
m
in t
e
sts when lexmin has been
c
ompiled
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoolaege
s
ome
m
o
r
e te
s
t
s with
unb
o
unded
p
o
l
yhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
a
d
d
s
o
me small tests for l
e
xmin
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erd
o
olaege
l
e
xmin:
barf when
polyhedron contains
l
ine
commit
|
commitdiff
|
tree
2006-08-12
S
ven Verdoola
e
ge
lexmin: do
n
'
t
p
rint
so
l
utio
n
whe
n
v
eri
f
ying
commit
|
commitdiff
|
tree
2006-08-11
S
ven Verdoolaege
v
erify_main
.
cc:
clean up memory
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoo
l
aeg
e
Me
r
g
e
branch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n
V
er
d
oolaege
barvinok_serie
s
: handle fixed polyt
o
pes
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdoolaege
gen_fu
n
:
add con
s
tructor for g
e
n
erating function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolae
g
e
barvin
o
k
.
cc: remove_mo
r
e_equalities: handle equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ve
n
Ver
d
o
o
laege
gen_fun::coeffic
i
ent
:
r
ese
t
the number of rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
lexmin
.
c
c:
use
r
emo
v
e
_
equ
a
lities co
n
sistently
commit
|
commitdiff
|
tree
2006-08-10
Sven
Ve
r
doolae
g
e
util
.
c:
c
ompr
e
s
s
_
variables:
ex
t
racted f
r
om lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
dool
a
ege
lexmin:
don't che
c
k anything
if
g
iven
r
ange lies
outs
i
de
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolaege
lexmi
n
.
cc:
r
emove
_
e
qualities;
t
ak
e
preimage with ret
u
rned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
lexmin
.
cc: remove_equalities: extend
r
eturned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdoolaege
lexmin
.
c
c
:
i
n_
d
omain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
S
ven
Ver
d
o
o
laege
lexmin
.
cc: remov
e
some debuggi
n
g residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
reduce
_
d
om
a
in: com
p
ute convex u
n
ion of do
m
ain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmi
n
.
cc: in_domain
:
also
c
h
eck
other parts
of u
n
i
o
n
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaeg
e
le
x
min: in_domain: set values if con
s
traints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verd
o
o
l
aege
l
e
xm
i
n
:
plu
g
s
o
m
e
memory leaks
commit
|
commitdiff
|
tree
2006-08-08
S
ven V
e
rd
o
o
laege
lexmi
n
: an experime
n
t
a
l
t
o
ol fo
r
computing the parametric
.
.
.
commit
|
commitdiff
|
tree
next