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_read.c: fix minor bugs in tokenizer
2008-09-02
S
v
en
V
erdoola
e
ge
evalue_read
.
c: f
i
x
m
inor b
u
gs in tokeni
z
er
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoo
l
aege
u
pda
t
e omega for mis
s
ing
f
iles in dist
r
ibut
i
on
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Ver
d
oolaege
barvino
k
_e
n
umerat
e
_e: av
o
id infinite loo
p
when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
include omega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
move omega subdir to omega_int
e
r
f
ace
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
o
l
a
e
g
e
NTL_QQ
.
cc: add
s
tdlib include
f
o
r abort hidden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Ve
r
doolaege
remove gnulib l
i
nk-warning mo
d
ule com
p
le
t
ely
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rd
o
olaege
l
e
xmin
.
cc: find a
n
d sort are in
s
td:: n
a
me
s
pace
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
l
exmin
.
cc: avoid us
e
of typeo
f
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaeg
e
4coins
.
cc:
r
e
move dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdo
o
laege
tes
t
lib
.
cc:
add missing returns
commit
|
commitdiff
|
tree
2008-08-28
S
ven V
e
rdool
a
ege
worka
r
ound silly
su
n
compiler e
r
rors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Avoid use o
f
the m
a
ke -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
a
ege
s
ummate
.
c: add missing inclu
d
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
summate
.
c: add missing r
e
turn values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
Makefil
e
.
am: in
c
lude li
b
inclu
d
e dir in build d
i
r
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
eg
e
lau
r
ent
.
cc: don't use
c
onst
v
ectors as
map
k
e
y
s
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoo
l
ae
g
e
v
ariable
lengt
h
arrays are not standard
C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolae
g
e
genfun
.
cc
:
a
rgument of
mp_get_memor
y
_functions
s
ho
u
l
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
updat
e
pipli
b
for compatibility chang
e
s
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
u
pdate polylib
with
ex
t
ra fiel
d
in
P
aram_Po
l
yhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
doc: fix t
y
pos
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdo
o
l
a
ege
add missing a
l
gori
t
hm inc
l
ude for f
i
nd
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
erdoolaege
Fix out-of-bou
n
d
s er
r
or in Laurent expansion bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaege
Include empty
.
c file in libbarvinok if GiNa
C
was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
e
rdoolae
g
e
correctly reflect extra so
u
rc
e
s for
libb
a
rvinok a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoolaege
fix typo in com
m
ent
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoolaeg
e
lib/string
.
in
.
h: c
o
py __restrict
handling from
l
ib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
ven Verdoola
e
ge
u
pd
a
t
e gnulib functio
n
to last pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
S
ven Verd
o
olaege
enume
r
ator::handle: repla
c
e incorrect
d
elete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven V
e
rdoolae
g
e
upda
t
e pipl
i
b
fo
r
corrected Urs_
p
arms han
d
ling
commit
|
commitdiff
|
tree
2008-06-12
S
ven V
e
rdool
a
e
ge
con
f
igure:
u
s
e cor
r
ect head
e
r files in ca
s
e
o
f b
u
nd
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolae
g
e
omega/occ: only open deb
u
g
output file if
the
r
e
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
oolaege
doc: fix
typo
commit
|
commitdiff
|
tree
2008-05-08
S
ven Verdoolae
g
e
ad
d
editors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verdool
a
ege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
a
d
d some test sets
from its
l
2008
p
aper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: add latest
(
a
c
ce
p
ted)
p
ubli
c
ations
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
M
akefile
.
am
:
add section_array
.
h to distri
b
ution
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
Verdoolaege
nor
m
alization
.
c: comput
e
_shifts: r
e
mov
e
redunda
n
t r
e
turn
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
move Free_ParamNames po
l
yl
i
b a
n
d m
a
ke par
a
m names c
o
nst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
V
e
rdoolaege
occ: add interface
t
o
b
a
rvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Ver
d
oolaege
ex
_
c
o
nvert
.
cc
:
extract ex2evalue from
ran
g
e
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
V
e
rd
o
olaege
doc: documen
t
more --summatio
n
methods fo
r
barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
options
.
c:
r
ename "barvinok
"
su
m
mation
m
ethod to
"
box"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Ver
d
ool
a
eg
e
M
akefile
.
am:
ch
e
ck
-
e
u
le
r
: also che
c
k
laurent
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
summate
.
c: barvinok_summate: h
a
ndle products
o
f
p
olytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
V
erdoolaege
eval
u
e
.
c: export eva
l
ue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
d
o
olaeg
e
be
r
nstein: numeric2value:
f
i
x ty
p
o
to
a
llow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdo
o
laege
util
.
c: Factor_Context: extracted from barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoo
l
aege
summat
e
.
c
:
b
a
r
vinok_summate: ignore
f
loors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ve
r
doolaege
evalue
.
c: add
e
v
alue_
f
loor2fra
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
ol
a
e
g
e
omega/occ: pri
n
t
barvinok ver
s
ion
number
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoo
l
ae
g
e
d
o
c: update some references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
Make laurent based summ
a
tion
the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
g
e
summa
t
e
.
c: barvinok_
s
ummate: handle quasi-po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
red
u
ce_evalue: extract out evalue_reduce
_
size
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
eval
u
e
.
c: ev
a
lue_sh
i
f
t
_
vari
a
ble
s
: all
o
w shifti
n
g of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
summate
.
c: ha
n
dle equalities
for all
summati
o
n
algo
r
ithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
summate
.
c: barvi
n
ok_summate: move
c
ommon parts
o
f summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
eval
u
e
.
c: evalue_sum: move s
i
gn handling
i
nto es
u
m_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
barvinok_e
.
cc: enumerat
e
_sum
:
use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
summat
e
.
c:
extract
b
arvinok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
rena
m
e summa
t
e
.
cc to barvinok_summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoo
l
aege
evalue
.
c: red
u
c
e_evalue: re
d
uce floor with c
o
n
s
tant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ve
r
doolaege
Add Laurent
expansion based summati
o
n
commit
|
commitdiff
|
tree
2008-04-25
S
ven
V
e
r
doolae
g
e
e
v
alue
.
c: exten
d
e
e
qu
a
l to ha
n
dle domains and N
a
Ns
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
bin
o
m
ial
.
c: extr
a
ct bino
m
ial a
n
d
factorial fro
m
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
p
ower
.
h: extract from e
u
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
i
ntroduce ev
a
lue_shift_varia
b
l
e
s
commit
|
commitdiff
|
tree
2008-04-25
S
ve
n
Verdoolaege
latt
i
ce_point
.
cc
:
exp
o
r
t relative_coo
r
d
i
nates
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rdoolaege
latt
i
ce_point
.
h:
ma
k
e
su
r
e c
o
rrect evalu
e
s are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oolaege
la
t
tice_p
o
i
n
t
.
cc: a
d
d ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c:
i
nternalize
ug
l
y
bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lat
t
i
c
e_point
.
cc: multi_monom/la
t
tice_points
:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Ve
r
do
o
lae
g
e
doc:
c
l
e
a
n
up "e
x
ponential substitution"
sectio
n
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdo
o
la
e
g
e
test_bound
.
cc: avoid loss
of precision caused
by conv
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ve
r
d
oolaege
barvinok_boun
d
: o
p
tion
a
l
l
y
take maxima
l
size of
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaeg
e
barvi
n
o
k_bound: add --i
t
e
rate
options for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
ool
a
ege
ve
r
ify
.
c:
expo
r
t
f
unctions for se
t
ting
and c
l
earing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
verify
.
c
:
evalu
e
_
o
ptimum
:
allow compu
t
ation of
opt
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
V
erdoo
l
a
e
g
e
bernstein
.
cc: evalue2ex: don't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ve
r
doolaege
bou
n
d
.
cc: fix ca
l
l to evalu
e
_conver
t
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
e{
a
dd,mul
}
_pe
r
iodics: plug
memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
eva
l
u
e
_bern
s
tein_coefficie
n
t
s
: handle problems w
i
th
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoo
l
aege
update
polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lattice_
w
idth
.
c
: skip d
i
rections that ar
e
i
dentical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
en
Verdo
o
laege
Make
f
ile
.
am: add cdd94e-test to distr
i
b
ution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
om
e
ga/occ: optionally use parker for
c
o
mputing cardinalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
n
o
rmalization
.
c: sk
e
w_t
o
_posit
i
ve
_
o
rth
a
nt: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/conv
e
rt
.
cc: relation2Domain: on
l
y collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
occ: add dump for dumping
i
n barvin
o
k_e
n
umerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
a
e
ge
bar
v
inok_enumerate_e: opt
i
onally us
e
parker's
m
ethod
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdool
a
ege
sta
n
dard_constrai
n
ts: take cons
t
raints
i
nstead
o
f p
o
lyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normaliz
a
tion
.
c
: extract standard_c
o
nst
r
ai
n
ts
from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdo
o
laege
p
arker/count
_
solutions
.
cc: fix treat
m
ent
of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eule
r
.
cc: ev
a
lue_derive: handl
e
constant po
l
ynomi
a
ls
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
add
some test
s
ets from
cas
e
s 2004 and
c
c 2005
p
a
pers
commit
|
commitdiff
|
tree
next