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
Sv
e
n Verdoolae
g
e
extract out pa
r
a
m
_
polynomial from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdool
a
e
ge
e
x
tract vertex
_
c
o
ne
from lauren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoo
l
aege
NTL_QQ
.
cc:
a
d
d
st
d
io include
f
o
r EOF hidd
e
n in NTL_i
o
_v
e
c
t
or
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolae
g
e
u
pdate polylib for
s
peed impro
v
ement in
in_dom
a
in
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
update piplib f
o
r
distribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
P
o
ly
h
edron_
F
actor: fix mergi
n
g of
groups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
ba
r
vinok_enumerate
_
ser
i
es: don
'
t
check for
r
evl
e
x positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)counter: mo
v
e co
u
nter::reset() up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makefile
.
am: keep better track o
f
fai
l
e
d t
e
st
s
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
add sem
i
group_holes application
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aeg
e
L
in
e
_Le
n
gth: handle
0D polytope i
n
1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
r
doolaege
gen_fun: ad
d
i
s_ze
r
o
metho
d
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoo
l
aege
b
a
rvin
o
k_enumerate_e_series: remove e
q
u
a
lities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoo
l
aege
doc
:
fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
e
ge
barvi
n
ok_enum
e
rate
_
e_seri
e
s: handl
e
all existen
t
ials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
s
e
ries
.
c
c
: make project static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
bar
v
inok_enumera
t
e_e_series: handle all equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Ver
d
oolaege
ad
d
test set from the o
t
her itsl20
0
8 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Ve
r
d
o
olaege
.
gi
t
ignore:
ignor
e
o
bj
e
ct files
commit
|
commitdiff
|
tree
2009-04-28
Sv
e
n Ver
d
oolaege
genf
u
nc
.
cc:
parallel_pol
y
topes: detect 0
D
polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Ver
d
oo
l
aege
c
o
nfig
u
r
e
.
i
n: set AC_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
add
pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoola
e
g
e
Polyhedron_Factor: handle polyhedr
a
wi
t
h a
n
on-tr
i
vial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
ve
n
Verdoolaege
u
p
date
piplib f
o
r change in
c
onfig
u
re arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdo
o
laege
test_approx
.
c: add dum
m
y
f
ie
l
d
in
dummy tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
Ver
d
oolaege
conf
i
g
ure
.
in: avoid i
n
tro
d
u
cing empty elements
i
n
PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaeg
e
oc
c
: define OM
I
T_GE
T
RUSAGE if sys/r
e
sou
r
ce
.
h canno
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolaege
omega_interface/Mak
e
fi
l
e
.
am: put
depending libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
configure
.
in: add $(E
X
EEXT) to optional occ
f
o
r
cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oolaege
update
o
m
e
g
a for M
i
nGW compatibility
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
V
er
d
oolaege
bernstein/config
u
re
.
in: add mi
s
sin
g
AC_
P
RO
G
_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sv
e
n Verdoolaege
genfun
.
cc: add
bra
c
es round
e
x
tern "
C
" typedef
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdoolaege
vector_part
i
t
ion_chambers: comp
u
tes ch
a
mbers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdool
a
ege
barv
i
nok
.
cc: remove unu
s
ed nonorth
o
g
commit
|
commitdiff
|
tree
2008-12-26
S
v
e
n
Ve
r
doolaege
update piplib
f
o
r MinGW comp
a
tibi
l
ity
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
update p
o
lylib for
MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
lae
g
e
f
dst
r
e
am
.
cc: don't (re)declare
f
ileno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Ve
r
d
oolaege
evalue
.
c:
i
n_domain: s
p
ecial-case 0D domain
s
commit
|
commitdiff
|
tree
2008-12-25
Sven Ve
r
doolaege
Av
o
id use of sys/times
.
h header when not
a
v
ailable
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Verdoo
l
ae
g
e
add
gnulib
get
s
ub
o
pt module for
MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Ver
d
oo
l
a
ege
README
:
men
t
ion tha
t
GiNaC
is also ne
e
de
d
f
or the
O
m
eg
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Allow
b
ui
l
d of occ when using bundle
d
omega
commit
|
commitdiff
|
tree
2008-10-28
Sven
Ver
d
oolaege
doc: add a refere
n
ce to
a
m
aster th
e
sis actually
u
sing
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
laege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doolaege
README: fix up i
n
stal
l
ation
instructions
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
V
e
rdoolaege
Add files generated by bison and f
l
e
x to the
di
s
t
ribu
t
ion
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
r
d
o
o
laege
update polyli
b
commit
|
commitdiff
|
tree
2008-10-16
S
ven Ver
d
oolaege
update
p
i
p
l
ib
commit
|
commitdiff
|
tree
2008-10-10
S
v
e
n
V
e
rdoolae
g
e
evalu
e
.
c: affine2evalue: reduce coefficie
n
ts
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolae
g
e
evalue
.
c: evalue
_
leve
l
_cmp: p
r
od
u
ce more consisten
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sv
e
n Verdool
a
ege
doc: add a
n
other p
a
p
e
r
referring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sv
e
n Ver
d
oolae
g
e
piecewise
_
lst
.
h
: avoid
duplicate parameter na
m
e
commit
|
commitdiff
|
tree
2008-09-02
Sven
Verdoo
l
a
e
g
e
eval
u
e_read
.
c
:
fix minor b
u
gs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sv
e
n Verdoolaege
update
o
meg
a
fo
r
miss
i
n
g files in distribut
i
on
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Ve
r
doo
l
aege
barvin
o
k_enum
e
rate_e: avoid
i
n
finite loop when pr
e
s
e
n
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoo
l
aege
inc
l
ude omega submod
u
le
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
move omeg
a
su
b
dir to omega_
i
nterface
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rd
o
ol
a
ege
NTL_QQ
.
c
c: add
stdli
b
include for abort hidden in
N
T
L
_
vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolae
g
e
remove gn
u
lib
link
-
warning module
c
om
p
l
etel
y
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
lexmin
.
cc: fin
d
a
nd
s
ort are in std:: nam
e
space
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoo
l
aege
lexmin
.
cc: avo
i
d use of
type
o
f
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
4coins
.
cc: r
e
mo
v
e
d
ead c
o
de
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoo
l
a
e
ge
te
s
t
l
ib
.
c
c: add m
i
s
sing re
t
ur
n
s
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoo
l
ae
g
e
w
or
k
a
r
ound silly s
u
n co
m
p
i
ler erro
r
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
do
o
l
a
ege
Avoid use of the make -C op
t
ion
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
s
ummate
.
c
:
a
dd
missing include
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
summat
e
.
c: add missing return values
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
ool
a
ege
Makefile
.
am: include lib include d
i
r in bu
i
ld dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
laurent
.
cc: don't use co
n
s
t
vectors as map
k
eys
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
d
oola
e
ge
v
ariable length arrays are not sta
n
dard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
genfun
.
cc:
argument of mp_ge
t
_memor
y
_f
u
nctions s
h
o
u
ld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
u
pdate piplib for com
p
atibilit
y
cha
n
ges
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
update pol
y
lib wi
t
h extra fi
e
ld in Param_Polyh
e
dron
commit
|
commitdiff
|
tree
2008-07-30
Sven Ver
d
o
olaege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
a
dd missing algorith
m
include for find
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
e
rdoo
l
aege
Fix
o
ut-
o
f-bounds erro
r
in Laurent
expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoo
l
a
e
ge
Includ
e
empt
y
.
c file i
n
l
i
bbarvi
n
ok if Gi
N
aC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolae
g
e
correctly
r
eflect extr
a
sources for libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Ve
r
doolaege
fix typo in
comm
e
n
t
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Ver
d
oolaege
lib/string
.
in
.
h:
copy __restrict handling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven V
e
rdoolaege
update
gnulib function to last pre-GPLv3 versio
n
commit
|
commitdiff
|
tree
2008-07-02
Sven Verd
o
olaege
enum
e
rator::handle: re
p
lace
inc
o
rrect de
l
ete by free
commit
|
commitdiff
|
tree
2008-06-17
Sv
e
n Verdoola
e
ge
update pi
p
lib
f
or correc
t
ed Urs_p
a
rms handling
commit
|
commitdiff
|
tree
2008-06-12
S
v
en Verdoolaege
confi
g
ure: use co
r
rect header files in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
d
oo
l
a
e
g
e
configure
.
in: fix chec
k
for code
_
gen library availabi
l
ity
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdool
a
ege
omega/
o
cc:
o
nly open debug outp
u
t file if
t
here is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/Make
f
ile
.
am: avoid
b
ison's
-
o option
a
s nami
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
range
.
cc: add missin
g
in
c
lu
d
e of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolaege
doc: fix typ
o
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdo
o
laeg
e
add editors
to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
S
ven Verdool
a
ege
use argp for argument parsing in barvinok_ehrha
r
t
and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Ve
r
d
o
olae
g
e
pro
p
erly hand
l
e NTL CP
P
FLAGS
an
d
LDFLA
G
S
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
basis
_
reduction_templ
.
c: add
miss
i
ng include
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
bar
v
inok
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolae
g
e
add some test sets
f
rom itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verdoolaege
doc: add latest (acc
e
pt
e
d) public
a
tions
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ver
d
oolaege
M
a
kef
i
l
e
.
am: add sect
i
on
_
array
.
h to di
s
t
ribution
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ver
d
oolaege
normali
z
a
t
ion
.
c: compute_
s
hifts: remove redundant return
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
Verdoolae
g
e
mov
e
Fre
e
_Par
a
m
Names
p
olyl
i
b a
n
d make
param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
d
o
olaege
occ: add interface to barvinok_summate
commit
|
commitdiff
|
tree
next