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
extract out param_polynomial from laurent.cc
2009-07-20
Sven Verdoolaege
extract out pa
r
am_polynomial
f
rom la
u
re
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract v
e
rtex_c
o
ne fr
o
m laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
update polylib f
o
r speed improveme
n
t
in i
n
_
domain
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n Verd
o
ol
a
ege
u
p
d
ate pipl
i
b for distribut
i
on issue
commit
|
commitdiff
|
tree
2009-05-26
S
v
en Verdoolaege
Polyhedron_Factor:
f
ix m
e
rging o
f
gro
u
ps o
f
co
l
um
n
s
commit
|
commitdiff
|
tree
2009-05-07
S
ven V
e
rdool
a
e
g
e
barvinok_enu
m
erate_se
r
i
es: don't check for revlex
p
o
s
itive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)coun
t
er:
move
c
ounter::reset
(
) up to coun
t
er_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
rdoolae
g
e
Makefile
.
am: keep be
t
ter trac
k
of fa
i
le
d
tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add sem
i
group
_
h
o
les applicatio
n
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaeg
e
Li
n
e
_L
e
ngth: ha
n
d
le 0D pol
y
tope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
gen_fun: add is_zero method
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdool
a
ege
barv
i
nok_en
u
merate_e_series: remove equalities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
ba
r
vi
n
ok_enu
m
era
t
e_
e
_series:
handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
series
.
cc: make proj
e
ct s
t
atic
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok
_
enumerate_e_seri
e
s: handle all equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verd
o
olaege
add t
e
st se
t
from the other itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
e
rdoolaeg
e
Polyhedron_Facto
r
:
han
d
le polyhedra w
i
th a non-t
r
ivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
v
e
n
Verdoolaege
update piplib f
o
r
c
han
g
e in configur
e
argume
n
ts
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdool
a
ege
t
est_ap
p
rox
.
c: add du
m
my field in dummy tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
confi
g
ure
.
in: avoid introd
u
cing em
p
ty
e
lements in PKG
_
CO
N
F
I
G
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaeg
e
o
c
c: define OM
I
T_GETRUSAGE if sys/resource
.
h cann
o
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdo
o
laege
o
me
g
a_inte
r
face/Ma
k
efil
e
.
am: put depending librar
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaeg
e
c
o
n
figu
r
e
.
in: add $
(
EXE
E
XT) to optional occ for
c
ygwin
commit
|
commitdiff
|
tree
2009-02-09
S
v
en
V
e
r
doolaege
update ome
g
a for Min
G
W compatibility
commit
|
commitdiff
|
tree
2009-02-09
S
v
en
Verdo
o
laege
b
ernste
i
n/configure
.
in:
add missing A
C
_
PROG_
C
XX
commit
|
commitdiff
|
tree
2008-12-30
Sven Ver
d
o
o
laege
vector_par
t
i
t
ion_ch
a
mbers: computes chambers o
f
vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvin
o
k
.
cc: remo
v
e
u
nused nonorth
o
g
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erdo
o
la
e
ge
update
p
iplib for MinGW co
m
patibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
oolaege
update polyl
i
b
f
or
MinGW
c
ompatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
rdoolaege
fds
t
ream
.
c
c
: do
n
't (re)declare fileno if it's a ma
c
ro
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoolaege
eva
l
ue
.
c:
i
n_domain: speci
a
l
-
c
ase 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdo
o
laege
Av
o
id us
e
of sys/ti
m
es
.
h heade
r
when n
o
t
available
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Verdoolaege
add gnulib
g
etsubo
p
t
module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Ve
r
d
oolaege
README: m
e
n
tion that GiNa
C
is a
l
so needed for the
Ome
g
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Al
l
ow
build of
occ w
h
en u
s
i
n
g bundle
d
om
e
g
a
commit
|
commitdiff
|
tree
2008-10-28
S
ven Verdoolaege
doc: add a reference to
a
mas
t
er thesis actually u
s
ing
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
ba
r
vinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doolaege
REA
D
ME:
f
i
x
up instal
l
a
t
ion instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oolaege
Add files genera
t
e
d
by bison and
fl
e
x to the distributi
o
n
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
d
oolaege
u
pdate piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Ver
d
oolaege
evalue
.
c: a
f
f
i
n
e2evalue: reduce coeff
i
cient
s
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: evalue_le
v
el_c
m
p: p
r
oduce
m
o
re
c
onsistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven V
e
rd
o
ola
e
ge
doc: add anothe
r
paper r
e
fer
r
ing to the
l
i
b
ra
r
y
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolae
g
e
piecewi
s
e_
l
st
.
h: avoid du
p
l
i
c
a
te pa
r
a
m
e
ter
n
am
e
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
evalue_read
.
c: fi
x
m
inor
b
ug
s
in
tokeni
z
er
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
u
pdat
e
o
m
e
ga for missing
fil
e
s
in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
b
arvino
k
_enumerate_e
:
avoid in
f
ini
t
e
loop
when pr
e
s
e
nted
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
include omega su
b
m
o
dule
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
move ome
g
a subdir to
o
mega
_
interface
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
V
erdoolaege
NTL_QQ
.
cc: add stdlib include for abort hidden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
r
d
oolaege
remove gnu
l
ib
l
i
n
k-
w
arning module comple
t
el
y
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
lexmin
.
cc: find an
d
sort a
r
e in
std:
:
n
a
mespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmin
.
cc:
a
v
o
i
d use of
t
y
peof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
4coins
.
cc: r
e
move
d
ead code
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verd
o
olaege
testlib
.
cc: add missing
r
e
turns
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verd
o
ol
a
e
g
e
workaround sil
l
y
s
un
c
ompiler errors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Avoid
u
se
o
f
the ma
k
e -C o
p
tio
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
summate
.
c: a
d
d mi
s
s
i
ng include
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verd
o
o
laege
sum
m
ate
.
c:
add missing return v
a
lues
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Makefi
l
e
.
am: i
n
clud
e
lib include dir i
n
build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
laurent
.
cc
:
d
o
n'
t
use
c
on
s
t ve
c
tors
a
s
m
a
p keys
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
v
ariable length
a
r
rays a
r
e no
t
standar
d
C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
genf
u
n
.
cc: argument of mp_get_memor
y
_fun
c
tions shou
l
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
up
d
ate piplib
f
o
r
c
omp
a
tibility changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Verd
o
olaege
update pol
y
lib with extra fiel
d
in Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verd
o
olaege
do
c
: fix t
y
pos
commit
|
commitdiff
|
tree
2008-07-22
S
ven Ver
d
oola
e
g
e
add
m
issing al
g
orithm include for find
commit
|
commitdiff
|
tree
2008-07-22
S
v
e
n
Verdoolae
g
e
Fix
out-of-bo
u
n
ds error in Laurent expansio
n
based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Inc
l
ude empty
.
c file in libbar
v
inok if Gi
N
aC w
a
s not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
o
olaege
c
o
rrectly ref
l
e
ct extra so
u
rce
s
for libbarv
i
nok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
erdoolaege
fix ty
p
o in
c
omment
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
oolae
g
e
l
ib/string
.
in
.
h: cop
y
_
_
restrict
handling from
lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
u
p
d
ate
gn
u
l
i
b
function
t
o
last pre-
G
PLv3 version
commit
|
commitdiff
|
tree
2008-07-02
S
v
e
n Verdoolae
g
e
enumerator::handle: replace incor
r
ect de
l
ete by free
commit
|
commitdiff
|
tree
2008-06-17
Sve
n
Verd
o
olaege
update piplib for
corrected Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
S
v
en Verdoolaeg
e
configur
e
:
use
c
orrect h
e
ader fi
l
es in case
of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdoolaeg
e
omega/occ:
o
nly open debug output f
i
l
e if th
e
re
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven
Verdoo
l
aege
doc
:
fi
x
typo
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolaege
add
edi
t
ors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
barvi
n
ok
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add
som
e
t
e
st set
s
fr
o
m it
s
l2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
doc: add
latest (acce
p
ted) publica
t
ion
s
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ve
r
doo
l
ae
g
e
Makefile
.
a
m
:
add
section_array
.
h to distributi
o
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
g
e
n
ormalization
.
c: com
p
ute_sh
i
fts: remov
e
redunda
n
t return
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
move F
r
e
e
_ParamN
a
mes polylib and mak
e
param
names
c
onst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
occ: add
i
nterf
a
ce to b
a
r
vin
o
k_summate
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
ex_
c
onvert
.
cc:
e
xtract ex2evalue from
range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
do
c
: document more --summation method
s
for barvinok
_
summate
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdo
o
laege
opti
o
ns
.
c: rename "barvinok" summation method to
"
bo
x
"
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
Makefile
.
am: chec
k
-
e
uler: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
summate
.
c: ba
r
vi
n
ok_summa
t
e: handle pr
o
ducts of
p
olytop
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
evalue
.
c
:
e
x
port e
v
alue_reo
r
d
er_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
berns
t
ein:
numer
i
c2value: f
i
x typ
o
to allow
correc
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ver
d
o
o
laeg
e
ut
i
l
.
c:
F
actor_Co
n
t
ext: extracted from bar
v
inok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
er
d
oolaeg
e
summate
.
c: bar
v
i
nok_summate:
i
g
n
ore
floors in
d
epend
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verd
o
olaege
omega/
o
cc
:
print barvinok version num
b
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
ola
e
ge
doc:
update some references
commit
|
commitdiff
|
tree
next