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
evalue.c: affine2evalue: reduce coefficients
2008-10-10
Sven
Verdool
a
ege
eva
l
ue
.
c:
a
f
fine2evalu
e
:
reduce co
e
fficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Ve
r
d
o
olaeg
e
evalue
.
c: evalue_level_cmp: p
r
oduce more co
n
sistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaeg
e
doc
:
add another paper referring to the librar
y
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolae
g
e
pi
e
cewise_ls
t
.
h
: avoid duplicate
p
arameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
ev
a
lue_rea
d
.
c: fix minor bu
g
s in
t
o
k
enizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verd
o
o
l
aeg
e
upd
a
t
e omega
for missing files in
d
i
s
trib
u
tion
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoola
e
ge
barvi
n
ok_enumerate
_
e
:
a
void infinite loop whe
n
p
rese
n
ted
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rd
o
ol
a
e
g
e
inc
l
ude omega s
u
b
modul
e
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
move omega subdir to o
m
e
ga_interface
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verd
o
olaege
N
TL_QQ
.
c
c
:
a
dd stdl
i
b
in
c
l
ude for abort hidden in NT
L
_v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoo
l
ae
g
e
remove gnuli
b
link-
w
arning module completely
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdo
o
laege
lexmin
.
c
c
: find
a
nd sort are in s
t
d::
na
m
espace
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaeg
e
lex
m
in
.
cc: avoid us
e
of t
y
peof
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdool
a
ege
4c
o
i
n
s
.
cc: remove dead co
d
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
testlib
.
cc: add mis
s
in
g
retu
r
ns
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
workaround
s
illy sun compiler errors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
a
e
ge
Avo
i
d use of the make -C
o
p
tion
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
su
m
mate
.
c: add miss
i
ng includ
e
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
r
doola
e
ge
summate
.
c: add
missing ret
u
rn
v
alues
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Ve
r
do
o
laege
Makefile
.
am: include l
i
b
include dir in build d
i
r
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
lau
r
e
n
t
.
cc: do
n
't use const vectors as map keys
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ver
d
o
o
laege
va
r
iable le
n
gth arrays are
not
s
t
a
ndard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
genfun
.
c
c: argument of mp_get_memory_functions sho
u
l
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
u
pdate p
i
p
lib for compatibility chan
g
e
s
commit
|
commitdiff
|
tree
2008-08-24
Sven
V
erdoo
l
aege
update polylib
wit
h
ext
r
a f
i
e
l
d in Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven
V
e
rd
o
olae
g
e
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdool
a
e
ge
add miss
i
ng algorithm include f
o
r find
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoolaege
Fix out-of
-
bounds e
r
ror
in
L
aurent
e
xpan
s
ion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoolaege
I
n
clude emp
t
y
.
c fi
l
e
i
n libbarvi
n
ok if GiNaC
w
as not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
correctly reflect ext
r
a
so
u
rces
for li
b
barvin
o
k and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoolaege
f
i
x
typo in c
o
mme
n
t
commit
|
commitdiff
|
tree
2008-07-22
Sven
Ve
r
doolaeg
e
lib/string
.
i
n
.
h:
c
opy
_
_rest
r
i
ct handlin
g
from
lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sv
e
n Ver
d
ool
a
ege
upd
a
te gnulib funct
i
on
to l
a
st pr
e
-GPLv
3
version
commit
|
commitdiff
|
tree
2008-07-02
Sven
Verdoolaege
e
n
umerato
r
:
:
h
a
ndle: r
e
pl
a
c
e
incorrect delete by free
commit
|
commitdiff
|
tree
2008-06-17
S
v
e
n Ve
r
doolae
g
e
update piplib f
o
r corrected Urs_pa
r
ms handlin
g
commit
|
commitdiff
|
tree
2008-06-12
S
v
e
n
Verd
o
olaeg
e
configur
e
: use
corr
e
ct
h
e
ade
r
files in cas
e
of bundle
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n
Verdo
o
l
a
ege
co
n
fig
u
re
.
in: f
i
x check
f
or code_gen li
b
ra
r
y
availability
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rd
o
olaeg
e
omega/occ: only open d
e
bug out
p
u
t
file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/Mak
e
file
.
a
m: avoid bison's -o option as namin
g
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
range
.
cc: add missing
i
n
c
l
ude o
f
a
l
l
oca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
a
e
ge
d
oc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erd
o
olae
g
e
add e
d
itors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
u
se argp
f
or argument parsi
n
g in barvinok_ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdool
a
eg
e
properly ha
n
dle
N
TL CP
P
FLAGS
a
nd LDFLAG
S
commit
|
commitdiff
|
tree
2008-05-07
S
ven Verdoolaege
basis_reduction_templ
.
c: add m
i
ssing incl
u
de
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Ve
r
doolaege
barvin
o
k 0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verd
o
o
l
a
e
ge
add
som
e
tes
t
sets
from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdoolaege
doc: add l
a
t
est
(
accepted) publ
i
cation
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
Makefile
.
am: ad
d
section
_
array
.
h
to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoo
l
aege
norm
a
l
i
zation
.
c:
compute_shifts: remov
e
redu
n
dant
r
eturn
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
move
F
ree
_
ParamNames polylib and make
pa
r
am nam
e
s const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoo
l
ae
g
e
occ: add int
e
r
f
ace
t
o barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
ex_con
v
ert
.
cc
:
ex
t
ract ex
2
evalue
from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdoolaege
doc: document more --summati
o
n
m
ethods for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoola
e
ge
opt
i
ons
.
c: r
e
n
a
me "barvi
n
ok" summat
i
on method to
"box"
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
M
akefile
.
am:
check-euler: also che
c
k laurent
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verd
o
olaege
summate
.
c: barv
i
nok_summate: hand
l
e products
o
f
polyt
o
pes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ve
r
doolae
g
e
evalue
.
c: expo
r
t
e
value_reor
d
e
r
_
terms
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verd
o
olaege
bernstein: nume
r
i
c
2value: fix typo
to allow
cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
util
.
c
:
F
actor_Context: extracted fr
o
m barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaeg
e
sum
m
a
t
e
.
c
:
b
arvinok_su
m
mate: ignore floors
i
nd
e
pendent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
r
doolaege
e
v
alue
.
c
: add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
do
o
l
aege
omega
/
o
cc: print barvinok version
num
b
er
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
doc:
updat
e
s
o
m
e references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
M
a
k
e laurent based summation the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
su
m
mate
.
c: barvinok_summate:
h
a
n
dle quasi
-
pol
y
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
red
u
ce_ev
a
lue:
e
x
tract out e
v
alue
_
reduce_siz
e
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oola
e
ge
ev
a
lue
.
c: e
v
alue_shift_va
r
iables: allow shiftin
g
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
g
e
summ
a
te
.
c: ha
n
d
le equalities
for
a
l
l
s
u
mmatio
n
al
g
o
rithms
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoolaege
summate
.
c:
barvin
o
k_summate: mo
v
e common parts
of summa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
eval
u
e
.
c: e
v
alue_sum: move si
g
n ha
n
dling into esum
_
over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoola
e
ge
barvinok_e
.
cc:
e
numerate_sum: use barvinok_sum
m
ate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: extract barvinok_summate fro
m
b
a
rvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
rename summate
.
cc to
b
arvinok_sum
m
ate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoola
e
ge
eval
u
e
.
c
:
reduce_evalue: reduce floor
with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoolaege
Add La
u
rent expansion based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolaeg
e
evalue
.
c: extend
eequa
l
to h
a
n
d
le
domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
rdoolaege
binom
i
al
.
c
:
extract bino
m
ial and factorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
pow
e
r
.
h: extract f
r
om
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
int
r
o
duce
ev
a
lue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaeg
e
latt
i
ce_point
.
cc: expor
t
relative_
c
oordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice
_
point
.
h: mak
e
s
u
re co
r
rect
e
values
are
used
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoolaeg
e
la
t
t
i
ce_p
o
int
.
cc: add
c
eiling f
u
nction
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verd
o
olaege
util
.
c:
internal
i
ze
u
gly
b
v
_ce
i
l3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattic
e
_p
o
int
.
cc: mu
l
ti_monom/latt
i
ce_points: r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n Verdo
o
laege
d
oc:
c
lean up "e
x
pone
n
tial
s
u
bstitution" section
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdool
a
ege
test_bound
.
cc:
avoid loss of precis
i
on caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdool
a
ege
b
arvinok_bound: optionall
y
take maximal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
dool
a
eg
e
barvinok_bound: add --iterate option
s
for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
ver
i
fy
.
c: export fu
n
ctions fo
r
sett
i
ng and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
V
erdoolaege
verif
y
.
c
:
evalue_optim
u
m: allow co
m
putation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstei
n
.
cc:
e
v
alue2ex:
don't assume
a
l
l
pe
r
iodi
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
l
aeg
e
b
o
und
.
cc: fix
cal
l
to eval
u
e_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add,mul}_p
e
riodic
s
:
plug m
e
mory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
evalue_be
r
nstein_coefficients: handle
p
r
oblems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
update po
l
yl
i
b
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lattice_width
.
c: skip directions that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaeg
e
Mak
e
file
.
am: ad
d
cdd94e-
t
est t
o
dis
t
ri
b
ution
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Verdoolaeg
e
omeg
a
/occ: optiona
l
ly
u
se parker for computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolae
g
e
n
o
rmal
i
za
t
ion
.
c: skew_to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
next