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
fdstream.cc: don't (re)declare fileno if it's a macro
2008-12-26
Sve
n
Verdoolaege
fdstrea
m
.
c
c
: don't (re)declare fileno if
i
t's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n
Verdoolaege
ev
a
lu
e
.
c:
in_domain: specia
l
-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdool
a
ege
A
v
oid
u
se of sys/times
.
h header w
h
e
n
not
available
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add gnulib
g
ets
u
b
opt mod
u
le for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n Ver
d
oolaege
README: mention that GiNa
C
is also needed f
o
r the O
m
eg
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven V
e
rdoolaege
Al
l
ow build of occ
when using bun
d
led
omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolae
g
e
doc
:
add a r
e
fe
r
ence to a master thesis ac
t
ua
l
ly using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doola
e
ge
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Ver
d
o
o
laege
README
:
fi
x
up i
n
stallation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoola
e
g
e
Add fil
e
s generated by bison
a
nd
f
lex
t
o
the distr
i
bution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
upd
a
t
e polyl
i
b
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c:
a
ffine2evalue: re
d
uc
e
coefficie
n
ts
commit
|
commitdiff
|
tree
2008-10-10
Sven Ver
d
oolaege
e
v
alue
.
c: ev
a
lue
_
l
e
vel_
c
mp: pro
d
uce more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add another paper referring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Ve
r
doolaege
piecewise_lst
.
h: avoi
d
du
p
lic
a
te parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
e
value_
r
ead
.
c: fix minor
bugs in tokeni
z
er
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoola
e
ge
update o
m
ega fo
r
missing
files
i
n distribution
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoo
l
ae
g
e
b
arvinok_enu
m
erate_e:
a
void infinite
l
oop wh
e
n
p
resented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
inclu
d
e omeg
a
submod
u
le
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Verd
o
olaege
mov
e
omega
s
ubdir to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven
Ver
d
oolae
g
e
NT
L
_QQ
.
cc: add stdl
i
b
i
nclude
f
or abort hidden in NTL_vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdool
a
ege
remove gnulib l
i
nk-warning module
com
p
l
etely
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
lexmin
.
cc: fin
d
and sort are
in std:: namespace
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verd
o
olaege
lex
m
i
n
.
cc: avoid use
o
f typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
4c
o
ins
.
cc: remo
v
e
d
ea
d
co
d
e
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
te
s
tlib
.
c
c
: add missing returns
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
w
o
rkaround silly sun compile
r
errors
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verd
o
olaege
A
void use of th
e
make -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
summ
a
t
e
.
c
:
add
missi
n
g includ
e
commit
|
commitdiff
|
tree
2008-08-28
Sven
Ver
d
oolaege
s
u
mmate
.
c: add missing re
t
urn values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Makefil
e
.
a
m: includ
e
l
i
b include dir in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
l
a
urent
.
cc:
d
on't us
e
const vectors as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
va
r
i
a
bl
e
lengt
h
a
r
r
ays are not
standard C++
(yet
)
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Verdoolaege
genfun
.
cc: argument
o
f
mp_get_memory_funct
i
ons sh
o
u
l
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoola
e
ge
update p
i
pli
b
for com
p
at
i
bilit
y
c
h
a
nges
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
update polylib
w
it
h
extra field in Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
doc: fix typo
s
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
add m
i
ssing a
l
gorithm includ
e
for find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdool
a
ege
Fix out-of-bounds error in Laurent expansion
b
ased
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Inc
l
ude
empty
.
c file i
n
libbarv
i
nok if GiNaC w
a
s
not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaeg
e
c
or
r
e
c
tly refle
c
t
e
xtra s
o
urces
for
libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdoolaege
fix typo in
commen
t
commit
|
commitdiff
|
tree
2008-07-22
S
v
e
n
Verdoolaeg
e
lib/s
t
r
ing
.
in
.
h: copy
__restrict han
d
li
n
g
f
rom lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sve
n
Verdoolaege
update
gnulib function t
o
l
a
st pre-G
P
L
v
3 ver
s
ion
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
enumerator:
:
ha
n
dle
:
r
e
place i
n
corr
e
ct delete
by free
commit
|
commitdiff
|
tree
2008-06-17
Sve
n
Verdoolae
g
e
update
p
i
pl
i
b fo
r
c
o
r
rected Urs_parms handlin
g
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
conf
i
gure: use co
r
r
ect header files in
case o
f
bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoolaege
omega/occ: o
n
ly
open debug output file
i
f
t
h
ere
i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
doc: fix t
y
po
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoo
l
aege
add editors
t
o ITSL
p
ap
e
rs
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
o
olae
g
e
b
a
rv
i
n
o
k 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
add
s
ome
test sets from itsl2008
pape
r
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
doc
:
add la
t
est (accep
t
ed) p
u
b
l
i
c
a
tion
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
Ma
k
efile
.
am: add section_array
.
h
t
o
d
istribution
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
r
doolaege
normalization
.
c
: compu
t
e_shifts: remov
e
re
d
undant
r
eturn
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
move F
r
ee
_
Par
a
mNam
e
s polylib an
d
make param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
occ:
ad
d
int
e
rface to bar
v
inok_s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Ve
r
doolaege
ex_c
o
nvert
.
cc: e
x
tract ex2eva
l
ue from ran
g
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
doc: document
m
ore -
-
s
um
m
ation m
e
th
o
ds for barvinok_s
u
mma
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
options
.
c: r
e
n
a
me "
b
arvinok" summation method to
"box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Ma
k
efile
.
am: che
c
k-eule
r
:
a
l
so check la
u
r
e
nt
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summa
t
e
.
c: b
a
rvinok_summate: handle p
r
oducts of polyto
p
es
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
e
value
.
c: export eval
u
e_
r
eorder_
t
e
rms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bernstein
:
numeric2value:
f
i
x
typo to allo
w
correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
ut
i
l
.
c: Fa
c
tor_Context: extrac
t
ed from barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
ae
g
e
summate
.
c:
barvinok_s
u
m
mate: i
g
nore f
l
oors i
n
dependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
do
o
laege
evalue
.
c
: add eval
u
e_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
o
mega
/
occ:
p
r
i
nt ba
r
v
i
nok vers
i
on number
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoo
l
a
e
ge
doc:
u
pdate some
r
eferences
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
Make
laurent based summati
o
n t
h
e d
e
fault
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summ
a
te
.
c: barv
i
nok_summate: handle quasi-poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
r
doolaege
reduce
_
evalue
:
ex
t
ract ou
t
evalue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
eva
l
ue
.
c: evalue_shift_variables: al
l
ow s
h
ifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
oolaege
summate
.
c: h
a
ndle equali
t
ies f
o
r all
s
u
mmatio
n
algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoolaege
summat
e
.
c: barvinok_su
m
m
ate: move co
m
mon parts
of
summa
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
alue
.
c
:
e
value_s
u
m
: move s
i
gn h
a
ndli
n
g int
o
esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
barvinok_e
.
c
c: enu
m
e
rate_sum: use barvinok_su
m
m
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
u
m
mate
.
c: ex
t
rac
t
bar
v
inok_summate
from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
r
e
n
ame sum
m
at
e
.
cc t
o
barvino
k
_summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
evalu
e
.
c: reduce_evalue: redu
c
e floor wi
t
h constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
Add Laurent expansion based summat
i
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c: extend eequal t
o
ha
n
dle domains
a
nd NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaeg
e
bi
n
omial
.
c:
e
x
tract binomial and factorial from eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaege
power
.
h: ext
r
act
f
ro
m
eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
introduce evalue
_
s
h
i
ft_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
rdoolaege
latti
c
e_po
i
nt
.
cc: ex
p
ort r
e
lative_coordina
t
es
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
h: make sur
e
c
o
rre
c
t evalues a
r
e used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_p
o
int
.
c
c
: add c
e
iling function
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoola
e
g
e
util
.
c
:
in
t
e
r
na
l
i
z
e ugl
y
bv_ce
i
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sven
V
erdoolaege
l
a
ttice_p
o
int
.
cc:
mu
l
ti_monom/l
a
ttice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
d
oc: clean up
"expone
n
tial s
u
bstituti
o
n"
section
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verd
o
o
l
aege
test_bound
.
cc: avoid loss of precision cau
s
ed
by con
v
ers
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
doo
l
aege
ba
r
vi
n
ok
_
bound: o
p
t
ionally take
maxi
m
al size of d
o
main
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Verd
o
olaege
b
a
rvino
k
_boun
d
: add --
i
terate options fo
r
evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoola
e
ge
v
erify
.
c: ex
p
ort f
u
nctions
f
or set
t
i
ng and cle
a
ri
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
v
e
rify
.
c: evalue_
o
p
t
imu
m
:
a
llow co
m
p
u
tation
of
o
pti
m
um
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
o
o
l
aege
bernstein
.
cc: evalue
2
ex: d
o
n't as
s
ume all
p
e
riodi
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
boun
d
.
c
c: fix call
to
e
valu
e
_co
n
vert
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ve
r
doolae
g
e
e{a
d
d,mul}_peri
o
d
ics: p
l
ug memor
y
lea
k
s
commit
|
commitdiff
|
tree
next