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
doc: fix typo
2009-05-07
S
ve
n
V
erdoolaege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
barvinok_enu
m
e
r
ate_e
_
series: handle al
l
existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolae
g
e
series
.
c
c
: make project static
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoola
e
ge
barvinok_enumerate_e_series: handle all equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaeg
e
add test set from the other itsl20
0
8 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven
Verdoola
e
ge
.
gitignore: ignore object files
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoo
l
a
e
ge
genfunc
.
cc: para
l
lel_
p
olytopes: detect 0D
polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdo
o
l
a
ege
conf
i
gure
.
in
:
set AC
_
C
O
N
FIG_M
A
CRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
S
v
en Verdo
o
laege
a
dd pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Ver
d
o
olaege
Polyhedron
_
F
actor: handle polyhedra with a non-t
r
i
v
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
update pi
p
lib f
o
r change in configure argu
m
e
n
ts
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n
V
e
rdoolaege
te
s
t_ap
p
rox
.
c: add
d
ummy fi
e
ld in dummy tms s
t
r
u
cture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
Verdoolaege
configure
.
in: avoid intro
d
ucing empty elements
in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
laege
oc
c
:
define OMIT_GETRUSA
G
E if sy
s
/
r
esource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoola
e
g
e
om
e
ga_
i
nterface/Makefile
.
am: put de
p
ending librari
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
configure
.
in: add $(EX
E
EX
T
) to optional occ for c
y
gwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaeg
e
u
p
date omega f
o
r MinGW c
o
mpa
t
ibility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
b
ernstein/configu
r
e
.
in: add missing AC_PR
O
G_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven
Verdool
a
ege
g
e
nfun
.
cc: add brac
e
s round exter
n
"C" ty
p
edef
commit
|
commitdiff
|
tree
2008-12-30
Sv
e
n Verdoola
e
ge
vecto
r
_partit
i
on_c
h
a
m
bers: com
p
utes cham
b
ers of
vec
t
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
b
arv
i
nok
.
c
c: remove unused nonorth
o
g
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoolaege
u
pdate
piplib for Mi
n
G
W compatibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
up
d
ate polylib for MinGW com
p
at
i
bility
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verdoolaege
fdstream
.
c
c
: don'
t
(r
e
)de
c
lare fileno
i
f i
t
's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolae
g
e
evalue
.
c: in_domain: sp
e
cial-case 0
D
d
omains
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
erdoolaege
Avoid
use of sys/
t
imes
.
h
h
ead
e
r whe
n
not available
commit
|
commitdiff
|
tree
2008-12-25
Sven Ver
d
oolaege
ad
d
gn
u
lib getsubopt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoo
l
a
ege
README: mention that Gi
N
aC is also n
e
e
d
e
d
f
or the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
v
en
Verd
o
olaege
A
l
low
b
ui
l
d of
o
cc when using bundled
o
mega
commit
|
commitdiff
|
tree
2008-10-28
S
v
en
V
erd
o
olaege
doc: add a refe
r
ence
t
o a mast
e
r thesis
ac
t
u
ally usin
g
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoolaeg
e
README: fix up installa
t
ion instr
u
ctions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
ge
Add fi
l
e
s generated
b
y bis
o
n and fl
e
x
to t
h
e d
i
s
tribution
commit
|
commitdiff
|
tree
2008-10-16
S
ven Ver
d
oolaege
update pol
y
li
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
aege
upd
a
te piplib
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
Verdoolaege
ev
a
lue
.
c
:
affine
2
evalue: reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n Verdool
a
ege
evalue
.
c: evalue_
l
evel_cmp:
produce m
o
re con
s
i
s
t
ent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
v
e
n
V
erdoolaege
doc:
a
dd an
o
ther paper referr
i
ng to the li
b
rary
commit
|
commitdiff
|
tree
2008-09-16
Sve
n
Verdoolaege
piecewise_
l
s
t
.
h:
avoid du
p
lica
t
e p
a
rameter nam
e
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
ev
a
lue_rea
d
.
c:
f
ix mi
n
or
bugs i
n
tok
e
niz
e
r
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolae
g
e
update omega fo
r
m
i
ssing files in distrib
u
tion
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
b
arvinok_e
n
umerate_e: avoid
i
nfinite loo
p
wh
e
n p
r
esented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoola
e
g
e
include omega
submod
u
le
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdo
o
l
aege
mov
e
omega subdir to
omega_interfa
c
e
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erd
o
olaege
N
T
L_QQ
.
cc: add stdl
i
b incl
u
de f
o
r
ab
o
rt hidden in
N
TL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
r
e
move gnulib l
i
nk-war
n
in
g
module co
m
pletely
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdo
o
laege
lexmin
.
cc: find and sort ar
e
in s
t
d:: n
a
mespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
lexmin
.
cc: avoi
d
use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Ve
r
doo
l
aege
4co
i
ns
.
cc: remove dead code
commit
|
commitdiff
|
tree
2008-08-28
S
ven V
e
rdool
a
ege
testlib
.
cc: ad
d
missing
r
et
u
r
n
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
l
aege
w
o
rkaround silly sun co
m
piler errors
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
Avoid use of
t
h
e ma
k
e -C o
p
tio
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
s
ummate
.
c: add
m
i
ssing include
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdo
o
l
a
ege
s
u
mmate
.
c
:
add miss
i
ng return values
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaeg
e
Makef
i
le
.
am: include lib
i
n
clude dir in
b
uild dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
laurent
.
cc: don't u
s
e const
v
e
ctors
as
map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
v
a
riable length
a
rrays are not sta
n
dard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Ver
d
oolaege
genf
u
n
.
c
c
: argument of m
p
_get_memor
y
_
function
s
s
h
ould
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verd
o
olaege
updat
e
piplib
f
or co
m
p
a
t
ibili
t
y changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
update pol
y
li
b
with e
x
tra
f
ield in Param_Polyhedro
n
commit
|
commitdiff
|
tree
2008-07-30
Sv
e
n Verdoo
l
aege
d
oc: f
i
x
t
ypos
commit
|
commitdiff
|
tree
2008-07-22
Sven Ve
r
doolaege
add mi
s
sing algorithm include fo
r
find
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdoolaeg
e
Fix o
u
t-
o
f-bounds
error in L
a
urent
expansion
b
ased
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdoolaege
I
nclu
d
e
e
mp
t
y
.
c file
i
n libbarvi
n
o
k if G
i
NaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdool
a
e
g
e
correc
t
ly re
f
lect extra
sourc
e
s for libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoo
l
aege
fix typo in
c
o
m
ment
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaeg
e
li
b
/st
r
i
n
g
.
in
.
h: copy __
r
estrict handl
i
n
g
from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
update gnulib
fu
n
ction to
last pre-GPLv3 ve
r
sion
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
enumerator::han
d
l
e: replace incorrect delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
update p
i
plib for corre
c
ted Urs_parm
s
handling
commit
|
commitdiff
|
tree
2008-06-12
Sve
n
V
e
r
d
oolaege
configure: us
e
cor
r
e
c
t header files i
n
case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaeg
e
configu
r
e
.
in: fix
c
hec
k
for code_gen li
b
rary av
a
il
a
bili
t
y
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
r
d
oolaege
omega/occ: only open debug outp
u
t
f
i
l
e
if
there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoolaege
omega/Makefile
.
am:
a
v
o
i
d bi
s
on's -o option as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaeg
e
range
.
cc:
add m
i
ssing
inclu
d
e of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n
V
erdoolaege
d
oc:
fix ty
p
o
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
oo
l
a
e
ge
a
dd ed
i
t
ors to ITSL pap
e
rs
commit
|
commitdiff
|
tree
2008-05-07
S
v
e
n
Ve
r
d
o
olaege
use
a
r
gp for argument parsing in barvin
o
k_eh
r
hart
a
nd
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
S
v
en Verd
o
olae
g
e
properly handle NTL CPPF
L
A
GS and LD
F
LAGS
commit
|
commitdiff
|
tree
2008-05-07
Sve
n
Verdo
o
laege
basis_r
e
duction_
t
e
m
p
l
.
c: a
d
d missin
g
includ
e
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
erdoolaege
bar
v
ino
k
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
add some test s
e
t
s
from itsl20
0
8 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
doc: a
d
d
l
a
te
s
t (a
c
cepted
)
publicati
o
ns
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
Makefile
.
am: add sec
t
ion_array
.
h
to d
i
s
t
ributi
o
n
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
V
e
rdoo
l
aeg
e
no
r
m
a
lizati
o
n
.
c: compute_
s
hifts:
r
emove redundan
t
return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
move Free
_
ParamN
a
m
e
s po
l
ylib and make param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
o
cc: add interf
a
c
e to bar
v
i
n
ok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
ex_convert
.
cc
:
ext
r
act
ex2ev
a
l
u
e
from range
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ve
r
doolaege
doc: document more --summation methods for barvinok_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
option
s
.
c: rena
m
e "bar
v
inok" summation method to "b
o
x"
commit
|
commitdiff
|
tree
2008-05-04
S
ven
V
erdoolaege
Makefile
.
am: check
-
euler:
a
l
s
o check laurent
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdool
a
ege
summate
.
c
:
b
arvinok_summate:
handle products
of p
o
lytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
evalue
.
c: exp
o
rt e
v
alue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
S
ven V
e
rdoolaege
ber
n
stein:
n
um
e
ric2value: fix typo to
a
llow corr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaeg
e
ut
i
l
.
c
: Factor_Context: extracte
d
f
rom barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
Verdoolae
g
e
summa
t
e
.
c: barv
i
nok_summat
e
: i
g
nor
e
floors in
d
ep
e
n
d
ent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verd
o
o
laege
evalue
.
c:
a
dd
e
value_f
l
oor2
f
r
a
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ome
g
a/occ:
p
rint barvinok v
e
rsion
n
u
m
ber
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
doc: updat
e
some refere
n
ces
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make lau
r
en
t
based
s
umm
a
t
ion the default
commit
|
commitdiff
|
tree
next