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: support more cases of 3 (independent) constraints
2006-07-28
Sve
n
Verdoo
l
aeg
e
scarf
.
cc: su
p
port more
c
ases of 3 (independent) con
s
tr
a
ints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
scar
f
.
c
c
: support
m
ore
c
ases of
4 con
s
tr
a
ints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaeg
e
genfun
.
cc: add gen_
f
un::divide
m
ethod
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdo
o
laege
ge
n
fun
.
cc
:
anothe
r
gen_fun::summate method
commit
|
commitdiff
|
tree
2006-07-27
Sve
n
Verdool
a
eg
e
infinite_icounter:
a
n
incremental c
o
unter for pos
s
ibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sve
n
Verdo
o
laege
icount
e
r: move from b
a
rvinok
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
f
e
n
umera
t
o
r
:
:set_fa
c
tor:
p
lug small memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
b
arvinok_enumerate_union_series: use gen_fun
:
:summat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
genf
u
n
.
cc:
add gen_fun::summate method
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
gen_fun::
H
adama
r
d_p
r
od
u
ct: optimize c
o
mputat
i
on of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdool
a
ege
gen_fun::Hadamard
_
prod
u
ct:
m
ake first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
polar_dec
o
mpose
r
::decompose:
mak
e
sure vertices ha
v
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolae
g
e
np_base:
a
dd do_
v
erte
x
_con
e
m
ethod
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n Verdoolaege
gen_fun::print: allow pr
i
ntin
g
to streams othe
r
than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
er
d
oo
l
a
e
ge
b
f
c
ounter
.
cc: move some more c
o
de from ba
r
vin
o
k
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen
_
fun
.
h: short_rat: use Q
Q
instead of pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
NTL_
Q
Q
.
cc: a rationa
l
NTL typ
e
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rd
o
o
laege
v
erify_main
.
cc: sm
a
ll me
m
o
ry clean
-
up
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoola
e
ge
b
a
rvinok
_
series: move ch
o
ice of
whi
c
h gf_base subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
b
arvi
n
ok
.
cc
:
move s
o
me
functionality into se
p
a
r
ate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
barvinok
.
c
c
: mov
e
P
olyhedron argument t
o
start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
bar
v
inok
.
cc:
m
ove start and handle_polar int
o
n
p_ba
s
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
gen_f
u
n
: add shift metho
d
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
ge
n
_fun:
add
copy constructo
r
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
zz2v
a
lues: m
a
ke first argu
m
ent
c
o
n
s
t
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
V
er
d
o
o
l
a
ege
z
z2value: m
a
k
e first argument const
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
P
oly
h
edron_is_
i
nfinite: use
P
o
l
y
hedron_Sa
m
ple i
f
availab
l
e
.
commit
|
commitdiff
|
tree
2006-07-20
Sve
n
Verdoolaeg
e
p
o
lyhedron_sample:
c
omputes an in
t
eger vect
o
r
i
n a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
S
ve
n
Verdool
a
eg
e
c
o
nfi
g
ure
.
i
n
: check f
o
r glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc: simplex::shrunk_p
o
lyh
e
d
r
on: only proce
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdoolaege
gen_fun
:
:add: perfor
m
t
r
iv
i
al
r
eduction step
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdoolaege
genfun
.
cc: re
o
r
d
er t
e
r
m
s in num
e
rator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc: normalize_
m
atr
i
x: s
i
mp
l
ify n==3 case
s
o
me
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Ve
r
doolae
g
e
scarf
.
c
c
: support some
c
ases of 4 c
o
n
straints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
barvinok_enumerate_e: --print-all for printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
c
c
: normalize_matrix: simplify n==3 case
commit
|
commitdiff
|
tree
2006-07-10
S
ven
V
erdoo
l
aege
scarf
.
cc:
project ou
t
2 variables using Scarf complex
commit
|
commitdiff
|
tree
2006-07-08
Sven
V
erdoolaege
u
til
.
c: exp
o
rt Extended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
S
v
en Verdoolaege
co
n
figure
.
in: mak
e
-
-
enable-fractional
t
he default
commit
|
commitdiff
|
tree
2006-06-29
S
v
e
n Verdoola
e
ge
barvi
n
ok_coun
t
: check whether unboun
d
ed
polyhedra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sve
n
Verdool
a
e
g
e
pol
y
m
a
ke/co
n
figure
.
i
n: allow spe
c
ificat
i
on
o
f
l
ocation
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
red
u
ce_d
o
ma
i
n
: dec
l
a
r
e
variable a
t
start of code
b
lock
.
commit
|
commitdiff
|
tree
2006-06-28
Sven V
e
r
doolaege
re
m
ove_equalities: stop remo
v
inf equalities if inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
S
ven Verdoola
e
ge
barvi
n
ok_c
o
un
t
: sto
p
co
u
nting if first
f
actor is
e
mpty
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
erdoo
l
a
e
ge
barv
i
nok_count_
f
: che
c
k f
o
r e
m
ptine
s
s of
P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvin
o
k_count: tell PolyLib we are
o
nly int
e
rested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
v
e
n
Verdoolaege
versi
o
n 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdo
o
laege
README: do
c
ument
o
pti
o
nal inst
a
llation of
O
m
ega
and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdo
o
laege
doc: doc
u
ment Omeg
a
interface
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
d
o
c: (
m
inimally) docum
e
n
t polyma
k
e cli
e
nts
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
erdoolaege
doc: further docu
m
ent ba
r
v
i
nok_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdoolae
g
e
document barvinok_
u
nion
commit
|
commitdiff
|
tree
2006-06-22
Sven Ve
r
do
o
laege
doc: doc
u
ment ba
r
vino
k
_ehr
h
art
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
e
rdoola
e
ge
doc:
do
c
u
me
n
t some op
t
i
ons
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
laege
doc: add reference f
o
r NTL
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Ver
d
oolaege
doc: describe ve
r
tice
s
based i
n
p
ut specification
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
laege
doc: typo
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: add subsectio
n
s
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoo
l
aege
use "g
i
t
d
es
c
ribe" to descr
i
be v
e
r
s
ion
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
lae
g
e
add
doc to di
s
tribution
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
l
aege
doc: war
n
that th
e
o
utp
u
t
m
ay look d
i
f
f
e
rent
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verd
o
ol
a
ege
doc: barv
i
n
o
k
_cou
n
t no longer per
f
orms manual counting
.
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verd
o
olaeg
e
doc
:
replace "Ap
p
endix" by
"S
e
ction"
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: reflect rename of cdd2polylib
.
pl to latt
e
2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdoolaege
doc: r
e
solve un
d
efined references
t
h
rough
m
y
thesis
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdo
o
lae
g
e
d
o
c: add
t
itle page
commit
|
commitdiff
|
tree
2006-06-21
S
v
en
V
erdoolaege
d
oc: us
e
r gui
d
e
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
rena
m
e
cdd2polylib
.
pl to latte2pol
y
lib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven
V
erdoolaege
po
l
ymake/h
_
star_v
e
c
tor
.
c
c: client
t
o com
p
ute the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
S
v
en Verdool
a
ege
polyma
k
e/
c
onvert
.
cc: ext
r
act polymake_
c
on
s
t
raints2polylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
u
t
il
.
c: ex
p
ort
C
o
n
e_over_Polyhedron
commit
|
commitdiff
|
tree
2006-06-18
S
v
en Verdoolae
g
e
ba
r
vinok_e
h
rhart
:
comp
u
te e
h
rhart (quasi-)polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sven Verd
o
olaege
b
arvi
n
o
k
_
coun
t
: allow polytope to
be spe
c
ified by its
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
Verd
o
olaege
barvinok_count:
h
andl
e
infi
n
ite polyhedra with no int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Ver
d
oolaege
barvinok_count: stop count
i
n
g
i
f
one o
f
th
e
factors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
Ver
d
oolaege
evalue_f
r
ac2floor_in
_
domain: a
l
low argume
n
t of
resulting
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
e
r
d
ool
a
e
g
e
util
.
c: specif
i
cally
i
ndicate empty sets i
n
P
ol
y
hedron
_
p
print
commit
|
commitdiff
|
tree
2006-06-02
Sven Ver
d
oola
e
ge
util
.
c
:
move
align_mat
r
ix from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven V
e
rdoolae
g
e
m
a
t_ut
i
l
.
cc: some
u
seful functions
e
x
t
racted from gen
f
un
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
Ver
d
o
olaege
evalue
.
c: export reduce_evalu
e
_
in_domain
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
ev
a
l
ue
.
c: ren
a
me reduce
_
in_domai
n
t
o
evalue_range_
r
educti
o
n
_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven V
e
r
d
oolaege
barvin
o
k
.
cc: remove
ancient
debugging c
o
d
e
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoola
e
ge
eva
l
u
e
.
c: export evalue_
f
rac
2
floor_in
_
d
o
m
ain
commit
|
commitdiff
|
tree
2006-05-24
Sv
e
n
V
e
rdo
o
laege
gen_fun:
:
sub
s
titute: add more detaile
d
explanation
commit
|
commitdiff
|
tree
2006-05-24
Sven V
e
rd
o
olaege
re
d
uce_domain: hand
l
e NULL CEq
commit
|
commitdiff
|
tree
2006-05-24
Sven
V
erdoolaege
barvinok
.
cc: move re
d
uce_dom
a
in into se
p
arate file
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
util
.
c
: add Polyhedron_pprint
commit
|
commitdiff
|
tree
2006-05-18
S
v
e
n Verdoo
l
aege
lattice_point
.
cc: lattice points computation
e
x
t
r
acted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
conversion
.
c
c:
a
dd values2zz and rays2 from
barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
S
v
en Verdool
a
eg
e
evalue
.
c: add
evalue_
z
e
r
o
commit
|
commitdiff
|
tree
2006-05-18
Sven V
e
rd
o
olaege
dec
o
mpo
s
er: extrac
t
out
v
er
t
e
x_de
c
omposer f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
S
ven Verdoolaege
b
a
rvi
n
ok
.
cc
:
ext
r
act out
so
m
e fun
c
tionality into decompo
s
er
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sven Verdoolae
g
e
u
til
.
c: document Euclid
function
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdoolaege
o
cc: p
l
u
g
som
e
more (potential) memor
y
lea
k
s
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdoolaege
occ: d
o
n't use freed variable in
e
r
ror message
commit
|
commitdiff
|
tree
2006-04-10
Sven Verdoolae
g
e
ba
r
vino
k
.
cc: add some documentation to l
a
ttice point
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
Sven Verd
o
o
l
aege
b
arvino
k
_enumer
a
t
e_union:
call
g
en_fu
n
::
a
d
d_u
n
ion
commit
|
commitdiff
|
tree
2006-04-05
Sven Verd
o
ol
a
ege
ge
n
_fun: a
d
d add
_
u
nion method
commit
|
commitdiff
|
tree
2006-04-03
Sven Verdoolaege
b
a
rvino
k
.
cc: d
o
cumen
t
Spli
t
OnVar
a
nd
r
e
move some redundant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sven Verdo
o
laege
re
m
o
v
e in
a
ppropriate u
s
es of P
o
lyh
e
dron2Param_SimplifiedDomain
commit
|
commitdiff
|
tree
next