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.cc: remove unused nonorthog
2008-12-27
Sven
V
erd
o
olaege
barvin
o
k
.
cc
:
rem
o
ve
unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update
pip
l
i
b
for Min
G
W c
o
mpatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erdoolaege
up
d
ate polylib for MinGW compatibi
l
ity
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verdoo
l
aege
fdstream
.
cc: don't (
r
e
)
de
c
lar
e
filen
o
if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
e
v
a
lue
.
c: in_dom
a
in: s
p
e
c
ial-case 0D domai
n
s
commit
|
commitdiff
|
tree
2008-12-25
Sve
n
V
erdoolaege
Avoid
u
se o
f
sys/times
.
h hea
d
er
when
not available
commit
|
commitdiff
|
tree
2008-12-25
S
ven Verdoolae
g
e
add gnu
l
i
b
gets
u
bop
t
m
o
du
l
e
for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven V
e
rdoolaege
REA
D
ME: mention t
h
at G
i
NaC is also needed for th
e
Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
ven Verdoolaeg
e
Al
l
ow bui
l
d
of occ w
h
en usin
g
bundle
d
omega
commit
|
commitdiff
|
tree
2008-10-28
Sv
e
n
Verdool
a
ege
doc: add a
reference to a master thesis actually us
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
ve
n
Verdoolaege
barvino
k
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n
V
erdoolaege
README: fix up installati
o
n
instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
o
l
aege
Add files
generated
b
y
bison and flex
t
o the distr
i
b
ution
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
er
d
oolaege
upd
a
te polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
ege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdo
o
laege
e
v
a
lue
.
c: affi
n
e2evalue: reduce coeffi
c
ients
commit
|
commitdiff
|
tree
2008-10-10
S
v
en Verdo
o
laege
eval
u
e
.
c: evalue_level_cmp:
p
r
o
duce more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
ven Verdoolaege
d
o
c
:
a
dd another paper re
f
erri
n
g to
t
he library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
piecewis
e
_ls
t
.
h: avoid duplicat
e
par
a
me
t
er
name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verd
o
olae
g
e
evalue_read
.
c: fix minor bug
s
in
t
okeni
z
e
r
commit
|
commitdiff
|
tree
2008-09-02
Sv
e
n Verd
o
olaege
update
omega for mis
s
ing f
i
l
es
in
d
ist
r
ibution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
barvi
n
o
k_
e
numerate_e: avoid inf
i
nite loo
p
when prese
n
ted
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rd
o
olaege
include
o
mega submod
u
le
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
move o
m
ega subdir to omega_
i
nterfac
e
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
Ver
d
oolaege
NTL_Q
Q
.
c
c
: add std
l
ib inclu
d
e for abort hidden i
n
NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
remove g
n
ulib link-warning
m
odu
l
e completely
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ver
d
oola
e
ge
lexmin
.
cc: find and sor
t
a
re
i
n std::
n
amespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
lexmin
.
cc: avoid use of ty
p
eof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
4coins
.
cc:
r
emove
d
ea
d
code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
t
e
stlib
.
cc: a
d
d missing returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
workaroun
d
silly sun compiler
e
r
r
o
r
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
A
v
oid use of the make -C
opti
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
olaege
summa
t
e
.
c
: ad
d
m
i
ssing inclu
d
e
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdoola
e
ge
sum
m
ate
.
c: a
d
d
m
issin
g
retu
r
n val
u
es
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Makefil
e
.
am
:
in
c
lude li
b
include dir
in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
laure
n
t
.
cc: d
o
n't
use const vec
t
ors as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
variable length
arrays
a
re
n
o
t standard C++
(
y
et
)
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdo
o
l
a
ege
gen
f
un
.
c
c: argument of mp_
g
et_me
m
ory_f
u
nctions
s
h
o
uld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ve
n
Verdoolaege
u
pdate piplib for
c
ompatibility changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
update
p
olylib with
extra field in P
a
ram_Polyhe
d
ron
commit
|
commitdiff
|
tree
2008-07-30
S
ven Verdool
a
ege
doc: fix t
y
pos
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdo
o
laege
a
d
d
mi
s
sing algorithm include fo
r
fin
d
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdool
a
ege
Fix out-of-bounds
e
rror in Laurent expan
s
i
o
n bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ve
r
doolaege
Include empty
.
c
file in lib
b
a
r
vinok if GiNaC wa
s
not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdoolaege
c
orrect
l
y
r
eflect ext
r
a sources
for libbarvino
k
and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ve
n
Verdoolae
g
e
fix typo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdo
o
laege
lib/stri
n
g
.
in
.
h: copy
_
_restrict handling f
r
om lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoola
e
ge
update
g
nulib f
u
nction
to
l
ast
pre-GPL
v
3 versio
n
commit
|
commitdiff
|
tree
2008-07-02
Sven
V
erdoola
e
ge
enume
r
ator
:
:handle: re
p
lace incorre
c
t
d
elet
e
by
f
ree
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
updat
e
p
iplib for corre
c
ted U
r
s_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verd
o
ola
e
ge
c
o
nfigure: use corr
e
ct head
e
r
fi
l
e
s in case of bu
n
d
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/occ: only
o
pen debug outpu
t
f
i
le if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
d
o
c:
f
ix t
y
po
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
add editors to ITSL
pape
r
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
barvinok 0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ver
d
ool
a
ege
add
some te
s
t sets
fr
o
m itsl2008 pa
p
er
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
doc:
a
d
d
lates
t
(accept
e
d) publications
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verdoolaege
Makefile
.
am: add section_
a
rray
.
h to distributio
n
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Ver
d
oolaege
normalization
.
c: comp
u
t
e
_
shifts: remove
r
edundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdo
o
laege
move Free_
P
ara
m
Nam
e
s polylib and make pa
r
am names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
er
d
oolaege
occ
:
a
d
d in
t
erfa
c
e to ba
r
vinok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdo
o
laege
ex_c
o
nvert
.
c
c
: extrac
t
ex2
e
val
u
e from r
a
nge
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaeg
e
doc: document m
o
re --summati
o
n
m
et
h
ods for barvi
n
ok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
o
ptions
.
c: rename
"
b
arvino
k
" sum
m
ation method
t
o "b
o
x"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
M
a
kefile
.
am: chec
k
-euler: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Ve
r
doolaege
summat
e
.
c: ba
r
vinok_summa
t
e: handle prod
u
cts o
f
pol
y
tope
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ver
d
oolae
g
e
evalue
.
c: expo
r
t evalue_
r
eorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bernste
i
n:
n
umeric2v
a
lue: fix typo to
all
o
w correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
u
t
il
.
c: Factor_Cont
e
xt
:
extracted fr
o
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
ummat
e
.
c
: barvinok_su
m
ma
t
e: ignore floors indepen
d
ent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoo
l
aeg
e
evalue
.
c: add evalue_floor2fra
c
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolae
g
e
omeg
a
/occ: p
r
int ba
r
vinok ver
s
i
o
n numb
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
doc: update some refere
n
ces
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make la
u
rent based
s
ummat
i
on th
e
default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summat
e
.
c: barvi
n
ok_su
m
mate:
handle quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ver
d
oolaege
reduce_evalue: extract out eva
l
ue_reduce_si
z
e
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdo
o
laege
e
v
a
lue
.
c
: evalue_shift
_
va
r
iab
l
e
s: all
o
w shifting
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdool
a
ege
summa
t
e
.
c: handle e
q
ualiti
e
s
for
a
l
l
summat
i
on
algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: b
a
rvinok_summate: move common part
s
o
f summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: evalue_sum:
move sign handling into e
s
u
m
_
over_dom
a
in
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
a
ege
barvino
k
_e
.
cc: enumera
t
e_sum
:
use
b
a
r
vino
k
_su
m
mate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: extra
c
t ba
r
vinok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rd
o
olaege
rena
m
e summate
.
cc
to barvinok_summat
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
e
v
a
l
ue
.
c
: reduce_eva
l
ue: reduce f
l
oor wi
t
h co
n
s
t
ant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
A
dd Laurent expan
s
i
o
n
b
a
sed s
u
mmat
i
on
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
evalue
.
c:
e
xtend eequal
t
o
h
an
d
le domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdool
a
ege
b
i
nomial
.
c:
extract binomial and
factorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdool
a
ege
power
.
h: ex
t
rac
t
f
rom eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
introduce evalue_shift_variab
l
e
s
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n
Verdoolaeg
e
lattice_
p
o
i
nt
.
c
c
: exp
o
rt relative_coordinat
e
s
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdool
a
eg
e
la
t
t
i
c
e_point
.
h: make sure
c
orr
e
ct eva
l
ues
are used
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Ve
r
doolaege
lattic
e
_point
.
cc: add
c
eiling functi
o
n
commit
|
commitdiff
|
tree
2008-04-24
S
v
e
n Verdoolaege
util
.
c:
i
n
t
ern
a
l
i
ze ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattice_point
.
cc: m
u
lti_mono
m
/lattice_
p
oints: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolae
g
e
doc: clean up "expon
e
n
t
ial substit
u
tion" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_
b
o
u
nd
.
cc: avo
i
d l
o
ss of precision caused by
c
on
v
ersion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erd
o
olaege
barvinok_bo
u
nd
:
o
p
tionall
y
take maximal siz
e
of doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdoolaege
barvinok_bou
n
d
:
add --ite
r
ate options
for eva
l
uati
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolae
g
e
verify
.
c:
e
x
po
r
t f
u
nctio
n
s
f
or setting
and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: eva
l
u
e
_optimum: allo
w
c
ompu
t
ation of
opt
i
mum
.
.
.
commit
|
commitdiff
|
tree
next