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_enumerate_e_series: handle all equalities involving existentials
2009-05-07
Sven Ver
d
oolaege
b
a
rvinok_enum
e
r
ate_e_series: handle all equal
i
ti
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
add test
set from the
o
t
her itsl
2
008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolaege
.
gitignore: ignore obje
c
t fi
l
es
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolaege
genfunc
.
cc: para
l
lel_
p
olytopes:
d
etect 0D
p
olytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Ver
d
ool
a
ege
configure
.
in: s
e
t
AC_CONFIG_MACRO
_
D
IR
commit
|
commitdiff
|
tree
2009-04-27
Sven
V
erdoolaege
add
pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoola
e
ge
Polyhe
d
ron_Factor:
h
a
n
dle p
o
lyhedra with
a non-trivia
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
Verdo
o
laeg
e
update p
i
plib for change in con
f
i
g
ure arguments
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaege
te
s
t_approx
.
c: add d
u
mmy fie
l
d
i
n dumm
y
tms
s
truct
u
re
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erdoolaege
co
n
figure
.
in:
a
void intr
o
ducing em
p
ty e
l
ements in
P
KG_CO
N
FIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erdoolaege
oc
c
:
define
O
MIT_GETRUSAGE i
f
sy
s
/
r
esource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en
Verdoolaeg
e
omega_interface/Make
f
ile
.
am: put depending
libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
e
rdool
a
ege
conf
i
gure
.
i
n
: add $(EXEEXT)
t
o
option
a
l o
c
c for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoola
e
ge
upda
t
e omeg
a
f
or MinGW co
m
p
a
tibilit
y
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
laege
bernstein/configure
.
i
n
:
add missing AC_P
R
OG_
C
XX
commit
|
commitdiff
|
tree
2009-02-04
Sven Verd
o
olaege
genfun
.
cc
:
a
dd braces round extern "C" typedef
commit
|
commitdiff
|
tree
2008-12-30
Sve
n
Verdoo
l
aege
vector_p
a
rtition_cha
m
bers: compu
t
es chambers of ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvinok
.
cc:
r
emove
unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaeg
e
up
d
a
t
e pipl
i
b fo
r
MinGW co
m
patibi
l
ity
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
rdoo
l
aege
updat
e
poly
l
ib for
Min
G
W
compa
t
ibil
i
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fdstre
a
m
.
cc: don'
t
(re)declare fileno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolae
g
e
eva
l
ue
.
c: in_domain: special-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
Avoid
use of sys/times
.
h head
e
r
w
he
n
not avail
a
ble
commit
|
commitdiff
|
tree
2008-12-25
S
v
e
n Verdoolaeg
e
add
g
nul
i
b ge
t
subo
p
t
m
odule
f
o
r M
i
nGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
README: mention that GiNaC is
a
lso ne
e
d
e
d for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Allo
w
b
u
ild o
f
o
c
c when us
i
n
g
bundl
e
d
omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Ver
d
o
olaege
doc: add a reference to a master thesis ac
t
ually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoo
l
aege
ba
r
vinok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
S
ven
V
e
rdoolaeg
e
R
EADME: fix up instal
l
ation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n
Ver
d
o
o
l
a
ege
Ad
d
files
ge
n
era
t
ed
b
y
b
iso
n
a
n
d fle
x
t
o
the di
s
t
r
ibution
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Ve
r
d
o
olaege
u
pdate polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n V
e
rdoolaege
e
value
.
c:
a
f
fi
n
e2e
v
a
l
ue: reduce
c
oefficie
n
ts
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
e
r
doolaeg
e
evalue
.
c: evalue_le
v
el_cmp:
produce mor
e
co
n
sistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdool
a
ege
doc: add anot
h
er pa
p
er refe
r
r
i
ng to the lib
r
ary
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
piecewise_l
s
t
.
h: avoid duplicate p
a
rameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
e
r
doo
l
aege
evalue_read
.
c:
f
ix
m
inor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
S
v
en Verdo
o
lae
g
e
update omega for miss
i
ng files
i
n
d
istribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
barvinok_enu
m
erate_e: av
o
id infinite loop when pres
e
nted
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
inclu
d
e
o
mega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
move
o
m
e
ga subdir
t
o omega_int
e
r
f
ace
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Verdoolaege
NTL_QQ
.
cc: a
d
d stdlib in
c
lude f
o
r abort hidden
i
n
N
T
L
_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
r
e
move gnuli
b
link-warning module
completely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
lexmin
.
cc
:
find
and sort are in std:: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
lexmin
.
cc:
a
v
o
i
d use o
f
t
y
pe
o
f
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
4
co
i
ns
.
cc: r
e
move dead c
o
de
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
te
s
tlib
.
cc: add mi
s
sing
returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
wo
r
karo
u
nd s
i
lly sun co
m
piler
errors
commit
|
commitdiff
|
tree
2008-08-28
S
v
en V
e
r
d
oolaege
Avoid use of the make -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdo
o
laege
summate
.
c: ad
d
missi
n
g include
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
a
e
ge
summate
.
c
: add
m
issing return
va
l
ues
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolae
g
e
Mak
e
file
.
am
:
include lib include dir in build dir
commit
|
commitdiff
|
tree
2008-08-28
S
ve
n
V
e
r
d
oolaege
laur
e
nt
.
cc: d
o
n't use const vector
s
as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
do
o
l
a
ege
v
a
r
iable length arrays are n
o
t standard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
g
enfun
.
cc:
arg
u
ment
o
f mp_get_memory
_
functions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
update pipli
b
for compatibility
c
hanges
commit
|
commitdiff
|
tree
2008-08-24
Sv
e
n Verdoolaege
updat
e
polylib with extra field
i
n
P
a
ram_Po
l
yhedron
commit
|
commitdiff
|
tree
2008-07-30
Sve
n
V
e
rdoo
l
a
e
g
e
doc
:
fix
ty
p
os
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
a
dd mis
s
ing algorith
m
in
c
l
u
de for find
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdoo
l
aege
Fix out-
o
f-bounds error in Lau
r
ent e
x
pa
n
sion
b
ased
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Include empty
.
c file in li
b
barvinok if Gi
N
aC w
a
s not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ven V
e
rd
o
olaege
c
or
r
ectly reflect extra sources f
o
r libbarvi
n
o
k and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
Ve
r
doolaege
f
i
x typo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolae
g
e
lib/st
r
ing
.
in
.
h: copy
__restric
t
handling
from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven
V
erdoolae
g
e
u
p
date gnulib funct
i
o
n to last pre
-
GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sve
n
V
e
r
d
oo
l
a
ege
en
u
merator:
:
h
a
ndle: replace i
n
c
o
rrect delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
upda
t
e piplib fo
r
c
o
rrected Urs_par
m
s handling
commit
|
commitdiff
|
tree
2008-06-12
Sv
e
n Verdoolaege
c
o
n
figure: use correct
h
ead
e
r files in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolae
g
e
conf
i
gure
.
in: fix
c
h
e
ck
for c
o
de
_
gen l
i
brary ava
i
labili
t
y
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolaege
omeg
a
/occ: only open debug output
f
i
le i
f
the
r
e is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ve
n
Verdoolaege
omega/Makefile
.
am: avoid biso
n
's -o op
t
ion
a
s naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
range
.
c
c: add mi
s
sing include of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Ve
r
doolaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
aege
add edi
t
ors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
use
argp for
argument pars
i
ng in barvinok_ehrhar
t
and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoola
e
g
e
pro
p
erly
h
andl
e
NTL CPPFLAGS
a
nd LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
S
v
en Verd
o
olaege
basis_reduction_templ
.
c
:
add missing
include
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ve
r
doo
l
aege
bar
v
i
n
ok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
add some
test
sets
f
r
o
m itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aeg
e
doc: add latest
(
accepted)
publicatio
n
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
a
m: add
s
ectio
n
_array
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
normalizatio
n
.
c: compute_shifts: remove redundan
t
return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
o
l
aege
move Free_Pa
r
a
m
N
ames pol
y
lib and make
p
aram names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
V
erdoolaege
occ:
add
inte
r
face
t
o
barvi
n
ok_summ
a
te
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
dool
a
ege
ex_co
n
vert
.
cc: extract
ex2eva
l
ue
from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verd
o
o
l
a
e
ge
doc: document mor
e
--su
m
mation methods f
o
r bar
v
inok_
s
umma
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rd
o
olaege
o
ptions
.
c: rename
"
b
arvinok" summation method
t
o "box"
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verd
o
olaege
Make
f
ile
.
am: check-euler: also check lau
r
e
n
t
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
su
m
m
ate
.
c:
barvinok_summa
t
e: handle
p
r
oducts of
polytope
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
evalue
.
c
:
export ev
a
l
u
e
_
r
e
order_ter
m
s
commit
|
commitdiff
|
tree
2008-05-04
S
ven
Verdoolaege
berns
t
e
in: nu
m
eric2value: fix typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
ol
a
ege
ut
i
l
.
c:
Factor_Context: extracte
d
from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
summate
.
c:
barvinok_su
m
mate
:
ignore
f
loors indepen
d
ent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
evalue
.
c: ad
d
evalue_fl
o
o
r2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ve
r
d
o
ol
a
ege
omega/occ:
p
rint b
a
rvinok version
n
umber
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
doc: up
d
ate some
r
ef
e
r
ences
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolaege
Make laurent b
a
sed summation the de
f
ault
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
su
m
mate
.
c:
barvinok_summate:
h
an
d
le quasi-polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
red
u
ce_evalu
e
: extract out evalue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
erdool
a
ege
evalue
.
c: e
v
alue
_
shift_v
a
riables: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
next