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
Polyhedron_Insert_Columns: fix typo
2009-11-12
S
ven Verdoolaeg
e
Polyhedron_Insert_Colu
m
ns
:
fix
typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verd
o
olaege
Polyhed
r
on_Factor: fix updatin
g
of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
conf
i
gu
r
e
.
in: use AX_
S
U
B
MODU
L
E instead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Ve
r
do
o
la
e
g
e
remove_eq
u
al
i
tie
s
: use Polyhedron_Preim
a
ge
ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add experimental comparison be
t
ween old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n
Verdool
a
e
g
e
lexmin
.
cc
:
remove
"
anachro
n
ism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
d
o
c
:
fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
V
erdoola
e
ge
doc
:
add
s
ome less c
o
mmon
.
sty fil
e
s
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
olaege
add "clever" Laurent expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoolaege
m
o
v
e Last_Non_Zero
to
u
t
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verd
o
olaege
extract out param_polynomial from lauren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erd
o
olaege
extract v
e
rtex_cone from la
u
re
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
rdoolae
g
e
N
T
L_QQ
.
cc: add
stdio i
n
clude
f
o
r EOF hidden in NTL_io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
v
e
n Verdoolaege
update polylib for speed
i
mprovement in in_d
o
main
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
u
p
dat
e
pi
p
lib for d
i
stribution i
s
sue
commit
|
commitdiff
|
tree
2009-05-26
Sven
Verdoolaeg
e
Polyhedr
o
n_Factor: fix
m
ergin
g
of groups o
f
col
u
mns
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
V
e
rdoolaege
b
a
rvinok_enumerate_
s
eries: don't
c
heck f
o
r revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t
)
count
e
r:
move cou
n
te
r
:
:re
s
et() up
t
o counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
Mak
e
file
.
a
m
: k
e
ep
better track of f
a
iled test
s
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
V
er
d
oolaege
add semigroup_holes applicati
o
n
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Verdoolaege
L
i
ne_Length: h
a
n
d
le 0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
ol
a
e
ge
g
e
n_fun: add is_zero
me
t
hod
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
b
a
rvinok
_
enu
m
erat
e
_e_s
e
ries: r
e
mov
e
equalities i
n
each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
d
o
c: f
i
x typ
o
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
arvino
k
_
e
numerate_e_ser
i
es
:
handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdo
o
laege
se
r
ies
.
cc: m
a
ke project st
a
ti
c
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
barvinok_enume
r
ate_e_ser
i
es: handle
a
ll equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Verdoolaege
add test set from the other itsl20
0
8
paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoola
e
ge
.
gitign
o
re: ignore object
files
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolaeg
e
genfunc
.
cc: parallel_polytopes: detect 0
D
polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaeg
e
configure
.
in: s
e
t AC_CONFIG_M
A
CRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven
V
e
rdoo
l
a
ege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
S
v
en Verdoolaege
P
olyhedron_Facto
r
: h
a
n
d
l
e
polyhedra wi
t
h a non-trivi
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoo
l
aege
upda
t
e
piplib
for cha
n
ge
in confi
g
ure argumen
t
s
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolaege
test_approx
.
c: add dummy
f
ield in dummy
tm
s
structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaeg
e
configure
.
i
n
: a
v
oid int
r
o
d
ucing
empty elements i
n
PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdo
o
laege
occ:
d
e
fine OMIT_GETRUSAG
E
if sy
s
/resource
.
h
cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolaege
omega_inter
f
ace/Makefile
.
am: p
u
t dependin
g
libr
a
rie
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven
V
er
d
oo
l
aege
conf
i
gure
.
in: add $(EXE
E
XT) to optional
o
c
c
for c
y
gwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
updat
e
om
e
ga
f
or MinGW compa
t
ibi
l
ity
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
bernst
e
in/config
u
r
e
.
in: ad
d
m
i
ss
i
ng AC_PROG
_
CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
genfun
.
cc:
a
dd
brace
s
round extern
"C"
t
ypedef
commit
|
commitdiff
|
tree
2008-12-30
Sven V
e
rdoolaege
vector_pa
r
titio
n
_ch
a
m
bers:
comp
u
tes chambers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Ver
d
o
olaege
b
a
rvin
o
k
.
c
c: remove u
n
us
e
d n
o
nort
h
og
commit
|
commitdiff
|
tree
2008-12-26
Sven Ve
r
dool
a
ege
update
piplib for
M
inGW comp
a
tibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erdoolaege
updat
e
p
olylib
f
o
r MinGW compatib
i
lity
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoolaege
fdstr
e
a
m
.
cc: don't (re)d
e
clare fileno if it's a macr
o
commit
|
commitdiff
|
tree
2008-12-26
Sven Ve
r
d
o
o
laeg
e
evalu
e
.
c: in_doma
i
n: sp
e
cial-case
0D domains
commit
|
commitdiff
|
tree
2008-12-25
S
ven Verdoolaege
Av
o
id use
o
f
s
y
s
/times
.
h
he
a
de
r
when not
a
vai
l
able
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n V
e
rdoolaege
add gnulib getsubopt
module f
o
r MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdool
a
eg
e
README: mention t
h
at GiNaC is
a
lso needed fo
r
the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Allow build of occ w
h
e
n using bundled
o
mega
commit
|
commitdiff
|
tree
2008-10-28
Sven Ver
d
oolaeg
e
doc: ad
d
a
r
eference to
a
m
a
s
te
r
t
hesis actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
a
e
ge
b
arvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
ege
REA
D
M
E: fi
x
up
ins
t
a
l
l
ation instructi
o
ns
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaeg
e
A
dd
files generat
e
d by bison and f
l
e
x to
the distr
i
bution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
u
p
date polyl
i
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
updat
e
piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
e
v
alue
.
c: affine2eva
l
u
e: reduce coef
f
icients
commit
|
commitdiff
|
tree
2008-10-10
Sven
Verdoolaege
evalue
.
c:
e
v
a
lue_
l
evel_cmp
:
prod
u
c
e
m
ore con
s
istent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add another
pape
r
r
e
f
erring
to th
e
library
commit
|
commitdiff
|
tree
2008-09-16
Sven Ve
r
dool
a
ege
piecewise_
l
st
.
h: avoid d
u
plicate parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verd
o
olaege
evalue
_
read
.
c
: fix minor bug
s
in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
update
omega for missi
n
g files i
n
dist
r
ibut
i
on
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
ba
r
vinok
_
enumera
t
e_e:
a
void inf
i
n
i
te loop w
h
en
prese
n
ted
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
include omega
submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
mo
v
e omega su
b
dir to omega_interf
a
ce
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Ver
d
oolaege
NTL_QQ
.
c
c: ad
d
st
d
lib inclu
d
e f
o
r
a
bort hidden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Ver
d
oolae
g
e
remove gnulib link-warn
i
ng module completely
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoola
e
ge
lexm
i
n
.
cc: fi
n
d a
n
d
s
o
rt a
r
e i
n
std:: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
lexmin
.
c
c
: avoid us
e
of t
y
peof
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doo
l
a
ege
4
coi
n
s
.
cc: remove dead c
o
de
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
testlib
.
cc: add
m
is
s
ing return
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
workaro
u
nd silly
sun compiler erro
r
s
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdo
o
laege
Avoid use of
t
he make -C option
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdo
o
la
e
g
e
sum
m
a
t
e
.
c: add missing include
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
summate
.
c:
add missing return
v
a
l
ues
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
Makefile
.
am: incl
u
de lib i
n
clude dir in build
d
i
r
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
laur
e
nt
.
cc
:
don
'
t use
c
onst vectors as map
k
e
ys
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
o
laege
variable length arrays are
not s
t
andard C++
(yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoo
l
aege
ge
n
fun
.
cc: argument o
f
m
p
_get_memo
r
y_fu
n
c
t
i
o
ns should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
V
erdoo
l
aege
u
p
d
a
t
e pipl
i
b for compatibility
c
hanges
commit
|
commitdiff
|
tree
2008-08-24
Sv
e
n
V
erd
o
o
laege
u
p
d
a
te po
l
ylib
with extra field in Para
m
_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
S
v
en Verdoolaege
do
c
: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
add missing al
g
o
r
ithm include for find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
l
a
e
ge
Fix o
u
t-o
f
-bounds error
in Laurent expa
n
sion
b
a
s
ed
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ve
r
doolaege
Include
e
m
pty
.
c file in libbarvinok if
G
iN
a
C was
not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
o
laege
correctly
r
eflect
e
x
t
r
a
sources for libbarvin
o
k and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ve
r
doolaege
fix typ
o
i
n comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
lib/st
r
ing
.
in
.
h
: c
o
py
_
_restr
i
c
t hand
l
i
n
g
f
rom lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven V
e
rdoolaeg
e
update
gnulib function to
l
a
st pre
-
G
P
Lv3 version
commit
|
commitdiff
|
tree
2008-07-02
S
ven Verdool
a
ege
enumera
t
or::handle:
replace incor
r
ect
d
elete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
up
d
ate
p
iplib for co
r
rected
U
rs_parms h
a
ndling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
configur
e
: use correct he
a
de
r
fil
e
s
i
n
case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
e
r
doolae
g
e
configur
e
.
in: fix check for code_gen
library availabi
l
i
t
y
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verdoolaege
omega/
o
cc: o
n
ly ope
n
d
ebug output file if the
r
e is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/Makefile
.
am: avoid bis
o
n's -o opt
i
on as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
e
rdoolaege
ra
n
ge
.
c
c
: a
d
d missi
n
g inc
l
ude of a
l
loca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
e
g
e
d
oc:
fix t
y
po
commit
|
commitdiff
|
tree
next