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
AX_SUBMODULE: accept "-" in modulename
2010-03-04
Sven
V
erdoolaege
AX_SUBMODULE
:
accept "-" i
n
module
n
ame
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ve
r
d
o
olaege
barvinok_enumerate: return NaN
for i
n
fini
t
e problems
commit
|
commitdiff
|
tree
2010-01-28
Sv
e
n Verdool
a
ege
re
m
ove_all_equalities
:
handle in
t
e
grally,
but not ratio
n
all
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdoolaeg
e
barv
i
n
o
k_enumerat
e
_e: al
w
a
ys return a pa
r
tition
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoola
e
ge
barvinok_en
u
merate:
check
that dimension of i
n
put incl
u
des
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
partition
2
enumeration
:
check that input i
s
r
e
al
l
y
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
v
en V
e
r
d
oolaege
update piplib for change in configure options
commit
|
commitdiff
|
tree
2009-11-30
S
ven V
e
rdoolaege
u
p
d
ate omega
f
or con
f
igur
a
tion/com
p
ilat
i
on
i
ssues
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
r
dool
a
ege
barvinok_cou
n
t_with
_
op
t
io
n
s:
check
r
eturn value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
d
o
o
laege
P
o
l
yhedron_Sa
m
pl
e
: plug
m
emory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summate
.
c:
a
dd
mi
s
sing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
a
e
g
e
topcom
.
c: support
n
ewer ver
s
io
n
s of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n Verdool
a
ege
topcom
.
c:
compute_d
o
main:
s
kip v
e
r
tices wi
t
h
o
ut domain
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdool
a
e
ge
polyt
o
pe_minimiz
e
: ta
k
e consta
n
t term to be zero w
h
en
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Ve
r
doolaege
doc:
reflect t
h
at
-
-enable-f
r
ac
t
ional is now the
d
efault
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_polyhedron_affine
_
sign
:
special case 0D
polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Polyhedron
_
Insert_Column
s
: fix
t
ypo
commit
|
commitdiff
|
tree
2009-11-11
Sven Ver
d
oolaege
Polyhedron_Facto
r
:
fix
up
d
ati
n
g
o
f
groups
commit
|
commitdiff
|
tree
2009-10-06
Sve
n
Verdoo
l
aege
configure
.
i
n: use AX_SUBMODULE in
s
tead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sve
n
Verdoolaege
remove_equalities: use
P
o
lyhedron_Preimage
instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
barv
i
n
ok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aege
doc
:
add experimental comparison between old and ne
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aege
l
e
xmin
.
cc: r
e
mo
v
e
"
a
n
ac
h
r
onism"
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erd
o
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc:
add
so
m
e less c
o
mmon
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "cle
v
er" Laurent exp
a
nsion based sum
m
ation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaeg
e
move Last_Non
_
Ze
r
o
t
o
u
t
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doolaege
ext
r
act out param_polynomial from laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoo
l
aege
ex
t
ract vertex_cone from lauren
t
.
c
c
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Verdo
o
l
aege
NTL_QQ
.
cc: add
stdio include for EOF hidde
n
i
n
NTL_io_v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoola
e
ge
update polylib for speed impr
o
v
ement in in_d
o
m
a
in
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoo
l
a
e
ge
u
p
date piplib for dist
r
ibution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Ve
r
doolaeg
e
Polyh
e
d
r
on_Factor: fix
m
er
g
i
n
g of groups
of co
l
u
m
n
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
do
o
la
e
ge
barvinok_enumer
a
te_s
e
ries: don't c
h
e
ck for revle
x
positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
(t)counter: move count
e
r:
:
reset()
up to counter_
b
ase
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Make
f
ile
.
a
m
:
k
eep bet
t
er track of fa
i
led tests
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
add
s
emi
g
roup_holes a
p
pl
i
cation
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Li
n
e_Le
n
g
th: handle 0D p
o
l
ytope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolae
g
e
g
en_fun:
add is_z
e
ro m
e
thod
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
bar
v
inok_enumer
a
te_e_series
:
remove e
q
ualitie
s
in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
arvi
n
ok_enumerate_e_series
:
handle all exis
t
entials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
series
.
cc: make project
s
t
atic
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
ba
r
vinok_enumer
a
te_e
_
serie
s
: handle all
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n
Verdoola
e
ge
add test set from
the other itsl200
8
paper
commit
|
commitdiff
|
tree
2009-04-28
Sven V
e
rdoolaege
.
gitignore: ignor
e
object files
commit
|
commitdiff
|
tree
2009-04-28
S
v
en Verdo
o
laege
ge
n
func
.
cc: parallel_polytope
s
: det
e
ct 0D
polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
S
v
en
Verdoo
l
aege
configure
.
in: set
AC_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
add p
k
g
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoo
l
aeg
e
Polyhedron_Factor: handle po
l
yhe
d
r
a
w
i
th a non-
t
rivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
update
piplib for change in confi
g
u
r
e a
r
guments
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n
Verdo
o
laege
test
_
approx
.
c: ad
d
dumm
y
field
i
n
dummy tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erdoolaege
con
f
igure
.
in: avoid i
n
tro
d
ucing empty elements in P
K
G
_
CON
F
IG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdo
o
l
a
ege
oc
c
:
d
e
f
ine OMIT_G
E
TRUSAG
E
if sys/resource
.
h ca
n
not
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
omega_
i
nt
e
r
f
a
ce/Mak
e
f
i
le
.
a
m
: put depe
n
ding libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
ae
g
e
config
u
re
.
in: add $(EXE
E
XT) t
o
o
p
tional occ
for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdool
a
ege
u
pdate ome
g
a fo
r
Mi
n
GW compatib
i
lity
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doola
e
ge
bernstein/
c
o
nfigure
.
in
:
add missing AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven Ver
d
ool
a
ege
g
e
nfun
.
c
c: add braces round extern
"
C
"
ty
p
ed
e
f
commit
|
commitdiff
|
tree
2008-12-30
S
ven V
e
rd
o
ola
e
ge
vector_
p
artition_chambers: computes
c
hambers
of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvino
k
.
c
c: remove unused non
o
rthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
upda
t
e piplib f
o
r MinGW compa
t
i
bility
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verdoolaege
update polylib for Mi
n
G
W compatibilit
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaeg
e
fd
s
tre
a
m
.
cc: don't (r
e
)d
e
clare
fil
e
no
i
f it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoola
e
g
e
evalue
.
c: in_domain:
specia
l
-ca
s
e 0D
d
o
m
ains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoo
l
aege
Avo
i
d us
e
of s
y
s/times
.
h hea
d
e
r whe
n
not avai
l
able
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdool
a
ege
add gnul
i
b getsubopt module
for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
REA
D
M
E: mention that
GiNa
C
is also needed for the O
m
ega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolae
g
e
Allow bu
i
ld of occ
w
hen using bundled omega
commit
|
commitdiff
|
tree
2008-10-28
S
v
en Verdoo
l
ae
g
e
doc: ad
d
a
reference to a m
a
ste
r
t
h
esis actually u
s
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
b
a
rvinok
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdo
o
laege
README: fix up installation instr
u
ction
s
commit
|
commitdiff
|
tree
2008-10-16
S
v
en
V
erdoolaege
Add files
g
en
e
r
a
ted b
y
bison and flex to t
h
e distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaeg
e
upd
a
te p
o
lyli
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
ol
a
ege
update
p
i
plib
commit
|
commitdiff
|
tree
2008-10-10
S
v
en Verdo
o
laege
evalue
.
c: affine2evalu
e
:
red
u
ce coeffici
e
nts
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
Verdoolaege
ev
a
lue
.
c: evalu
e
_
l
evel_cmp: produce more consisten
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
d
oc: add another paper
r
eferri
n
g to
t
he library
commit
|
commitdiff
|
tree
2008-09-16
Sven Ver
d
o
olaege
piece
w
ise_lst
.
h: avoid
d
uplic
a
t
e
p
a
r
ameter n
a
me
commit
|
commitdiff
|
tree
2008-09-02
S
v
en Verdo
o
laeg
e
e
val
u
e_
r
e
ad
.
c: fix m
i
nor bugs in
tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
updat
e
omega
f
o
r mi
s
sing files in
d
istribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
b
a
rvinok_enum
e
rate
_
e:
a
v
o
id infinite loo
p
wh
e
n prese
n
ted
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
i
nclude ome
g
a submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
move omega subdir to omega_inter
f
ace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NT
L
_QQ
.
cc: add stdlib incl
u
de
for abort hi
d
d
e
n in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
remove gnulib link-warni
n
g
module completely
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolae
g
e
lexmin
.
cc: find and
s
ort are
i
n std:: name
s
pace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmin
.
cc: avo
i
d use of
typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
l
aege
4coins
.
cc: rem
o
ve dead cod
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
testlib
.
c
c
:
a
d
d miss
i
ng
returns
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
V
e
rd
o
olaeg
e
workaround
s
illy sun compiler error
s
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
Avo
i
d
use o
f
the make -C
o
pti
o
n
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolae
g
e
summa
t
e
.
c: a
d
d missi
n
g include
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
s
u
m
mate
.
c: add mi
s
si
n
g return v
a
l
ues
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaeg
e
Ma
k
efile
.
a
m
: i
n
cl
u
de li
b
incl
u
de dir in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
laurent
.
cc: don'
t
use const vectors as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
variable length array
s
are not standard
C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
genfun
.
c
c
:
a
r
gume
n
t of mp_get_memory_functio
n
s should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Ve
r
doolaege
update piplib for compatibility changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Verd
o
olaege
updat
e
p
olylib with extra fi
e
ld in P
a
ram_Polyhedron
commit
|
commitdiff
|
tree
next