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
export Polyhedron_Sample and Polyhedron_Reduced_Basis
2006-10-27
S
v
e
n Verdoo
l
aege
export Poly
h
edron_Sample and
P
o
lyhe
d
r
o
n
_
Reduce
d
_Ba
s
is
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
er
d
o
o
laege
doc:
r
ename "usage" section to "
a
p
p
lications"
s
ection
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erdoolae
g
e
barvinok_opt
i
o
n
s: r
e
name emptiness_
c
h
ec
k
to lexmin_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolae
g
e
doc: do
c
u
m
ent barv
i
nok_options
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
s
c
ar
f
.
cc: expo
r
t functi
o
ns to
l
ibrary
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verdoolaege
scarf
.
cc: use barv
i
nok_o
p
tions instea
d
o
f
MaxRays
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
e
rdoolaege
barvi
n
ok/barvinok
.
h: export _with_
o
ptions versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Ver
d
oola
e
ge
b
arvinok_enu
m
e
rate_e: remove dire
c
t in
c
lud
e
of polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
Ver
d
oolaege
ber
n
stein: minim
a
l doc
u
mentation
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
RE
A
DME: berns
t
ein requi
r
es GiNaC
commit
|
commitdiff
|
tree
2006-10-25
S
v
en Verdo
o
laege
doc: add refer
e
nce to
b
ernste
i
n
t
e
chrepo
r
t
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
erdoolaege
M
e
rge branch 'bernstein
'
commit
|
commitdiff
|
tree
2006-10-25
S
ven Verd
o
olaege
bernst
e
in
/
sr
c
/
TODO: remove;
e
ver
y
thing has been don
e
commit
|
commitdiff
|
tree
2006-10-10
Sve
n
Verdoolaege
doc:
a
dd
another publication that
refers to
b
arvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven Verd
o
o
l
ae
g
e
LLL: us
e
reduction param
e
t
e
r 1 by default
commit
|
commitdiff
|
tree
2006-10-07
Sven
Verdoolaege
decomp
o
ser
.
cc: short
_
ve
c
t
or: allo
w
specification of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Ver
d
oolae
g
e
d
oc:
a
dd some more publications that
r
efe
r
to barvinok
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n Verdo
o
laeg
e
evalue
.
c:
eval
u
e_denom: d
e
clare var
i
able
a
t start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven
V
e
r
d
oo
l
aege
evalue
.
c
:
export evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
scarf
.
cc: handle ca
s
e whe
r
e
four constraint
s
l
ead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n Verdool
a
ege
u
t
i
l
.
c: com
p
ress_v
a
ri
a
bles: declare
varia
b
le at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sve
n
Verdoo
l
aege
evalue
.
c
: copy (and adapt) cop
y
r
ight s
t
atement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdoolaege
do
c
: add some ref
e
rences to publications
commit
|
commitdiff
|
tree
2006-09-26
Sven
Verdoolaege
lexmin
.
c
c
: r
e
enable optimization of checking do
m
ai
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
S
ven Verdoolae
g
e
evalue
.
c: c
l
ean u
p
in_do
m
a
in
commit
|
commitdiff
|
tree
2006-09-25
Sven Verd
o
olaege
edomain
.
c
c
:
a
dd
E
Dom
a
i
n
:
:contains
commit
|
commitdiff
|
tree
2006-09-24
S
v
en Verdool
a
ege
l
e
xmin
.
cc: max_term::print: print flo
o
rs explicit
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
S
ven Verdoolaege
lexmin
.
c
c:
d
isable
possibly over
z
ealous opt
i
mi
z
atio
n
commit
|
commitdiff
|
tree
2006-09-23
Sv
e
n Verdoolaege
ed
o
m
a
in
.
cc: remember "
c
onstraint" re
p
r
e
sentation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
reduced_ba
s
is
:
reset "neg
a
tive widths" to zer
o
commit
|
commitdiff
|
tree
2006-09-23
Sven
V
erdoolaeg
e
lexmin
.
cc:
m
o
ve mo
r
e code t
o
edomain
.
c
c
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n Verdoolaege
edomain
.
h:
a
dd EDo
m
ain_floor abstraction
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n Verd
o
olaege
lexmin
.
cc: define ma
x
_term
over
an EDomain r
a
ther
th
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
reducer
.
h: add virt
u
a
l
destructor to
np_base to
a
void
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdool
a
e
g
e
l
exmin
.
cc: extra
c
t out
s
ome code to eva
l
ue_ut
i
l
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
Verdoolaege
o
ptions
.
c: pick up defi
n
ition o
f
POL_INTEGER
from barvin
o
k
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
v
en
V
erdoola
e
ge
optionc
.
c: move ch
o
ic
e
of
w
h
i
ch specializat
i
o
n
to
u
se
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaeg
e
om
e
ga
/
parser
.
l:
l
et flex def
i
ne yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Verdoola
e
ge
lexmin
.
cc: optionally sk
i
p check for empty domains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
eval
u
e
.
c: red
u
ce_evalue_in_domai
n
:
re
d
uce to zer
o
e
va
l
ue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdoolaege
lexmin
.
cc:
u
s
e barvinok_options
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoo
l
aege
int
r
oduce b
a
r
vinok
_
opti
o
ns structure
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Ve
r
doo
l
aege
lexmin
.
cc: compute
g
e
n
erat
i
ng functions of vertex co
n
es
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven
Verd
o
olaege
l
e
x
min
.
cc: mo
v
e some code a
r
oun
d
to prepare for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Ve
r
doolaege
e
value: declare arg
u
ment of eadd and evalue_copy con
s
t
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdo
o
lae
g
e
l
e
x
min
.
c
c
:
perfor
m
s
u
bs
t
itut
i
o
n
immediatel
y
on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verd
o
olaege
README: ad
d
a
wa
r
ning on (not
)
using s
h
a
r
ed libraries
commit
|
commitdiff
|
tree
2006-09-06
Sv
e
n Verdo
o
laege
pie
c
ewise_lst: drop the _s suffix in the cla
s
s name
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoola
e
ge
b
e
rn
s
tein
/
piecewise_lst
.
cpp: add add(ex)
m
ethod
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Ver
d
oolaege
bernstein
.
cc: expor
t
eval
u
e
2
ex
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
ome
g
a/polyfunc
.
cc: avoid warning
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Verdoolaege
ba
r
vinok/e
v
a
l
ue
.
h: make more
s
elf-con
t
ained
commit
|
commitdiff
|
tree
2006-08-31
Sven
Verdoolaege
Merge branch '
m
aster' int
o
b
e
rnstei
n
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
ev
a
lue
.
h: chan
g
e name of header define
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Verdo
o
l
a
ege
eval
u
e
.
h: make mo
r
e self
-
co
n
tained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
bf
c
ounter
.
h: undefine di
v
ide from polyl
i
b
'
s ari
t
hmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
v
e
n
V
erdoolaege
conf
i
g
ure
.
in: no longer compile shared lib
r
a
rie
s
by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
Verdoolaege
README: r
e
f
l
ect th
a
t --en
a
ble-f
r
actional is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
ven
V
er
d
o
o
laege
lexmin: remove dup
l
icate u
n
fri
n
ge
commit
|
commitdiff
|
tree
2006-08-21
S
v
en Verdo
o
laege
gen_fun::Hadamard_product: use unop
t
imized
v
er
s
ion
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdo
o
laege
barvinok_series
:
perf
o
rm ba
c
ksubstitut
i
o
n a
l
s
o if
a
l
l
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
bar
v
i
n
ok_
e
nume
r
ate_union_series:
c
all co
r
e of barvinok_ser
i
es
commit
|
commitdiff
|
tree
2006-08-21
S
ven V
e
rdoolae
g
e
u
t
i
l
.
c:
r
e
m
ove_equalities_p: correct check for end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven V
e
r
doolaege
gen_fun
:
s
e
t con
t
e
x
t in n
o
va
r
ia
b
les constructor
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
gen_
f
un::Ha
d
amard_product: don'
t
assume
equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Verdoolaege
ba
r
vinok_union: t
a
ke conte
x
t i
n
to ac
c
o
u
nt
commit
|
commitdiff
|
tree
2006-08-16
S
v
e
n
Verdoolae
g
e
p
olyto
p
e_scan: optionally
s
kip b
a
sis redu
c
tion
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoola
e
ge
pol
y
top
e
_sc
a
n: scan in r
e
duce
d
basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verd
o
olaege
p
o
lytope_scan: scans t
h
e integer points in
a
pol
y
tope
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
Merge bran
c
h 'mast
e
r
'
into bernstein
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoo
l
a
ege
insta
l
l NT
L
_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolae
g
e
basis_r
e
d
uction
.
c:
clean
u
p
GL
P
K memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoo
l
aege
Merge branch '
m
aster' into bernste
i
n
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Verdoolaege
lexm
i
n
.
cc: don't both
e
r tran
s
f
o
rming if co
m
pre
s
s_parm
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verd
o
olaege
lexmin
.
cc: fix us
e
of comp
r
ess_parms
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoolaege
sample
.
c: fix remov
e
_ray
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verdoolaeg
e
b
arv
i
nok_count: c
l
ean up memory after
s
implifying constraint
s
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oolaege
RE
A
DME: upd
a
t
e
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oo
l
aege
omega/polyfunc
.
cc: ma
x
imize: simplify domain b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
S
v
en V
e
rdo
o
laege
om
e
ga/parser
.
y: crea
t
e
ne
w
va
r
i
a
bleMap for each p
o
ly
f
unc
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoola
e
ge
omega/parse
r
.
y: fre
e
malloc'
e
d
m
emory (i
n
ste
a
d
of
delete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
Merge branch
'
ma
s
te
r
' into
b
ernstein
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
o
nly perform le
x
min tests
w
hen lex
m
in
h
a
s bee
n
compiled
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Ve
r
doola
e
ge
so
m
e
m
o
re te
s
ts with unboun
d
ed polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verd
o
olaege
add som
e
small
tests
f
or lexm
i
n
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmin: barf
w
he
n
polyh
e
dro
n
co
n
tains line
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
le
x
min: do
n
't print solution when v
e
rify
i
ng
commit
|
commitdiff
|
tree
2006-08-11
Sv
e
n Ve
r
d
o
o
l
aege
verify_mai
n
.
cc: clean up memory
commit
|
commitdiff
|
tree
2006-08-11
S
v
en Verdoolaege
Merge br
a
nch
'master' into ber
n
stein
commit
|
commitdiff
|
tree
2006-08-10
S
v
en
V
erdoolae
g
e
barv
i
n
o
k_s
e
r
ies: handle fixed poly
t
opes
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoola
e
ge
gen_fu
n
: ad
d
c
o
nstructo
r
for gen
e
rating function
w
ith
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
Ver
d
oolae
g
e
barv
i
nok
.
cc: re
m
o
v
e
_
more_equa
l
it
i
es:
h
andle
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
e
r
doolaege
gen_fun::coe
f
ficient: re
s
et the number of rows in t
h
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoolaege
lexmin
.
cc: use
re
m
ove_equalities
c
onsistently
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verdool
a
ege
util
.
c
: compre
s
s_v
a
riab
l
es
:
ex
t
ract
e
d from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oolaege
lexmin: don't ch
e
ck
anyt
h
i
n
g
if
g
iven range
l
ies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdoolaeg
e
lexmi
n
.
cc: r
e
move_equalitie
s
; take preimage with ret
u
rned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoola
e
ge
lexmin
.
cc: remove_equalities:
e
xtend ret
u
r
ned
m
atrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
olaege
lex
m
in
.
c
c: in_domain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
l
aege
lexmin
.
cc: remove some debuggin
g
residues
commit
|
commitdiff
|
tree
next