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 polylib for speed improvement in in_domain
2009-07-11
Sve
n
Ve
r
doolaege
update
p
o
lyl
i
b
for
s
pee
d
im
p
rovement in in
_
d
om
a
in
commit
|
commitdiff
|
tree
2009-06-12
Sven Ver
d
oolae
g
e
u
p
date
p
iplib for distribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Ve
r
d
o
olaege
P
o
lyhedron_Fac
t
o
r: fix m
e
rging of gr
o
up
s
of
columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
barvino
k
_en
u
merate_ser
i
es: d
o
n'
t
check for r
e
vle
x
p
o
sit
i
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
(
t
)counte
r
:
m
o
ve counter::res
e
t
(
) up to
c
ount
e
r_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdo
o
l
a
e
ge
Makefi
l
e
.
a
m
: keep be
t
ter t
r
ack o
f
fai
l
ed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
a
ege
add
s
e
migroup_hole
s
application
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line_Length:
h
a
n
dle 0D polytope i
n
1
D space
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
r
d
oo
l
aege
gen_fun: add is_zero method
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
barvi
n
ok_enumera
t
e_
e
_
se
r
ies: remove equali
t
ies in
e
ac
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdo
o
laege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
a
rvinok_enu
m
erate_e_series: handle all existenti
a
ls
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
series
.
cc: make project
stati
c
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
V
e
rdo
o
laege
barvinok
_
enumerate_e_series: ha
n
dle all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoo
l
aeg
e
a
d
d test
set fro
m
th
e
o
ther i
t
sl200
8
paper
commit
|
commitdiff
|
tree
2009-04-28
Sven
Verdoolaege
.
g
i
tignore:
i
g
n
ore obj
e
ct
f
i
les
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdool
a
ege
genfunc
.
cc:
p
aralle
l
_polytopes: detect 0D poly
t
opes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Ve
r
doolaege
confi
g
ure
.
in: set AC_CON
F
IG_MAC
R
O_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
S
v
e
n
Ve
r
dool
a
ege
Polyh
e
dro
n
_Fa
c
to
r
: handle polyhedra wi
t
h a
n
on-trivi
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
v
en Verdoolae
g
e
update piplib for change i
n
configure argume
n
ts
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
V
er
d
oolaege
test_approx
.
c: add dummy field in dummy tms st
r
ucture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolae
g
e
co
n
figure
.
in: avoid in
t
roduc
i
ng emp
t
y elements in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoolaege
o
cc: define OMIT_G
E
TR
U
SAGE
i
f sys/reso
u
r
c
e
.
h cann
o
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdoolaege
omega_i
n
terface/Makef
i
le
.
am: put depending li
b
rari
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
configu
r
e
.
in
:
a
d
d
$
(
EXEEXT) to
o
ptional
o
cc for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Ve
r
doolaege
upda
t
e
omeg
a
for
MinGW comp
a
t
ibility
commit
|
commitdiff
|
tree
2009-02-09
S
ven Ve
r
doolaege
bern
s
tein/configure
.
i
n
: add miss
i
ng AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven V
e
rdoolaege
genfun
.
cc:
add
braces ro
u
nd extern "C
"
ty
p
edef
commit
|
commitdiff
|
tree
2008-12-30
S
v
en
V
e
rdoolaege
vector
_
par
t
i
tion_chambers: computes ch
a
m
b
er
s
of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sv
e
n Verdoolaege
bar
v
inok
.
c
c
:
remov
e
unused
no
n
orthog
commit
|
commitdiff
|
tree
2008-12-26
S
v
e
n
Verdoolaege
update
pi
p
lib
for MinGW compa
t
i
b
ility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
ol
a
ege
updat
e
polylib f
o
r Mi
n
GW
compatibility
commit
|
commitdiff
|
tree
2008-12-26
S
v
e
n
Verdoolaege
fdstream
.
c
c
: don't (r
e
)dec
l
a
r
e fileno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c:
i
n
_domain: special-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdo
o
la
e
g
e
Avoid
u
se of sys/t
i
mes
.
h he
a
der when not ava
i
l
a
ble
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
a
dd
gnulib ge
t
subopt mo
d
ule for M
i
nGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
R
E
ADME: mention that Gi
N
aC is also ne
e
ded fo
r
the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaeg
e
Allow build of oc
c
when
u
si
n
g bundled
omega
commit
|
commitdiff
|
tree
2008-10-28
Sv
e
n
V
erdoolaeg
e
doc
:
add a referenc
e
to a maste
r
thesis actually
u
sing
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
b
arvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n Verdoolae
g
e
R
EADME: fix up installation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoo
l
aege
Add files generated by biso
n
and
flex to the distribu
t
ion
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
ge
u
p
d
a
te polylib
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
V
erdoola
e
ge
update piplib
commit
|
commitdiff
|
tree
2008-10-10
S
ven Verdoolae
g
e
evalue
.
c: affine2
e
value: r
e
duce
c
oeffic
i
e
nts
commit
|
commitdiff
|
tree
2008-10-10
S
ve
n
Verdoolaeg
e
evalue
.
c
: evalue_level_cmp: produce more consist
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
do
c
: add ano
t
her paper
r
e
ferring to
the
l
ibrary
commit
|
commitdiff
|
tree
2008-09-16
S
v
en Verdool
a
ege
pi
e
cewise_lst
.
h: avo
i
d duplicate parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoo
l
aege
eval
u
e_read
.
c: fix minor
b
ugs i
n
t
okenizer
commit
|
commitdiff
|
tree
2008-09-02
S
v
en Verdoolaege
u
p
date
omega
f
or missing f
i
les i
n
distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
ba
r
vin
o
k_enumerate_e: avoi
d
infinite
loop
w
he
n
presen
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
in
c
l
u
de ome
g
a submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
ool
a
ege
move omega subdir
t
o
o
mega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NTL
_
QQ
.
cc
:
add stdli
b
include fo
r
abort hidden
in N
T
L
_
vecto
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ve
n
V
e
rd
o
olaege
remove gn
u
lib link-
w
arning module co
m
pletely
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
l
ex
m
in
.
c
c: find and sort are
in
std:
:
namespace
commit
|
commitdiff
|
tree
2008-08-28
S
ve
n
Ve
r
doolae
g
e
lex
m
in
.
cc: avoid use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
rdoolaeg
e
4coins
.
cc
:
remo
v
e
d
ead code
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
V
erdool
a
ege
t
e
stl
i
b
.
c
c: add miss
i
ng
r
e
turns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
wor
k
aroun
d
silly sun compiler errors
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
Avoid use of the make -C o
p
tion
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
Verdoola
e
ge
summate
.
c: add m
i
ssing in
c
lude
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verd
o
olaege
s
u
mm
a
te
.
c: add
m
is
s
ing return v
a
lues
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Makefile
.
am: inc
l
ude lib
i
nclude dir in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
laurent
.
cc:
d
o
n
't use co
n
st vectors as
map ke
y
s
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdo
o
laege
variable l
e
ngth arrays are not standard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erd
o
olaege
g
e
nfun
.
cc: argu
m
ent of mp_get_m
e
mo
r
y_functions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
Verdoolaege
u
pd
a
te piplib for
c
ompati
b
ility changes
commit
|
commitdiff
|
tree
2008-08-24
Sv
e
n Verdoolaege
update poly
l
i
b
with
extra f
i
eld
i
n Param_Polyh
e
dron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verd
o
olaege
doc: fi
x
typos
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n
Verdoolaege
a
dd mis
s
i
n
g algorithm include for find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
Fix o
u
t-of-
b
ounds e
r
ror in Laurent expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n V
e
rdool
a
ege
I
n
c
lude empty
.
c f
i
le in libbarvinok if GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ve
r
doola
e
g
e
correct
l
y
r
eflect e
x
tra sourc
e
s fo
r
l
i
bbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdool
a
ege
fix t
y
p
o in comment
commit
|
commitdiff
|
tree
2008-07-22
S
v
en V
e
rdoolaege
lib/string
.
in
.
h: c
o
py __rest
r
ict hand
l
ing f
r
om li
b
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
ven Verd
o
ola
e
ge
u
pdate gnulib func
t
i
on to las
t
pre
-
GPLv3 v
e
r
sio
n
commit
|
commitdiff
|
tree
2008-07-02
S
ven Verdoola
e
g
e
enumer
a
tor::ha
n
dle:
replace incorre
c
t
d
e
l
ete by free
commit
|
commitdiff
|
tree
2008-06-17
S
v
en Verdo
o
laeg
e
update piplib f
o
r
c
orrected Urs_parm
s
hand
l
ing
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdool
a
e
g
e
config
u
re: use c
o
rrect h
e
ader files in
cas
e
of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaeg
e
c
on
f
ig
u
re
.
i
n: fix
c
h
eck fo
r
cod
e
_gen librar
y
ava
i
l
a
b
i
l
ity
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omeg
a
/occ: onl
y
open debu
g
output file if ther
e
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n
Ver
d
oolaege
omega/Makef
i
le
.
am: avoid bison's -o op
t
ion as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdool
a
eg
e
ran
g
e
.
cc:
a
dd missing include of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
e
ge
d
o
c: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoolaege
add
e
d
it
o
r
s
to I
T
S
L
p
a
pers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
use argp for argument parsi
n
g in b
a
rvi
n
o
k_
e
hrhart
and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
S
ve
n
Verdoo
l
aege
properly ha
n
dle N
T
L CPPFLAGS and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven
Ver
d
oolaege
basis
_
reduct
i
on_t
e
mpl
.
c: add mis
s
ing include
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
V
e
rd
o
ola
e
ge
barv
i
nok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doo
l
aege
a
dd som
e
t
e
st sets from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdoo
l
ae
g
e
d
o
c: add latest (
a
c
cepte
d
) pub
l
icat
i
ons
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n V
e
rdoolaege
Makefile
.
am: add section_array
.
h to distr
i
but
i
on
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoo
l
aege
normalization
.
c: compute_shifts: r
e
mo
v
e re
d
undan
t
r
e
tu
r
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
move Fre
e
_Para
m
Names polylib and ma
k
e para
m
names c
o
n
s
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ
:
add inter
f
ace to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Ve
r
doolae
g
e
e
x_convert
.
cc: extract ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ve
r
doolaege
do
c
: docum
e
nt
m
ore --summation
meth
o
ds fo
r
barv
i
n
o
k_
s
ummate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
options
.
c: ren
a
me "barvinok"
summat
i
on me
t
hod to "b
o
x
"
commit
|
commitdiff
|
tree
next