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
barvinok 0.29
2009-07-22
S
ven Verdoolaege
b
arvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolae
g
e
doc: a
d
d experimen
t
al comparison between
old an
d
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Ver
d
oolaege
lexmin
.
cc: rem
o
ve "
a
nach
r
onism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
doc: add
some less common
.
st
y
files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add
"
clever"
L
aurent e
x
p
a
n
sio
n
bas
e
d
summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdool
a
ege
move
L
ast_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verdool
a
ege
e
x
tract out param_polynomial
f
rom laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolae
g
e
extr
a
ct ve
r
te
x
_cone from laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
u
pdat
e
polyli
b
for
s
peed improvement i
n
i
n
_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
update
piplib for distr
i
bution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven V
e
rdo
o
laege
P
ol
y
hedron_Factor:
f
ix mer
g
ing of grou
p
s
of c
o
lumns
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdo
o
lae
g
e
(t)
c
ou
n
ter:
move
counter::res
e
t() up
to
c
ounter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
Makefi
l
e
.
am: keep better track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n
V
erdoolaege
Line_Le
n
g
t
h:
handle 0D polytope in 1D sp
a
c
e
commit
|
commitdiff
|
tree
2009-04-02
Sven V
e
rdoolae
g
e
Poly
h
e
d
r
on_Factor: ha
n
dle polyhedra with a non-trivi
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n Verdoolaege
up
d
ate
p
ipl
i
b fo
r
change
in c
o
n
f
igure arguments
commit
|
commitdiff
|
tree
2008-12-27
Sve
n
V
e
rdoo
l
aege
barv
i
nok
.
cc: remov
e
unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
rd
o
o
l
a
ege
update piplib for
M
inGW
compatibi
l
ity
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoola
e
ge
update polylib for MinGW comp
a
tibility
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
r
doolaege
evalue
.
c
:
in_domain:
spec
i
al-c
a
se 0D dom
a
ins
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolae
g
e
Avoi
d
use of sys/time
s
.
h header when not available
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Ve
r
d
o
olaege
add gnulib getsubopt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
README: men
t
ion that GiNaC
i
s also
ne
e
d
ed f
o
r the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Allow build of occ when using bundled
omega
commit
|
commitdiff
|
tree
2008-10-28
Sve
n
Verdoolaege
doc: add
a
r
efere
n
ce to
a
master thesi
s
ac
t
ual
l
y using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
V
e
rdoolaege
barvinok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oolaege
README: fix up installation instruct
i
ons
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
Add f
i
les
generated by bison and flex to the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
olaege
update poly
l
ib
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoolaege
upda
t
e piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c:
a
ffine
2
evalu
e
: reduce
c
o
e
fficients
commit
|
commitdiff
|
tree
2008-10-10
Sven
Verdoolaege
e
v
alue
.
c: eva
l
ue_level_cmp: produce more c
o
nsistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
v
en
Verdoolaege
doc: add anot
h
e
r
pap
e
r refer
r
ing
t
o th
e
lib
r
ary
commit
|
commitdiff
|
tree
2008-09-16
Sven
V
e
rdoolaege
piecewise_lst
.
h: avoi
d
duplicate
parame
t
er name
commit
|
commitdiff
|
tree
2008-09-02
S
v
en V
e
rdool
a
ege
e
v
alu
e
_read
.
c
:
fix minor bugs in tokeni
z
er
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
update
omeg
a
for mis
s
ing files in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolae
g
e
ba
r
vi
n
ok_enu
m
e
rate_e:
a
v
o
id
infini
t
e
loop wh
e
n
p
res
e
nt
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
move ome
g
a subd
i
r
t
o omeg
a
_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
NTL_QQ
.
c
c
: add
s
tdlib inclu
d
e for abort hidden in NTL_ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
remove gnulib
link-warn
i
ng
m
odule c
o
mpletely
commit
|
commitdiff
|
tree
2008-08-24
S
ven Verdoolaege
update polylib
with extra field
in Pa
r
am_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
S
ve
n
Verdoolaege
doc:
fix typos
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
upd
a
te gnulib functio
n
to last pre-GP
L
v3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
en
u
merator::handle: replace inc
o
rre
c
t delete
b
y
free
commit
|
commitdiff
|
tree
2008-06-17
Sven
Verdool
a
eg
e
up
d
ate
piplib
for
c
orrec
t
e
d
Urs_pa
r
m
s
h
andling
commit
|
commitdiff
|
tree
2008-06-12
S
v
e
n V
e
r
d
oolaege
configu
r
e: use c
o
r
r
ect header files in
case
o
f
bund
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaeg
e
o
m
eg
a
/occ: on
l
y op
e
n debug output file if there i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolaege
a
d
d editors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
barvin
o
k 0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add some test sets fr
o
m it
s
l
2
00
8
paper
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
doc
:
add latest (acc
e
pt
e
d) public
a
t
i
ons
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
Mak
e
fi
l
e
.
am
:
add sect
i
on_arr
a
y
.
h t
o
distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
normaliza
t
ion
.
c: compute_shifts: remove redundant return
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
move Free_Param
N
a
mes
p
ol
y
l
ib a
n
d make param names
c
o
n
st
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoo
l
aege
occ: add interface t
o
barvino
k
_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_convert
.
cc:
e
xtra
c
t ex2evalu
e
fr
o
m
ran
g
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: document more --summation m
e
th
o
ds f
o
r
b
arvinok
_
summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
opt
i
o
ns
.
c
:
r
e
name
"barvi
n
ok"
s
ummat
i
on method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
M
a
k
e
f
i
le
.
am: check-
e
uler: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
summ
a
te
.
c: ba
r
v
i
nok_su
m
mate: handle pr
o
duc
t
s of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
eva
l
ue
.
c: export evalue
_
r
e
orde
r
_t
e
rms
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdool
a
ege
be
r
nstein: numeric2value:
f
ix typo to allow corr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ve
r
doola
e
ge
uti
l
.
c:
F
actor_Co
n
text: extracted f
r
om ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoola
e
ge
summat
e
.
c
:
barvinok_sum
m
ate: ignore
floo
r
s indepen
d
ent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalu
e
.
c: add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
omega/oc
c
: print barvin
o
k ver
s
i
on number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
doc: update
s
ome
r
eferences
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoo
l
aege
Make
laur
e
nt based summation t
h
e de
f
ault
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
do
o
laege
s
u
mmate
.
c: b
a
rvinok
_
summate: handle
q
uasi-polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
reduce_evalue: extract out evalue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
r
doolaege
evalue
.
c
: eval
u
e
_shift_variables: al
l
ow sh
i
ftin
g
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
summate
.
c: handle equaliti
e
s
f
o
r all summ
a
tion alg
o
r
i
thms
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n V
e
rdoolaege
s
ummat
e
.
c: barvinok_
s
ummate: move common
p
art
s
of
summ
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
e
v
alu
e
.
c:
e
value_s
u
m
:
m
ove sign handling into e
s
um_ov
e
r_dom
a
in
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ve
r
doolaeg
e
barvinok_e
.
cc: en
u
merate
_
sum:
u
s
e
barvinok_su
m
mate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
ummat
e
.
c: extrac
t
barvinok_sum
m
a
t
e
from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
r
e
name
s
u
mma
t
e
.
cc to ba
r
v
i
n
ok_
s
umm
a
te
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ve
r
d
o
o
laeg
e
evalue
.
c: red
u
ce_evalue
:
reduce floor wit
h
con
s
tant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erd
o
olaege
Add Laurent
e
xpans
i
o
n
bas
e
d su
m
mation
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoola
e
ge
evalue
.
c: extend eeq
u
al to h
a
ndl
e
domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
ven
Ve
r
doolaege
binomia
l
.
c: ext
r
act b
i
nom
i
al and
factori
a
l fr
o
m euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaeg
e
p
ower
.
h: extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n
Verd
o
olaege
intr
o
duce eva
l
ue_sh
i
ft_variabl
e
s
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n
Verdoolaege
lattice_point
.
cc: export
re
l
ative_coordinate
s
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
ege
lattic
e
_point
.
h: make sure correct eva
l
ues are
used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolae
g
e
lattice_point
.
c
c
: add ceiling fun
c
ti
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdo
o
laege
util
.
c: in
t
erna
l
i
ze
u
gl
y
bv_cei
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verd
o
olaege
lattice
_
point
.
cc
:
mul
t
i_m
o
n
o
m
/lat
t
i
c
e_points: ret
u
rn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
erd
o
olaege
doc: cl
e
a
n
u
p "exp
o
nential substitution"
s
e
c
tion
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
test_bound
.
cc: avoid loss of
precision caus
e
d by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolae
g
e
bar
v
inok_
b
o
u
n
d
: optionally take maximal si
z
e of dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
barvinok_bo
u
n
d
: ad
d
--ite
r
a
te opti
o
ns for ev
a
luating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verd
o
olae
g
e
verif
y
.
c: e
x
port functions f
o
r setting and
c
l
ea
r
in
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
rdoolaege
verify
.
c: ev
a
lue_opti
m
u
m: allow c
o
mputa
t
ion of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
ber
n
st
e
in
.
c
c: ev
a
l
u
e2ex: don'
t
as
s
ume all peri
o
dic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
cc: fix call t
o
eva
l
u
e
_conve
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add,mul}_p
e
riodics:
p
lug m
e
mo
r
y leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue
_
bernstein
_
co
e
fficients: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ve
r
doolaege
u
pdate
p
olylib
commit
|
commitdiff
|
tree
next