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
update piplib for change in configure options
2010-01-01
Sv
e
n Verdo
o
laege
u
p
date piplib for change in configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
update
om
e
ga for c
o
nf
i
g
u
rat
i
o
n
/c
o
mpilat
i
on issu
e
s
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Verdoola
e
g
e
barvinok_c
o
unt_with_
o
p
tions: check return va
l
ue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Verdoo
l
aege
Polyhed
r
o
n
_
Sample: plug
memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoola
e
ge
summate
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2009-11-12
S
v
en
V
erdoolaege
to
p
com
.
c: suppo
r
t
newe
r
v
ersions o
f
T
O
PCOM
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
to
p
c
o
m
.
c
:
co
m
pute_domain: skip vertice
s
without domai
n
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
g
e
polytop
e
_
m
inimi
z
e: ta
k
e
c
o
nstant term to
b
e zero wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
ven
V
erdoo
l
aege
d
o
c:
r
efle
c
t t
h
at --enable-fractional is now the defaul
t
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
glpk_polyhedro
n
_
a
ffine
_
sign: spe
c
i
al case 0D
p
oly
h
edr
a
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolae
g
e
P
o
l
y
h
e
dr
o
n_Insert_Columns
:
fix ty
p
o
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedro
n
_
F
act
o
r:
fix updating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sve
n
Verdoolae
g
e
config
u
re
.
in:
u
se AX_SUBMODULE in
s
tead
o
f
B
V_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
S
ven V
e
rdo
o
laege
remov
e
_
equalities: use P
o
lyhedron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ve
n
Ver
d
o
olaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verd
o
ola
e
ge
doc: add experimental com
p
ar
i
son bet
w
een
o
l
d an
d
n
e
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aege
lexm
i
n
.
cc: r
e
move "anac
h
ronism"
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoo
l
a
e
g
e
doc:
a
dd s
o
m
e
less common
.
sty
f
iles
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
ad
d
"clever" Lau
r
en
t
ex
p
ansion based
s
umma
t
i
o
n
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erdo
o
laege
move Last_Non_Zero to ut
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verdoolaege
extrac
t
out param_pol
y
nomial from la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoolaege
ext
r
act vert
e
x_con
e
f
r
o
m
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven
V
erd
o
olaege
up
d
at
e
polylib
for speed improve
m
e
n
t in in_dom
a
in
commit
|
commitdiff
|
tree
2009-06-12
Sve
n
Verdoolaege
updat
e
pi
p
lib for distribution issue
commit
|
commitdiff
|
tree
2009-05-26
S
v
en Verdoolaege
Polyhedron
_
F
a
ctor: fi
x
merging of g
r
oups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdool
a
ege
b
a
rvinok_
e
numerate_serie
s
:
d
on't check
f
or revlex posit
i
ve
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoo
l
a
e
ge
(t)counter:
move co
u
nter
:
:reset() up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
Makefile
.
am: keep
better track of f
a
iled te
s
ts
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoo
l
aege
add
semigroup
_
holes
ap
p
li
c
ation
commit
|
commitdiff
|
tree
2009-05-07
S
ve
n
Verdool
a
ege
Line_Len
g
t
h
: handle 0D
polytope in 1D s
p
a
ce
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
gen_f
u
n: add is_ze
r
o method
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
barvinok_enumerate_e_se
r
ies: remove equal
i
ties in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verd
o
olaeg
e
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvi
n
ok_
e
numerate_e_ser
i
es:
handle
all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n
Verdoo
l
aeg
e
series
.
cc:
m
ake project stat
i
c
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
er
d
oolaege
bar
v
inok_e
n
umerate_
e
_
s
eri
e
s:
h
andle all
e
qua
l
ities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add test set fro
m
the other itsl200
8
paper
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
erdool
a
ege
P
olyhedron_Factor: han
d
le polyhe
d
ra with a non-tr
i
vial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
v
en Ve
r
doolaege
update
pi
p
lib for change in
co
n
figu
r
e arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
test_app
r
ox
.
c: add
d
ummy field in dum
m
y tms st
r
ucture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n Verdoolaege
c
o
nf
i
gu
r
e
.
in: avoid introducing empty elemen
t
s in
PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaeg
e
o
cc
:
define OMIT_GETRUSAGE if s
y
s/re
s
ource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
l
a
e
ge
om
e
ga_
i
nterface/Makefile
.
am
:
put depe
n
d
i
ng
libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
configure
.
in: ad
d
$(EXEEXT) to optional occ f
o
r
cy
g
win
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
up
d
ate
o
m
ega f
o
r MinGW compatibility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
bernstein/configure
.
in: add missing
A
C_
P
ROG
_
CXX
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdoolaege
vector_part
i
tion_chambers:
c
ompu
t
es
c
hambers o
f
ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
b
arvinok
.
c
c
: remove unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
S
ven Ve
r
doola
e
ge
updat
e
pipli
b
f
or Min
G
W compatib
i
lity
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update
p
olylib for MinGW compa
t
ibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
oolaeg
e
fdstream
.
c
c
:
don't (re)declare
fileno if
i
t's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
r
d
ool
a
ege
evalue
.
c
: in_do
m
a
in: special-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdo
o
lae
g
e
Avoid
u
se o
f
sys/times
.
h
h
e
a
der
when not
available
commit
|
commitdiff
|
tree
2008-12-25
Sven Ver
d
o
olaege
add gnuli
b
getsubopt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Ver
d
ool
a
ege
README:
m
enti
o
n that GiNaC is a
l
so
n
e
eded fo
r
the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verd
o
ol
a
ege
Al
l
ow
b
uild of occ when using
bundled omega
commit
|
commitdiff
|
tree
2008-10-28
S
ven Verdoolaege
d
oc:
a
dd a reference to
a master thesis
actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoolaege
barvi
n
ok
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
README: fix up installation i
n
structions
commit
|
commitdiff
|
tree
2008-10-16
S
ve
n
Ve
r
dool
a
ege
Ad
d
files g
e
n
e
r
ated by bison
and flex to the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
olaege
update
p
o
l
ylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
olaege
u
p
date
p
i
p
l
i
b
commit
|
commitdiff
|
tree
2008-10-10
Sven V
e
rdoolaege
evalue
.
c: af
f
ine2eval
u
e: reduce coef
f
icien
t
s
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
eva
l
u
e
.
c
:
e
v
al
u
e_l
e
v
e
l_
c
mp: p
r
oduce more consis
t
ent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sve
n
Verdoolae
g
e
doc:
a
dd another paper referring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sv
e
n Verdoolaege
p
i
ecewise_lst
.
h: avoid d
u
plicate paramete
r
name
commit
|
commitdiff
|
tree
2008-09-02
S
ven Ve
r
dool
a
e
ge
evalue_read
.
c: fix minor bugs in to
k
eni
z
er
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
erdoolaege
update
omega f
o
r
m
issing files in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
barvinok_e
n
umerate_e:
a
v
oid infin
i
te
l
o
op when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
V
erdoolae
g
e
inc
l
u
d
e
omega
s
ub
m
o
d
u
l
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
m
o
ve ome
g
a subdir
t
o
o
mega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
NT
L
_QQ
.
cc: add stdlib include for
abort hidden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
remove gnulib
l
in
k
-warni
n
g module completely
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
lexmin
.
c
c
: find and so
r
t are in st
d
:: n
a
mespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
eg
e
le
x
min
.
cc
:
avoi
d
use of
t
ypeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
o
l
aege
4coins
.
c
c
: remove dead code
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
testl
i
b
.
cc: a
d
d missi
n
g re
t
u
r
ns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
wo
r
k
a
round si
l
ly sun compiler errors
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
Avoid use of
t
he make -C option
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
summat
e
.
c: add m
i
s
s
i
ng in
c
lude
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
summat
e
.
c
:
a
dd missing return values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
Makefile
.
am: include lib include
dir in bu
i
ld dir
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolae
g
e
laurent
.
c
c
: don't u
s
e
cons
t
ve
c
tors as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olae
g
e
variable le
n
gth
a
r
ra
y
s are
not standard C+
+
(yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
rdoolae
g
e
genfun
.
cc: argu
m
e
nt of mp_get_
m
emory_functions
s
hould
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdo
o
laege
update
piplib for comp
a
t
ibilit
y
changes
commit
|
commitdiff
|
tree
2008-08-24
S
ven V
e
rdoolaege
updat
e
po
l
y
lib w
i
th
e
x
tr
a
field
in
P
aram_Pol
y
hedr
o
n
commit
|
commitdiff
|
tree
2008-07-30
Sv
e
n V
e
rdoolaege
doc:
f
i
x typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoo
l
aege
add
m
issing algorithm
i
n
c
lude for
f
i
nd
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
Fi
x
out-of-bounds error i
n
Laur
e
nt expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Include empty
.
c file in
libbarvi
n
ok if GiNaC wa
s
not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
correctly reflect
e
xtr
a
sourc
e
s
for libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ven
Ve
r
doolaege
fix typo in comment
commit
|
commitdiff
|
tree
2008-07-22
S
ven Verdoolaege
l
i
b/string
.
in
.
h: copy __restrict hand
l
ing from l
i
b
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sve
n
Ver
d
oolaege
up
d
ate gnul
i
b
function to last pr
e
-GPLv3
v
e
r
sion
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
en
u
merator::han
d
le:
r
ep
l
ace incorrect
d
e
lete
b
y free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verd
o
olaege
upd
a
te
p
i
p
lib f
o
r c
o
rrected Urs_parms
h
an
d
l
i
ng
commit
|
commitdiff
|
tree
2008-06-12
Sven V
e
rdoolaege
co
n
f
igure: use correct header fil
e
s in case of bundl
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erd
o
o
l
a
e
g
e
om
e
ga/occ: only open
d
ebug
o
utpu
t
f
i
le if
t
here is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Ver
d
oolaege
doc: fix typo
commit
|
commitdiff
|
tree
next