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 Verdoolaege
b
arvin
o
k
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoolaege
doc
:
add e
x
perimental compari
s
o
n between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ve
n
Verdoolaege
lex
m
in
.
cc:
r
emove "anachronis
m
"
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdool
a
ege
doc: add
some less common
.
sty file
s
commit
|
commitdiff
|
tree
2009-07-21
Sven
Verdoolaege
add "clev
e
r"
Laurent expansion
b
ased summatio
n
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
move Last_N
o
n_Zero t
o
uti
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
la
e
ge
extract out pa
r
am_polynomial f
r
om laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
e
rdoolaege
extract v
e
rtex_cone fr
o
m laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolae
g
e
update polylib for speed imp
r
ove
m
ent
i
n
i
n_domain
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n
Verdoolaege
update p
i
plib for distribution
i
ssue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdo
o
l
a
e
g
e
Polyh
e
dron_Factor: fix merging of grou
p
s of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven
Ve
r
dool
a
e
ge
barvinok_
e
numerate_serie
s
:
d
on't
check f
o
r revlex po
s
itive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
l
aege
(t
)
counter
:
move co
u
nter::res
e
t()
up
to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
Makefile
.
am: keep b
e
tter
t
r
a
ck of failed
t
ests
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdo
o
laege
a
d
d
s
emigroup_holes applicat
i
on
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olae
g
e
L
i
n
e
_
L
ength: handle
0D po
l
yt
o
pe
i
n
1
D
space
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n
V
e
rd
o
olaege
gen_fun: add is_zero method
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
d
oolaege
bar
v
inok_enumerate_e_ser
i
es: rem
o
ve equali
t
ies in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enumerate
_
e_ser
i
es: handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
dool
a
e
g
e
series
.
cc: make
project static
commit
|
commitdiff
|
tree
2009-05-07
S
v
en V
e
rdoo
l
aege
barvinok_enume
r
ate_e_ser
i
es: h
a
ndle
a
ll
e
quali
t
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add t
e
st s
e
t from the other itsl20
0
8
pa
p
er
commit
|
commitdiff
|
tree
2009-04-02
S
ven Ver
d
oo
l
a
ege
Poly
h
e
dron_Factor: handle
poly
h
edra with
a non-tr
i
v
i
al
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
ven Verdo
o
l
aege
update pipl
i
b
for cha
n
g
e
in configure a
r
guments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
test_approx
.
c: a
d
d dummy
f
ie
l
d in dummy tms s
t
r
u
cture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
e
r
doolaeg
e
co
n
f
i
g
ur
e
.
i
n
: avoid introducing empty
e
leme
n
ts
i
n PKG
_
C
ONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
occ: define OM
I
T
_
GETRU
S
AGE if sys/resource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
omega_i
n
terfa
c
e/Makefile
.
am: put
depending librar
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
e
rd
o
o
l
ae
g
e
configure
.
i
n
: add $(EXE
E
XT)
t
o opti
o
nal o
c
c for
c
ygwin
commit
|
commitdiff
|
tree
2009-02-09
S
v
en
V
erdoolaege
update omega
f
or MinGW co
m
p
atibility
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verd
o
olaege
bernstein/co
n
figur
e
.
in: add
missing AC
_
P
R
OG_CXX
commit
|
commitdiff
|
tree
2008-12-30
Sven Ver
d
oolaege
v
ector_partition_c
h
ambe
r
s:
c
omputes chambers
of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvinok
.
cc:
r
emove unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Verdo
o
laege
update pipli
b
for MinGW compatibil
i
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
olaege
update polylib for
MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
olaege
fds
t
re
a
m
.
cc: don'
t
(
r
e
)decl
a
re file
n
o i
f
it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
olae
g
e
evalue
.
c: in_doma
i
n: specia
l
-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n V
e
rdoolaege
Avoid use of s
y
s/times
.
h he
a
der when not availa
b
le
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add gnulib getsubopt module for
MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n
Verdoolaege
README: menti
o
n that GiNaC is also n
e
eded for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
v
en Verdo
o
laege
All
o
w
b
uild of occ whe
n
using bu
n
dl
e
d om
e
ga
commit
|
commitdiff
|
tree
2008-10-28
Sve
n
Verdoola
e
ge
d
o
c: add
a
re
f
erence to a m
a
ster thesis actuall
y
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
v
en
V
erdoolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolae
g
e
README:
fix up installation in
s
tructions
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verd
o
olaeg
e
Add f
i
les gen
e
rated by bis
o
n
and flex to the distributio
n
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoo
l
aege
upda
t
e poly
l
i
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
laege
upd
a
t
e
pip
l
ib
commit
|
commitdiff
|
tree
2008-10-10
Sven Ve
r
d
o
ola
e
ge
evalue
.
c: affine2evalue:
r
e
duce
coe
f
ficients
commit
|
commitdiff
|
tree
2008-10-10
Sven
Verdoolaege
evalue
.
c: ev
a
lue_
l
evel_c
m
p: produce more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
do
c
:
add anothe
r
paper r
e
ferring t
o
the
libra
r
y
commit
|
commitdiff
|
tree
2008-09-16
S
v
e
n Ver
d
oo
l
aeg
e
piecewise
_
l
st
.
h: avoid
dup
l
ic
a
t
e
p
a
rameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Ve
r
dool
a
eg
e
evalue_
r
ead
.
c: fix
mi
n
or bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Verd
o
olaege
update o
m
eg
a
fo
r
missing
f
i
les in distribu
t
i
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
rdo
o
laege
barvin
o
k_enumerate
_
e: avoid infi
n
ite
l
oo
p
wh
e
n presente
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
in
c
lude
omeg
a
s
u
bm
o
dule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
mo
v
e omega subdir
t
o omega_
i
nter
f
a
ce
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
NTL_QQ
.
c
c: add stdlib
i
n
clu
d
e f
o
r abort
hidden in NTL_vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
re
m
ove gnulib lin
k
-warning module completely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmin
.
cc: find and so
r
t are i
n
st
d
:: n
a
mespa
c
e
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Verdoolaege
le
x
m
i
n
.
cc: avoid use o
f
typeof
commit
|
commitdiff
|
tree
2008-08-28
S
ven
V
e
rdoolaege
4
c
oins
.
cc: remove
dead c
o
de
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
a
e
g
e
testlib
.
cc: ad
d
missing returns
commit
|
commitdiff
|
tree
2008-08-28
S
ven V
e
rdool
a
e
g
e
workar
o
und s
i
lly sun compil
e
r errors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Avoid use of the make -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
l
a
ege
sum
m
at
e
.
c:
add missing include
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdool
a
ege
summate
.
c
: ad
d
m
issing return va
l
ues
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdo
o
laege
Makefile
.
am: inc
l
u
d
e lib include dir
in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolae
g
e
la
u
rent
.
c
c: don't use c
o
nst vectors a
s
ma
p
keys
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdool
a
ege
va
r
iabl
e
length arrays
are
n
ot standard
C++
(
yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
g
e
nfun
.
cc: argument of mp_get_memory_f
u
nctions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
er
d
ool
a
e
g
e
updat
e
pi
p
l
i
b for
comp
a
t
ibility cha
n
ges
commit
|
commitdiff
|
tree
2008-08-24
S
v
en Ver
d
oolaege
u
pdat
e
polylib with extra
f
i
e
l
d in P
a
ram
_
Poly
h
edron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
d
o
c: fix
t
y
p
os
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdool
a
ege
a
dd mi
s
sing al
g
orithm includ
e
for fin
d
commit
|
commitdiff
|
tree
2008-07-22
S
v
en
V
erdoolaege
Fix out-of
-
bo
u
nds
e
r
ror in L
a
urent exp
a
nsio
n
based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdoolaege
Include empty
.
c file in libbar
v
ino
k
if GiNaC was
n
o
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
correctl
y
reflect extr
a
sources for
libbarvi
n
ok a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
fix t
y
po in comment
commit
|
commitdiff
|
tree
2008-07-22
S
ven Ver
d
oolaege
lib/str
i
ng
.
in
.
h: co
p
y _
_
restrict handling f
r
om
l
ib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven V
e
rdoo
l
aege
update
g
nuli
b
function
to last pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdool
a
eg
e
enumerato
r
::han
d
le
:
replace incorrect delet
e
by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
update piplib
for
c
o
rrected
U
r
s
_p
a
rms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Ver
d
oolaege
configure: us
e
cor
r
ec
t
heade
r
fi
l
es in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdoolaege
omega/occ
:
only
o
pen de
b
u
g
output file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n
V
erdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doolae
g
e
add ed
i
t
o
rs to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oo
l
aege
barvinok
0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verd
o
o
l
aege
add some test sets from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
d
o
c: add latest (ac
c
epte
d
) publications
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
Makefile
.
am: add section
_
a
r
ray
.
h to di
s
t
ributi
o
n
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
normalization
.
c: comput
e
_s
h
ifts: re
m
ov
e
redu
n
dant r
e
tu
r
n
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verd
o
olaege
m
ove Free
_
ParamNames polylib
a
n
d
m
ak
e
param names cons
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
occ:
a
d
d interfa
c
e to barv
i
nok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verd
o
olaege
e
x
_convert
.
cc: extr
a
ct ex2e
v
alue from range
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
doc: document more --s
u
mmation me
t
h
o
ds f
o
r barvinok_s
u
mmat
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
options
.
c: rename "barvinok" summati
o
n method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doola
e
g
e
Makefile
.
am: c
h
e
c
k
-euler: also c
h
eck laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
summate
.
c:
b
arvi
n
o
k
_summate: handl
e
products
o
f
po
l
ytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
doolaege
evalue
.
c: export
e
value_reo
r
der_terms
commit
|
commitdiff
|
tree
next