repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
update piplib
2008-10-16
S
v
en Verdoolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalu
e
.
c: affine2eva
l
ue: reduce coeff
i
cients
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
erdoolaege
evalue
.
c: evalue_
l
evel_cmp: produce mor
e
con
s
i
stent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Ver
d
oolaege
doc: add a
n
other paper referr
i
ng to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoo
l
ae
g
e
p
i
ece
w
is
e
_lst
.
h: avoid dupl
i
cate pa
r
a
m
ete
r
nam
e
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaeg
e
evalue_read
.
c
: fix
mino
r
bugs
i
n
token
i
zer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdool
a
ege
up
d
ate omega for
m
issing files in distribut
i
on
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
a
ege
bar
v
inok_enumerat
e
_e
:
avoid infinite loo
p
w
hen p
r
e
sented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
i
nclude om
e
g
a
s
u
bmodule
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
move omega subdir to omega_interfa
c
e
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdool
a
ege
NTL
_
Q
Q
.
c
c: a
d
d
s
tdlib i
n
clude for ab
o
rt hidden i
n
NT
L
_
vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
remov
e
gnul
i
b link-wa
r
ni
n
g mod
u
le complet
e
ly
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verd
o
o
l
aege
lexmin
.
cc: find and sort
a
re
in std:: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
l
exmi
n
.
cc: avoid
use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
4co
i
ns
.
cc: re
m
ove dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
r
do
o
laege
t
e
stlib
.
c
c
:
a
dd missing returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
wor
k
a
round
silly sun compiler er
r
ors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
Avoid u
s
e of the ma
k
e -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
summate
.
c: add mis
s
ing inc
l
ude
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
summat
e
.
c: add missing return valu
e
s
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
Verdoolaege
Makefile
.
am
:
inclu
d
e lib i
n
c
l
u
de
d
ir
in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
V
e
rdoolaege
l
a
urent
.
c
c: do
n
't use const vector
s
as m
a
p k
e
ys
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolae
g
e
v
a
r
i
ab
l
e length arrays are not standard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
r
doolaege
g
e
nfun
.
cc: ar
g
ument of mp_get_memory_functions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
u
pdate piplib for compatibility chan
g
es
commit
|
commitdiff
|
tree
2008-08-24
Sven Ver
d
oolae
g
e
update p
o
lylib with ext
r
a field in Pa
r
am_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verd
o
olaege
add
m
i
s
sing algorithm inclu
d
e
f
o
r
find
commit
|
commitdiff
|
tree
2008-07-22
S
ven Verdo
o
l
a
ege
Fix ou
t
-o
f
-bounds
error in Laurent ex
p
ansi
o
n based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
o
o
laeg
e
I
nclude e
m
pty
.
c file in libbar
v
inok if GiNaC w
a
s not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaege
correctly reflect extra sources for libbarv
i
nok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdoolaege
fix t
y
po
in c
o
mment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoola
e
ge
lib/string
.
in
.
h
:
c
op
y
__
r
estr
i
ct hand
l
ing from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verd
o
ol
a
e
ge
update gnulib function to last
p
r
e-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
S
v
en Verdoola
e
ge
e
n
umer
a
tor::handle: repla
c
e
incorrect dele
t
e
b
y
free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
update pipl
i
b for c
o
r
r
ected
Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Ve
r
doolaege
c
o
nfigure:
u
se co
r
rect
head
e
r
files in case of
b
undled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
ege
con
f
igure
.
in:
f
ix c
h
e
c
k for c
o
d
e_
g
en lib
r
ary availability
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaeg
e
omega/occ: onl
y
o
p
en debu
g
output f
i
le
i
f there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoolaege
omega/Makefile
.
am:
a
void bison's -o option as
naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoolae
g
e
range
.
cc: add
m
issing include
of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
d
o
c
:
fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
do
o
l
aege
add e
d
itors to
I
T
SL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
use ar
g
p for argument pars
i
n
g
in
b
arv
i
no
k
_ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
S
v
e
n
Verdoolaege
properly handle NTL CPPFLAGS and LDFLA
G
S
commit
|
commitdiff
|
tree
2008-05-07
S
ven Verdool
a
e
g
e
basis_r
e
duction_templ
.
c:
a
d
d
mi
s
sing
i
nclude
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
barvinok
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
a
d
d some test sets f
r
om
i
t
sl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
doo
l
a
ege
d
oc: add late
s
t (acce
p
ted
)
publ
i
cations
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
M
a
kefil
e
.
am: a
d
d section_array
.
h t
o
distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
normalizati
o
n
.
c: c
o
m
put
e
_shifts: remove redund
a
nt
r
e
t
urn
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
m
o
ve Free_ParamNames polylib a
n
d make param name
s
const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoo
l
aege
occ: ad
d
interface to
b
ar
v
inok_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaeg
e
ex_co
n
vert
.
c
c
:
extra
c
t ex2e
v
alue fr
o
m range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doo
l
a
ege
doc:
document more --sum
m
at
i
on meth
o
ds for b
a
rvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
options
.
c: rena
m
e "ba
r
v
i
nok" summ
a
tion method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
M
akefile
.
am: che
c
k-euler:
a
l
s
o
c
heck l
a
u
r
e
n
t
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
sum
m
ate
.
c: barvinok_summate:
h
a
ndle
p
roducts of poly
t
op
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
e
v
alue
.
c: export
evalue_reorder_te
r
ms
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
Verd
o
ola
e
ge
be
r
n
s
t
ei
n
:
numeric2value: fix
typo to
a
l
low c
o
rrect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
a
ege
util
.
c: Fa
c
t
o
r_Co
n
text:
e
xtracted f
r
o
m barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoolaege
summate
.
c: barvinok_
s
ummate: i
g
n
o
r
e
floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verd
o
ol
a
ege
evalue
.
c: add eval
u
e_floor2f
r
ac
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolae
g
e
om
e
g
a
/
occ: print barvinok vers
i
on number
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoo
l
a
ege
doc:
update s
o
me r
e
ferences
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
Make laurent
based sum
m
ation the
default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
su
m
mate
.
c
: barv
i
nok_su
m
mat
e
: handle quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
re
d
u
ce
_
evalue:
e
xtract
out evalue
_
reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
evalue
.
c: evalue_shi
f
t
_
va
r
iables: all
o
w shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoolaege
sum
m
ate
.
c: han
d
le equalities for all summation
a
lgorithms
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaeg
e
sum
m
ate
.
c:
barvin
o
k_summate: mov
e
c
o
mmon part
s
of sum
m
ation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
evalue
.
c: evalue_sum: move
s
ign handl
i
ng into esum_
o
v
e
r
_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
bar
v
inok_e
.
cc: enum
e
rate_sum: use
barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: extract barvinok_su
m
mate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
rename summate
.
cc to barvinok
_
summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
dool
a
ege
evalue
.
c: re
d
uce_evalue: reduce floor with con
s
ta
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolae
g
e
Add Lauren
t
expansion based
s
u
mmation
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verd
o
olae
g
e
eval
u
e
.
c
: e
x
tend eequ
a
l to
h
an
d
le do
m
ain
s
and
NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaege
binomial
.
c: extr
a
ct
b
ino
m
ial and fact
o
rial from eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Ver
d
oolaege
po
w
er
.
h
:
extract from eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verd
o
olaege
introd
u
c
e
evalue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
latt
i
ce_point
.
cc: ex
p
ort
relative_coor
d
inates
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
r
doolaege
lattice
_
poi
n
t
.
h: make sure
c
orrect evalues
a
r
e u
s
ed
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
ege
latti
c
e_point
.
cc: add ceiling fu
n
ction
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n
V
e
rdoolaeg
e
util
.
c: i
n
t
e
rnalize
u
g
ly bv_
c
e
il3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verd
o
olaeg
e
lattic
e
_point
.
c
c: multi_
m
o
n
om/latti
c
e_p
o
ints: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n Verdoolaege
doc: c
l
ea
n
up "exponential
substit
u
tio
n
"
section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
o
l
a
ege
t
e
st_bou
n
d
.
cc: avoid loss of precision caus
e
d by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ba
r
v
inok_
b
ound
:
o
p
tionally take
maximal si
z
e of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
barvinok_bound: add
-
-iterate options for eva
l
uating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
verify
.
c: export functi
o
ns
for setting and clear
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ve
r
i
fy
.
c: evalue_opt
i
mum
:
a
l
l
ow comp
u
t
a
ti
o
n
o
f optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolae
g
e
ber
n
stein
.
cc: eval
u
e2ex: don
'
t
assume
all p
e
riodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
cc: fi
x
call to
e
value_
c
onvert
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoo
l
aege
e{add,mu
l
}_period
i
cs: plug memo
r
y
leaks
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ve
r
d
o
o
laege
ev
a
lue_bern
s
tein_coefficients: handle p
r
o
blems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update p
o
l
y
lib
commit
|
commitdiff
|
tree
2008-04-05
S
ven Ve
r
doolaege
lattice_width
.
c: skip dir
e
ction
s
that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Ve
r
doolae
g
e
Ma
k
efile
.
am: add cdd94e-tes
t
to
distribut
i
on
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoo
l
aege
omega/occ:
optionally use park
e
r
f
or
c
omputing cardinali
t
y
.
.
.
commit
|
commitdiff
|
tree
next