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
evalue.c: copy (and adapt) copyright statement from PolyLib's ehrhart.c
2006-09-29
Sve
n
Verdool
a
ege
eval
u
e
.
c: cop
y
(
a
nd ad
a
pt) copyright
statement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verd
o
olaege
doc: add
some ref
e
rences t
o
publica
t
ions
commit
|
commitdiff
|
tree
2006-09-26
Sven
Verd
o
ola
e
g
e
lexmin
.
cc: reenable optimization of checking domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sve
n
Verd
o
ol
a
e
g
e
evalue
.
c
:
clean up in_domain
commit
|
commitdiff
|
tree
2006-09-25
S
ven
Ve
r
doolaege
edomain
.
c
c:
a
dd E
D
omain::c
o
ntains
commit
|
commitdiff
|
tree
2006-09-24
Sv
e
n
V
e
rdoolaege
lex
m
in
.
cc: max
_
term::print: prin
t
floors explicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sve
n
Ve
r
doolaege
lex
m
in
.
c
c
:
dis
a
b
l
e p
o
ssi
b
ly overzealous optimizat
i
on
commit
|
commitdiff
|
tree
2006-09-23
Sven
V
er
d
oolaege
ed
o
main
.
cc
:
re
m
ember "constraint
"
repres
e
ntation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verd
o
olaeg
e
re
d
uced_basis: reset
"
negative widths" to
z
ero
commit
|
commitdiff
|
tree
2006-09-23
Sve
n
V
er
d
oolaege
l
exmin
.
cc: move mo
r
e
code to edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
S
ven
Verdoolaege
ed
o
main
.
h: add E
D
omain_floor abst
r
act
i
on
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdo
o
lae
g
e
l
e
x
m
in
.
cc:
d
efine max_term
ove
r
an E
D
omain rather
than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
S
ven Verdoo
l
ae
g
e
reducer
.
h
:
a
d
d virtu
a
l destru
c
t
o
r t
o
np_base t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
e
rdoolaege
l
exmin
.
cc: e
x
tract out s
o
me co
d
e to evalue_util
a
nd
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
options
.
c: pick up definition
of POL_INTEGER from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
ven
Ve
r
doolaege
optionc
.
c: m
o
ve c
h
oice
of which specializati
o
n
t
o use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolae
g
e
om
e
ga/par
s
er
.
l: let f
l
ex define yyline
n
o
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolae
g
e
lexmin
.
cc: optio
n
a
l
l
y skip check for empt
y
domains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdool
a
e
g
e
evalue
.
c: reduce_e
v
alue
_
in_domain: reduce
to zero
e
value
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdoolaege
lexmin
.
c
c: use barvinok_o
p
tio
n
s
commit
|
commitdiff
|
tree
2006-09-20
Sven Ver
d
oolaeg
e
introduce
b
arvinok_options structur
e
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdoolaege
le
x
min
.
cc: c
o
mpute gener
a
ting f
u
nctions of v
e
rtex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven
Verd
o
olaege
lexmin
.
cc: m
o
ve som
e
c
ode around to prepare for
new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
S
v
en Verdoolaege
e
va
l
ue:
d
e
cl
a
re arg
u
ment of eadd and evalue_copy const
commit
|
commitdiff
|
tree
2006-09-06
Sve
n
Ver
d
oolaege
lexmin
.
cc
:
pe
r
f
o
rm sub
s
titution im
m
ediately on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
S
ven
V
erdoolaege
RE
A
DME: add a warn
i
ng on (not) using shared
l
ibra
r
i
e
s
commit
|
commitdiff
|
tree
2006-08-31
S
ven Verdoolaeg
e
e
v
alu
e
.
h:
c
hange
na
m
e of hea
d
e
r define
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
evalue
.
h: m
a
ke more se
l
f-contained
commit
|
commitdiff
|
tree
2006-08-26
S
v
e
n
V
e
rdoolaege
b
f
counter
.
h
:
u
n
define divi
d
e
from polylib
'
s arithme
t
ique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven
V
erdoolaege
c
o
nfigure
.
in
:
no longer com
p
i
le sh
a
red libraries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en V
e
r
d
o
o
laege
README
:
reflect t
h
at --enab
l
e-fr
a
ctional is now
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sv
e
n Verd
o
ola
e
g
e
lexmin: r
e
mov
e
duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoola
e
g
e
ge
n
_fun
:
:
H
adama
r
d_product: use
unoptimized ve
r
si
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
ven Verdoolaege
barvinok
_
ser
i
e
s: perform
backsub
s
t
i
tu
t
ion al
s
o
i
f
all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdo
o
laege
b
a
r
vinok_enumerat
e
_union
_
series: call core of barvinok_serie
s
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
util
.
c: remove_eq
u
alities_p: corre
c
t
che
c
k
f
or
end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Ve
r
doola
e
ge
gen_fun:
set con
t
ext in no variable
s
cons
t
ructor
commit
|
commitdiff
|
tree
2006-08-21
Sven Ve
r
doolaeg
e
ge
n
_fun
:
:Hadama
r
d_
p
roduct:
don't assume
equalit
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Verdoolaege
b
a
rvinok_union: take context
i
nto account
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
po
l
y
t
ope_s
c
an:
o
pt
i
onal
l
y sk
i
p
ba
s
is reducti
o
n
commit
|
commitdiff
|
tree
2006-08-16
Sven
V
e
rdoolaege
polyt
o
pe_scan: scan in reduced basi
s
commit
|
commitdiff
|
tree
2006-08-16
Sven
V
erdoola
e
ge
polytope_
s
can: scans
the integer poi
n
ts in a polyto
p
e
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
ins
t
all NTL_QQ
.
h hea
d
er
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdoola
e
ge
b
asis_reduction
.
c: clea
n
u
p G
L
PK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
le
x
min
.
c
c: don't bother
t
ransform
i
ng if compress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
S
ven V
e
r
d
oolaege
l
exmin
.
cc: fix u
s
e of comp
r
ess_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolaege
sample
.
c: f
i
x rem
o
ve_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven V
e
rdoola
e
ge
barvinok_count
:
c
l
ean
u
p
m
emory
aft
e
r
simp
l
ifying constrai
n
ts
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdo
o
laege
README: update
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verd
o
olae
g
e
only
perform lexmi
n
tests when l
e
x
m
in has bee
n
compil
e
d
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdool
a
ege
some
mor
e
tests wit
h
unbounded polyhedr
a
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdo
o
la
e
ge
ad
d
some sma
l
l tes
t
s
fo
r
lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoolaege
le
x
min: barf
when p
o
lyhedron contains line
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verdoolaeg
e
lexmin: don't pr
i
nt
solution
when verif
y
ing
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
verify_main
.
cc: clean up memory
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
barvino
k
_s
e
ries: handle fixe
d
poly
t
o
p
es
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verdoolae
g
e
gen_fun: add constructo
r
fo
r
g
e
nerat
i
ng function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
barvi
n
ok
.
cc: remove_more
_
equalities: handle equ
a
l
ities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
gen_fun::coeffi
c
ient: r
e
set
the number o
f
rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Verdoola
e
ge
lexmin
.
c
c: use remove_equalities consistently
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n V
e
rdoola
e
ge
u
t
il
.
c:
c
om
p
ress_va
r
iable
s
: extrac
t
ed
from
l
e
xmin
.
c
c
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoo
l
ae
g
e
le
x
min: don't check
a
nything if gi
v
en r
a
n
ge lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
a
e
ge
lexmin
.
cc
:
remove_equalit
i
es; take
p
reimage
w
it
h
return
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
ge
l
exmin
.
cc: re
m
ove_equaliti
e
s: extend
retur
n
e
d
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmi
n
.
cc: in_domain: fix
t
ypo
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdool
a
ege
lexmin
.
cc:
r
emove some
debugging residues
commit
|
commitdiff
|
tree
2006-08-09
S
ven Ve
r
dool
a
eg
e
reduce_domain:
c
o
m
p
u
t
e convex un
i
on
o
f
do
m
ain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
o
l
a
ege
lexm
i
n
.
c
c: in
_
domai
n
: also
c
heck other
p
arts of uni
o
n
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdo
o
laege
l
e
xmin: in
_
d
omain: set
values
i
f
c
o
nstraints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdoo
l
aege
lexmin: plug s
o
me memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven
Verdoolaege
le
x
min: an experim
e
ntal tool for computi
n
g
t
he parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Ve
r
d
o
olaege
add
f
dstrea
m
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
evalue
.
c: floor2frac_r: plug m
e
mory le
a
k
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdool
a
ege
bar
v
inok
.
c
c: un
f
ringe
:
w
ork in
c
rementally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verd
o
olaege
e
val
u
e_frac2floor
_
i
n
_domain:
p
lug memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedron_Samp
l
e: allow equalities in input polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Poly
h
edron
_
Sam
p
le: make
sure ver
t
ices are a
v
ailable
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
e
r
doolaege
P
olyh
e
d
ron_Sa
m
ple:
s
imp
l
ify constraints
a
fter
choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdool
a
e
ge
P
o
lyhedro
n
_Sample: handle empty and
0
D pol
y
hedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
samp
l
e
.
c: alternative impl
e
mentat
i
on of remove
_
ray
commit
|
commitdiff
|
tree
2006-08-03
S
v
e
n
Verdoolaege
sample
.
c: Polyhedro
n
_
RemoveFixedColu
m
ns: handle pres
e
nce
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoolaege
ba
r
vinok_count
_
f:
c
heck whether po
l
yhedron is un
b
ou
n
ded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
aege
ba
r
vinok_c
o
unt:
s
implify constraints
a
f
t
er removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdool
a
e
ge
r
e
duced_bas
i
s: supp
o
rt 1D
p
oly
t
opes
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoolaege
r
e
d
uced
_
basis: en
s
ure all LP s
o
lutions are non-neg
a
tive
commit
|
commitdiff
|
tree
2006-08-02
S
ven Verd
o
ol
a
ege
occ: prin
t
parametric vertice
s
of set using Po
l
yLib
commit
|
commitdiff
|
tree
2006-08-01
S
ven Ver
d
oolaege
occ: add interface to ba
r
v
i
nok_l
e
xsm
a
ller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoola
e
g
e
util
.
c: provide dummy ba
r
vinok_lexsmaller_ev when Le
x
Smaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en V
e
r
do
o
l
a
ege
4
coins:
c
o
m
putes gen
e
r
a
ting function for 4
c
oin F
r
obenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdool
a
ege
gen_fun::
H
a
d
amard_prod
u
ct
:
apply paramet
e
r compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolae
g
e
ge
n
_fun::substitute: only pass in transformation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoo
l
aege
scarf
.
cc: support more cases of 3 (i
n
d
e
pendent) constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
doolaege
scarf
.
cc:
support more cases
of
4 c
o
nstraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verd
o
o
l
aeg
e
g
e
n
f
un
.
cc: add gen_fun::divide m
e
thod
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
e
r
d
ool
a
ege
genfun
.
cc: a
n
o
ther gen_
f
un::
s
u
mmate method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdo
o
laege
infinite_
i
co
u
nter: an
i
nc
r
emental counter for possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoolaege
icounter:
m
ove from
b
arvinok
.
c
c
t
o red
u
c
er
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolae
g
e
bfenum
e
r
a
tor::set_factor:
p
lug small m
e
mory leak
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoo
l
aege
b
arvinok_enumerate_union
_
series: u
s
e gen_fun::s
u
mmate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
eg
e
genfu
n
.
cc: add gen_fun::summate m
e
thod
commit
|
commitdiff
|
tree
next