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
update polylib for speed improvement in in_domain
2008-03-24
Sven
Verdoolaege
for_ea
c
h_lower_upper_bo
u
nd: allow absen
c
e o
f
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
Revert "eadd_pa
r
tit
i
ons: try to combine mu
l
tiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
eva
l
ue_read_p
a
rti
t
ion: put partitions back in t
h
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue:
r
educe
_
eva
l
ue:
add note on so
m
e missed
opport
u
nitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
o
laege
be
r
nste
i
n
.
c
c
: handle input with unions
+
relation viola
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
m
a
ximize
.
cc: deal wit
h
union
s
in input during verification
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ver
d
oolae
g
e
evalue_substitute: properly handle rela
t
ions
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
evalue
.
c: cl
e
a
n
up
emul a
n
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
S
ven
Verd
o
o
laege
ev
a
lue_read: correctly read va
r
iable name
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
evalue_read: accep
t
top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ver
d
ool
a
eg
e
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalu
e
_
bac
k
substi
t
ute: add r
e
quired m
o
dulo con
s
traints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoola
e
ge
evalue
.
c: *
_
partitions: simpli
f
y constrain
t
s before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven V
e
r
d
oo
l
aege
d
o
c: more
specific information on buggy cddlib
v
ersions
commit
|
commitdiff
|
tree
2008-01-28
Sve
n
Verdo
o
l
aege
configure
.
in: require cddl
i
b 0
.
9
4
e
by testing for
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sv
e
n Verdoolaege
configure
.
in:
o
n
ly
c
o
mpile oc
c
i
f
code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barv
i
nok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
ad
d
some tests for i
m
pl
e
mentation of pr
o
jection theore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
doc:
d
oc
u
ment new
options and n
e
w a
p
plicatio
n
s
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Verdool
a
e
ge
AUTHORS: update sup
p
o
r
t inform
a
tion
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
genfun
.
cc: sh
o
rt_rat::print: corr
e
ctly p
r
int polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ver
d
oolaeg
e
Expor
t
serie
s
a
s
barv
i
nok_enum
e
r
a
t
e_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rd
o
o
laege
remove
_
par
a
meter_e
q
ualities
:
stop "
r
emoving" eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoola
e
ge
series: leav
e
fre
e
ing of P argume
n
t to c
a
lling
f
unct
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verd
o
ola
e
ge
doc:
document
implementation of th
e
projection theore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
add barvin
o
k_enumer
a
te_e
_
series i
m
plement
i
ng the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
genfun
.
cc: fix and document paralle
l
pol
y
topes
c
lass
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Only compile zsolv
e
if gcc 3
.
4 or later
is available
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
doolaege
Mo
v
e GiNaC-
i
ndepende
n
t part of li
b
rary to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoo
l
aeg
e
polylib: upda
t
e
commit
|
commitdiff
|
tree
2007-11-22
S
v
en
Verdool
a
ege
doc: how to co
u
n
t the nu
m
b
e
r of
ele
m
ents in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaeg
e
doc
/
implementation
.
tex: a
v
o
id mu
l
ti
p
ly defin
e
d
l
abel
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
latti
c
e
_widt
h
.
c: try
v
e
r
t
i
ces o
f
previou
s
inte
g
er hu
l
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verd
o
olaege
doc:
d
ocument i
n
t
eger hu
l
l
comp
u
t
atio
n
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
d
o
olaeg
e
h
u
l
l
.
c: add all points found by sam
p
ling di
r
ectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Ve
r
doo
l
aege
Possible opti
m
izations for generaliz
e
d b
a
sis r
e
duction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdool
a
eg
e
S
upport
u
se of
gene
r
alized b
a
sis reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Ver
d
oolae
g
e
add Polyh
e
dron_Inte
g
er
_
Minimum
f
or
computin
g
the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc
:
document generalized basis
reduc
t
ion base
d
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
rdoolaege
doc/barvino
k
.
bib: add
m
issin
g
string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
ad
d
more missing asse
r
t
.
h #in
c
ludes
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
o
olae
g
e
evalue
.
c:
add missi
n
g include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
ven V
e
rdoolaege
c
o
nfigure
.
i
n
:
p
ass path of GMP installat
i
on to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
confi
g
u
r
e
.
i
n: only compile libb
a
rvinok
a
s
a
s
tatic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoolaege
Polyh
e
dron
_
Redu
c
ed
_
B
asi
s
:
d
o
n't st
o
p too
e
arly w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdoolaege
comp
u
te_
w
idth_d
i
r
ec
t
ions: only ke
e
p list of di
s
t
i
nc
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoo
l
aege
z
s
olve: don'
t
in
s
tal
l
libr
a
ry
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolae
g
e
ve
r
sion
.
c:
s
how use of T
O
PCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolae
g
e
configure
.
in: do
n
't set with_{poly,pip}l
i
b_
p
r
e
fix
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
V
e
rdoolaege
Po
l
yhedron_S
a
mple: b
e
sat
i
sfied with
a
rea
s
onabl
e
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_inte
g
er_h
u
ll: option
a
l
ly print sta
t
s
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
Verdoolaege
basis_reduction: k
e
ep track of number of LPs sol
v
ed
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
l
aege
o
pti
o
ns: mov
e
--print-s
t
ats to
l
i
brary
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Ver
d
oolae
g
e
bernstein: rework tes
t
ing framewor
k
to not depe
n
d on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rd
o
o
la
e
ge
b
ernstein: add p
i
ecewise_
l
st::is_equal
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Ve
r
doo
l
aege
su
p
port
n
ew
e
r versio
n
s of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
e
r
doolaeg
e
standard_constraint
s
: move fro
m
to
p
com
.
c to
p
olysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaeg
e
polysign
.
h: re
m
ove dependency on lexmi
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Ver
d
oolaege
zsolve:
a
dd b
a
nner
.
h
t
o distr
i
but
i
o
n
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erdoola
e
ge
Pol
y
hedro
n
_
La
t
ti
c
e_Wid
t
h_Directions: print p
r
ogress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verd
o
olaege
basis_r
e
ductio
n
_pip: abort on invalid (e
m
pty
)
i
np
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
V
erdoolaege
READM
E
: explai
n
how to
get submo
d
ule
s
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdoolae
g
e
doc: document
l
attice widt
h
computation
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n
V
erdoolaege
so
m
e
l
attice wi
d
th tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolaege
P
olyh
e
d
ron_Lat
t
i
c
e
_Width:
d
e
cide
o
n facet
s
to clo
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Ve
r
doolaege
add
Polyh
e
dron_Lattice_Width for
computing
l
a
ttic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
erdoola
e
ge
hilbert
.
c:
a
d
d Cone_Integer_
H
ull for computing vertic
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoola
e
g
e
po
l
ysign: add
p
ip-b
a
cked v
e
rsi
o
n
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdo
o
laege
po
l
ysign: add constrai
n
t
s_opt to co
m
pute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
p
olysign
_
cdd: switch to use of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolae
g
e
pol
y
sign_
g
lpk: switch
t
o
use of
Ma
t
ri
x
r
epresentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doo
l
aeg
e
doc: docume
n
t computation of Hilber
t
basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erd
o
olaege
C
one_Hilbert_
B
asis: use standard_constrai
n
ts t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
U
s
e zsolve to
c
o
mpute Hilbert basis of a co
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
la
e
ge
comp
i
le zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoola
e
ge
zsolve: don't i
n
stall hea
d
ers an
d
executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: i
n
itialize Back
u
pTime
i
n Z
S
olveConte
x
t
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zsolv
e
:
zs
o
l
ve
S
ystem: add
miss
i
ng verbosity
check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
ol
a
ege
zsolve: o
v
e
rride LI
B
S from top
l
evel
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
doolaege
add 4ti2-1
.
3
.
1
+au
t
o
conf-0
.
1
b
a
nner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add z
s
olve
f
rom 4
t
i2-1
.
3
.
1+a
u
t
o
conf
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param_uti
l
.
c: expor
t
bit_vector_c
o
unt
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
t
opcom
.
c:
e
xtract part of code for
s
e
t
t
i
ng up s
t
andard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sv
e
n Verdoolae
g
e
gen_fun::Hadam
a
rd_produc
t
: print p
r
ogress indicat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move -
-
verbos
e
option to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen_
f
un::summate: handl
e
f
u
l
l
specia
l
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Repl
a
ce incremen
t
al infinite set co
u
nt
e
r
by
"
regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
ma
k
e counter
:
:add_fal
l
i
n
g_po
w
ers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
merge (most
o
f) common part of counter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
icount
e
r: handle speci
a
lization
of polynomi
a
ls
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
icounter:
don'
t
bo
t
her "
n
ormali
z
ing" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
export neg_left_hermi
t
e
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
basis_reduction_cdd: check for p
o
ssibly incorrect
ou
t
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedron_Sample: handle p
o
lyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
g
en_fun::opera
t
or
e
v
alue *: a
l
ways return a
va
l
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::operator evalue *: remove commented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olae
g
e
barvinok_enum
e
rate_e
.
cc: ha
n
d
l
e verifica
t
ion
o
f pro
b
lems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
ege
bar
v
inok
_
enumerate_e: optional
l
y pr
i
nt st
a
ts
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
b
a
rvinok_enumerate_e: support verification of genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_enumerate_e:
s
upport
con
v
ersion of gen
e
rating
.
.
.
commit
|
commitdiff
|
tree
next