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 0.29
2009-07-22
S
ven Verd
o
olaege
ba
r
v
i
n
ok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc:
a
dd e
x
perim
e
ntal co
m
par
i
son
between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
V
e
r
doolaege
lexmin
.
cc: remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
doc: add some less common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Ver
d
oolae
g
e
add
"clever"
L
aurent
e
xpansio
n
based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoo
l
a
ege
move Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
Ve
r
doo
l
aege
extract out
p
a
r
am_polynomial from laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven Ver
d
o
o
l
aege
extract v
e
rtex_cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoo
l
aege
up
d
ate polyli
b
for speed im
p
rovement
i
n in_d
o
main
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n Verdoolaege
up
d
ate piplib for
distribu
t
i
on i
s
sue
commit
|
commitdiff
|
tree
2009-05-26
Sv
e
n Verdoolaege
Po
l
yhedr
o
n_Factor: fi
x
merging of gr
o
ups
of c
o
lumns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
barvin
o
k_enume
r
ate_series: don't ch
e
ck for re
v
l
e
x positi
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)
c
o
u
nter: m
o
ve counter::reset() up to cou
n
t
er_b
a
se
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makefile
.
am: keep better tr
a
ck o
f
fail
e
d
t
es
t
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
add semigroup_holes
appli
c
ation
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erd
o
olaeg
e
Lin
e
_Len
g
th: handle
0
D poly
t
ope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
S
ve
n
Verdoolaege
g
en_
f
un: add is_zero m
e
t
hod
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doola
e
ge
barvinok_enumerate_e_
s
eries:
r
emov
e
e
q
u
ali
t
ies in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
er
d
o
olaege
doc:
f
ix ty
p
o
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvin
o
k_enum
e
rate_e
_
series
:
handle al
l
e
x
istentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
se
r
i
es
.
cc: make project static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
barvinok_
e
numerate_e_seri
e
s: handle all e
q
uali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
add te
s
t s
e
t from t
h
e othe
r
itsl2
0
08 paper
commit
|
commitdiff
|
tree
2009-04-02
Sve
n
Ver
d
oola
e
ge
Polyhedron_Factor: handle polyhe
d
ra with a
n
o
n
-tr
i
vial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
updat
e
p
i
plib
f
or change in con
f
igure
a
rgume
n
ts
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolaege
t
e
st_approx
.
c:
add dummy field in dumm
y
t
m
s
s
truct
u
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolaege
confi
g
ure
.
in: avoid intr
o
ducing empty elements in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
occ: define OMIT_GETRUSA
G
E if sys/r
e
source
.
h
c
a
n
not
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoolaege
omega_i
n
terface/Makefile
.
am: put d
e
pending libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
configur
e
.
in: add $(EXEEXT)
t
o
optional occ for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
er
d
ool
a
e
g
e
upda
t
e
omega for MinGW
compat
i
bili
t
y
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoolaege
bernstei
n
/configure
.
in: add missing AC_PROG_CXX
commit
|
commitdiff
|
tree
2008-12-30
Sven V
e
rdoolae
g
e
vector_
p
a
rtition_chambers: c
o
mp
u
tes
cham
b
e
r
s
o
f vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvinok
.
cc:
r
emove unused n
o
northog
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verdoolae
g
e
update p
i
p
lib for Min
G
W
c
ompati
b
ility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update polylib fo
r
MinGW compatibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
oolaege
fdstrea
m
.
cc: don
'
t (re)declare fileno if it's a
m
acro
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verd
o
olaege
evalue
.
c:
i
n_doma
i
n:
spec
i
al-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
S
ven Verdoolaege
A
v
oid use
of sys/times
.
h h
e
ader when not available
commit
|
commitdiff
|
tree
2008-12-25
S
ven Verdo
o
l
aege
add gnul
i
b getsu
b
opt mo
d
ul
e
for
Mi
n
GW
commit
|
commitdiff
|
tree
2008-12-01
Sven
Verdoolaege
R
E
ADME: mentio
n
that GiNaC is also ne
e
de
d
for
t
he
Om
e
ga
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoo
l
aege
Allow build o
f
occ when using bundled
ome
g
a
commit
|
commitdiff
|
tree
2008-10-28
S
v
en Verdoo
l
aege
doc: ad
d
a
r
eference
to a maste
r
thesis ac
t
uall
y
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoolaege
README: fix up in
s
tallation i
n
s
tructions
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
Add files generated b
y
biso
n
a
nd fle
x
to the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoolaege
update polyl
i
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
laeg
e
upda
t
e p
i
plib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: affine2
e
value: redu
c
e co
e
f
f
i
c
i
ents
commit
|
commitdiff
|
tree
2008-10-10
S
v
en V
e
rdoolaege
evalue
.
c
: eval
u
e_level
_
cmp: produce more consisten
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
v
e
n
Verdoolaege
do
c
: ad
d
a
n
ot
h
er paper
ref
e
rring
t
o the
library
commit
|
commitdiff
|
tree
2008-09-16
Sven
Verdo
o
l
ae
g
e
p
iecewise_
l
st
.
h: avoid duplicate pa
r
a
m
eter n
a
me
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
rdoolaege
evalue_read
.
c
: fix minor bu
g
s
in token
i
zer
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
rdoolae
g
e
update omega
f
or miss
i
ng files in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
b
a
rvinok
_
enumerate_e: avoid infin
i
te loo
p
whe
n
pres
e
nted
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
i
nclude ome
g
a subm
o
dule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
move omega subdir
t
o om
e
ga_inte
r
f
ace
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
NTL_QQ
.
cc:
a
dd stdlib
i
nclude for abo
r
t hidden in N
T
L_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
remove
g
nulib
l
ink-warni
n
g module completely
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verd
o
olae
g
e
lexmin
.
c
c
: find and sort are in std
:
: name
s
pa
c
e
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
lexm
i
n
.
cc:
a
void
u
se
o
f typeof
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
V
erdoolaege
4coins
.
cc: remove dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
l
a
ege
t
est
l
ib
.
cc:
add missing ret
u
rns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
w
o
rka
r
ound
s
illy su
n
compiler error
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Avoid
use of
t
he ma
k
e -C option
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ve
r
doolaege
sum
m
a
t
e
.
c
:
add
m
issing in
c
l
u
d
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
s
u
mmate
.
c
: a
d
d missing return values
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
Makefil
e
.
a
m
: include lib include
d
ir i
n
bui
l
d dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaeg
e
laure
n
t
.
c
c: d
o
n't use con
s
t vectors a
s
m
ap
k
eys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laeg
e
va
r
ia
b
le length arrays ar
e
n
o
t
s
tan
d
ard C++
(yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
a
e
ge
genfun
.
cc
:
argument o
f
mp_get_memory_f
u
n
c
tions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
u
p
da
t
e p
i
plib for compatibil
i
ty ch
a
nges
commit
|
commitdiff
|
tree
2008-08-24
Sven Ve
r
doolaege
update polylib wit
h
extra fiel
d
in
P
a
r
am_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaeg
e
d
o
c
:
fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
o
l
aege
a
d
d
m
i
s
s
i
ng
a
l
g
orithm
i
nclude for find
commit
|
commitdiff
|
tree
2008-07-22
S
ven Verdo
o
l
a
eg
e
Fix out-of-bounds e
r
ro
r
in Laurent ex
p
ansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
r
d
o
olaeg
e
Include em
p
ty
.
c
file in libbarvinok if GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoo
l
ae
g
e
correctly reflect extra sources for libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
fix typo in
c
omme
n
t
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
lib/st
r
in
g
.
in
.
h:
c
o
py __rest
r
ict handling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoola
e
ge
update
g
nulib func
t
ion to
l
ast
pr
e
-GPLv3 versi
o
n
commit
|
commitdiff
|
tree
2008-07-02
Sv
e
n Verd
o
o
l
aege
e
n
umerator::handle: replace incorr
e
ct delete
by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaeg
e
update
p
iplib fo
r
corrected Urs_par
m
s handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaeg
e
configure:
u
s
e
correct
h
ea
d
er files in case of
bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omeg
a
/
o
cc: only
o
pen d
e
bug output file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdool
a
e
g
e
doc: fix t
y
p
o
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doolaege
ad
d
editor
s
to ITSL paper
s
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Ver
d
oo
l
aege
barvi
n
o
k 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verdoolaege
add
some test set
s
fr
o
m itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: add latest (
a
cce
p
ted) pub
l
i
c
a
t
ions
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
Makefil
e
.
a
m: add
secti
o
n_arra
y
.
h to distri
b
ut
i
o
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
n
ormalization
.
c:
compute_shifts: remove redund
a
nt return
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
move Free_ParamNames polylib and make param
names c
o
nst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
l
aege
occ:
a
dd interface to ba
r
v
i
n
o
k
_
summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_conv
e
rt
.
cc: extrac
t
ex2evalu
e
from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdo
o
laege
doc:
d
ocum
e
nt m
o
r
e
--summation methods for
b
arvino
k
_s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
opt
i
ons
.
c: rename "barv
i
nok" su
m
ma
t
ion met
h
od to "box
"
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
Makefi
l
e
.
am:
check-euler: also check la
u
rent
commit
|
commitdiff
|
tree
2008-05-04
S
ven
V
er
d
ool
a
ege
s
ummate
.
c: b
a
rvinok_summate: handl
e
p
roducts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ver
d
oola
e
ge
evalue
.
c
: ex
p
ort evalue_reorder_te
r
ms
commit
|
commitdiff
|
tree
next