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
isl_pw_qpolynomial_upper_bound: set up variable vector after lifting
2008-12-26
Sv
e
n
V
e
rdoolaege
e
v
a
lu
e
.
c
:
i
n
_
d
omain: sp
e
cial-case 0D d
o
mains
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
e
rdoolaege
Avoid use of
sys/times
.
h
h
eader w
h
en not av
a
ilable
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Verdoolaege
add gnulib gets
u
bopt module for M
i
nGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolae
g
e
READM
E
: men
t
ion that GiNaC is also
needed
f
or the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
ven
Verdool
a
eg
e
Allo
w
build
of
occ when usin
g
bundled ome
g
a
commit
|
commitdiff
|
tree
2008-10-28
Sven Verd
o
ol
a
ege
doc: add
a
reference to a master thesis actually u
s
ing
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n Ver
d
o
o
laege
b
arvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdo
o
l
aege
READ
M
E: fix up installat
i
on instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoolaege
Add
file
s
ge
n
er
a
ted
b
y bison and
fle
x
t
o the distribution
commit
|
commitdiff
|
tree
2008-10-16
S
ven Ve
r
do
o
laege
update poly
l
i
b
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoolaege
u
p
da
t
e pipl
i
b
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdo
o
laege
evalue
.
c: affine2
e
value:
r
educe coefficient
s
commit
|
commitdiff
|
tree
2008-10-10
S
v
en Verdool
a
ege
evalue
.
c: evalue_level_cmp: produce
mor
e
consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verd
o
o
laege
d
oc: add another
p
a
p
er refe
r
ri
n
g to the library
commit
|
commitdiff
|
tree
2008-09-16
S
v
en Verdoolaege
pi
e
cewise_lst
.
h: a
v
oid dupl
i
c
a
t
e
paramet
e
r
name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
evalue_re
a
d
.
c: fix mi
n
or bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoola
e
ge
update ome
g
a for miss
i
ng
f
iles in distr
i
bution
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Ver
d
oo
l
aege
barvino
k
_enumerate_e: avoid infinite l
o
op when p
r
esented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
include o
m
ega
submodule
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdoolaege
move omega subdir t
o
omega_
i
nterf
a
c
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oo
l
aege
NT
L
_QQ
.
cc:
a
dd stdl
i
b
i
n
clude for abort
h
idden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
V
erdoolae
g
e
r
e
move gnu
l
ib
link-warning
m
o
d
ule
completely
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
l
exmin
.
cc: find a
n
d sort are i
n
s
td:: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
eg
e
lexm
i
n
.
cc: avoid use o
f
typeof
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
4c
o
ins
.
c
c: re
m
ove
d
e
a
d code
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ver
d
oolaege
t
estlib
.
cc
:
add m
i
ssing return
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
workar
o
und sill
y
su
n
c
ompiler error
s
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdool
a
ege
Avoid u
s
e of the make -
C
opt
i
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
summate
.
c: add m
i
ssing incl
u
d
e
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoola
e
g
e
summate
.
c: add mis
s
ing
r
eturn va
l
ues
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Ma
k
efi
l
e
.
am:
include
lib
include
d
ir
in bui
l
d dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
o
la
e
ge
laure
n
t
.
cc: don't use cons
t
vectors as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
variable len
g
t
h
arrays are not standa
r
d C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verd
o
o
laege
g
enfun
.
cc: arg
u
ment o
f
mp_get_memory_functions sho
u
ld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
update piplib f
o
r
compatibi
l
it
y
changes
commit
|
commitdiff
|
tree
2008-08-24
S
ven
V
erdoolaege
update polylib w
i
th ex
t
ra field in Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven
Verdool
a
e
ge
doc: f
i
x typ
o
s
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n
V
erdoolae
g
e
add missing algo
r
i
thm include for find
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdo
o
laege
Fix out-of
-
bo
u
n
d
s e
r
r
or in
L
aurent expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdo
o
laege
Include empty
.
c file in libbarvinok if GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ven
Verdoolaege
correct
l
y ref
l
ect extra sourc
e
s for li
b
barvi
n
ok
a
nd
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ven
V
erdo
o
l
a
ege
fix typo in comm
e
nt
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
o
olaeg
e
lib
/
string
.
i
n
.
h: copy __restrict handli
n
g
f
rom lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sve
n
Verdoolaege
u
p
d
a
t
e gnulib function to last pre-
G
PLv3 version
commit
|
commitdiff
|
tree
2008-07-02
S
v
en Verdoolaeg
e
enu
m
erato
r
:
:
han
d
le
:
replace incorrect delete by
f
ree
commit
|
commitdiff
|
tree
2008-06-17
Sven
V
erdoo
l
aege
upd
a
te piplib
f
or correc
t
ed Urs_pa
r
ms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaeg
e
conf
i
g
u
re
:
use correct
hea
d
e
r
fil
e
s
i
n case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolae
g
e
configure
.
in
:
fix check fo
r
code_gen library availability
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdo
o
laege
o
m
eg
a
/occ: only ope
n
debug output file if there
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/M
a
k
e
file
.
am: av
o
i
d bison'
s
-
o option
a
s naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
range
.
c
c
:
ad
d
missing
i
n
cl
u
de of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
doc:
fix typo
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n Verdoolaeg
e
add editors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolae
g
e
use
a
rgp for argument par
s
ing in barvin
o
k_ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Ver
d
o
olaege
proper
l
y
handle NTL CPPFLAGS and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Ver
d
o
ol
a
ege
basis_reduction_t
e
mpl
.
c:
a
dd
m
i
s
sing include
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
barvi
n
o
k
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
add s
o
me test
s
e
ts from
i
tsl2008 pape
r
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
d
oc: add l
a
t
est
(
accept
e
d)
publicatio
n
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am: add se
c
tion_array
.
h to di
s
tribution
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verd
o
olaege
normali
z
ation
.
c
:
c
ompute_shifts: remove r
e
dundant retur
n
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
move
Free_
P
ara
m
Names po
l
ylib and make pa
r
am
n
ames const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
occ: ad
d
interface to barvin
o
k_summat
e
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaeg
e
ex_convert
.
c
c
: extract ex2evalu
e
f
r
om range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
doc: docume
n
t
m
ore --summation meth
o
d
s
for barvi
n
ok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
V
erdoolaege
options
.
c: rename
"
barvin
o
k" summ
a
tion m
e
t
h
od to
"
box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
M
a
k
e
f
i
le
.
am: check-euler:
also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summat
e
.
c: barvi
n
ok_summate: hand
l
e pro
d
ucts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
evalue
.
c: expo
r
t evalue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
bernstein
:
nume
r
ic2value: fix typo
to
all
o
w
correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
u
t
il
.
c
:
Factor_Context
:
extrac
t
ed fr
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
s
ummate
.
c
: barvinok_summa
t
e: ignore fl
o
ors
i
n
dependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
evalue
.
c: add evalue_fl
o
o
r
2
frac
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
erdoolaege
o
m
ega/occ: prin
t
barvinok versio
n
numb
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
doc: update some refe
r
ence
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
Make l
a
urent based summation the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
su
m
mate
.
c: barvinok
_
su
m
m
a
te
:
ha
n
d
le q
u
a
s
i-polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce_evalue: extrac
t
o
u
t
eval
u
e_reduce
_
size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
evalue
.
c: evalue_shift_variables: allow shifting
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
r
d
oolaege
summ
a
te
.
c: handl
e
equalities for all summati
o
n algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
sum
m
ate
.
c: bar
v
in
o
k_summate: move
c
ommon part
s
of s
u
mm
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ve
r
do
o
laege
evalue
.
c: eva
l
ue_
s
um: mo
v
e s
i
gn handling in
t
o esum_
o
ver_domain
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
barvinok_e
.
cc:
e
n
umerate_sum: use barvi
n
ok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
s
ummate
.
c: ex
t
r
a
ct barvin
o
k_s
u
m
m
ate
f
rom barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
rename
summate
.
cc to barvinok_su
m
m
ate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ev
a
lue
.
c: reduce_evalue: r
e
duce floor w
i
th con
s
tant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oo
l
aege
Add
Laurent e
x
pansio
n
based
summ
a
tion
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
eval
u
e
.
c: extend
eequal to handle
domai
n
s
a
n
d NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
r
d
o
olaeg
e
b
inomial
.
c: e
x
tr
a
ct
bi
n
omial and factori
a
l fro
m
euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaeg
e
power
.
h: extract from
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
int
r
o
duce
e
value_shift
_
varia
b
les
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
lat
t
ice_point
.
cc
:
ex
p
o
rt relative_coordin
a
tes
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rdoolaege
lattice_
p
oint
.
h: make sure co
r
rect
e
values a
r
e us
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Ver
d
oolaege
lattice_point
.
cc:
add ceiling
function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoo
l
aege
util
.
c
: i
n
terna
l
ize u
g
ly bv_
c
eil3
commit
|
commitdiff
|
tree
2008-04-17
Sv
e
n Verd
o
olaege
l
at
t
ice_point
.
cc: multi_m
o
nom/lattice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sve
n
Ve
r
doolaeg
e
doc: c
l
ean up "exponent
i
al substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolae
g
e
test_bound
.
c
c
:
avoid loss of precision
c
aused by con
v
ersion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
ae
g
e
b
a
rvin
o
k_bound: optiona
l
ly t
a
ke maximal size
of domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
doolaege
barvinok_boun
d
: add
--ite
r
ate
o
ptio
n
s for
evalu
a
ti
n
g
.
.
.
commit
|
commitdiff
|
tree
next