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 isl_pw_qpolynomial_coalesce
2009-04-02
Sve
n
Verdoo
l
aege
u
p
date p
i
p
l
i
b
for change in configure
arg
u
ments
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
Verdoolae
g
e
test_
a
ppr
o
x
.
c:
add dummy fi
e
ld
in dummy tms st
r
uctur
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Ve
r
d
o
olaege
configure
.
in
:
avoid introducing empty elements
i
n
PKG_CO
N
FIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdo
o
lae
g
e
occ:
d
e
f
ine OMIT_GETRUSA
G
E
i
f sy
s
/resource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oolaege
o
mega_int
e
rface/
M
ake
f
ile
.
am: put depending
l
i
b
raries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
e
r
doolaege
configu
r
e
.
in: add $(EXEEXT) to
o
ptio
n
al occ for cygwi
n
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
u
pdate omeg
a
for MinG
W
compat
i
b
i
lity
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
berns
t
e
in/confi
g
ure
.
in:
a
d
d missing AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdo
o
laege
genfun
.
c
c: add
b
races round extern "C" ty
p
edef
commit
|
commitdiff
|
tree
2008-12-30
S
v
en Verdoolaeg
e
vector_partition_chambers: compute
s
c
h
ambe
r
s
o
f vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven
Verdo
o
laege
barvinok
.
cc: remove unused n
o
northog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
upd
a
t
e
p
i
plib for MinGW compatib
i
li
t
y
commit
|
commitdiff
|
tree
2008-12-26
S
v
e
n Ver
d
o
olae
g
e
upd
a
t
e
polylib for MinGW
c
o
m
pati
b
i
l
i
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verdoolaege
fd
s
tream
.
c
c: don'
t
(re)
d
eclare fileno
if
it's a
m
acro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
eval
u
e
.
c: in_domain:
spec
i
al-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verd
o
ol
a
ege
Avoi
d
use of sys/times
.
h header when not available
commit
|
commitdiff
|
tree
2008-12-25
Sven
Verdoolae
g
e
add gnulib getsubopt modul
e
for Mi
n
G
W
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n Verdoolaege
R
E
ADME:
ment
i
on that Gi
N
aC is also needed
f
or the Omeg
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoo
l
aege
Al
l
o
w build
of oc
c
when using bundled omeg
a
commit
|
commitdiff
|
tree
2008-10-28
Sven V
e
rdoo
l
a
ege
doc: add a
r
efe
r
ence to a master t
h
esis actually
u
sing
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdoolaege
barvinok
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
l
a
e
ge
README: f
i
x up installation instructio
n
s
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
ege
Ad
d
files genera
t
e
d
b
y bison and flex
t
o
t
he
distribut
i
on
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoolaege
u
p
d
ate polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update
pip
l
ib
commit
|
commitdiff
|
tree
2008-10-10
S
v
en Verdoolaege
evalue
.
c: affine2evalue: reduce co
e
f
f
icients
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
er
d
o
olaege
ev
a
lue
.
c: evalu
e
_level_cmp: prod
u
ce mor
e
c
onsis
t
en
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
v
en Ve
r
doolaege
d
oc: add another
paper re
f
erring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdool
a
e
g
e
piecewise_lst
.
h:
avoi
d
du
p
licat
e
p
arameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verd
o
olaege
evalue_r
e
ad
.
c:
fix mino
r
bugs in t
o
kenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoola
e
ge
upd
a
te ome
g
a
for
missin
g
files in dis
t
ributi
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
ba
r
vinok_enumerate_e: a
v
oid infinite loop when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
er
d
oolae
g
e
i
n
c
l
ude omega s
u
bmodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
l
a
e
g
e
move om
e
ga subdir
to o
m
ega_in
t
erfa
c
e
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
Verdool
a
eg
e
NTL_QQ
.
cc: add
stdl
i
b incl
u
de for abort hidden in N
T
L_vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en V
e
rdoolaege
r
e
mov
e
g
nulib link-warning module completely
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdoolaege
lexmin
.
cc:
f
i
nd
and
s
ort are in std:: n
a
mespace
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
l
e
xmin
.
cc
:
a
voi
d
use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
4coin
s
.
cc: remo
v
e
d
ead code
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Ve
r
d
o
olaege
testlib
.
cc
:
add mi
s
sing returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
worka
r
ound silly
sun
c
ompiler erro
r
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
o
laege
Avoid use
o
f the make -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
sum
m
ate
.
c
:
ad
d
missing
i
nclude
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoola
e
ge
su
m
ma
t
e
.
c: add missi
n
g
r
e
t
urn values
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
Makefi
l
e
.
am: inclu
d
e l
i
b i
n
clu
d
e dir in bui
l
d
d
ir
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
laurent
.
cc:
d
on't use const vectors a
s
map
k
e
y
s
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaeg
e
varia
b
le length
a
rrays are not standard
C++
(
y
et)
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
genfun
.
cc: ar
g
umen
t
of mp_
g
et_memory_fun
c
t
ions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ver
d
oolaege
update piplib
f
o
r compa
t
ibility changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoola
e
ge
updat
e
polyl
i
b wi
t
h ex
t
ra field in Param
_
Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
S
v
en Verdoola
e
ge
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Ve
r
d
o
o
l
aege
a
d
d missing alg
o
r
i
t
hm incl
u
de for f
i
n
d
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
erdoolaege
Fix o
u
t-of-bounds
e
r
r
or
i
n
L
aurent expansio
n
bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verd
o
olaege
I
nclude empty
.
c file in libbar
v
inok i
f
GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoo
l
aege
correctl
y
re
f
lect
e
xtra sources fo
r
libba
r
v
i
nok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
fix typo i
n
c
o
mment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
lib/string
.
in
.
h:
c
o
py __r
e
s
trict
h
andling from
l
i
b
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
update gnulib fun
c
tion to last pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven V
e
rdoolaege
enum
e
rator::handl
e
: re
p
l
a
ce incor
r
ect delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sve
n
Verdool
a
ege
update p
i
pli
b
for
corrected Urs
_
p
a
rms hand
l
ing
commit
|
commitdiff
|
tree
2008-06-12
S
ven Verdo
o
laege
c
on
f
i
g
u
r
e: use c
o
rrect header files in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven Verd
o
olaege
configure
.
in: fix check for code_gen library avail
a
bility
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
ae
g
e
omega/occ: only open
d
ebug out
p
u
t file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven Verdoolaege
o
mega/Makefile
.
am: av
o
id bison's -o o
p
tion a
s
naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
ra
n
ge
.
cc: ad
d
missing
in
c
lude of a
l
loca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaeg
e
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoo
l
aege
add editors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verd
o
olaege
use argp for argument
p
a
r
sing in barvinok_ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
S
ven Verdoolae
g
e
properl
y
han
d
le NTL CPPFLAG
S
and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
basis_
r
eduction_t
e
m
p
l
.
c: add missing include
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
b
a
rvinok 0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verdo
o
la
e
ge
add some t
e
st sets
f
ro
m
its
l
2008 paper
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
doc: ad
d
la
t
est (accepted)
pu
b
lica
t
ions
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoola
e
ge
Makefi
l
e
.
am: add section_arra
y
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
normal
i
zation
.
c: compute_shi
f
ts:
r
emove redundan
t
r
eturn
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdo
o
laege
move
F
ree_Par
a
mNames pol
y
lib and make param
names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
occ:
add interface
t
o
barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
ex_convert
.
c
c
:
extract ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n V
e
rdoolaege
doc
:
d
ocument more --summation m
e
thods
for barvi
n
ok_s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
o
ptions
.
c: re
n
a
me "barv
i
nok"
s
umm
a
tion method
to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoola
e
ge
M
ak
e
file
.
am: ch
e
c
k
-
eul
e
r
:
also check lau
r
ent
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdo
o
lae
g
e
summate
.
c:
ba
r
vi
n
ok_summate:
h
a
n
d
le products of polyt
o
p
es
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
eva
l
u
e
.
c: exp
o
r
t ev
a
lue_reo
r
d
er_te
r
ms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
lae
g
e
bernstein
:
numeric2val
u
e:
f
ix
t
y
po to allow corre
c
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
util
.
c: Factor_C
o
n
t
e
x
t:
ext
r
a
cte
d
from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
summ
a
te
.
c: barvinok_summat
e
: ignore
f
loors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
evalue
.
c: add
e
val
u
e
_
floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdool
a
ege
o
m
ega/occ: print barvino
k
version number
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
d
oc: updat
e
some references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make
laurent
base
d
summation t
h
e
default
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
ool
a
ege
summate
.
c
:
b
arvinok_summ
a
te: handle quasi-po
l
y
no
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce_eval
u
e: extra
c
t out
eva
l
u
e_reduce_s
i
z
e
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
evalue
.
c
:
evalue_s
h
ift_variables: a
l
low shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
s
umma
t
e
.
c
:
handl
e
equalities for all summation algorith
m
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
ummate
.
c: bar
v
inok_summate: move commo
n
parts
o
f summatio
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
evalue
.
c
:
evalue_su
m
: move sign handl
i
ng
into
esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
bar
v
inok_e
.
cc: enumerate_
s
um: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
r
doolaege
s
u
mmate
.
c:
extract barvinok_summate from bar
v
i
nok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdoolaege
rename summate
.
cc to barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
r
doolaeg
e
e
v
alue
.
c
: reduce
_
evalue:
reduce floor w
i
t
h
c
ons
t
ant
.
.
.
commit
|
commitdiff
|
tree
next