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
barvinok 0.29
2009-07-22
Sven Verdoola
e
ge
barvino
k
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
e
ge
doc
:
ad
d
exper
i
men
t
al compa
r
ison between
o
ld
a
n
d new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erd
o
olaege
lexmin
.
cc: remo
v
e "a
n
achron
i
sm"
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoolaeg
e
doc: fix
typo
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdo
o
laege
d
o
c: ad
d
so
m
e l
e
ss common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Ver
d
oo
l
aege
add
"c
l
ev
e
r" Laure
n
t expansion
b
ased
s
umm
a
ti
o
n
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
move Last_N
o
n
_
Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
ool
a
ege
ext
r
a
ct ou
t
param_polynomial from la
u
r
e
nt
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verdoolae
g
e
extract
vertex_cone
f
rom laur
e
nt
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
NTL_QQ
.
cc: add stdio
inc
l
ude for E
O
F hidden in NTL_io
_
v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Ve
r
doolaege
up
d
a
te p
o
ly
l
ib for sp
e
ed
i
m
p
rov
e
m
en
t
i
n
in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Ve
r
d
oolaege
update piplib for distribu
t
ion issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdool
a
ege
Polyhedron_Facto
r
: fix merging of gro
u
ps of columns
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdo
o
laege
barvinok_enumerate_series
:
don'
t
c
heck f
o
r r
e
vlex positi
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)counter: move counter::reset()
up to coun
t
er_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makefile
.
am:
k
eep better
t
rac
k
of f
a
i
l
ed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
add
s
emigro
u
p
_holes a
p
p
lication
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoola
e
ge
Line_Length: handl
e
0D poly
t
o
p
e
in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
gen_fun: add is_zero meth
o
d
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
barvinok_
e
numerate_
e
_series: remove e
q
ualiti
e
s in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n
Verdoolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
a
e
ge
b
arvin
o
k
_
enumerate_e_se
r
ies:
handle
all
e
xistentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdool
a
ege
series
.
cc: make pr
o
je
c
t
sta
t
ic
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Verdoolaege
barvinok
_
enumerate_e_seri
e
s: handle all e
q
uali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
eg
e
add tes
t
set from
the other itsl20
0
8 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoola
e
ge
.
giti
g
nore: ignore obj
e
c
t
files
commit
|
commitdiff
|
tree
2009-04-28
Sv
e
n Verdoolaege
genfunc
.
c
c
: parallel
_
p
o
lytopes: d
e
t
ect 0D polytope
s
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven
Ver
d
oolaege
configu
r
e
.
i
n: se
t
AC_C
O
NFIG_MACRO_D
I
R
commit
|
commitdiff
|
tree
2009-04-27
Sve
n
V
e
r
d
oo
l
aege
ad
d
p
k
g
.
m4
commit
|
commitdiff
|
tree
2009-04-02
S
v
en Verdoolaege
Pol
y
h
edron_Factor: handle po
l
yhedra with a non-trivia
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
update pipl
i
b
for
c
han
g
e
i
n configure a
r
guments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
test
_
ap
p
rox
.
c: a
d
d dummy
f
ield in dummy
tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
Verdoolaege
configure
.
i
n
:
av
o
id introducing empty ele
m
ents in
P
KG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaege
o
cc: define OMIT_GETRUS
A
GE if sys/res
o
u
rc
e
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoolaege
omega_interface/M
a
kefi
l
e
.
am
:
put depen
d
ing
li
b
ra
r
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoola
e
ge
c
onf
i
gure
.
i
n: add $(EXEEXT) to optional
o
cc
f
o
r cygwin
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n Verdoolaege
upd
a
te
o
mega
for MinGW compa
t
ibility
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oolaege
bernstein/configure
.
in: add missing AC_PROG
_
CXX
commit
|
commitdiff
|
tree
2009-02-04
Sv
e
n Ve
r
doolaege
genfun
.
cc: add
braces round extern "C" typede
f
commit
|
commitdiff
|
tree
2008-12-30
Sven Ver
d
oolaege
vector_partition_cha
m
bers: compu
t
e
s cham
b
ers of vecto
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdool
a
e
ge
ba
r
vinok
.
cc: remove
u
n
use
d
non
o
rthog
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
rdoolaege
update pip
l
ib for MinGW co
m
patibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoolaege
upd
a
te polyl
i
b for MinG
W
c
o
mpatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolae
g
e
f
dstream
.
cc: do
n
'
t
(
re)declar
e
fileno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c: in_dom
a
in: sp
e
cial-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Ve
r
doolaeg
e
Avoid use of sys/
t
imes
.
h header when n
o
t
available
commit
|
commitdiff
|
tree
2008-12-25
S
ve
n
Verdoolaege
a
dd
g
nu
l
ib getsu
b
opt module f
o
r MinGW
commit
|
commitdiff
|
tree
2008-12-01
S
ven Verdool
a
ege
R
E
ADM
E
: men
t
ion that GiNaC is also n
e
eded for the Omeg
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven
Verd
o
olae
g
e
A
llow build of occ
when using
b
undled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
d
o
c
: a
d
d a
reference to a master thesis actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoo
l
a
ege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verd
o
olaege
README: fix up inst
a
llation instr
u
ctions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
A
dd fi
l
es g
e
nerated
b
y
b
ison an
d
flex to t
h
e distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
up
d
at
e
poly
l
i
b
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n V
e
rdool
a
e
g
e
upd
a
te piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
e
rd
o
olaege
evalue
.
c: aff
i
ne2evalue: red
u
ce coeffici
e
nts
commit
|
commitdiff
|
tree
2008-10-10
Sven Ve
r
doola
e
ge
e
v
alu
e
.
c: evalue_lev
e
l_cmp:
produc
e
more c
o
nsistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sv
e
n
V
erd
o
olae
g
e
doc: add another paper referr
i
ng t
o
the l
i
brary
commit
|
commitdiff
|
tree
2008-09-16
Sven Ve
r
doolaege
piecewise_lst
.
h: avoi
d
dupl
i
cate parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdo
o
l
aege
eva
l
ue_read
.
c
:
f
i
x minor bug
s
in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Ver
d
oolaege
update omega for missing
f
iles in distribu
t
i
on
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolae
g
e
barvinok_en
u
merate_e: avoid
i
nfinite loop when
p
r
esented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Ve
r
doolaeg
e
include omega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
move omega subdir to om
e
g
a
_
in
t
erface
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
o
laege
NT
L
_
Q
Q
.
cc: add st
d
lib include for abort
hidden in NTL_
v
ector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
ool
a
e
ge
remove gnulib link-w
a
rning mod
u
l
e c
o
mple
t
ely
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
lexmin
.
cc: find and sort are
in st
d
:: namespac
e
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdoolaege
lexm
i
n
.
cc: avo
i
d use
o
f typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
4coin
s
.
cc: remove dead
code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
t
e
s
t
lib
.
cc: ad
d
mi
s
sing
r
eturns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
w
o
r
ka
r
ound
s
i
l
ly sun compiler er
r
ors
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
Avoid
use of
the make
-C
option
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoola
e
ge
summate
.
c: add
m
issi
n
g include
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolae
g
e
s
umm
a
t
e
.
c: a
d
d missi
n
g return valu
e
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
Ma
k
efile
.
am: include lib include dir in
build
d
ir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
laurent
.
cc:
d
on
'
t use const vectors
as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
variable lengt
h
arrays are not
s
tanda
r
d C++
(
yet)
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ver
d
oolaege
g
enfun
.
c
c
: a
r
gum
e
nt of mp_get_memory_functio
n
s s
h
ould
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
updat
e
p
ip
l
ib for comp
a
ti
b
i
l
it
y
chan
g
es
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdool
a
ege
upda
t
e polylib with extra field in
Param_Po
l
y
hedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Ve
r
doolaeg
e
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
S
ven Verdoolaege
add
m
issing algorit
h
m include for f
i
nd
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdool
a
ege
Fix out-of
-
bou
n
ds error in Laurent expan
s
io
n
ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaeg
e
Inclu
d
e emp
t
y
.
c f
i
le in libba
r
vinok if GiNaC was
not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
erdoolae
g
e
cor
r
ectly r
e
fle
c
t extra sources fo
r
lib
b
ar
v
inok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoolae
g
e
fix ty
p
o in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
lib
/
string
.
in
.
h:
cop
y
_
_
restrict ha
n
dli
n
g from
l
ib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sv
e
n Verd
o
olaege
update gnulib function to last pre-G
P
Lv3 versi
o
n
commit
|
commitdiff
|
tree
2008-07-02
Sven Ver
d
o
olaege
enumerato
r
:
:handle
:
replace incor
r
e
c
t delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verd
o
ol
a
ege
update
p
iplib fo
r
corrected U
r
s_par
m
s handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
c
o
nfigur
e
: use correct
h
eader files
in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
aege
config
u
re
.
in: f
i
x check
for cod
e
_ge
n
li
b
r
a
r
y
avai
l
ability
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoo
l
aege
omega/occ: only open debug ou
t
put f
i
l
e if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verdool
a
ege
omega/
M
a
kefile
.
am: avoid bison's -o
o
ptio
n
as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
r
ange
.
c
c
: add missing include o
f
a
lloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
S
v
en V
e
rdoolaege
do
c
: fix t
y
po
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verd
o
ola
e
ge
add editors t
o
I
T
SL pape
r
s
commit
|
commitdiff
|
tree
2008-05-07
S
v
en Verdoolaege
use argp for a
r
gument parsing in barvinok
_
e
h
rhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaeg
e
properly
hand
l
e NTL CPPFLAG
S
and L
D
FLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoola
e
ge
basi
s
_redu
c
ti
o
n_templ
.
c:
a
dd mis
s
ing include
commit
|
commitdiff
|
tree
next