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
Sven V
e
rd
o
olaege
barvino
k
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaege
doc: add
e
xperime
n
t
a
l comparison between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
lexmin
.
cc: remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdo
o
laege
doc: add some les
s
com
m
on
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
S
v
en Ve
r
doola
e
ge
add "cle
v
er" Laurent expansion based s
u
mmation
commit
|
commitdiff
|
tree
2009-07-20
S
v
e
n Ver
d
oolaege
move Las
t
_Non_
Z
ero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract out param_p
o
l
y
nomial
fro
m
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
ola
e
ge
extract vert
e
x
_
cone from l
a
urent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven
Verdoola
e
g
e
upd
a
te pol
y
lib
fo
r
speed im
p
rovement
i
n in
_
dom
a
in
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
u
p
date piplib
f
o
r
distri
b
ution issu
e
commit
|
commitdiff
|
tree
2009-05-26
Sven Ver
d
oolaege
Polyhedron_
F
actor
:
fix me
r
ging of group
s
of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
barvinok_e
n
um
e
rat
e
_se
r
ies:
don't
check for revlex
positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Verdoolaege
(
t
)counter: move counter
:
:reset()
u
p to co
u
nter
_
base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
Makef
i
le
.
am: k
e
ep better track o
f
failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oo
l
aege
add sem
i
group_h
o
les application
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Verdoola
e
g
e
L
i
n
e_
L
ength: handle
0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Ve
r
doolaege
gen_fun: add is_zero method
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
b
a
rvinok_e
n
umerate_e
_
s
eries: rem
o
v
e
e
q
ualities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
d
oc: fix typ
o
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
barvin
o
k
_enume
r
a
te_e_series: handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
V
erdoolaege
series
.
cc:
m
ake pro
j
ect static
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
barvinok_enu
m
e
rate
_
e_se
r
ies: hand
l
e all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add test
set from
t
he o
t
her itsl2008 pape
r
commit
|
commitdiff
|
tree
2009-04-02
Sven Ver
d
oola
e
g
e
Polyhed
r
o
n
_Factor: handle
p
olyhedra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
up
d
ate piplib for change in conf
i
g
u
re arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
aege
test_
a
pprox
.
c: add dummy f
i
eld
i
n dumm
y
tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verd
o
olaege
configure
.
in: avo
i
d in
t
rodu
c
ing empty
e
l
e
ments
i
n
PK
G
_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaeg
e
occ: define
O
M
I
T_GETRU
S
A
G
E if sy
s
/re
s
ource
.
h
cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n Verdool
a
ege
ome
g
a_interface/Makefile
.
a
m
:
p
u
t
depending libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
configure
.
in: add
$(EXEEXT)
t
o
op
t
ional occ for cygw
i
n
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
Ver
d
o
ola
e
ge
update omega for
M
i
nGW compatibili
t
y
commit
|
commitdiff
|
tree
2009-02-09
S
v
en V
e
rdoola
e
g
e
bernstein/configure
.
in: add mi
s
s
ing AC_PROG_CXX
commit
|
commitdiff
|
tree
2008-12-30
S
v
en
V
e
rd
o
o
l
a
ege
vec
t
o
r_partition_chambers:
computes chambers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Ver
d
oola
e
ge
ba
r
vinok
.
c
c
: remove unu
s
ed nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
upda
t
e
p
ipli
b
f
o
r MinGW compatibil
i
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
rdoo
l
aege
update poly
l
ib for Mi
n
GW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n
Verdoola
e
ge
f
dst
r
e
a
m
.
cc: don't (re)
d
eclare fileno
if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
olaege
e
value
.
c
:
i
n
_dom
a
in: special-case 0D
d
om
a
in
s
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
A
void use of sys/times
.
h
h
eader w
h
en not
available
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoo
l
aege
a
d
d
g
nul
i
b
g
etsubo
p
t module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoo
l
ae
g
e
READ
M
E: ment
i
on that GiNaC
is also n
e
eded for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Allow build of oc
c
when
u
sing bun
d
led omega
commit
|
commitdiff
|
tree
2008-10-28
S
v
en Ver
d
oola
e
g
e
doc: ad
d
a
reference to a
m
a
s
t
er thesis actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdool
a
e
g
e
R
E
ADME: fix u
p
i
ns
t
a
l
lation instructi
o
ns
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n Verdoolaege
Add
f
iles ge
n
e
rated by bison and flex to
the
d
istr
i
butio
n
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n
V
erdoola
e
ge
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update pip
l
ib
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
V
erd
o
olaege
evalue
.
c
: affine2e
v
alue: reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
e
r
do
o
laege
evalue
.
c: evalue
_
level_cm
p
:
prod
u
ce
m
o
re consiste
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
ven Verdoolaege
doc: add anoth
e
r
paper
referring to the library
commit
|
commitdiff
|
tree
2008-09-16
S
v
e
n Ve
r
doolaege
piecewi
s
e_lst
.
h: avoid dup
l
icate parameter name
commit
|
commitdiff
|
tree
2008-09-02
S
v
e
n
Ver
d
oolaege
e
value
_
rea
d
.
c:
f
ix minor b
u
gs in
tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven
Verdool
a
e
g
e
update ome
g
a fo
r
missing
f
i
l
es i
n
dist
r
ibution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
barvinok_enume
r
ate_e: avoid in
f
init
e
loop when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolae
g
e
inclu
d
e o
m
ega submodule
commit
|
commitdiff
|
tree
2008-08-28
S
ve
n
Verd
o
olaege
move omega subdir to
o
m
ega_int
e
r
face
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verd
o
o
l
aege
NTL_QQ
.
cc: add stdlib include fo
r
abort hi
d
den in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
r
emove gnulib link-
w
arning module
compl
e
te
l
y
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoo
l
a
ege
l
e
xmin
.
c
c: f
i
nd and sort are
in std:: n
a
me
s
pace
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verd
o
o
l
aege
lexmin
.
cc: avoid us
e
of type
o
f
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdoolaege
4coins
.
c
c: rem
o
v
e
dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
t
e
stlib
.
c
c
: add missing returns
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolae
g
e
workaro
u
nd si
l
ly sun
c
ompiler errors
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Ve
r
doolaege
Av
o
id use of
t
h
e make -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
su
m
m
a
t
e
.
c: add
m
issing i
n
c
lude
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
summate
.
c
:
add
m
issing return
v
a
lues
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolae
g
e
Ma
k
efil
e
.
am: include lib include di
r
in
b
u
ild
dir
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Ver
d
oolaege
l
a
ure
n
t
.
cc: don
'
t u
s
e
c
o
n
st
vect
o
r
s as m
a
p
k
eys
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
variable
leng
t
h
a
rrays are not standard C++ (y
e
t)
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Verdoolae
g
e
genfun
.
cc: a
r
gument of mp_get_me
m
ory_function
s
should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Ver
d
oolaege
update pipl
i
b for
com
p
atibility changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdool
a
ege
u
p
d
ate polyl
i
b
with extra
fie
l
d
i
n Par
a
m_
P
olyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven
Verdoolaege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaeg
e
ad
d
miss
i
ng algorithm include for find
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
oolaege
Fix
o
u
t
-of-bounds
error in
L
a
urent
expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Include e
m
p
t
y
.
c file in
l
ibbarv
i
nok
i
f GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
correctly reflect extra sources for libbarvino
k
and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoolaege
f
ix typo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdoolaege
lib/s
t
ring
.
in
.
h
:
copy
_
_
restrict handling
fr
o
m lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven V
e
rdoolaege
u
p
date gnulib fun
c
tion
t
o last
pre-GPL
v
3 ver
s
ion
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
e
nu
m
erator::handle: replac
e
incorrect delete by
fre
e
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
update
piplib for corr
e
cted Urs_parms
handlin
g
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolae
g
e
confi
g
u
re: use correct header files in case o
f
bund
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Ver
d
o
o
l
aege
omega/occ: only open debug
o
u
tput file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoolaeg
e
doc
:
fix typ
o
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolae
g
e
add editors to ITS
L
paper
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
barvin
o
k 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
a
dd
some tes
t
sets
f
rom itsl20
0
8 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc:
add
l
at
e
st (acce
p
te
d
)
p
ublicati
o
ns
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olae
g
e
Makefil
e
.
am: add
secti
o
n_array
.
h to di
s
tri
b
ution
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdool
a
ege
normalization
.
c: comput
e
_
s
hifts: r
e
move r
e
dundant
return
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verd
o
olaege
move Fre
e
_ParamNames
p
olylib an
d
make
param names
const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolae
g
e
occ: add interface to
ba
r
vinok_
s
ummate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
V
erdoolaege
e
x_co
n
vert
.
cc: extrac
t
ex2evalue f
r
om range
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
doc: do
c
ument more --su
m
mation methods for barvin
o
k_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
options
.
c:
r
ena
m
e "barv
i
nok" sum
m
atio
n
method to
"
box"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verd
o
olaege
Makefile
.
a
m
:
check-eu
l
er: also chec
k
laurent
commit
|
commitdiff
|
tree
2008-05-04
S
ven
V
erdoo
l
ae
g
e
sum
m
ate
.
c: barvinok_summate: handle products of polytop
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
e
value
.
c: export eval
u
e_re
o
rde
r
_terms
commit
|
commitdiff
|
tree
next