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 Ver
d
ool
a
ege
bar
v
inok
.
cc: re
m
ove unused nonorth
o
g
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
olaege
upda
t
e piplib for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
updat
e
polylib
f
or Mi
n
GW comp
a
tibility
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verdoolaege
fdstream
.
cc: don't (re)declare fil
e
n
o if
i
t's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c
:
in_
d
omain: special-c
a
se
0
D doma
i
n
s
commit
|
commitdiff
|
tree
2008-12-25
Sven Ve
r
d
o
ol
a
ege
Av
o
i
d use of sys/
t
imes
.
h hea
d
er when not
av
a
i
l
a
b
le
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add gnu
l
ib getsu
b
opt modul
e
for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
README
:
mention that GiNaC is
also
n
eeded for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoola
e
ge
A
l
low build of occ w
h
en
u
sing bu
n
d
l
e
d
omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
do
c
: add a reference to a mast
e
r thesis actua
l
l
y
u
s
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
do
o
laege
b
a
r
vin
o
k
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
aege
README: fix up installat
i
o
n
instruc
t
ions
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoolaege
Add files generated by
bis
o
n
an
d
fl
e
x to
t
h
e distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
ge
update polyl
i
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
laege
update
piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: affine2evalue
:
reduce c
o
eff
i
cients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verd
o
ol
a
ege
e
v
a
l
ue
.
c: evalue_leve
l
_cmp
:
p
roduce more
consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven V
e
rdoolaege
doc: ad
d
anot
h
er paper
r
efer
r
ing
to th
e
li
b
rary
commit
|
commitdiff
|
tree
2008-09-16
S
v
en Ver
d
oolaege
p
iecewise_lst
.
h
: avoid du
p
licate parameter name
commit
|
commitdiff
|
tree
2008-09-02
S
v
en Verdoolaege
e
value_
r
e
ad
.
c: fix m
i
nor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
r
d
oolaege
update omega
f
o
r
missing
f
i
l
es
in di
s
tribu
t
ion
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
bar
v
inok
_
enumerate_e: avoid infinite loop when pr
e
sented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
include o
m
ega
s
u
b
modul
e
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoo
l
aeg
e
move
omega subdir t
o
o
mega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
NTL_QQ
.
cc: add
stdli
b
include
f
or abort hidden in NTL_
v
ector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
remove gnul
i
b link-warning mo
d
ule c
o
mpletely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
g
e
lexmin
.
cc:
find
and sort are
i
n std:: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verd
o
ol
a
eg
e
lexm
i
n
.
cc
:
avoid use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
4coins
.
cc: remove dea
d
code
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolae
g
e
test
l
ib
.
cc: add missing retur
n
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
workaro
u
n
d silly sun
comp
i
ler errors
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
o
l
aege
Avoid use of the
make -C opti
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
l
aege
summate
.
c
:
add
mis
s
ing inclu
d
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
summate
.
c: add missing return
values
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Ve
r
doolaeg
e
Makefile
.
am: include
lib include
d
ir in bu
i
l
d dir
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
laurent
.
cc: don't use co
n
s
t
v
e
ctors
a
s map keys
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
variable length
arr
a
ys are not
s
tandard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
g
enfun
.
cc
:
a
r
gument of
m
p_get_memory_funct
i
ons should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
V
erdoolaege
update piplib for compa
t
i
b
ility cha
n
ges
commit
|
commitdiff
|
tree
2008-08-24
Sv
e
n Verdoolaege
update polylib with extra field in Param_Polyhedr
o
n
commit
|
commitdiff
|
tree
2008-07-30
Sven
V
e
rdo
o
laege
doc
:
fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verd
o
o
laege
a
d
d missing algorithm in
c
lude
f
or f
i
nd
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
erdoolaege
Fix out-of-boun
d
s erro
r
in Laure
n
t expansio
n
b
a
s
ed
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Include empty
.
c
f
i
le in
l
ibbarv
i
n
ok if GiNaC was n
o
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoola
e
ge
c
orrectly reflect extra sou
r
c
e
s
for li
b
barvino
k
and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
fix typ
o
in comment
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
V
e
rd
o
olaeg
e
lib
/
st
r
ing
.
in
.
h
:
copy __rest
r
ict
h
a
n
dling
from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
update gnulib
function to last p
r
e-GPLv3
v
e
r
s
ion
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
enumerator::h
a
ndle:
r
e
place inco
r
r
e
c
t del
e
te by free
commit
|
commitdiff
|
tree
2008-06-17
Sven V
e
r
d
oola
e
ge
update
p
ip
l
i
b
f
o
r
c
o
r
rec
t
ed
U
rs_p
a
rms handl
i
ng
commit
|
commitdiff
|
tree
2008-06-12
Sven
Verd
o
olaege
configure:
u
se
c
o
rrect head
e
r files i
n
case
of bundl
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
o
o
laege
ome
g
a/oc
c
: on
l
y
open debug out
p
ut file i
f
there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doolaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
add edit
o
rs to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
b
a
rvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdoolaege
add
s
ome test sets
f
rom itsl2008
p
aper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
doc: a
d
d latest (
a
ccept
e
d)
p
u
b
lications
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
Makefile
.
am
:
add sec
t
ion_array
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
n
o
rmalization
.
c: comp
u
te_shift
s
: remo
v
e
re
d
undant retur
n
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Ve
r
doolaege
mo
v
e
Free_P
a
ramNames polylib a
n
d mak
e
param na
m
es const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolae
g
e
occ: add in
t
e
r
face to b
a
rvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verd
o
olaege
ex_convert
.
cc: extract
e
x2eva
l
ue from ra
n
g
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
ven
Ve
r
doola
e
ge
d
o
c: document more --
s
umma
t
i
o
n methods
f
or barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
Ver
d
oolae
g
e
options
.
c:
r
e
name "b
a
rv
i
n
o
k" s
u
mmation method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
e
rdoolaege
Makefile
.
am: ch
e
ck-euler
:
also check lauren
t
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c: barvinok_summate: ha
n
d
l
e
products of
polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
d
oolaege
e
v
alu
e
.
c: export evalue_reorder_te
r
m
s
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verd
o
olaege
bernstei
n
:
n
u
m
eri
c
2value: fix typo
t
o
allow cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdool
a
ege
uti
l
.
c: Fact
o
r_Context: extracted from
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaeg
e
summate
.
c:
barvinok_summ
a
te: ignore
fl
o
o
r
s indepen
d
ent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
eval
u
e
.
c:
a
dd evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaeg
e
omega/occ:
p
r
int
ba
r
vino
k
ve
r
s
i
o
n
n
u
mber
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oola
e
ge
doc: update some references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
M
ake
laur
e
nt b
a
sed summati
o
n the
d
e
f
au
l
t
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: barvin
o
k_summate: h
a
n
dle quasi-
p
olynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
reduce
_
evalue: extract out evalue
_
reduce_s
i
z
e
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
alue
.
c:
e
value_shift_variables: al
l
ow shi
f
ti
n
g of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
sum
m
ate
.
c: handle
equali
t
ie
s
f
o
r a
l
l s
u
mma
t
i
o
n algorithms
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdool
a
ege
summate
.
c: bar
v
inok_summate: move co
m
mon parts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
eva
l
u
e
.
c:
e
v
a
lue
_
s
um: move sign handling i
n
to esum
_
over_do
m
a
in
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
barvinok_e
.
cc: enumerat
e
_sum: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: extract barvinok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
rename
summate
.
cc to ba
r
vinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolae
g
e
e
v
alue
.
c: reduce_evalue:
r
educe floor with c
o
n
s
tant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
A
d
d Laurent expansion
b
ase
d
summat
i
on
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c: extend
e
equal
t
o hand
l
e doma
i
ns and
N
aNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
binomia
l
.
c
:
extract
b
in
o
mial and fac
t
orial
f
r
om e
u
ler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaege
p
ower
.
h: ex
t
ract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaege
in
t
roduce eval
u
e
_
shift_v
a
riables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
lattice_point
.
cc: export relative_
c
oordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdo
o
laege
la
t
tice_point
.
h
:
m
a
ke s
u
re correct
e
va
l
ues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattic
e
_po
i
nt
.
cc: a
d
d
ceil
i
n
g function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c
: i
n
te
r
nalize ugly bv_c
e
i
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sv
e
n Verdoolaege
lattice_poin
t
.
cc:
m
u
lti_mono
m
/lattice_points: retur
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
Verdoola
e
ge
d
oc:
c
lea
n
u
p "exponen
t
ial substitution" secti
o
n
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ve
r
doolaege
t
e
st_b
o
und
.
cc:
avoid
l
o
s
s of precis
i
on
c
a
u
sed by
co
n
v
ersio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
barvinok_bound
:
optio
n
ally
t
ake maxima
l
siz
e
of d
o
m
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
barvinok_bound: add --iterate opt
i
ons for eval
u
ating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
ver
i
f
y
.
c: expo
r
t functio
n
s for setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
verify
.
c:
e
value_optimum
:
allow comput
a
tion of optimu
m
.
.
.
commit
|
commitdiff
|
tree
next