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 Verd
o
olaege
barvinok
.
cc:
r
emo
v
e unu
s
ed non
o
rthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update pi
p
lib for
M
inGW co
m
pati
b
ility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
upda
t
e polylib for MinGW co
m
patibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
e
r
doolaege
fdstream
.
cc: don't (r
e
)d
e
clare fileno
i
f it's a macro
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoo
l
aege
evalue
.
c: in_domain: s
p
ec
i
al-case 0
D
do
m
a
i
ns
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Ve
r
dool
a
ege
Avoid use of sys/t
i
mes
.
h heade
r
when
n
ot av
a
ilable
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdool
a
ege
a
dd g
n
u
l
ib getsub
o
pt
m
odule for MinGW
commit
|
commitdiff
|
tree
2008-12-01
S
v
en Verdoola
e
g
e
R
EADME: ment
i
on
t
hat GiNaC is a
l
so needed for the Omeg
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
A
llow build of occ
when usi
n
g
bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoo
l
aege
doc: add a r
e
ference to a maste
r
thesis
a
ctually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoolaege
README: fix up installati
o
n instructions
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n
V
e
rdoo
l
aege
Add fil
e
s
g
e
nerated by bison and
f
lex to
the distribution
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Ver
d
ool
a
ege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n
V
e
r
doolaege
u
pda
t
e
piplib
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
Verd
o
olaege
evalue
.
c:
a
ffine2e
v
al
u
e: r
e
du
c
e
c
o
e
ffici
e
nts
commit
|
commitdiff
|
tree
2008-10-10
Sven V
e
rdoolae
g
e
evalu
e
.
c: e
v
alue_l
e
ve
l
_cmp: produce more con
s
istent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
v
en Verdoolaege
d
oc: add another paper referring to the librar
y
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoola
e
g
e
p
i
ecew
i
se_ls
t
.
h: avoid
d
upli
c
at
e
p
a
ramete
r
name
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
rdoolaege
evalu
e
_read
.
c: fix mino
r
bugs in toke
n
ize
r
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaeg
e
updat
e
ome
g
a for missi
n
g fi
l
es in distributi
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Verdoolaege
barvin
o
k_enumerate_e: avoid infinite loop
w
h
e
n
p
r
esented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven V
e
rdoo
l
a
e
g
e
include
omega
submod
u
le
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Verdo
o
laege
mo
v
e omega sub
d
ir to om
e
ga_interface
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
NTL_
Q
Q
.
cc: add
stdlib incl
u
de for abort hidden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
re
m
ove g
n
ulib link-warn
i
ng mo
d
u
l
e comple
t
ely
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
lexmin
.
cc: f
i
nd an
d
sort
are i
n
s
t
d
:: namespa
c
e
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoo
l
aege
lexmin
.
cc: avoid use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
4co
i
n
s
.
cc: remove
d
ead
code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
testlib
.
cc: add
m
issin
g
ret
u
rns
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolae
g
e
workar
o
und si
l
ly
s
un
com
p
iler errors
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verd
o
olaege
Avoid use
of the make -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
summate
.
c: add
m
iss
i
ng include
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
summate
.
c: ad
d
m
i
ssi
n
g return values
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
olae
g
e
Ma
k
ef
i
le
.
a
m
:
i
nc
l
ude lib include dir in
b
uild d
i
r
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
l
aurent
.
cc: don
'
t use const vectors as map keys
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
varia
b
le length
array
s
a
r
e not
s
ta
n
d
a
r
d
C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
genfun
.
cc: arg
u
men
t
of mp_get_memory_functions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
update pi
p
l
i
b for compatibi
l
i
t
y cha
n
g
e
s
commit
|
commitdiff
|
tree
2008-08-24
S
v
en Ve
r
doolaege
update p
o
l
ylib with extra field in Param_Po
l
yhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaeg
e
doc: fix typ
o
s
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdo
o
laege
add missing al
g
orit
h
m inclu
d
e
fo
r
find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoo
l
a
ege
Fix out
-
o
f
-bounds error in Laure
n
t expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Include em
p
ty
.
c
fil
e
in
l
i
b
barvinok
i
f GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoo
l
aege
c
orrectl
y
reflect extra sources for libb
a
rvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
fix typo in c
o
mment
commit
|
commitdiff
|
tree
2008-07-22
S
ven Ver
d
oolaege
lib/string
.
i
n
.
h: copy __re
s
trict handling f
r
om lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
update gnulib
f
unc
t
io
n
to last pre-GPLv3
v
ersion
commit
|
commitdiff
|
tree
2008-07-02
Sven Ve
r
doolaege
e
numerator:
:
handle: r
e
place incorrect de
l
ete b
y
free
commit
|
commitdiff
|
tree
2008-06-17
S
ven V
e
rd
o
olaege
update piplib
f
o
r
corrected
U
r
s
_parms ha
n
dling
commit
|
commitdiff
|
tree
2008-06-12
S
ven Verdool
a
ege
config
u
re
:
use
co
r
rect
h
ead
e
r files in case
o
f
bu
n
d
l
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
conf
i
gur
e
.
in: fix c
h
eck for co
d
e_gen
l
i
br
a
ry avai
l
ability
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
o
m
ega/occ: only open debug outp
u
t file if there
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Ver
d
oolaege
omega/Makefile
.
am: avoid bison's
-o option
as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
range
.
cc:
add missing include of a
l
loca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doolaege
a
d
d editors to
I
TSL p
a
p
e
r
s
commit
|
commitdiff
|
tree
2008-05-07
S
ven
V
erdoolaege
use argp for argume
n
t pars
i
ng in bar
v
inok
_
e
hrhart
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaeg
e
p
r
o
perly handle
N
TL CPPFLAGS and LDFLA
G
S
commit
|
commitdiff
|
tree
2008-05-07
Sve
n
Verdo
o
laeg
e
basis_
r
eduction_temp
l
.
c: a
d
d m
i
ssing incl
u
de
commit
|
commitdiff
|
tree
2008-05-04
S
v
en V
e
rdoolaege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Ve
r
d
o
ol
a
e
ge
add some test sets
f
rom itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
doc:
add latest (accepted) publications
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoola
e
ge
Ma
k
e
f
ile
.
am: add section_array
.
h t
o
distribution
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdo
o
la
e
ge
norma
l
ization
.
c: compute_shifts: remove redundant r
e
turn
commit
|
commitdiff
|
tree
2008-05-04
S
ven
Verdoolaege
move Free_ParamNames poly
l
ib and make pa
r
am names co
n
st
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdool
a
ege
o
cc: add interf
a
ce to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ve
r
doolaege
e
x_convert
.
cc: extract ex2e
v
a
lue from r
a
nge
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
doc: document more
-
-s
u
mmation
m
et
h
ods for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
ven
V
erdoolaege
optio
n
s
.
c:
r
e
name "barvinok" s
u
mmation
method to "box
"
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
o
ol
a
ege
Mak
e
file
.
a
m
: check-euler: also check lau
r
ent
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
V
erdoolaege
s
ummate
.
c: barvinok
_
summate: h
a
n
d
le products
o
f polyt
o
pes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
doo
l
aege
e
v
alue
.
c: expo
r
t eva
l
u
e_reord
e
r_terms
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoo
l
aege
be
r
nstein: num
e
ric2value: fi
x
typo t
o
all
o
w
cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdo
o
laege
util
.
c: Factor_C
o
n
text:
extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
summate
.
c: barvinok
_
summate: ignor
e
floors indep
e
ndent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
e
v
alue
.
c: add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
o
m
ega/oc
c
:
print
barvinok vers
i
o
n numb
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
d
o
c: update some refe
r
ences
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
Make laure
n
t based sum
m
ation the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
summ
a
te
.
c
:
barvinok_summate: han
d
le
qu
a
si-pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
reduce_e
v
alue: extr
a
ct out evalue
_
reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
eva
l
u
e
.
c:
eval
u
e_shift_
v
ariables: all
o
w shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
erdoolaege
su
m
mate
.
c: handle equal
i
tie
s
for all s
u
mmatio
n
algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
summate
.
c: barvi
n
ok_summate:
move c
o
mmon parts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: evalue_sum: move sign handling into esum_ove
r
_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ver
d
o
olaege
barvinok_e
.
c
c: enumer
a
t
e_sum: u
s
e
barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
sum
m
ate
.
c
: extract barvinok_s
u
mmat
e
from bar
v
i
n
ok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
r
ename
s
ummate
.
cc to
b
arvin
o
k_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doo
l
aege
evalu
e
.
c: reduce_evalue: reduce floor
w
ith constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
A
dd L
a
urent expansion b
a
s
e
d summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
o
olaege
evalue
.
c: extend ee
q
ual to h
a
n
d
le domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolaege
binomial
.
c: ex
t
rac
t
bi
n
omia
l
and
f
a
ctoria
l
from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaege
power
.
h:
extra
c
t from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
int
r
oduce
e
va
l
ue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoo
l
aeg
e
lattic
e
_point
.
cc: ex
p
ort relati
v
e_c
o
ordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoolaege
lat
t
i
c
e_poi
n
t
.
h: mak
e
sure
c
orrect ev
a
lue
s
a
re used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaeg
e
lattice_po
i
nt
.
c
c
: add ceiling functi
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdoolaege
u
t
il
.
c: internaliz
e
ugly bv
_
ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en Verd
o
olaege
latt
i
c
e_poi
n
t
.
cc: m
u
lti_monom/la
t
tice
_
poi
n
ts: ret
u
rn
.
.
.
commit
|
commitdiff
|
tree
next