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
evalue.c: avoid use of alloca
2010-03-05
Sve
n
Ver
d
ool
a
e
ge
a
dd isl_set_
c
ard
a
n
d
isl_map_ca
r
d
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
evalue_conve
r
t: export as application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
g
e
barvino
k
_enumerate_e: optionally use isl to p
r
oject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdo
o
laege
a
d
d
is
l
s
ubmodule
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
AX
_
SUBMODULE: ac
c
ept "-" in modu
l
e
n
ame
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verd
o
o
l
aege
b
a
r
v
in
o
k
_
enumerate: retu
r
n NaN for infinite
p
roblems
commit
|
commitdiff
|
tree
2010-01-28
Sven Ve
r
d
o
olaege
remov
e
_all_equali
t
ies: han
d
le
i
n
tegrally, but not ra
t
ionally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdool
a
ege
barvinok_enumerate_e: always return a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdool
a
ege
barvino
k
_enum
e
rate: check
t
h
at d
i
mens
i
on o
f
i
nput
includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verdoolaege
p
a
rtition2enumerati
o
n: c
h
eck th
a
t input is r
e
ally a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
update piplib for ch
a
nge in
configure op
t
ions
commit
|
commitdiff
|
tree
2009-11-30
S
v
en V
e
rdoolaege
upd
a
te o
m
ega for c
o
n
f
iguration
/
compil
a
tion issu
e
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
barvinok_count_with_opt
i
ons:
c
h
eck retur
n
value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdo
o
laege
Polyh
e
dron_Sample:
plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summat
e
.
c: add m
i
ssing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
top
c
om
.
c: s
u
pport n
e
w
e
r versions
of TOPCO
M
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
topcom
.
c:
c
ompu
t
e_domain: skip vertices without domain
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaege
poly
t
o
pe_mi
n
i
mize: take
constant term to be zer
o
w
h
en
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
doc:
reflect
tha
t
--
e
n
able-fra
c
tion
a
l is
now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
glpk_po
l
y
h
edr
o
n_affine_sign: sp
e
c
ial ca
s
e
0
D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
Po
l
yhedr
o
n_I
n
sert_Colum
n
s: f
i
x typo
commit
|
commitdiff
|
tree
2009-11-11
Sven V
e
rdoolaege
P
olyhedron_Fac
t
or: fix upd
a
ting of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Ver
d
oolaege
c
o
nfigure
.
i
n
:
u
se
A
X_
S
UBMODULE
instead of
BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven
V
e
r
doolaege
remove_equalities: use Polyhedron_
P
r
eimage inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
d
oolaege
doc: add experiment
a
l com
p
a
rison between old a
n
d new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoolaege
lexmin
.
c
c
:
r
e
m
o
ve "anach
r
onism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc:
fix typo
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
doc: add some less common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
V
erd
o
olaege
add "clever"
L
a
u
rent expansi
o
n bas
e
d summation
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verdoolaeg
e
move Last_Non
_
Zero
t
o
util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
oolaege
ex
t
ract
o
ut param_polyno
m
ia
l
from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoolaege
extract vertex_c
o
ne from
laur
e
nt
.
cc
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoo
l
aege
NTL_QQ
.
cc: add stdio i
n
clude for EOF
hidden i
n
NTL
_
io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdool
a
ege
u
pdate polyl
i
b for speed improvement in in_doma
i
n
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
update piplib for di
s
tributi
o
n i
s
s
ue
commit
|
commitdiff
|
tree
2009-05-26
Sven Ve
r
do
o
l
a
ege
Polyhe
d
ron_Fa
c
t
or: fix merging o
f
g
r
oups o
f
col
u
mns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
o
l
aege
barvinok
_
e
n
um
e
rate
_
series: don
'
t check for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)
c
ounter
:
move cou
n
t
e
r::
r
e
s
et
(
) u
p
to cou
n
ter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdo
o
laege
M
akefi
l
e
.
a
m
: kee
p
bet
t
er trac
k
of failed
tests
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoo
l
aege
add semigroup_holes application
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
eg
e
Line_Length:
ha
n
d
le 0D pol
y
tope in 1D
s
pace
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdo
o
laege
ge
n
_
f
u
n
:
add
i
s_zero method
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdool
a
ege
ba
r
vin
o
k_en
u
merat
e
_e_
s
eries: remove equalities in e
a
c
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaeg
e
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
barv
i
n
o
k_en
u
me
r
ate_e_s
e
r
i
es:
handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
series
.
cc: make project s
t
at
i
c
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
barvi
n
o
k_enumerate_e_series: handl
e
all e
q
ua
l
ities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verd
o
olaege
add test set
from the
other i
t
sl
2
0
0
8
pap
e
r
commit
|
commitdiff
|
tree
2009-04-28
Sven Verd
o
o
l
aeg
e
.
gitignore: ign
o
r
e object
f
i
l
es
commit
|
commitdiff
|
tree
2009-04-28
Sv
e
n Verdoolaege
genf
u
nc
.
c
c
: pa
r
allel
_
polytopes: de
t
ect
0
D polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sv
e
n V
e
r
d
o
olaege
c
o
nf
i
gure
.
in: set AC_CO
N
F
IG_
M
A
CRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
S
ven V
e
rdool
a
ege
Polyhedron_Factor: ha
n
dle
polyhed
r
a wit
h
a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven V
e
r
doolaege
up
d
ate
piplib for change
i
n configure argu
m
e
nts
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
Verdoolae
g
e
t
est
_
approx
.
c
: add dummy
fie
l
d i
n
dummy tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
configure
.
in: avoid
introduci
n
g empty elements in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
laeg
e
oc
c
: define
O
MIT_GETR
U
S
A
GE
i
f
s
ys/res
o
urce
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
laege
omega_inter
f
ace/Mak
e
fil
e
.
am: put depending lib
r
ar
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdool
a
ege
configure
.
in: a
d
d
$(EXEEXT) to optional oc
c
for cy
g
w
in
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
upd
a
t
e
o
mega fo
r
MinG
W
compa
t
i
b
ility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
bernstein/conf
i
gure
.
in
:
add missing
AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven Ver
d
ool
a
ege
genf
u
n
.
cc: add braces round extern "
C
" typ
e
def
commit
|
commitdiff
|
tree
2008-12-30
Sv
e
n Verdoolaege
vector_partiti
o
n_ch
a
m
bers: compu
t
es chambers o
f
vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven V
e
rdoolaege
barvin
o
k
.
c
c
:
remove unuse
d
nonort
h
og
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolae
g
e
update piplib for MinGW com
p
a
tibility
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verdo
o
laege
u
p
d
ate polyli
b
for MinGW com
p
atibil
i
ty
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
f
d
stream
.
cc: don't (re)declare fil
e
no i
f
i
t
's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c: in_d
o
main: special-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven V
e
rdoolaege
Avo
i
d us
e
of sys/tim
e
s
.
h
header when no
t
available
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Verdoolae
g
e
add gnu
l
ib g
e
tsubopt mo
d
u
l
e for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven
V
erdoola
e
ge
READ
M
E
:
m
ention that GiNaC is also
needed for
t
h
e Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
v
en Verdoolaege
Allow build
of occ when us
i
ng bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven
V
e
rdoolaege
doc:
a
dd a refer
e
nce to a maste
r
t
hesis actual
l
y
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoo
l
aege
barvino
k
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoo
l
aege
README: fix up inst
a
llation instructions
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n
Verdoolaege
A
dd files generat
e
d by bi
s
on an
d
fl
e
x
to the dist
r
i
bution
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n Verdool
a
eg
e
up
d
ate polylib
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verd
o
olaege
u
p
d
a
te piplib
commit
|
commitdiff
|
tree
2008-10-10
S
ven Ver
d
ool
a
ege
eva
l
ue
.
c: aff
i
ne2evalue
:
r
e
duce coe
f
ficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: evalue_level_
c
m
p: pr
o
duce
more consi
s
tent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
v
en Verdoolaege
doc: add ano
t
h
er pa
p
er r
e
ferrin
g
to the
l
ibra
r
y
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoo
l
aege
piece
w
ise_lst
.
h
:
avoi
d
dup
l
i
c
ate parameter na
m
e
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Verdoolaege
evalue_rea
d
.
c: fix
m
inor bugs in tokeni
z
e
r
commit
|
commitdiff
|
tree
2008-09-02
Sven Ve
r
doolaege
u
p
date ome
g
a for
m
issing files in
d
istribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
barvin
o
k_
e
numerate_e:
avoid infinite l
o
op whe
n
pres
e
nte
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Ve
r
doolaege
include omega submodule
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdool
a
eg
e
move omeg
a
subdir
t
o om
e
ga_interfac
e
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ver
d
oolaeg
e
NTL_QQ
.
cc: add stdlib include for abor
t
hidden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
remove gnulib link-
w
arni
n
g module
c
o
m
pletely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aeg
e
lexmin
.
c
c:
find and sort ar
e
in
st
d
:: nam
e
space
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
l
e
xmin
.
cc: avoid
u
s
e
of type
o
f
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
4coins
.
c
c
: remo
v
e
d
ead code
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
testlib
.
cc: a
d
d
mis
s
ing returns
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoola
e
ge
wo
r
karo
u
n
d
s
illy su
n
compiler errors
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
er
d
o
olaege
Avoid
u
s
e
of t
h
e
ma
k
e -C op
t
ion
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n V
e
rdoolaege
summate
.
c:
add missing include
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
s
u
mmate
.
c
:
add missi
n
g
return values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaeg
e
M
ake
f
ile
.
am: include li
b
include d
i
r in build
d
ir
commit
|
commitdiff
|
tree
next