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 isl for help message printing
2009-07-22
Sven Verdoolaege
doc: a
d
d experi
m
ental com
p
arison between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoolaege
lexmin
.
cc: remove "anachronism
"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc
:
a
d
d
some less
c
ommon
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Ve
r
doolaege
add "clever
"
Laurent expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaege
move Last_Non_Zero to uti
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdo
o
laeg
e
extract out
p
aram_polynomial f
r
om laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
laege
e
xtract vertex_cone
from lauren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-11
S
v
e
n
V
erdo
o
l
aege
update
polylib for spe
e
d improveme
n
t in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
update piplib for d
i
stri
b
ution issue
commit
|
commitdiff
|
tree
2009-05-26
Sv
e
n Ver
d
oolaege
P
olyh
e
dron_Factor: fix merging of
g
rou
p
s of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
arvinok_enumerat
e
_s
e
ries: don't check
for revl
e
x posi
t
i
ve
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
(t)count
e
r: mo
v
e counter::reset() up
to
c
o
unter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdo
o
l
ae
g
e
Make
f
i
le
.
am: kee
p
b
e
t
t
er track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdool
a
ege
a
d
d semigroup_
h
oles appli
c
ation
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
Li
n
e_Length:
han
d
le 0D polytope in 1D
s
p
ace
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
gen_fun: add is_zero me
t
h
o
d
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enumerat
e
_e_se
r
ies
:
re
m
ove equalitie
s
i
n
each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Ver
d
oolaege
barvin
o
k
_enumer
a
te
_
e_
s
e
ries: handle all
e
xistentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
Verdoolaege
se
r
ies
.
cc: make project static
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
barvinok_enum
e
rate_
e
_ser
i
es: handle
a
ll
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
add tes
t
set
f
rom the other itsl2
0
08 p
a
per
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolae
g
e
Polyhedro
n
_
F
act
o
r:
h
and
l
e polyhedra with a
n
on-t
r
ivi
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
ven Verdoo
l
aege
update piplib for
c
hange
in configure
a
rguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
aege
test_approx
.
c: a
d
d dummy fi
e
ld in dummy tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
Verdoolaege
configure
.
i
n
: avoid intro
d
ucing empty
elements
i
n PKG_
C
O
NFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
e
ge
occ: define OMIT_GETRUSAGE if sys/resourc
e
.
h
cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
ome
g
a_interfa
c
e/Makefile
.
am
:
put depending libra
r
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n
Verdoola
e
ge
c
o
n
figure
.
in: add $(EXEEXT) t
o
optional occ for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoo
l
aege
u
p
date
omega for MinGW compatibility
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoo
l
aege
b
e
rnstein/
c
onfigure
.
in: add miss
i
ng
AC_PROG
_
CXX
commit
|
commitdiff
|
tree
2008-12-30
Sven
Ve
r
do
o
laege
v
ecto
r
_partitio
n
_cha
m
bers:
c
o
mpu
t
es
c
h
ambers
o
f vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven
V
er
d
oola
e
ge
barvi
n
ok
.
cc
:
remove u
n
used nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Ve
r
doola
e
g
e
updat
e
piplib for MinGW
c
ompat
i
bility
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoo
l
a
e
ge
update p
o
lylib for
Mi
n
G
W
compatibility
commit
|
commitdiff
|
tree
2008-12-26
S
ven
Verd
o
o
l
a
ege
fdstre
a
m
.
cc: d
o
n't (re)declare fileno
if it's
a m
a
c
ro
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoolaege
eval
u
e
.
c:
i
n_domain:
special-
c
ase 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Verdoolaege
Avoid use of sys/times
.
h he
a
der
w
hen not available
commit
|
commitdiff
|
tree
2008-12-25
Sven V
e
rdoolaege
add gnuli
b
g
etsubopt module fo
r
MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verd
o
olae
g
e
R
E
AD
M
E
: me
n
tion
t
hat GiNaC is
a
lso needed for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Ve
r
doolaege
A
llow
b
uild
o
f
occ wh
e
n using bund
l
ed omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoo
l
aege
doc: add a
r
eference to a master t
h
e
s
is actually us
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoolaege
REA
D
ME: fix up installation instructio
n
s
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
ege
Add fi
l
e
s
g
en
e
rat
e
d b
y
b
i
so
n
and flex to the d
i
stribution
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
e
rd
o
olaege
upd
a
te
p
olylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolae
g
e
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: af
f
ine2e
v
a
l
ue: reduce c
o
efficients
commit
|
commitdiff
|
tree
2008-10-10
Sven V
e
rdo
o
laege
e
value
.
c: evalue_
l
evel_cmp: produ
c
e more co
n
siste
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc:
a
dd anoth
e
r paper re
f
erring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoo
l
aeg
e
p
iece
w
ise_lst
.
h
:
avoid d
u
plicate paramete
r
n
a
me
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
evalue
_
read
.
c: fix min
o
r bugs in
tokenizer
commit
|
commitdiff
|
tree
2008-09-02
S
ven Ver
d
oolae
g
e
up
d
ate omega for missing f
i
les in
d
i
s
trib
u
tion
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
barvin
o
k_enu
m
er
a
te_e:
avoid i
n
finite l
o
op when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
i
nclu
d
e omega subm
o
du
l
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
move om
e
ga subdir to
omega_i
n
t
erface
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdo
o
lae
g
e
N
TL_QQ
.
cc: add st
d
lib
i
nclude for abort
h
idden i
n
NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
remove gnulib link-wa
r
n
i
ng module completely
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
lexmin
.
cc: find and sort are in std:
:
namespace
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdool
a
e
ge
lexmin
.
cc: avoid use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
4coi
n
s
.
cc:
r
e
move dea
d
co
d
e
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdool
a
ege
tes
t
lib
.
c
c:
add mi
s
sing ret
u
rns
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ver
d
ool
a
ege
workaround s
i
lly
sun
c
ompiler e
r
rors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
eg
e
Avoid
u
se of the
m
a
ke -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
summate
.
c: add missing in
c
lude
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
s
ummate
.
c:
a
dd missing re
t
urn values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Mak
e
file
.
am: i
n
cl
u
de
l
ib
include d
i
r in b
u
i
ld
d
i
r
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Ver
d
oolae
g
e
laurent
.
cc: don't use
const v
e
ctors a
s
map key
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oola
e
ge
variable length
a
r
rays are not stan
d
ard C++ (y
e
t)
commit
|
commitdiff
|
tree
2008-08-28
S
ven
Verdoolaege
genfun
.
cc: arg
u
ment o
f
m
p_get_mem
o
ry_
f
u
n
ctions shou
l
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en V
e
rd
o
o
l
a
ege
u
p
date piplib for compatibility ch
a
nges
commit
|
commitdiff
|
tree
2008-08-24
Sven Ve
r
doola
e
ge
u
pdate
p
o
l
y
lib
w
ith extra field in
P
a
ram_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
add missing algor
i
thm include for
find
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n V
e
rdoolaege
Fi
x
out-of-
b
ounds
error in
L
aurent expansion
based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Inclu
d
e empty
.
c
fil
e
in
libbarvinok
i
f GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
c
o
rrectly refle
c
t
ex
t
ra source
s
f
or libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
fix ty
p
o i
n
comment
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
erdoolaege
l
i
b
/string
.
in
.
h: co
p
y
__restri
c
t
h
a
ndling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
u
p
d
a
te
g
nu
l
ib
f
u
nction
to
last pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sv
e
n
Verdoolaege
enumerat
o
r::handle: replace incorr
e
ct
delet
e
by free
commit
|
commitdiff
|
tree
2008-06-17
Sv
e
n
Verd
o
olaege
u
pdate
p
iplib for corrected Urs_parms h
a
ndling
commit
|
commitdiff
|
tree
2008-06-12
Sv
e
n
V
erdoo
l
aege
configur
e
:
u
se correct hea
d
er files in ca
s
e of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
ege
omega
/
occ: only open debu
g
output file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoolaege
doc: f
i
x ty
p
o
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n V
e
rdoolaege
add editors to ITS
L
paper
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
barvinok
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add s
o
me test
s
e
ts from
i
tsl200
8
p
a
p
er
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
doc
:
add latest (accep
t
ed) publicat
i
ons
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolae
g
e
Makefi
l
e
.
am: add s
e
ction_
a
rray
.
h to d
i
stribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
normal
i
za
t
i
o
n
.
c: c
o
mput
e
_s
h
ifts: remove
r
edundant retur
n
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
Ve
r
d
oolaege
move F
r
ee
_
Para
m
Nam
e
s polylib
and
mak
e
param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
oc
c
: ad
d
i
n
terfa
c
e
to barvi
n
ok_summat
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
ex_convert
.
cc: extr
a
ct ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
doc:
d
ocumen
t
m
o
re --s
u
m
mation me
t
hods
for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
o
p
tions
.
c: rename "barvinok" summ
a
tion method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
M
ake
f
ile
.
am
:
che
c
k-euler:
a
lso chec
k
laur
e
nt
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c: b
a
rvinok_summate: handle
p
r
o
ducts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
eva
l
ue
.
c: export evalue_reorde
r
_term
s
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verdoolaege
bernstein:
n
umeric2value: fix typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
next