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_enumerate_e_series: handle all equalities involving existentials
2009-05-07
Sv
e
n Verdoolaege
b
arvinok_enumerate_e_ser
i
es:
h
andl
e
a
ll equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
add test
s
et from the other itsl
2
008
p
a
p
e
r
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyhedron_Factor: handle polyhedra with a n
o
n-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven V
e
rdoolaege
u
p
date pi
p
l
i
b for cha
n
ge in
c
onfigure arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
test_approx
.
c: add d
u
mmy
f
ield
in d
u
mmy
tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoolae
g
e
co
n
f
igure
.
in: avoid intr
o
ducin
g
empty el
e
men
t
s in PKG_CONF
I
G
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n V
e
rdoo
l
ae
g
e
occ: define OMI
T
_GETRUSAGE if sys/reso
u
rc
e
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoolaege
omega_
i
nterface/
M
ak
e
f
i
l
e
.
am: put
d
e
p
endi
n
g libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en
Verdoolaege
configure
.
in: add $(EXEEXT) to op
t
ional
occ for
c
y
g
win
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
u
pdate om
e
ga for MinGW compatibi
l
ity
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolaeg
e
bernstein/configur
e
.
in: add
missi
n
g AC_PROG_CXX
commit
|
commitdiff
|
tree
2008-12-30
S
ven
V
e
r
doolaege
ve
c
tor_par
t
ition_chambers: computes ch
a
mbers of ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sve
n
V
e
rdoolaege
barvinok
.
cc
:
remove un
u
s
e
d
nonort
h
og
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoola
e
g
e
update p
i
plib for MinGW compa
t
ibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
u
p
date
polylib for Mi
n
GW compatibility
commit
|
commitdiff
|
tree
2008-12-26
S
ve
n
Verdool
a
e
ge
f
d
stream
.
cc:
don't
(re)declar
e
fileno if it's a
m
a
c
ro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c
:
i
n
_domai
n
: s
p
ecial-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sve
n
Verdoola
e
ge
A
void use
o
f sys
/
ti
m
e
s
.
h
hea
d
e
r when not avail
a
ble
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add gnuli
b
g
etsubopt modu
l
e for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Ver
d
oolaege
R
E
ADM
E
: m
e
ntion that GiNaC is a
l
so needed
for the O
m
e
g
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
v
e
n V
e
rdoolaege
Allow build o
f
oc
c
w
he
n
usin
g
bun
d
l
ed omega
commit
|
commitdiff
|
tree
2008-10-28
Sv
e
n Verdoolaege
d
o
c
: add a ref
e
rence to a master thesis actuall
y
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Ve
r
d
o
olaeg
e
barvinok
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
README: fix up insta
l
lation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoolaege
Add files generated by bison and flex to the di
s
tribution
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoo
l
aege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoola
e
ge
u
pdate piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: a
f
f
ine
2
evalue: reduce
c
o
e
fficien
t
s
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
Ve
r
doolaege
evalue
.
c
: evalue_
l
evel_cmp: pro
d
u
c
e
more consisten
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaeg
e
doc: add anot
h
e
r
paper referr
i
ng to t
h
e
l
ibrary
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
p
i
ece
w
ise
_
lst
.
h: a
v
oid dupl
i
cat
e
p
a
rameter
name
commit
|
commitdiff
|
tree
2008-09-02
Sven Ve
r
doolaege
eva
l
ue_rea
d
.
c: fix
minor bugs in t
o
ke
n
izer
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
rdoolaege
update omega for
missing
f
ile
s
in distribution
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Ver
d
oola
e
g
e
b
a
rvinok_enumerate
_
e: avoid infinit
e
loop wh
e
n presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Ver
d
oolaeg
e
include omega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Ve
r
doo
l
aege
move omega subdir to omega_interfa
c
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
NTL_
Q
Q
.
cc:
add
s
tdlib includ
e
for abor
t
hidden in N
T
L_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
Verdoolaege
remove
g
nulib l
i
nk-
w
arning modul
e
completely
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
le
x
min
.
c
c
: find and sort
ar
e
in s
t
d:: name
s
p
a
ce
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
rdo
o
la
e
ge
lexmin
.
cc: av
o
id use of
ty
p
eof
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolae
g
e
4coins
.
cc: remove dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
o
laege
tes
t
l
ib
.
cc
:
add missing
r
eturns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
wo
r
karou
n
d silly
sun compiler errors
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdool
a
e
g
e
Avoid
u
se
of the mak
e
-C opti
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
summate
.
c: add missing include
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
summate
.
c: add missing ret
u
r
n
values
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doola
e
ge
Makefile
.
am:
include
l
ib inc
l
ude dir i
n
build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
ool
a
ege
laur
e
nt
.
cc:
d
on
'
t
u
se co
n
st v
e
ctor
s
as map k
e
ys
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
v
a
riab
l
e leng
t
h arra
y
s ar
e
not stand
a
rd C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
genfun
.
cc: arg
u
m
e
nt of mp
_
get_memory_functions s
h
oul
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
upd
a
te piplib for
c
o
mp
a
t
ibility
c
h
ang
e
s
commit
|
commitdiff
|
tree
2008-08-24
Sven Ve
r
doolaege
u
p
d
ate polylib w
i
th e
x
tra field in Param_Po
l
yh
e
dron
commit
|
commitdiff
|
tree
2008-07-30
S
ven
V
erdoolaeg
e
doc: fi
x
typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoo
l
a
ege
add m
i
ssi
n
g alg
o
rith
m
include for find
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdoo
l
aeg
e
Fix out
-
o
f-bounds error in Laurent expan
s
ion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaege
Include empty
.
c file i
n
libbarvin
o
k if
GiNaC wa
s
not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoo
l
aege
c
orrectly refle
c
t extra s
o
urces
for libba
r
vinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ve
r
do
o
l
a
ege
fix typo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
lib/stri
n
g
.
in
.
h: copy _
_
r
e
s
t
r
i
c
t handling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
update gnulib func
t
i
o
n to l
a
st pre-
G
PLv3 version
commit
|
commitdiff
|
tree
2008-07-02
S
ven
Verdoolaege
enumerator::
h
andle: replace incorr
e
ct delet
e
by
f
ree
commit
|
commitdiff
|
tree
2008-06-17
S
ven Verdoolaege
upda
t
e
p
i
pli
b
for c
o
r
r
ec
t
ed U
r
s
_
p
arms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verd
o
ol
a
ege
confi
g
ure:
u
se correct hea
d
er files in
c
as
e
of bund
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
o
mega/occ:
only open debug output file if t
h
ere
i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en
V
e
rdoolaege
doc
:
f
i
x
t
y
po
commit
|
commitdiff
|
tree
2008-05-08
Sven
Ver
d
oolaege
ad
d
e
ditors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdo
o
laege
add
s
ome te
s
t sets from
i
tsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verd
o
o
l
a
ege
d
oc: add l
a
test (
a
cc
e
p
ted
)
publications
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdo
o
l
aege
Makefile
.
am: add
s
e
ction_arr
a
y
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolae
g
e
norma
l
i
z
ation
.
c: co
m
p
ute_shifts: remo
v
e redund
a
n
t return
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
mov
e
Fre
e
_ParamNames polyli
b
and make param
n
ames c
o
nst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ: add inter
f
ace
t
o
barvino
k
_su
m
mate
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
e
x_
c
onvert
.
cc
:
extr
a
ct ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdo
o
laege
doc: documen
t
more
--summatio
n
m
ethod
s
fo
r
barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
o
olaege
options
.
c:
r
e
n
a
m
e
"b
a
rvin
o
k" summation method to "bo
x
"
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdool
a
ege
Ma
k
ef
i
le
.
a
m: check
-
eule
r
:
a
lso check la
u
rent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
summate
.
c: barvinok_summate: handle produ
c
ts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verdoolaege
eva
l
ue
.
c
:
export evalue_r
e
o
r
der_terms
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdo
o
laege
bernstein:
n
umer
i
c2
v
alue:
f
ix typo to allow co
r
re
c
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
util
.
c: F
a
ctor_Cont
e
xt:
e
xtr
a
cted from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
summate
.
c:
barvinok_summate: ig
n
ore fl
o
ors i
n
dependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Ver
d
oolaege
eva
l
ue
.
c: add evalue_floor
2
frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
om
e
g
a
/
o
cc:
p
rint barvinok version
n
um
b
er
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
doc: u
p
date so
m
e r
e
ferences
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoola
e
g
e
Ma
k
e lau
r
ent bas
e
d summation the defa
u
lt
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
su
m
m
ate
.
c
:
barv
i
nok
_
summ
a
te: handle quasi-polyno
m
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoolae
g
e
r
e
duce_ev
a
lue: extract out e
v
alue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
eva
l
ue
.
c
:
evalue_
s
h
i
ft_var
i
ab
l
es:
allow shift
i
ng
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
e
rdoo
l
aege
summ
a
t
e
.
c: ha
n
dl
e
e
qualiti
e
s for all summati
o
n algorit
h
ms
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
summat
e
.
c
:
barvinok_summate: mo
v
e common parts of summa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
e
val
u
e
.
c: eva
l
ue_sum:
m
o
ve s
i
gn handling in
t
o esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
dool
a
ege
barvi
n
ok_e
.
cc: enumerate_sum: use barvinok_summa
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
su
m
mate
.
c
: extract barvinok_summate fr
o
m b
a
r
vinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
rename
s
u
mma
t
e
.
cc to b
a
rvinok_
s
u
m
mate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
evalue
.
c: re
d
uce_evalue
:
reduce floo
r
with cons
t
a
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoo
l
a
ege
Add
Laur
e
nt
expansi
o
n base
d
summatio
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doo
l
aege
evalue
.
c: exten
d
eequal to ha
n
d
l
e dom
a
ins and
NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaeg
e
binomial
.
c
: extract
binomial and factorial from eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdool
a
ege
p
ower
.
h: extract fr
o
m eul
e
r
.
c
c
commit
|
commitdiff
|
tree
next