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
vector_partition_chambers: computes chambers of vector partition function
2008-12-30
Sv
e
n Ver
d
oolaege
vector_pa
r
tition_chambers: computes chambers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
S
ven
V
er
d
o
o
la
e
ge
bar
v
ino
k
.
cc:
r
emove
u
n
u
se
d
nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdool
a
ege
u
p
date pipl
i
b
f
or Min
G
W
co
m
patibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
laege
update
p
olylib for MinGW
compati
b
i
lity
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
ol
a
eg
e
fdstream
.
cc: don't (re)de
c
lare fileno if it's
a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Ve
r
doolaege
e
v
alue
.
c: in_domain:
special-case
0
D
domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Ver
d
o
o
laege
A
v
oi
d
use o
f
sys/times
.
h header when not
a
vailabl
e
commit
|
commitdiff
|
tree
2008-12-25
S
v
e
n
Ver
d
oolaege
a
d
d gnulib getsubopt module fo
r
M
i
nGW
commit
|
commitdiff
|
tree
2008-12-01
Sven V
e
rdool
a
ege
README: mention that GiNaC
i
s also neede
d
for
t
he
O
me
g
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n
V
erdoolaege
A
l
low b
u
ild of o
c
c when
u
sing bu
n
d
l
ed omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
doc:
a
d
d
a
reference to a master thesis actually u
s
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaeg
e
REA
D
ME
:
fix up installation
i
nstructi
o
ns
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaeg
e
Add files gen
e
rated
by bison
a
nd flex to
the distribution
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdoola
e
ge
u
p
date po
l
ylib
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoolae
g
e
update
piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: affi
n
e2evalu
e
: redu
c
e coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
eva
l
ue
.
c: evalue_le
v
e
l_cmp: prod
u
ce more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
v
e
n Verdoolaeg
e
d
o
c:
add
a
n
other paper refe
r
ring
t
o the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoola
e
ge
piecewise_lst
.
h: avoid
d
uplicate paramet
e
r name
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Verdo
o
laege
evalue
_
rea
d
.
c: fix minor bug
s
in tokeniz
e
r
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
update omega
for miss
i
ng
files in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
barvinok_enumerate_e:
avo
i
d in
f
ini
t
e
loop when prese
n
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoola
e
ge
include omega
s
u
bmodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aeg
e
move omega subdir
to omega_
i
nterf
a
ce
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NT
L
_QQ
.
cc: add stdlib inc
l
ude for abort hidden
i
n NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
r
e
m
o
ve gn
u
l
i
b link-warnin
g
module compl
e
tel
y
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdo
o
laege
lexmi
n
.
cc:
f
i
nd a
n
d sor
t
a
r
e in std
:
:
namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
do
o
l
a
e
ge
lexmin
.
cc: avoi
d
u
s
e of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
4c
o
ins
.
c
c:
r
emove dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdo
o
l
aege
testlib
.
c
c
: a
d
d missing returns
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaeg
e
workaround
silly sun compiler errors
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdool
a
ege
Avoid use
of th
e
make
-
C op
t
ion
commit
|
commitdiff
|
tree
2008-08-28
S
ven
V
erdo
o
l
a
eg
e
summa
t
e
.
c:
a
dd missing
include
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
summate
.
c: add missing
r
eturn va
l
u
es
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Ma
k
efile
.
a
m
:
include lib
i
nclude
d
i
r
in build dir
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
V
erdoolaege
laurent
.
cc: don
'
t use const v
e
ctors as m
a
p keys
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verd
o
ola
e
g
e
variab
l
e len
g
t
h
arrays are not stan
d
ard C
+
+
(
yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
olaege
g
e
nfun
.
c
c
: argument o
f
mp_get_memory_funct
i
o
ns should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
updat
e
piplib for
compatibi
l
ity cha
n
ges
commit
|
commitdiff
|
tree
2008-08-24
Sven
Verdoolaege
update po
l
y
l
ib
with e
x
tra
field in Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
doc: fix
t
ypo
s
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaeg
e
add m
i
ssing algorithm include
for find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Fix
o
ut-of-b
o
unds error i
n
Lau
r
ent expans
i
on b
a
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
oo
l
aege
Include empty
.
c file in libbarvinok if GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
c
o
rrectl
y
refl
e
ct extra
s
ourc
e
s f
o
r libbarv
i
nok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
fix ty
p
o in comm
e
nt
commit
|
commitdiff
|
tree
2008-07-22
Sven
Ver
d
o
olaege
lib
/
string
.
in
.
h: copy __re
s
trict handlin
g
fro
m
lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaeg
e
update gnu
l
ib function
t
o
l
ast pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
e
n
umerator
:
:handle: r
e
place incorrect d
e
lete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verd
o
ol
a
eg
e
update piplib for
c
o
rrected Urs_parms hand
l
i
ng
commit
|
commitdiff
|
tree
2008-06-12
Sven
Verdoolaege
configure: use correct header fil
e
s in
cas
e
of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoola
e
ge
configure
.
in: fix check for code_gen lib
r
a
r
y availabilit
y
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n
V
erdoolaege
omeg
a
/occ: only open debug output fi
l
e
if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven Ve
r
do
o
laege
ome
g
a/Makefile
.
am: a
v
oi
d
b
ison's -o
o
ption as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdo
o
laege
range
.
cc: add missing inclu
d
e
of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdoolaege
do
c
: fix
typo
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Ver
d
o
olaege
a
dd e
d
itors to ITS
L
p
a
pers
commit
|
commitdiff
|
tree
2008-05-07
S
v
en Verdoolaeg
e
use argp fo
r
a
r
gument parsing in barvinok_ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
S
v
en
V
erdoolaege
properly ha
n
dle NTL CPP
F
LA
G
S and
L
D
FL
A
GS
commit
|
commitdiff
|
tree
2008-05-07
Sven
Verdoolaeg
e
basis_reduction_templ
.
c
: add mi
s
sing includ
e
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdo
o
la
e
g
e
barvi
n
ok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olae
g
e
a
d
d
some test
s
ets from i
t
sl2008 p
a
per
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc:
add latest
(
a
c
cept
e
d) publication
s
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoo
l
aege
Makefile
.
am: add section_ar
r
ay
.
h
t
o
d
istribution
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
nor
m
aliza
t
i
on
.
c: comput
e
_
sh
i
f
t
s
: remove redundant
r
e
turn
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
move Fre
e
_P
a
ramNames polyli
b
an
d
make
p
aram
n
a
mes
c
o
n
s
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
erdoolaege
occ: add interface to b
a
rvinok_s
u
mm
a
te
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoo
l
aege
ex_convert
.
cc: extract ex2ev
a
lue from
r
ange
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
doc
:
document more --summatio
n
m
e
t
h
ods
for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
options
.
c: rename "barv
i
nok" summation metho
d
to "bo
x
"
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ver
d
ool
a
ege
Makefile
.
a
m
: che
c
k
-
eul
e
r: a
l
so
c
hec
k
laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
summate
.
c
: bar
v
inok_summate: handle
p
roducts o
f
po
l
yt
o
pe
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
o
ola
e
ge
evalue
.
c: expo
r
t evalue_reor
d
er_terms
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Ver
d
oolaege
bernst
e
in:
numeric2v
a
lue:
f
ix typo to allo
w
cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
o
o
l
aege
util
.
c:
F
actor_C
o
ntext:
e
xt
r
acted from barvin
o
k
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: barv
i
nok_summate: ig
n
or
e
floors indep
e
ndent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
eval
u
e
.
c: add e
v
alue_floor2f
r
ac
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rd
o
o
l
aege
omega/o
c
c: print barv
i
nok
v
ersion number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
doc: updat
e
some reference
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make laurent b
a
sed summa
t
ion the def
a
ult
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
V
e
rdoolaege
summat
e
.
c:
b
ar
v
inok_summ
a
t
e: handle quasi
-
polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ve
r
doolaege
reduce_evalue: extract out evalue_redu
c
e_
s
ize
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ve
r
doolaeg
e
e
v
a
lue
.
c: evalue_shift
_
variab
l
es:
allo
w
shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
su
m
mate
.
c: handle equalities for al
l
s
ummation algorith
m
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summ
a
te
.
c: barv
i
nok_summate
:
move common parts of summatio
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
ol
a
eg
e
evalue
.
c:
evalue_
s
um: move
s
ign handli
n
g into esum_o
v
er_dom
a
in
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaeg
e
b
arv
i
no
k
_
e
.
cc: enumerate_sum
:
u
se barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erd
o
ol
a
ege
sum
m
ate
.
c:
e
xtract barvinok_summate
from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
r
e
name summ
a
t
e
.
cc t
o
barvinok_summa
t
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: reduce_evalue
:
re
d
uce
f
loor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
Add Laurent expansion based
sum
m
a
t
ion
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolaege
evalue
.
c: exten
d
ee
q
u
a
l
to handle
domains and Na
N
s
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaeg
e
binom
i
al
.
c: ext
r
act bino
m
ial and factorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n Verdo
o
laege
power
.
h: extra
c
t
fro
m
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introduce eva
l
ue_shift_varia
b
les
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
l
a
ttice_point
.
cc: export rel
a
tive_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
la
t
tice_p
o
in
t
.
h: ma
k
e sure
correct evalue
s
are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
d
ool
a
ege
lattice_point
.
cc: add ceiling functio
n
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoo
l
aeg
e
util
.
c: interna
l
i
ze u
g
ly
bv_cei
l
3
commit
|
commitdiff
|
tree
next