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
iscc: add @ operator
2008-08-28
Sven Verdo
o
laege
N
T
L
_QQ
.
cc: ad
d
st
d
lib incl
u
de for abort
hidden
i
n NTL_vecto
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verd
o
olaege
remove
g
n
u
lib li
n
k-wa
r
n
i
n
g mo
d
ule
c
ompletely
commit
|
commitdiff
|
tree
2008-08-28
S
ve
n
Verdoolaege
lexmin
.
cc: find an
d
sort are in std:: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaeg
e
lex
m
in
.
c
c
: avo
i
d use of
t
ypeof
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdool
a
ege
4coins
.
cc: remove
d
e
a
d code
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
testlib
.
cc: add missin
g
returns
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rd
o
o
l
aege
workaround silly sun compiler
errors
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
Avoid u
s
e of the make -C o
p
tion
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
do
o
l
aeg
e
summate
.
c
:
add m
i
ss
i
ng
include
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
summa
t
e
.
c: add missing return values
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
Makefile
.
am: include
lib include di
r
i
n
bu
i
ld dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
o
l
aege
l
a
urent
.
c
c: don't
use c
o
n
st vector
s
as ma
p
keys
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Ver
d
o
ola
e
ge
v
ariable length arrays
a
re not standard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
ge
n
fun
.
cc:
a
rgument of mp_get_m
e
mory_f
u
nctions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oo
l
a
e
ge
update p
i
plib for
compati
b
ility c
h
anges
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
up
d
a
t
e polylib with extra field in Param
_
Polyhe
d
ron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verd
o
olaege
doc
:
fix typos
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Ve
r
doolaege
add
mis
s
ing algorithm inc
l
ude for find
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoo
l
aege
Fix out-o
f
-bounds erro
r
in
L
a
u
rent expansi
o
n b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Ve
r
doolaege
I
nclu
d
e empty
.
c file i
n
libbarv
i
nok
if
G
i
N
a
C was
n
ot
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaege
correctly ref
l
ect extra sources
f
or li
b
barvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ven Verdoolae
g
e
fix typo
i
n comment
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
erdoolaege
l
i
b
/string
.
i
n
.
h: copy __restrict
handling
f
rom lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaeg
e
u
p
date gnu
l
i
b
function to last pre
-
GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven
Verdo
o
la
e
ge
enumerator:
:
handle: re
p
lace incorr
e
c
t
de
l
ete
b
y
f
ree
commit
|
commitdiff
|
tree
2008-06-17
Sven
V
erdo
o
lae
g
e
u
pdate pipl
i
b
f
o
r
corr
e
cted Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
S
ven
V
erd
o
olaege
configure: use corre
c
t header files in c
a
s
e of bund
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n V
e
rdoolaege
configure
.
in: fix
c
heck
fo
r
code_gen li
b
rary
a
vailabili
t
y
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
ege
omega/occ: only
o
pen debug
o
utp
u
t fi
l
e
if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
aege
omega/Makefil
e
.
am: avoid bison's -o option as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoolaege
range
.
cc: add mi
s
sing include of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
V
e
r
d
o
ol
a
ege
doc: fix t
y
po
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolaege
add editor
s
to ITSL pap
e
rs
commit
|
commitdiff
|
tree
2008-05-07
Sven Ve
r
d
o
ol
a
e
ge
use
a
rgp for arg
u
m
ent
p
arsing i
n
barvinok_ehrhart
a
nd
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
proper
l
y handle NT
L
CPPFLA
G
S
and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdool
a
ege
basis_r
e
du
c
tion_templ
.
c: add mis
s
in
g
include
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
barvin
o
k
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
er
d
oola
e
ge
add some tes
t
sets
f
r
o
m itsl2
0
08
p
a
per
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdo
o
l
a
ege
doc: add la
t
est
(a
c
ce
p
t
ed) pu
b
lication
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am:
add
se
c
ti
o
n_array
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
V
e
rdoo
l
aege
norm
a
lization
.
c: co
m
p
u
te_shifts: remove redu
n
d
ant return
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verdoolaege
move
F
ree_ParamN
a
mes polylib and make param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolae
g
e
o
cc:
a
dd interface to
barvinok_su
m
mate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
ex_conv
e
rt
.
cc: extract
e
x2evalue from r
a
nge
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdool
a
ege
doc:
docum
e
nt
m
ore --summation methods
f
or barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
opt
i
ons
.
c: re
n
ame
"
bar
v
inok"
s
ummation method to "bo
x
"
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
Makefil
e
.
am: che
c
k-eu
l
er: a
l
so ch
e
ck laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaeg
e
summate
.
c: barvinok_s
u
mmate: h
a
nd
l
e products of polyto
p
es
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
e
v
a
l
u
e
.
c:
expo
r
t ev
a
lue_reorder_t
e
rms
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
bernstein: numeric2v
a
lue: fix
t
ypo to al
l
o
w correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoo
l
aeg
e
u
til
.
c: F
a
c
t
o
r
_Context
:
e
xtracted from
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
erdoolaege
su
m
mate
.
c: barvinok_s
u
mmate: ignore
f
loors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
ev
a
lu
e
.
c: add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
erdo
o
l
a
ege
omega
/
o
cc:
p
rin
t
barvinok versi
o
n numb
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
doc
:
update
s
o
m
e
references
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolaege
M
ake
l
aurent
based summ
a
tion the default
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
summate
.
c: b
a
rvinok_summate:
h
andle q
u
asi-polyno
m
i
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
a
e
ge
red
u
ce
_
ev
a
lu
e
:
e
xt
r
a
c
t out evalue_reduce
_
size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
e
v
alue
.
c: evalu
e
_shi
f
t
_
var
i
ables:
a
llow shifti
n
g
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oo
l
aege
sum
m
ate
.
c: han
d
le equalitie
s
f
or all s
u
mmation algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
o
olaege
summ
a
te
.
c:
barvinok_summate
:
move common parts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdo
o
laege
evalu
e
.
c:
e
valu
e
_sum: move sign hand
l
i
n
g into esu
m
_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rd
o
olaege
b
arvi
n
ok_e
.
cc: enumerate_sum
:
use barvino
k
_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
umm
a
te
.
c: extract
ba
r
vino
k
_summat
e
from
bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
rename summa
t
e
.
cc
t
o
barvi
n
o
k_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: r
e
duce_
e
valu
e
: redu
c
e
floor
wit
h
cons
t
an
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
Ad
d
Laurent exp
a
nsion based
summation
commit
|
commitdiff
|
tree
2008-04-25
S
ve
n
Ve
r
doolaege
evalue
.
c: ext
e
nd eequal to handle do
m
ains and NaN
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
binomial
.
c
: extract bin
o
mial
and
f
actorial from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoo
l
aege
pow
e
r
.
h
:
extract from
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
in
t
roduce evalue_shift
_
var
i
ab
l
es
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolae
g
e
latti
c
e_p
o
int
.
cc: export relat
i
ve_coordin
a
tes
commit
|
commitdiff
|
tree
2008-04-24
S
v
e
n
Ve
r
doolaege
lattice_point
.
h: ma
k
e
su
r
e c
o
rrect
e
val
u
es are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
dool
a
ege
lattice_po
i
nt
.
cc
:
add ceili
n
g function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
ege
util
.
c: inter
n
alize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
l
a
ttice_po
i
nt
.
cc: mult
i
_monom/la
t
tice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verd
o
olaege
doc: cle
a
n up
"exponential su
b
stitut
i
on" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaeg
e
te
s
t_bound
.
cc:
avoid lo
s
s
of precision c
a
used by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rd
o
olaege
bar
v
inok_b
o
und: o
p
tionally take maximal size of
d
o
ma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
barvin
o
k_bound: ad
d
--iterate options for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
v
erify
.
c: export functions for s
e
t
ting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
verify
.
c
:
e
v
alue_optimu
m
: allow comp
u
tation
o
f opt
i
m
um
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoo
l
aege
be
r
nstein
.
cc:
e
va
l
ue2ex: don't
a
ssu
m
e all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdoolaeg
e
bound
.
cc:
f
ix call to
e
val
u
e
_co
n
ver
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{a
d
d,mu
l
}
_
periodics: plug memor
y
leak
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_
b
ernstein_coe
f
ficients
:
handle probl
e
ms with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
Verdoolaege
upda
t
e
polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven
Verdoo
l
aege
latt
i
ce_width
.
c:
skip dire
c
tions that are
i
dentical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven V
e
rdoola
e
ge
Makefile
.
a
m: ad
d
c
dd94e-te
s
t to d
i
st
r
ibution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/occ: opt
i
onal
l
y use pa
r
k
e
r for computing
c
a
rdinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Ver
d
oolaege
normalizat
i
o
n
.
c: skew
_
to_positi
v
e
_orthant
:
p
rope
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
ome
g
a/c
o
n
v
e
r
t
.
cc: rel
a
ti
o
n2Doma
i
n:
o
nly colle
c
t set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verd
o
ola
e
ge
o
cc: add
d
u
mp for dumpin
g
in barvi
n
ok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
barv
i
n
o
k
_enumerate_e: optiona
l
ly use par
k
er's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
o
laege
stand
a
rd_constrain
t
s: ta
k
e constraints in
s
tead
o
f polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
n
ormalization
.
c: extract s
t
and
a
rd_cons
t
raints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdo
o
laege
parker/count_solutions
.
c
c: fix t
r
eatm
e
nt
o
f existent
i
ally
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdoo
l
aege
c
omp
i
l
e
pa
r
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
euler
.
cc: evalue_d
e
rive: handle constant poly
n
o
m
ials
commit
|
commitdiff
|
tree
next