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
iscc: add deltas operation
2009-04-28
Sv
e
n Ver
d
oolaege
.
gitignor
e
: ignore
object fil
e
s
commit
|
commitdiff
|
tree
2009-04-28
S
ven V
e
rdoolaege
g
e
nfunc
.
c
c: parallel_polytopes: det
e
ct
0
D
po
l
yto
p
es
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoola
e
ge
c
o
n
fig
u
re
.
in
:
set AC_CONFI
G
_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sv
e
n Verd
o
olaege
a
dd
pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n Ve
r
doolaege
Polyhedron_
F
actor: han
d
le polyhedr
a
with
a non-tr
i
vial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Ve
r
doolaege
update piplib for chan
g
e in conf
i
gure
a
rguments
commit
|
commitdiff
|
tree
2009-02-09
S
v
en V
e
rdoolaege
test_approx
.
c: add
d
ummy field in dummy
tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolae
g
e
confi
g
ure
.
in: avoid introdu
c
i
n
g
emp
t
y elem
e
nts in PKG
_
CO
N
FIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdoolaege
o
c
c: define OM
I
T_GETRUSAGE if sys/
r
esou
r
ce
.
h
c
a
n
not
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
omega_interfac
e
/Makefile
.
am: put depend
i
n
g
l
ibraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verd
o
ol
a
ege
con
f
igure
.
in:
a
dd
$
(EX
E
EXT) t
o
optional o
c
c for
cygw
i
n
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
up
d
ate o
m
ega for MinGW
c
o
m
p
atibili
t
y
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erdo
o
laege
bernstein/configure
.
in
:
add missing
A
C_PROG_CX
X
commit
|
commitdiff
|
tree
2009-02-04
S
ven Ve
r
doo
l
a
e
ge
gen
f
un
.
cc: add brac
e
s round ex
t
ern "C" typedef
commit
|
commitdiff
|
tree
2008-12-30
Sven Verd
o
olae
g
e
ve
c
tor_par
t
ition_chambers: com
p
utes chambers of v
e
cto
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sv
e
n V
e
rdoolaege
barvinok
.
cc: remove unused nono
r
thog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update
pip
l
ib f
o
r MinGW compatibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdo
o
lae
g
e
up
d
ate polylib for
MinGW compatib
i
lity
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolae
g
e
fdstream
.
cc: don't
(
re)declare filen
o
if it
'
s a macr
o
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoolaege
evalue
.
c: i
n
_
domain:
s
p
ecial-case 0D dom
a
ins
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoola
e
ge
Avoid
u
s
e of sys/time
s
.
h header when not
a
vailabl
e
commit
|
commitdiff
|
tree
2008-12-25
Sven Ve
r
dool
a
ege
a
d
d gnulib getsubopt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven
V
e
r
do
o
laege
README: mention th
a
t GiNa
C
i
s
a
l
s
o needed f
o
r the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
v
en Verdoolaege
Allow build
of occ when using b
u
ndle
d
omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
d
o
c: add a refe
r
en
c
e
t
o
a master the
s
is actually u
s
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doolaege
barvinok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doola
e
ge
R
E
ADME:
f
ix up ins
t
allation instr
u
cti
o
ns
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verd
o
olaege
A
d
d f
i
les
g
enerate
d
by bison
a
nd fle
x
t
o th
e
dis
t
ri
b
ution
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
up
d
ate polylib
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verd
o
olaege
update p
i
plib
commit
|
commitdiff
|
tree
2008-10-10
S
ven Verdoolaege
eva
l
u
e
.
c
: affin
e
2evalue
:
reduce
coeffi
c
i
ents
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c:
eva
l
ue_level_cmp
:
pr
o
duce mor
e
consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven
V
erdoolaege
doc: add anot
h
er paper referring
t
o t
h
e library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
piecewise_lst
.
h
:
avoid d
u
plicat
e
paramet
e
r name
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
erdoolaege
eva
l
u
e
_read
.
c:
f
ix minor bugs in
t
ok
e
nizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
update omega for missing f
i
les in
d
i
stributi
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
ba
r
vinok_
e
numera
t
e_e:
a
vo
i
d
infinite loop
w
hen presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erd
o
o
l
aege
include
o
mega
s
ubmodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
move omega subdi
r
to om
e
ga_inte
r
f
a
ce
commit
|
commitdiff
|
tree
2008-08-28
S
ven V
e
rdoolaege
N
T
L
_QQ
.
cc: add
s
tdl
i
b inclu
d
e for abo
r
t hi
d
den
in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
remo
v
e g
n
ulib link-warning
m
o
d
u
le
comple
t
e
l
y
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
l
exmin
.
cc
:
find and so
r
t are in std::
n
ame
s
pac
e
commit
|
commitdiff
|
tree
2008-08-28
S
v
en V
e
rdoola
e
ge
lexmin
.
cc:
avoid u
s
e of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
4coi
n
s
.
c
c
:
r
emove
dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
testlib
.
cc: add missing retu
r
ns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
wo
r
k
arou
n
d
silly sun compiler errors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Avoid
use of the mak
e
-C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
a
e
ge
s
ummat
e
.
c:
add
missing include
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdool
a
ege
summate
.
c: add mi
s
sing return v
a
lues
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
Makefile
.
am:
i
nclud
e
lib inclu
d
e d
i
r in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
laurent
.
cc:
d
on't
u
se co
n
s
t vectors
as map
k
eys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
v
ariabl
e
le
n
gth arrays are not st
a
ndard
C
+
+
(yet)
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
g
e
nfun
.
cc: argument o
f
mp_
g
et_me
m
ory_function
s
should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoola
e
g
e
update
p
ip
l
ib for compatibility cha
n
ges
commit
|
commitdiff
|
tree
2008-08-24
Sv
e
n Verdoolaege
u
p
date polylib with ex
t
ra field in Para
m
_Pol
y
hed
r
on
commit
|
commitdiff
|
tree
2008-07-30
S
v
en Verdoolaege
doc
:
f
ix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
oola
e
ge
add missing algori
t
h
m include for
find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaeg
e
Fix out-of-bounds error in Laurent expans
i
on
b
ased
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdool
a
ege
Includ
e
empty
.
c fil
e
in libbarvinok if Gi
N
aC was
no
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoolaege
correctly refle
c
t extra so
u
rces fo
r
libbarvi
n
o
k and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoo
l
a
ege
f
ix
typo in com
m
ent
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdool
a
eg
e
lib/str
i
n
g
.
i
n
.
h: c
o
py
__restrict
hand
l
ing from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
update gnuli
b
function to last pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven
V
e
rdoolaege
en
u
merator::handle: replace incorrect delete by fre
e
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
u
pdate piplib
for correcte
d
Urs_
p
ar
m
s handling
commit
|
commitdiff
|
tree
2008-06-12
S
v
en Verdoolaege
conf
i
g
u
re: use correct h
e
ad
e
r files in
case o
f
b
undle
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdo
o
laege
configure
.
in: fix ch
e
c
k
f
o
r
code_gen library availa
b
ility
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/occ:
only o
p
en debug out
p
ut
f
i
le if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega
/
Mak
e
file
.
am: avoid
b
ison's
-
o option
a
s
n
a
mi
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdoolaege
range
.
cc: add
missing
i
ncl
u
de of al
l
oca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
e
rd
o
olaeg
e
d
o
c: f
i
x
ty
p
o
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdoolaeg
e
add editor
s
to
I
T
S
L papers
commit
|
commitdiff
|
tree
2008-05-07
Sv
e
n Verdoolaege
use
ar
g
p fo
r
argum
e
n
t parsing in barvinok_ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
prop
e
r
ly
hand
l
e N
T
L
CPPFLAGS
a
nd LDFL
A
GS
commit
|
commitdiff
|
tree
2008-05-07
Sven
Verdoolaege
basis_reducti
o
n_temp
l
.
c:
a
dd missing include
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
eg
e
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add some test sets from
i
t
sl
2
008
paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
doc: add
l
ates
t
(accept
e
d) publications
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdo
o
laege
M
a
ke
f
ile
.
a
m
: add section_arr
a
y
.
h to
d
is
t
ribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
normali
z
ation
.
c: compute_shifts: remo
v
e
r
e
dun
d
an
t
return
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verd
o
o
l
aege
move Free_
P
a
r
amName
s
p
o
lylib and m
a
ke pa
r
am na
m
es
const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ: add in
t
erf
a
c
e
to barvinok_sum
m
ate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
l
aege
ex
_
conv
e
rt
.
cc: extract ex2e
v
alue from ra
n
ge
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
d
o
c: d
o
cument more --summation methods fo
r
barvi
n
ok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
o
ptions
.
c: rename "
b
arvinok"
summation metho
d
t
o "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
M
akefile
.
a
m: c
h
ec
k
-euler:
also check l
a
ur
e
n
t
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdoolaeg
e
summate
.
c:
barvinok_s
u
mmate: han
d
le products of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolae
g
e
eval
u
e
.
c:
e
x
p
ort ev
a
lue_reo
r
de
r
_terms
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verd
o
ol
a
e
g
e
berns
t
ein: num
e
ric2val
u
e: fix typ
o
to allow
c
o
r
r
ect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ve
r
doolaege
util
.
c: Factor_Conte
x
t: extracte
d
from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
u
mmate
.
c: barvinok_summate
:
i
gnore floo
r
s independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
evalue
.
c: add
e
v
a
l
u
e
_
floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdool
a
ege
omega/oc
c
: pri
n
t
b
a
r
v
i
nok version number
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
r
do
o
lae
g
e
doc: update som
e
r
e
fe
r
ences
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
Make laure
n
t base
d
s
u
mmation the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: barvinok_summ
a
t
e: handle qua
s
i-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ve
r
doolaege
reduce_evalue: extra
c
t out ev
a
lue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verd
o
olaeg
e
evalue
.
c: evalue_shift_variables
:
allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
do
o
laege
s
ummate
.
c: handle equalities fo
r
al
l
summ
a
tion algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
summate
.
c:
b
arvin
o
k_summate: mov
e
com
m
on parts of summation
.
.
.
commit
|
commitdiff
|
tree
next