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 Verdo
o
laege
b
a
rvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaeg
e
d
oc: ad
d
experimen
t
al comparison between ol
d
and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
lexmin
.
cc: remove "anachronis
m
"
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n Verdoolaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n
Verdoolaege
d
oc: add som
e
less
co
m
mon
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "clev
e
r"
Laur
e
nt expan
s
ion
b
ased summatio
n
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdool
a
ege
move
Last_Non_Zero to
u
t
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoola
e
ge
ext
r
act out param
_
p
olynom
i
al f
r
om
l
aurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoo
l
aege
extract
v
ertex_cone
f
rom laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
NTL_QQ
.
cc: a
d
d st
d
i
o inc
l
ude for
EOF hidden in NTL_io
_
vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
v
e
n Verd
o
olaege
upd
a
te pol
y
lib for
s
peed im
p
rovement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdo
o
laege
update piplib for d
i
stribution
issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
P
o
lyhedron_Fa
c
tor: f
i
x
m
erging o
f
g
rou
p
s o
f
columns
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Verd
o
ola
e
ge
barvin
o
k_enumerate_series: don'
t
c
h
e
c
k
for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ve
n
Verd
o
olaege
(t)counter: m
o
ve counter::reset()
up t
o
co
u
nter_ba
s
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
Mak
e
fil
e
.
am:
k
eep b
e
tter track of fa
i
l
ed
tests
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdo
o
laege
add se
m
igroup_holes appli
c
ation
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line_Lengt
h
: handle 0D polyt
o
pe in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
gen_fun:
add
is_
z
ero method
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoo
l
aege
bar
v
inok_enumerat
e
_e_series: remove equa
l
ities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Ve
r
doolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
arvino
k
_enumerate
_
e_
s
e
ries: handle
a
l
l
existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Verdoolaege
series
.
cc:
m
a
k
e p
r
oject static
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaeg
e
ba
r
vinok_enum
e
r
a
te
_
e
_serie
s
:
h
andle all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven V
e
rdoolaege
add test set
from th
e
other
i
tsl2008 p
a
per
commit
|
commitdiff
|
tree
2009-04-28
Sven
V
erdoolaege
.
gitigno
r
e: ig
n
ore
o
bject
f
ile
s
commit
|
commitdiff
|
tree
2009-04-28
Sven
Verdoolaege
genf
u
nc
.
c
c
: parallel_polytope
s
: detect 0D polytop
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Ver
d
oolaege
co
n
fig
u
re
.
in: set AC_CO
N
FIG_MACRO_D
I
R
commit
|
commitdiff
|
tree
2009-04-27
Sv
e
n
Verdoolaege
add pkg
.
m
4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoo
l
aege
P
o
ly
h
edron_Fact
o
r: handle polyhed
r
a with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
Ver
d
o
olaege
update piplib
for
c
h
a
nge
in
c
onfigure arguments
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolaeg
e
t
est
_
approx
.
c: add dummy f
i
e
l
d in
dummy tms
s
t
ruct
u
re
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
V
erdoo
l
aege
co
n
figure
.
in:
a
void
introducing empty element
s
in
PK
G
_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verd
o
olaege
occ: define OMIT_GETRUSAGE if sys/reso
u
rc
e
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oolaege
omega_inte
r
face/Mak
e
fi
l
e
.
a
m: put
d
epending
librarie
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoola
e
g
e
configure
.
in: a
d
d $(EXEEXT)
to
o
ptional occ for cygw
i
n
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n Verdoolaege
update
o
mega
f
or Mi
n
GW co
m
patibility
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n V
e
rdoolaege
be
r
nstein
/
c
onfigure
.
in:
add missi
n
g AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
S
v
en Verdoolaege
genfun
.
cc:
a
dd b
r
aces
round extern "C" t
y
pedef
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdoo
l
aege
vector_partition_chambers: computes c
h
ambers of vecto
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdo
o
laege
ba
r
vinok
.
cc: remove
unuse
d
nonor
t
h
o
g
commit
|
commitdiff
|
tree
2008-12-26
Sven
Ve
r
doolaege
updat
e
piplib for Mi
n
GW compatibility
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verd
o
ola
e
ge
upda
t
e
polyl
i
b for
M
inGW
c
ompat
i
b
ility
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
rdoolaege
fd
s
tream
.
cc: don't
(
r
e
)d
e
clare filen
o
if it's a
m
acro
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoolaeg
e
e
value
.
c
:
in_dom
a
i
n
: special-c
a
se 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
Avoid use of sys/tim
e
s
.
h header when not avai
l
a
ble
commit
|
commitdiff
|
tree
2008-12-25
Sven V
e
rdo
o
l
aege
add gnulib getsu
b
o
p
t m
o
dule for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Ve
r
doolaege
README: mention that G
i
NaC is also n
e
e
d
e
d
for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoo
l
ae
g
e
A
llo
w
bui
l
d of
occ when
us
i
ng
bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
doc
:
add a
reference to a master t
h
es
i
s
a
ctually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
ol
a
eg
e
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oolae
g
e
R
E
ADME: fix
u
p install
a
tion i
n
stru
c
tions
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoolaege
A
d
d files generated by bison and fl
e
x to the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
ge
u
pdate polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
laege
upd
a
te piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoola
e
ge
evalue
.
c: affi
n
e2evalue:
reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
Verdoolaege
eval
u
e
.
c:
evalue
_
level_cmp: prod
u
c
e
m
ore
c
onsis
t
ent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
do
c
:
a
d
d another p
a
per referring to the
l
ibrary
commit
|
commitdiff
|
tree
2008-09-16
Sven
Verdo
o
laege
piecewise_ls
t
.
h:
a
void duplicate p
a
rameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
ev
a
lue_read
.
c: fix minor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven
Verdoolaege
u
pd
a
t
e
omega f
o
r missing files in distributi
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
d
o
o
laege
ba
r
vinok_enum
e
rate_e: avoid infi
n
i
te loo
p
when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
include o
m
eg
a
su
b
mod
u
le
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolae
g
e
move
o
mega subdir to ome
g
a_i
n
terfac
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NT
L
_QQ
.
cc:
a
dd s
t
dl
i
b
i
n
clude for abo
r
t hidden in NT
L
_
v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
r
emove gnulib link-warning module c
o
m
p
letel
y
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
Verd
o
olaege
lexmin
.
cc: find and sort are in std:: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdo
o
laege
lexmin
.
c
c
:
a
void u
s
e of type
o
f
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
4coi
n
s
.
cc
:
remove dead c
o
d
e
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
r
d
oolaege
testli
b
.
cc: add miss
i
ng returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
o
l
aege
w
o
rk
a
rou
n
d silly
s
un comp
i
ler errors
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
Avoid use
of
t
h
e make -C op
t
ion
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
summ
a
te
.
c:
add
m
iss
i
ng inc
l
ude
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
summa
t
e
.
c: ad
d
mis
s
ing return values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
Makefile
.
am:
i
nc
l
ude
l
ib inclu
d
e
dir
in
build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
rdoolaege
laurent
.
c
c
:
don't use con
s
t
v
e
ctors as map key
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
variable length ar
r
ays are not standar
d
C++
(
yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
o
l
aege
genfun
.
cc: argument of mp_g
e
t_memory_f
u
n
c
t
i
ons sho
u
ld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
u
pdate piplib for c
o
mpatib
i
lity
c
hanges
commit
|
commitdiff
|
tree
2008-08-24
S
ven Ve
r
doolaeg
e
update polylib with
extra
f
ield in
P
a
ram_Po
l
yhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven
V
erdoolaege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
S
v
e
n
V
erdoo
l
aege
a
dd missing al
g
orithm include fo
r
find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
F
ix ou
t
-of-bounds error i
n
L
aurent
e
xpansion base
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoola
e
ge
Include empt
y
.
c file in li
b
bar
v
inok if GiNa
C
was
not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ven Verdoolaege
correc
t
ly
r
eflec
t
extra sources for li
b
barv
i
nok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoolaege
fix t
y
po in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
lib/str
i
ng
.
i
n
.
h:
c
opy __restrict han
d
l
i
ng from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verd
o
ola
e
ge
u
pdat
e
gnulib func
t
i
o
n
to last pre-GPLv
3
ve
r
sion
commit
|
commitdiff
|
tree
2008-07-02
Sven V
e
rdool
a
ege
e
n
u
merator:
:
handle: replace
inco
r
r
e
c
t
del
e
te by fre
e
commit
|
commitdiff
|
tree
2008-06-17
Sve
n
Verdoolaege
upda
t
e pip
l
ib
for c
o
rrected Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven
V
e
rdo
o
l
a
e
g
e
config
u
re: u
s
e correct header
files
i
n case
of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdo
o
lae
g
e
c
on
f
igure
.
in: fix chec
k
fo
r
code_gen library
a
vailability
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdo
o
laege
omega/occ: only
open
debug
o
u
tput file if
there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven V
e
rd
o
o
l
aege
omega
/
M
akefile
.
am
:
avo
i
d
b
i
son
'
s -o option as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verd
o
olae
g
e
ran
g
e
.
cc: add missing include of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verdoolaeg
e
do
c
: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoolaege
add editors to ITS
L
papers
commit
|
commitdiff
|
tree
2008-05-07
Sv
e
n
Verdoolaege
use argp for
a
rgument pa
r
sing in barvinok_ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Ver
d
oola
e
ge
prop
e
rly handle NTL CPPFLAGS and LD
F
LAG
S
commit
|
commitdiff
|
tree
2008-05-07
Sven V
e
r
dool
a
e
g
e
basis
_
redu
c
t
ion_templ
.
c: add
m
issi
n
g
includ
e
commit
|
commitdiff
|
tree
next