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
bound.c: verify_point: drop unused error label
2017-01-23
Sven Verdoolaege
bound
.
c:
v
e
rify_po
i
nt:
drop u
n
u
sed error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdoolaege
b
arv
i
nok_
e
num
e
rate
.
cc: verify_po
i
nt: d
r
op unus
e
d
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
S
v
en Verdoolaege
volu
m
e
.
c: Pa
r
am_Polyhedron_Vol
u
m
e: drop unused
v
ari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdoolaege
ve
r
ify_series
.
c
c
; cp_
g
f: dro
p
un
u
sed
vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven
V
erdoolaege
verify
.
c: chec
k
_
EP_on_poly
:
d
r
op unused var
i
abl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
S
v
en Verdoolaege
ver
i
fy
.
c
:
check
_
EP:
drop unused
v
ariable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven
V
erdoolaege
util
.
c:
r
emove_equa
l
ities
:
drop unused variab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven V
e
rdoo
l
ae
g
e
util
.
c
:
for_each_low
e
r_upp
e
r_bound: drop
u
n
use
d
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Ve
r
doo
l
aege
util
.
c
:
b
v
_ceil3
:
dr
o
p unused
v
a
riab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven
Ve
r
do
o
laege
test_approx
.
c
: result_
d
a
t
a
_clear
:
d
r
op unused
v
ariable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
S
v
en Verd
o
olaege
test
.
c:
m
ain: drop unused variable
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdoolae
g
e
summate
.
c: s
u
m_factors: d
r
op unused variab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
S
v
en
V
er
d
oolaeg
e
summa
t
e
.
c: add_basic_g
u
ard
e
d_qp
:
drop unu
s
e
d
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven V
e
r
doolaege
series
.
c
c
: barvinok_enumerate
_
u
n
ion_s
e
ries_with_op
t
ions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sv
e
n
V
e
rdo
o
laege
series
.
c
c: barvin
o
k
_enumerate_union_series_with_opti
o
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven V
e
rd
o
olaege
sc
a
rf
.
c
c:
sc
a
rf: dro
p
unused vari
a
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdoolaege
sca
l
e
.
c; flate_na
r
r
o
w
2: drop unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sv
e
n
V
er
d
oolaege
r
e
m
o
ve_red
u
ndant_equalitie
s
.
c: main: drop unused v
a
riable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
S
v
e
n Verdoo
l
a
e
ge
redu
c
er
.
cc: normalize: drop unuse
d
variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdoolae
g
e
randomtest
.
c
:
m
ain: drop un
u
s
e
d va
r
iable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sve
n
Ve
r
d
oolaege
polytope_scan
.
c
:
main
:
drop unus
e
d variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sve
n
V
e
rdo
o
laege
param_util
.
c: Pa
r
am_Po
l
yhe
d
ron_Facet: drop un
u
sed v
a
r
iabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdoolaege
param_util
.
c
: Pa
r
a
m
_Ver
t
ex
_
Cone
:
drop unused
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sve
n
Verdoolaege
lexmin
.
cc:
i
ndicator
:
:create_max_term: drop un
u
sed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven
V
erdo
o
laege
lexmin
.
cc: max_term::substitute: d
r
op unus
e
d
v
ariable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Ve
r
doolaege
l
e
xmin
.
cc: verify_re
s
ults: dro
p
unused va
r
iabl
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdoo
l
a
ege
lattice_po
i
n
t
.
c
c
:
relative_coor
d
ina
t
e
s
:
drop unused
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
S
ven Verdool
a
ege
lat
t
ice_point
.
cc: lattice
_
point: drop un
u
sed
v
ariabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Ve
r
doola
e
ge
lattice
_
poi
n
t
.
cc: l
a
ttice_poin
t
: drop unu
s
ed vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sve
n
V
e
rdoolaeg
e
iscc
.
c
:
read_line: drop unused variabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdoola
e
ge
iscc
.
c:
write_to_file:
d
rop u
n
u
s
ed variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven V
e
rdoolaege
iscc
.
c:
t
ype_of: drop
u
nused var
i
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sve
n
Verdoolaege
isl_par
a
m_
u
t
i
l
.
c a
d
d_c
h
a
m
ber_
v
ertex:
drop
u
n
u
sed
v
ariabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
S
v
en V
e
r
doolaege
isl_param_util
.
c ISL_P2PP:
drop unused var
i
ables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sv
e
n Verd
o
olaege
isl_obj_str
.
c
:
i
sl_str_free:
d
rop unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven
V
e
rdoolaege
isl_obj_str
.
c
: is
l
_str_concat
:
drop unused va
r
iable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
S
v
en Verdoolaege
isl_basic_map_to_po
l
y
l
ib: drop u
n
used varia
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdoolaeg
e
isl_ma
p
_to_polylib: drop
u
nu
s
ed variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sv
e
n Verdoolae
g
e
hull
.
c: gbr_hull_extend:
d
rop unused
v
ariab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
S
ve
n
Verdoolae
g
e
hull
.
c
:
sel
e
ct_
b
est:
d
r
o
p unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verd
o
olaeg
e
evalue_read
.
c: evalue_r
e
a
d_p
a
rtition
:
dr
o
p unu
s
ed variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
S
ven Ver
d
oo
l
aeg
e
EDomain::com
p
u
te_ge_constra
i
n
t
:
dr
o
p
unused vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sv
e
n
Verdoolaege
decom
p
o
ser
.
cc: cone::sho
r
t_vector: dro
p
unu
s
ed variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sv
e
n Verdoolaege
boun
d
.
c: verify
_
poi
n
t: dr
o
p u
n
used vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven
Verdoo
l
aege
bfcounter
.
cc: bf_base::reduce: drop unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdoola
e
g
e
bfcounte
r
.
cc: bf
_
re
d
uc
e
r::r
e
duce: drop unused variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sv
e
n Verdo
o
laege
bar
v
ino
k
_union
.
cc: drop u
n
used variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven
V
e
r
d
oolaege
b
a
rvinok_summat
e
.
c: verify_po
i
nt:
drop unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven
Ve
r
doolaege
barvin
o
k_summate
.
c: main
:
drop
un
u
s
e
d
v
a
ria
b
les
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdoolaege
barvinok_enume
r
at
e
_e
.
cc: verify_results: dr
o
p unu
s
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
S
ve
n
Ver
d
oolaege
barvinok_enumerat
e
.
cc: v
e
rify
_
point: drop unus
e
d
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdoolaege
barvino
k
_enumerate
.
cc: series: dr
o
p unused variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
S
ven
V
erdoolaege
barvi
n
ok_en
u
merate
.
cc: seri
e
s: drop unused va
r
iable
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Ve
r
doolaege
barvinok_c
o
u
n
t_with_op
t
ions: drop unu
s
ed variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sv
e
n
V
er
d
oo
l
aege
barvinok
.
cc: enumerator::hand
l
e: dr
o
p
u
nus
e
d variabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
S
ven Ver
d
oolaege
b
a
r
vinok
.
cc:
en
u
merat
o
r::ha
n
dle: dro
p
u
nused var
i
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sve
n
Verdoolaege
ba
r
vinok
.
cc: enumerate: drop unus
e
d vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdoolae
g
e
barvinok
.
cc: enume
r
ate: drop u
n
used v
a
riable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sve
n
Verdoolaeg
e
4
c
oins
.
c
c
: main: dro
p
unused v
a
riable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdoolaege
l
exm
i
n
.
cc:
partial_or
d
e
r
::compa
r
e: rem
o
ve more (presumably
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Ver
d
oolaege
lexmin
.
cc: partial_ord
e
r::compare: remove some dead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdoolaege
bar
v
inok_en
u
m
e
rate
.
cc: ve
r
i
f
y: dro
p
dead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
S
ven V
e
rdoolaeg
e
drop u
n
use
d
i
sl_map_new_from_polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdoolaege
s
c
arf
.
cc
:
drop unused InsertColumn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
S
ven Ve
r
doo
l
aege
lexmin
.
cc: drop unused
i
ndicator_constru
c
tor::norm
a
lize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdo
o
lae
g
e
lexm
i
n
.
c
c
:
drop unused compre
s
s_parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ve
r
doolaege
lau
r
ent_old
.
c
c
:
d
r
op unused first_non_zero(const vec_ZZ &)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
param_util
.
c
: drop unus
e
d Param_
V
ertex_Domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdo
o
l
aege
barvinok_e
.
cc: drop unus
e
d do
u
bl
e
_bou
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoola
e
ge
b
arvino
k
.
cc: d
r
op unused u
n
i_polynom
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en Verdoolaege
b
a
rvinok
.
cc: drop unus
e
d edegree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n Verdoolaege
barvinok
.
c
c:
drop unused
ad
d
_ray
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n Ver
d
oola
e
ge
4coins
.
cc: dro
p
unused sca
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
ven
Verdoolaege
reducer
.
h: reducer: d
r
op
commented out field
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
ven Verdoolaege
barvinok
.
cc: ienumerator: dro
p
c
ommented out
f
ield
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdo
o
laege
r
edu
c
er
.
h: reducer:
d
rop unused field
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sve
n
V
e
rdoolaege
reducer
.
h
: np_base: drop unused
field
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaege
bf
c
ounter
.
h: bf_base:
d
rop unuse
d
field
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdo
o
laege
doc: drop descri
p
tion of
BV_
G
BR_NO
N
E
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-13
S
v
en Verdoo
l
aege
drop
U
SE_MO
D
U
L
O macro
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-13
Sven Verdoolaeg
e
drop refer
e
nces to piplib
s
u
b
mo
d
ule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-13
Sven Verdoolaege
polysi
g
n
.
h
:
remove pip_constrain
t
s_opt decla
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-13
Sven Ve
r
doolaege
le
x
min
.
c
c
: drop indicator_constructor::su
b
stitute declar
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-13
Sven Ve
r
doo
l
a
e
g
e
decompo
s
er
.
cc: drop spu
r
ious semi
c
olon
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-13
Sven Ver
d
oolaege
t
e
s
t
s
/
ehrhart_e/scarf/woods_2
.
1
.
7:
clean up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-13
Sven Verdoolaege
tes
t
s/*: fix whi
t
espace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-13
Sven
V
erd
o
olaege
lat
t
ice_
w
i
d
th
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-13
Sven Verd
o
olaege
la
t
tice_point
.
cc: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-13
Sven Verdoolaege
c
onversi
o
n
.
cc: fix typo in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-13
Sve
n
Verdoolaege
bernoulli
.
c: fix ty
p
os in comm
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-13
Sv
e
n Verd
o
o
l
aege
b
arvinok_enumerate_e
.
cc
:
drop spur
i
ous com
m
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-05
S
ven Verdoolaege
barvinok
_
summa
t
e
_
dat
a
: drop sp
u
rious memor
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-05
Sven Ve
r
doola
e
ge
series
.
cc: enumerate_u
n
ion_seri
e
s: drop skew_into_positive_o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-05
Sven Verdoolae
g
e
lexmin
.
cc: order_ca
c
he: us
e
c
l
ear ins
t
ead of re
s
i
ze
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-05
Sv
e
n
V
e
rdoolaege
barvinok_en
u
merate_e: onl
y
honor --scarf optio
n
if
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-05
Sven Ve
r
doolaege
a
d
d
b
arvinok_union test
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-05
Sven Verdoo
l
a
e
ge
bar
v
i
n
ok_union: o
p
t
i
o
n
a
l
ly check output is equal
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-05
Sven Verdoolaege
add extr
a
bar
v
inok_summate test case in
v
olving quasi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-05
Sven Verdoolaege
testlib
.
c
c
:
extract out barvin
o
k_se
r
ies_with
_
options
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-05
S
v
en Verdo
o
l
a
e
ge
test box and bernoulli s
u
mmatio
n
algorit
h
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
