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
Avoid use of sys/times.h header when not available
2008-12-25
Sven Verdoola
e
g
e
Avoid use
o
f s
y
s/times
.
h header
when
not av
a
ilable
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add gnulib get
s
ubopt module
for
MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
R
E
A
D
ME
:
mentio
n
that GiNaC is
also
n
eeded for
t
he Omeg
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
ven Verdoolaege
Allow build of occ when using bundled om
e
g
a
commit
|
commitdiff
|
tree
2008-10-28
Sven
V
e
r
doolaege
doc
:
add a re
f
eren
c
e to a master thesis actual
l
y using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doolaege
barvinok
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoolaege
README: fix u
p
inst
a
llation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
o
olaege
Add f
i
le
s
generated by bison and flex to
the distrib
u
t
i
on
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
laege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
aege
updat
e
piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
erdoolaege
eval
u
e
.
c: affine2evalu
e
: reduce coefficien
t
s
commit
|
commitdiff
|
tree
2008-10-10
S
ven Verd
o
ol
a
eg
e
e
value
.
c: eva
l
ue
_
leve
l
_cmp
:
pr
o
duce more consist
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sve
n
Verdoolaeg
e
doc
:
add anoth
e
r paper re
f
erring to the li
b
rary
commit
|
commitdiff
|
tree
2008-09-16
Sven Ver
d
oolaege
piecewise_l
s
t
.
h: avoi
d
duplicate p
a
r
a
meter
name
commit
|
commitdiff
|
tree
2008-09-02
Sv
e
n Verdoo
l
aege
e
val
u
e_r
e
a
d
.
c
:
fix
mi
n
or bugs in
tokenizer
commit
|
commitdiff
|
tree
2008-09-02
S
ven
Verdoolaege
upd
a
te
omega
for missing files in distrib
u
tion
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
barvinok_en
u
mera
t
e_e: avoid
i
nfinite loop
w
hen presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
move omega
s
ubdir
to omega_in
t
erfa
c
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
NTL_QQ
.
cc: add std
l
ib in
c
lude for abort hidde
n
in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
rem
o
v
e
g
n
u
l
ib link-warning m
o
dule co
m
pletely
commit
|
commitdiff
|
tree
2008-08-24
Sven Ver
d
oo
l
aege
up
d
ate
pol
y
lib with extra fie
l
d in Param
_
Polyhedr
o
n
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdo
o
laege
do
c
: fix typos
commit
|
commitdiff
|
tree
2008-07-20
Sven Verd
o
o
l
aege
u
pdate
g
nulib func
t
i
on to
las
t
pr
e
-GPLv3
version
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoo
l
aege
enumerato
r
::handle: replace
incorrect d
e
lete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verd
o
olaege
up
d
ate
p
iplib for corr
e
cted Urs_p
a
rm
s
hand
l
i
ng
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
configure: use correc
t
head
e
r
files in case of
b
u
nd
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
er
d
o
o
la
e
ge
omega/occ:
o
nl
y
open debug o
u
tpu
t
fi
l
e if th
e
re is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
d
o
c: fix ty
p
o
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n
Ver
d
o
o
l
aeg
e
a
dd edit
o
rs
t
o ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add some test sets
f
rom
i
ts
l
2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
r
d
oolaege
doc: add lates
t
(accepted) publications
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
Makefile
.
am: add
s
ection_array
.
h to
d
istrib
u
tion
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdo
o
laege
n
o
rmalization
.
c: co
m
pute_
s
hifts:
r
e
move redund
a
n
t
r
eturn
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolae
g
e
move
F
r
ee_
P
aramNames polyl
i
b a
n
d make param
n
ame
s
co
n
st
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ:
add
inte
r
f
a
ce to
b
a
r
vino
k
_sum
m
ate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
e
x_convert
.
cc: extract ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdo
o
lae
g
e
doc:
d
ocumen
t
more --summa
t
ion methods for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
d
o
olaege
opt
i
ons
.
c
:
ren
a
me "barvinok" s
u
mmation m
e
tho
d
to "box
"
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
Makefile
.
am: check-euler
:
also
c
heck laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
r
doolae
g
e
summate
.
c
:
barvinok_
s
ummate:
h
a
n
dle pr
o
ducts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
evalue
.
c: export evalue_reo
r
d
er_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
bernstein:
n
umeric2va
l
ue: fix typo to al
l
o
w
co
r
rect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
util
.
c:
F
actor_Con
t
ex
t
: extracted
f
rom b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
r
doolaege
summate
.
c
: barvinok_summate: ignore
floors i
n
de
p
endent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
evalue
.
c
:
add
evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
omega/occ:
print bar
v
inok
ve
r
sion num
b
er
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
doc: updat
e
some references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make
l
aurent ba
s
ed
s
ummation t
h
e default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summ
a
te
.
c: barvinok
_
summat
e
: handle quasi
-
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ver
d
ool
a
ege
redu
c
e_evalue: extra
c
t
out evalu
e
_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oola
e
ge
evalue
.
c: evalue_shift_variables: allow shi
f
t
ing o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verd
o
olaege
summate
.
c:
ha
n
d
l
e
equalities for all summation
algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoolae
g
e
su
m
m
a
te
.
c
:
ba
r
vi
n
o
k_summate: move
common parts of summa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
e
v
alue
.
c: evalu
e
_sum: move sign
ha
n
dling in
t
o esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
oolaege
barvinok_e
.
cc:
en
u
merate_sum: us
e
b
a
r
v
inok_s
u
mma
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdool
a
ege
s
u
mma
t
e
.
c
: ext
r
act ba
r
v
i
nok
_
summa
t
e fr
o
m bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdool
a
e
ge
rename sum
m
a
t
e
.
cc to
barvin
o
k_summa
t
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdool
a
e
g
e
evalue
.
c: reduc
e
_evalue:
reduce
f
loor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
Add Laurent expa
n
sion based summa
t
ion
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c:
e
xtend eequ
a
l to hand
l
e domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
b
inomi
a
l
.
c
: e
x
tract b
i
nomi
a
l an
d
factorial from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
power
.
h: e
x
tract
from
e
u
l
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introduce
evalue_s
h
ift_vari
a
bles
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolaege
lat
t
i
ce_poi
n
t
.
cc: export
relative_coordinate
s
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rdoolaege
lattice_
p
oint
.
h: make sure correct
evalues are use
d
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rdoo
l
aege
lattice_
p
oint
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c: intern
a
lize
ug
l
y bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoo
l
aege
lattice_po
i
nt
.
cc: multi_monom
/
l
a
ttic
e
_points
:
r
e
tu
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
erdo
o
l
a
e
g
e
doc
:
clean u
p
"exponen
t
ial sub
s
titution"
s
ection
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
test_bound
.
cc: avoid
l
oss of pr
e
cisio
n
caused by convers
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en V
e
rdoolaege
b
arvin
o
k_bound:
opti
o
nally take
m
aximal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
barvinok
_
b
ound: add --
i
terate
o
ptions for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
V
erdoolaeg
e
v
e
rify
.
c: export functions
for setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
rdoolaege
v
e
r
ify
.
c: evalue_optimum: allow computati
o
n
of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
ber
n
stein
.
c
c
: evalu
e
2ex: don'
t
assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
b
ound
.
c
c
:
fix call to
eva
l
u
e_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
e{add,mul}_period
i
c
s:
plug
memory le
a
ks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
a
ege
e
v
alue_ber
n
st
e
i
n_coefficients: handle pr
o
blems wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
S
ven Verdoo
l
aege
lattice_width
.
c: s
k
ip di
r
ec
t
i
o
n
s tha
t
a
r
e iden
t
ical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
en Verdoolaege
Makefile
.
am: ad
d
c
d
d94e-test to dis
t
ribution
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Ve
r
doolaege
omega/occ: optionall
y
u
se parker f
o
r
c
omp
u
t
ing
c
ar
d
inality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
norm
a
lizat
i
on
.
c: skew_to_po
s
iti
v
e_ort
h
an
t
: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega
/
c
onvert
.
cc
:
relat
i
on2Domain:
o
nly coll
e
ct
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
occ:
add dump fo
r
d
umping
in barvino
k
_enumerat
e
_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
bar
v
i
nok_enumerate_e: optionally use p
a
rker's
m
ethod
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_constraint
s
: t
a
ke constr
a
ints instead of p
o
lyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
e
r
doolae
g
e
no
r
ma
l
iza
t
ion
.
c: extract stand
a
rd
_
constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n
Verdoolaege
parker/c
o
unt_so
l
utions
.
cc: fix treatment of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erdoolaege
compil
e
par
k
er
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: eva
l
ue_
d
er
i
ve: handle constant poly
n
omials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some t
e
st sets
f
r
om c
a
s
es
2
004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rena
m
e
barvinok_maxi
m
ize to ba
r
vinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
ad
d
a te
s
t for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
evalue_r
a
nge_pro
p
agatio
n
: r
e
move redundant polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
test_bound: record number of polynomials a
s
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
test
_
bound: convert quasipo
l
yno
m
ials t
o
p
o
l
y
n
o
mia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
test_bou
n
d: com
p
are po
l
ynomi
a
l bound algorithms
commit
|
commitdiff
|
tree
next