repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
fdstream.cc: don't (re)declare fileno if it's a macro
2008-12-26
Sven V
e
r
d
o
o
l
aege
fdstrea
m
.
cc: don'
t
(re)d
e
c
l
are fil
e
no
if it's a
m
a
c
ro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoola
e
ge
e
v
alue
.
c: in_domain: s
p
eci
a
l-case 0D
dom
a
i
n
s
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
e
r
doolae
g
e
A
v
o
id use of sys/times
.
h he
a
der
when not available
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n
V
e
rdool
a
ege
add gnulib ge
t
subopt
module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verd
o
olaege
R
E
ADME: m
e
ntion that GiNaC is
also needed for th
e
Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven
V
e
r
doo
l
a
ege
Allow bui
l
d
o
f occ when
using bund
l
ed
o
mega
commit
|
commitdiff
|
tree
2008-10-28
Sve
n
Verd
o
ol
a
ege
doc: add a referen
c
e to a m
a
ste
r
thesi
s
actu
a
ll
y
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoolaege
README: fix
up installation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoo
l
aege
A
dd
f
iles generated
b
y bison and fle
x
to the
d
i
s
tribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
lae
g
e
update p
o
lylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update
p
iplib
commit
|
commitdiff
|
tree
2008-10-10
S
v
e
n
V
e
rdoola
e
g
e
evalue
.
c: affine2evalue: r
e
duce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n Verdo
o
laege
evalue
.
c: evalue_level_cmp: produce mo
r
e con
s
istent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add another pap
e
r r
e
ferring to th
e
libra
r
y
commit
|
commitdiff
|
tree
2008-09-16
Sven
V
er
d
ool
a
e
g
e
piecewise_l
s
t
.
h: avoid dupli
c
ate paramet
e
r
name
commit
|
commitdiff
|
tree
2008-09-02
S
v
en V
e
r
d
oolaege
evalue_read
.
c: fix mi
n
or bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Ver
d
oolaege
upda
t
e ome
g
a for miss
i
ng fi
l
es i
n
d
i
st
r
ibution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
barvino
k
_
enumerat
e
_
e
:
a
v
oid
inf
i
nit
e
loop w
h
en presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
Ve
r
doolae
g
e
in
c
lude omega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
move om
e
ga subdir
t
o omega_interf
a
ce
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Ver
d
oola
e
ge
NTL_QQ
.
cc: add st
d
lib include for abor
t
hidden in
NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolae
g
e
r
e
move gnulib link-warning module completely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexm
i
n
.
c
c: fin
d
and sort
are
in std:: namespac
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
lexmi
n
.
cc: av
o
id use
o
f t
y
peof
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
4coins
.
cc:
remove dead co
d
e
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
Verdoolaege
testlib
.
c
c: ad
d
miss
i
ng returns
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
workarou
n
d silly su
n
comp
i
ler erro
r
s
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
Av
o
id use of the make -C opt
i
on
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
s
u
mmate
.
c
:
add mi
s
s
i
ng include
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
summate
.
c
:
add missing retur
n
values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
Makefile
.
am: include
l
ib
include dir in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
r
doo
l
aege
laurent
.
cc: don
'
t us
e
const vec
t
o
rs
a
s map
keys
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
varia
b
le length arrays are no
t
s
tandard C+
+
(yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
genfun
.
cc: argumen
t
o
f
mp_get_memory_fu
n
ctions shoul
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
update p
i
p
lib for compatib
i
lity c
h
anges
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdo
o
l
a
e
g
e
upda
t
e polylib with
extra field in
Param_P
o
lyhedron
commit
|
commitdiff
|
tree
2008-07-30
S
v
en
V
erdo
o
la
e
ge
doc: fix
typos
commit
|
commitdiff
|
tree
2008-07-22
S
ven
V
erdoolaege
add missing algorith
m
i
nclude for
f
ind
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Fix o
u
t-of-bound
s
error in Laure
n
t
e
x
pansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdool
a
ege
In
c
l
u
d
e empty
.
c fil
e
i
n
libbarvinok if GiNaC wa
s
not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdoola
e
g
e
correctly reflect extra
so
u
r
ces
for l
i
bbarvinok
an
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
f
i
x
typo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
lib/string
.
in
.
h
: c
o
py __
r
estrict han
d
ling fr
o
m lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
v
en
Ver
d
oolaege
update gnulib func
t
ion to last
p
re-GPL
v
3 version
commit
|
commitdiff
|
tree
2008-07-02
S
ven Verdo
o
laege
e
n
ume
r
ato
r
::h
a
ndle: replace
i
n
correct de
l
ete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven
V
erdoolaege
upda
t
e piplib for corrected Urs_p
a
rms h
a
ndli
n
g
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
c
on
f
igure
:
use correct
header files i
n
c
ase
of bundle
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolaeg
e
co
n
fig
u
re
.
in: fix che
c
k
for code_
g
en library availabil
i
ty
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoolaege
om
e
ga
/
oc
c
: only open debug output file if the
r
e
i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolaege
omega/Makefile
.
a
m
: avoid b
i
son's -o opt
i
on as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven V
e
rdo
o
laege
r
a
n
g
e
.
cc: a
d
d missing include of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
doc: fix t
y
p
o
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Ver
d
oolaege
add
e
d
itors to ITSL pape
r
s
commit
|
commitdiff
|
tree
2008-05-07
Sv
e
n
V
e
rdoolaege
us
e
argp for argument parsing in bar
v
inok_ehrhart a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
properly
h
andle NTL CP
P
FLAGS and LDFL
A
GS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
b
a
sis_reduction_temp
l
.
c:
a
dd
missing in
c
l
u
d
e
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
b
a
rvino
k
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
a
dd some test se
t
s
fro
m
its
l
2008 paper
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
d
oc: add lates
t
(
accepted) publications
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
Makefile
.
am: add secti
o
n_a
r
ray
.
h
t
o distribution
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verdoolaeg
e
norma
l
i
zation
.
c: c
o
mp
u
te_sh
i
fts: remo
v
e
redundant retu
r
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
e
ge
move Free_Para
m
Names pol
y
lib and make para
m
names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verd
o
olaeg
e
occ:
a
d
d
i
nter
f
a
c
e to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
er
d
oolaeg
e
ex_c
o
nvert
.
cc: e
x
tract ex
2
evalue fr
o
m range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: do
c
u
m
ent more --summat
i
on methods
for bar
v
inok_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
opti
o
ns
.
c: rena
m
e "bar
v
i
nok"
s
ummation meth
o
d
to "box"
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ver
d
o
o
l
aege
Makefile
.
am:
c
he
c
k
-
e
u
ler: als
o
check laurent
commit
|
commitdiff
|
tree
2008-05-04
S
v
en V
e
r
d
o
o
l
a
ege
su
m
mate
.
c: barv
i
nok_summa
t
e: han
d
le products of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
e
v
alue
.
c:
e
xpo
r
t evalue_r
e
order_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
e
ge
bernstein: n
u
meric2value: fix typo to a
l
low correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
util
.
c:
F
act
o
r_C
o
ntext: ex
t
r
a
c
t
ed from barv
i
n
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
su
m
mate
.
c: barvinok_summate: igno
r
e
f
l
o
ors in
d
e
p
endent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
o
olaege
e
value
.
c: add eva
l
ue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
oolaeg
e
omega/occ
:
p
r
int
barvinok ver
s
i
o
n
n
u
m
b
er
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
doc: update s
o
me r
e
ferences
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
Make
l
aurent based summation
t
h
e
default
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
s
u
mmate
.
c
: barvinok_summate: handle
quasi-p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
la
e
ge
re
d
uce_evalu
e
:
extract
out
e
va
l
ue_r
e
d
u
c
e_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
e
v
a
lue
.
c: evalue_shift_var
i
ables:
allow
s
h
i
fti
n
g of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolae
g
e
s
u
mmate
.
c: handle e
q
ualit
i
e
s
for all su
m
m
a
tion algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
s
u
mmate
.
c: ba
r
vinok_su
m
mate: move common
p
arts of
su
m
ma
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
value
.
c: evalue_sum: move sign hand
l
ing
int
o
esum_ov
e
r_domain
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Ve
r
dool
a
ege
barvinok_e
.
cc
:
enum
e
rate_sum: use barvinok_summa
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdo
o
laege
summa
t
e
.
c: ext
r
a
c
t barvinok_
s
ummate
from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
r
doolaege
rename summate
.
cc to barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
ev
a
lue
.
c
:
reduce_eval
u
e:
reduce
f
loor with const
a
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
A
dd Lauren
t
expansi
o
n based sum
m
ation
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oola
e
ge
evalue
.
c: ex
t
end e
e
qu
a
l
to h
a
n
d
le do
m
ain
s
and NaN
s
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdool
a
e
ge
b
i
nomial
.
c
:
extract binomial and fa
c
torial
from eu
l
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoo
l
aege
power
.
h: extract from e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
i
ntrod
u
ce evalu
e
_s
h
ift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
latt
i
ce_point
.
cc: export relative
_
c
oo
r
din
a
tes
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n
Verdoolaeg
e
lat
t
ice_point
.
h: mak
e
sure correct evalues are
u
sed
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
l
attice_point
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdoolaeg
e
util
.
c: inter
n
alize u
g
ly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdo
o
l
a
ege
lattice_point
.
cc: multi_mono
m
/la
t
t
ic
e
_points: re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
er
d
oola
e
ge
doc: clean
u
p "expon
e
nti
a
l substitution" se
c
tion
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_bound
.
cc: avoid loss
of prec
i
sion caused by c
o
nversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
barvinok_
b
ound:
op
t
ionall
y
take m
a
x
i
mal size o
f
domains
.
.
.
commit
|
commitdiff
|
tree
next