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_equalities.c: extracted from barvinok.cc
2006-12-09
Sven Verdoola
e
g
e
remove_equalities
.
c
:
extracte
d
from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaege
genfun: add sh
o
rt_rat::n
o
rm
a
l
i
z
e
commit
|
commitdiff
|
tree
2006-12-09
S
ve
n
Verdoolaeg
e
genfun: add sho
r
t_rat const
r
u
c
tors
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolaeg
e
evalue
.
c
:
evalue_denom:
i
mp
r
o
v
e com
m
ent
commit
|
commitdiff
|
tree
2006-12-09
S
v
en
Verdoolaege
lexmin: Polyh
e
dro
n
_not_e
m
p
t
y: c
h
ec
k
resul
t
r
e
turned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
b
a
r
vinok
.
cc: s
e
ries: remove equalities using Pre
i
mage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sve
n
V
e
rdoolaege
barvinok_
c
ount: collect stats on
number of unimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Ve
r
doo
l
aege
util
.
c: triangulate
_
cone
:
use bigger random v
a
lues
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoola
e
ge
sam
p
le
.
c: P
o
ly
h
edron_RemoveFix
e
dColumns: copy constants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven
V
e
rdoolaege
b
erns
t
ein: piecewise_lst::evaluate: fix typo
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolaege
configure
.
in: only add -lbernste
i
n to b
a
rvinok
.
pc
i
f
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven
V
erdool
a
ege
con
f
igure
.
in: rename --with-gi
n
ac
to
-
-wi
t
hout-
b
ern
s
tein
commit
|
commitdiff
|
tree
2006-11-10
Sven V
e
rd
o
olaege
confi
g
ure
.
in: all
o
w build withou
t
GiN
a
C (and therefore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sv
e
n Verdoo
l
aeg
e
configure
.
in: add -l
b
ernstein to
barvinok
.
p
c
if i
t
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven
Ver
d
ool
a
ege
ut
i
l
.
c: compress_vari
a
bl
e
s: c
o
r
r
ect
check for scaling
commit
|
commitdiff
|
tree
2006-11-09
Sven
V
erd
o
o
l
aege
u
t
il
.
c
:
some d
o
cu
m
entation fo
r
compress_vari
a
bles
commit
|
commitdiff
|
tree
2006-11-09
Sve
n
Verdo
o
lae
g
e
verif_ehr
h
art
:
add --
p
r
i
nt-all option to replace PRIN
T
_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoola
e
ge
ma
t
_
u
ti
l
: ma
k
e argument
s
of lex_cmp
co
n
st
commit
|
commitdiff
|
tree
2006-11-09
Sven Ve
r
doolaege
a
dd AUTHORS
f
ile
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
o
l
ae
g
e
bump versio
n
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
Makefile
.
am: make s
u
re c
o
rrect file
s
a
r
e included
in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdool
a
ege
doc: me
n
tion restriction of
b
arvinok_enu
m
erat
e
_s
c
arf
_
series
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
o
o
la
e
ge
d
o
c: minimal docum
e
n
tation
f
o
r th
e
lexmin ap
p
lic
a
tion
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
bernstein/config
u
re
.
i
n
: set
A
C
_CON
F
IG_AU
X
_
D
IR t
o
b
e
r
n
s
tein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoola
e
ge
doc: document p
o
lytope_sample
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdoolaege
doc: documen
t
po
l
yhedron
_
sample
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoo
l
aege
doc: include barvinok
l
ib
r
ary v
e
rsion in title
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
configure
.
in: fix
typ
o
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
do
c
: bib:
n
a
m
e Kevin M
.
Woods consist
e
ntly
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoo
l
aege
doc: docume
n
t extra occ operation
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: upda
t
e
gen_f
u
n docume
n
tation
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolaeg
e
doc:
r
eflect chan
g
e of argument
t
ype of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoola
e
ge
doc: docu
m
e
n
t barvinok_enume
r
a
t
e_scarf
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolaege
d
oc: add a
n
other paper ref
e
ring to barvinok
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
e
r
doolaege
d
oc: typos
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Ve
r
doolaege
doc: document bernstein data structures and func
t
i
o
ns
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolaege
bernstei
n
: piecewi
s
e_lst::simp
l
ify_do
m
a
i
ns: add M
a
xRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sv
e
n Verdoolaege
berns
t
ein:
make po
l
y arg
u
m
ent of bernstein
E
xpansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoo
l
a
ege
reducer
.
h: only us
e
infinite_icounter whe
n
d
i
m=
=
1
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Verdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaeg
e
rem
o
ve
a few d
u
plicate definit
i
o
n
s of MAXRAY
S
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n Verdoolaege
util
.
c
:
move d
u
p
l
ica
t
e Polyhedron_Read
commit
|
commitdiff
|
tree
2006-10-28
S
ven V
e
rdoolaege
barvinok
.
cc: add _wit
h
_op
t
ions version of
b
a
r
vin
o
k_
e
numerate_e
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verdoolaege
evalue
.
c: re
m
ove
i
nclu
d
e
o
f
config
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Ve
r
d
ool
a
ege
version
.
c: show use of Omega, GLPK
a
nd GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
version
.
c: move
barvinok_version from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven
Verdoolaege
d
oc: document
Polyhedron_Reduced
_
B
a
s
is and P
o
l
y
hedron_Sample
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verdoo
l
aege
export
Polyhedron_
S
ample and Polyhed
r
o
n
_Reduce
d
_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
d
o
c: rename
"
usage
"
section t
o
"
a
pplicat
i
ons" sect
i
o
n
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdool
a
ege
b
arvinok_
o
ptions: rename em
p
ti
n
ess_ch
e
ck t
o
lexmi
n
_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdo
o
l
aege
doc: document
barvinok_option
s
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n
V
e
rdoolaege
sc
a
rf
.
c
c
:
e
xport functions
t
o lib
r
ary
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n Verdool
a
ege
scarf
.
c
c
: use barvinok_options instead of MaxRays
commit
|
commitdiff
|
tree
2006-10-27
Sven Verd
o
ol
a
ege
b
a
rvinok/barvinok
.
h: ex
p
ort _with_opti
o
ns versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verd
o
olaege
barvi
n
ok_enumerate_e: remove
d
ir
e
ct include of polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolae
g
e
bernstein: minimal
d
o
c
u
m
e
n
tati
o
n
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdo
o
laege
READM
E
:
bernstein requires GiN
a
C
commit
|
commitdiff
|
tree
2006-10-25
Sven Ve
r
doolae
g
e
d
oc: add
r
eference to bernstei
n
tec
h
r
e
port
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n Verdoolaege
Merge branch '
b
ern
s
te
i
n
'
commit
|
commitdiff
|
tree
2006-10-25
S
v
en
Verd
o
olaeg
e
be
r
nstein/src/TODO: remove
;
everythi
n
g has been don
e
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaeg
e
doc: ad
d
an
o
ther
p
ublication that ref
e
r
s to barvinok
commit
|
commitdiff
|
tree
2006-10-10
S
ve
n
Ve
r
doolaeg
e
LLL:
use redu
c
tion parameter 1 by de
f
aul
t
commit
|
commitdiff
|
tree
2006-10-07
Sv
e
n Verdoolaege
decomposer
.
cc: short_vecto
r
: allow specific
a
t
i
o
n of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sv
e
n
Verd
o
olaege
doc: add some
more
publicat
i
ons t
h
at refer to bar
v
inok
commit
|
commitdiff
|
tree
2006-10-02
Sven Ver
d
o
olaege
evalue
.
c: evalue_de
n
o
m
: declare var
i
able at start o
f
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n Verdoola
e
ge
eval
u
e
.
c
: export evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoo
l
aeg
e
scarf
.
c
c: handle case where four constraints l
e
ad
to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n Verdo
o
laege
uti
l
.
c: compress_variables: declare variable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verdoolaege
evalue
.
c: c
o
py (a
n
d adapt) copyright
statement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Ver
d
oola
e
ge
doc:
a
d
d
some referenc
e
s
to publicat
i
ons
commit
|
commitdiff
|
tree
2006-09-26
Sv
e
n Verdo
o
laege
lex
m
in
.
cc: reenable optimi
z
ati
o
n of checking doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
evalue
.
c:
clean up in_dom
a
in
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
edomain
.
cc
:
add EDomain::cont
a
i
ns
commit
|
commitdiff
|
tree
2006-09-24
S
v
en Verdoolae
g
e
lexmin
.
cc: max
_
term
:
:print: pr
i
nt f
l
oo
r
s
explicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven
V
erdoolaege
lexmin
.
c
c: dis
a
ble
p
o
s
sibly ov
e
rzealous optim
i
zation
commit
|
commitdiff
|
tree
2006-09-23
S
ven Verdoolaege
edo
m
a
i
n
.
c
c: remember "constraint" r
e
prese
n
tation
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven V
e
r
doolaege
r
educ
e
d_ba
s
is:
r
eset "negati
v
e
widt
h
s" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
lexmin
.
cc: move more
c
ode
t
o edo
m
ain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven V
e
rdoolaeg
e
edomai
n
.
h: add EDomain_flo
o
r
a
bstraction
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
le
x
m
i
n
.
cc: define max_t
e
rm over an EDomain rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n Verd
o
o
laege
re
d
ucer
.
h: a
d
d virtual destru
c
tor to np_bas
e
t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
lexmin
.
cc: extract out
s
ome
c
ode t
o
ev
a
lue_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
V
erdo
o
lae
g
e
opti
o
ns
.
c
: pick up definiti
o
n
o
f POL_IN
T
EGER from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
ven Ve
r
d
o
o
l
aege
optio
n
c
.
c
:
move choice
o
f whic
h
spec
i
aliza
t
i
o
n to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verd
o
olaege
om
e
ga/parser
.
l
:
l
et flex define yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdoolaege
lexmi
n
.
cc: option
a
lly skip check for emp
t
y domains
commit
|
commitdiff
|
tree
2006-09-20
S
ven Ver
d
o
o
laege
evalue
.
c: reduce_evalu
e
_in_domain:
reduce to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Ve
r
doolaege
lexmi
n
.
c
c: use barvi
n
ok_options
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verd
o
ol
a
eg
e
intro
d
uce bar
v
inok_options structure
commit
|
commitdiff
|
tree
2006-09-20
Sven
Verdool
a
ege
l
e
x
m
in
.
cc: compute generating functions
of vertex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc: move some
code around to p
r
epare
for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Verdoola
e
g
e
e
value: declare argumen
t
o
f ea
d
d
and eval
u
e
_
copy c
o
nst
commit
|
commitdiff
|
tree
2006-09-06
Sven Ver
d
o
olaeg
e
lexmin
.
cc: perform substitution immediat
e
ly on ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Ver
d
oola
e
ge
R
EADME: add a warnin
g
on (not) using shared libraries
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdo
o
laege
piecewise_lst: drop the _s suffix in th
e
cla
s
s
name
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
bern
s
tein/piecewise_lst
.
cp
p
: add add(ex
)
met
h
od
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Verdoolaeg
e
bernstein
.
cc: export evalue2
e
x
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
erdool
a
ege
omeg
a
/polyfunc
.
c
c: avoid warn
i
ng
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
erdoo
l
aege
b
arvinok/evalue
.
h:
make
mo
r
e
self-contai
n
ed
commit
|
commitdiff
|
tree
2006-08-31
Sven Verd
o
olae
g
e
Merg
e
branch
'm
a
ster
'
into berns
t
e
i
n
commit
|
commitdiff
|
tree
next