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
occ: define OMIT_GETRUSAGE if sys/resource.h cannot be found
2009-02-09
Sven Verdoolaege
occ:
d
ef
i
ne OMIT_GE
T
RUSAGE if
s
ys
/
resou
r
ce
.
h c
a
nnot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoola
e
ge
omega_i
n
t
er
f
ace/Mak
e
file
.
a
m
:
p
ut d
e
pendi
n
g libra
r
ies
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
Ve
r
doolaege
configure
.
in: add $(EXEEXT) to o
p
t
io
n
al
oc
c
for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoolaege
u
pdat
e
omega
f
or MinGW compatibil
i
ty
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n Verdoolaege
b
e
r
nstein/c
o
nfigure
.
i
n
: add
m
issi
n
g AC_PR
O
G_CXX
commit
|
commitdiff
|
tree
2009-02-04
S
v
en
V
er
d
oolaege
g
e
nfun
.
cc
:
add braces round e
x
tern
"C"
t
ypedef
commit
|
commitdiff
|
tree
2008-12-30
S
v
en
V
er
d
oolaege
vector_part
i
tion_
c
ha
m
bers:
c
o
mp
u
tes chambers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
S
ven
Verdoolaege
b
a
rvino
k
.
cc
:
r
emove unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoola
e
ge
upd
a
t
e piplib for
M
inGW comp
a
tibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
olaege
up
d
a
t
e
p
olylib for Min
G
W compat
i
b
ility
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
V
e
r
doolaege
fdst
r
eam
.
cc:
d
on't (re)declar
e
file
n
o if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
S
v
en
V
erdo
o
l
ae
g
e
ev
a
lue
.
c:
i
n
_
do
m
ain: speci
a
l
-
c
ase 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
Avo
i
d
u
s
e of sys
/
t
i
mes
.
h header when not available
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Verdoolaege
a
dd
g
nu
l
ib
g
et
s
ubopt modul
e
for Min
G
W
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n Verdoolaege
README: me
n
tion tha
t
GiN
a
C is a
l
so needed f
o
r
t
he Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Ver
d
oo
l
a
ege
Allo
w
build of occ when using bundled ome
g
a
commit
|
commitdiff
|
tree
2008-10-28
Sven V
e
rdoolae
g
e
doc: a
d
d a ref
e
rence to a
master thesis actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
e
g
e
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
eg
e
README: fix up in
s
tallation
i
nstru
c
tions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
Add
f
iles generated by bison a
n
d
f
lex to the dist
r
ibution
commit
|
commitdiff
|
tree
2008-10-16
S
v
en V
e
rdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
ola
e
g
e
up
d
ate piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: a
f
fine2evalue: reduce coef
f
icien
t
s
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolae
g
e
evalu
e
.
c
:
eval
u
e_leve
l
_
c
mp
:
produce more c
o
nsistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaeg
e
doc:
a
dd another
p
a
p
e
r r
e
ferring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven
Ver
d
o
ol
a
ege
piecewise_
l
s
t
.
h: avoid duplicate parameter na
m
e
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
erdoo
l
aege
evalu
e
_
r
ead
.
c
:
fi
x
mino
r
bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Ver
d
o
o
l
aege
up
d
ate omega for missing
files i
n
distribu
t
ion
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Ve
r
doolaege
ba
r
vinok_enumerate
_
e: avoi
d
infinite loop
w
hen
p
r
esented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdool
a
eg
e
incl
u
de
o
me
g
a submodule
commit
|
commitdiff
|
tree
2008-08-28
S
ven
V
erdoolaege
m
ove omega s
u
bdir
to omega_i
n
t
e
r
face
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
NTL_QQ
.
cc: add stdlib incl
u
de
for
a
bort h
i
dden in NT
L
_vecto
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oola
e
ge
r
e
m
o
ve
g
nulib link
-
w
a
rning m
o
dule completely
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaeg
e
lexmin
.
cc: find and so
r
t are in std:: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erd
o
olaege
lexmin
.
cc: avoi
d
use of t
y
pe
o
f
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
V
e
r
d
o
ol
a
eg
e
4c
o
i
ns
.
cc: remove dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
testlib
.
cc: add missing returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
o
l
a
ege
workaround
silly sun compiler e
r
rors
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Ve
r
doo
l
aege
Avoid
u
se of the ma
k
e -C o
p
tion
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
summa
t
e
.
c:
add missing
inc
l
ude
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
summ
a
te
.
c
: add missing return values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Makefile
.
am: i
n
c
l
ude lib i
n
c
lude dir in
b
uild
dir
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
laure
n
t
.
cc:
d
on't use const vect
o
r
s a
s
map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
v
a
riable
l
e
n
gth arrays are not standard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
genf
u
n
.
cc
:
arg
u
ment of m
p
_get_memory_functions
shou
l
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
update piplib
f
or
c
ompatibility changes
commit
|
commitdiff
|
tree
2008-08-24
Sven V
e
rdoola
e
g
e
update polylib with
e
xtra field i
n
Par
a
m
_
P
olyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdool
a
ege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Ver
d
oola
e
g
e
add m
i
ssing algorithm i
n
clude
for f
i
n
d
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verd
o
olaege
F
ix out-of-b
o
un
d
s error in Laurent exp
a
n
s
ion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Include empty
.
c fil
e
in libbarvin
o
k if GiNaC w
a
s
n
ot
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
correctly reflect extra sources for libbarvinok a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaeg
e
fix typo in comment
commit
|
commitdiff
|
tree
2008-07-22
S
ven Verdoolaeg
e
l
ib/string
.
in
.
h: copy __restrict handling fr
o
m lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoo
l
aege
update gnulib
f
u
n
ction to last pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
S
v
e
n Ve
r
doolaege
enum
e
rato
r
::handle: r
e
p
l
a
ce
i
nco
r
rect delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven V
e
r
doola
e
ge
u
p
date p
i
plib f
o
r
co
r
r
e
cte
d
U
r
s
_
parms
h
an
d
ling
commit
|
commitdiff
|
tree
2008-06-12
Sve
n
Ve
r
d
o
olaege
configure: use correct header files
i
n case of bun
d
led
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdoolaege
con
f
igure
.
in: fix check for code_ge
n
library availabili
t
y
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdo
o
la
e
ge
omega/o
c
c: only
open deb
u
g
output file if
t
here
i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verdoolaege
omega/Makefi
l
e
.
am
:
a
v
oid
bison's
-
o
option as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
ege
r
ang
e
.
cc: add
missing include of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
oolaege
d
oc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdoolaege
add editor
s
to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven
V
e
r
doola
e
ge
use ar
g
p for argum
e
nt parsin
g
in barvinok_eh
r
ha
r
t a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Ve
r
doolaege
properly h
a
n
d
le NTL
CPP
F
LAGS and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sv
e
n V
e
rdoolaege
basis_redu
c
tio
n
_t
e
mpl
.
c
:
a
dd missing include
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bar
v
i
n
ok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verd
o
olaege
add some test sets
f
rom itsl2008 pap
e
r
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
d
o
c: add
latest (accept
e
d) publica
t
ions
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
Makefile
.
am: add section_array
.
h
to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
normalization
.
c:
compute_shifts: rem
o
ve redund
a
nt return
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
m
ove Free_P
a
r
a
m
N
ames poly
l
ib
and
make param names
c
o
nst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
occ:
a
d
d interface
t
o bar
v
inok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
ex_convert
.
c
c
: extract
e
x2eval
u
e from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
d
oc: document more --summation metho
d
s
for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoola
e
g
e
opt
i
ons
.
c:
re
n
ame
"b
a
rvinok" s
u
mm
a
t
i
o
n
method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
M
a
kef
i
le
.
am
:
c
hec
k
-
e
uler: also
check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
s
u
mmate
.
c: bar
v
inok_
s
umm
a
te
:
handle
p
roducts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
Ver
d
oo
l
ae
g
e
eva
l
ue
.
c: ex
p
ort
e
v
a
lue_reorde
r
_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
b
e
rns
t
ein: numeric2va
l
ue: fi
x
typo to
a
llow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
util
.
c: Factor_Context: extracted from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdool
a
ege
summa
t
e
.
c: barvinok_summate: ignore f
l
oors in
d
ependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
erdoolaege
evalue
.
c: add evalu
e
_floor2fr
a
c
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolae
g
e
omega/occ: p
r
int
barvino
k
version numbe
r
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
oolaege
doc: u
p
date so
m
e references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make laure
n
t based
summa
t
i
o
n the default
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
summ
a
te
.
c:
b
arvinok_summate:
handle quasi
-
poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
reduce_
e
value: extract
o
ut eva
l
ue_reduce_
s
ize
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
evalue
.
c: evalue_sh
i
ft_va
r
iabl
e
s: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
s
u
m
m
ate
.
c:
h
andl
e
equalities for a
l
l summation algor
i
thms
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoolaege
summate
.
c: barvinok_summate: move
common par
t
s of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
eva
l
ue
.
c
:
eva
l
ue_sum: mo
v
e s
i
gn handlin
g
into e
s
u
m
_ov
e
r
_domain
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
b
arvinok_e
.
cc: enumerate_sum: use barvinok_su
m
mate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdool
a
ege
s
u
mmate
.
c: extract barvin
o
k_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdo
o
laeg
e
rename summate
.
cc to barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven V
e
rdoolaege
eva
l
ue
.
c: reduce_evalue: reduce flo
o
r wit
h
consta
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
A
dd Laur
e
nt expa
n
sio
n
based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
g
e
evalue
.
c
:
e
xtend eequ
a
l
t
o
hand
l
e
d
omains
and NaN
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
aege
binomial
.
c
:
e
xtr
a
ct
b
inomial and factorial from euler
.
cc
commit
|
commitdiff
|
tree
next