Skip to content

Update dependency: deps/k_release #2912

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
rv-jenkins merged 10 commits into from
Nov 17, 2021
Merged

Update dependency: deps/k_release #2912

rv-jenkins merged 10 commits into from
Nov 17, 2021

Conversation

@rv-jenkins
Copy link
Contributor

@rv-jenkins rv-jenkins commented Nov 9, 2021

No description provided.

@github-actions
Copy link

github-actions bot commented Nov 9, 2021

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-branching-invalid.sh 0.000012 0.000541
test/regression-evm/test-add0.sh -0.000008 -0.008761
test/regression-evm/test-sumTo10.sh 0.000001 0.017225
test/regression-evm/test-mul0.sh -0.000001 0.097696
test/regression-evm/test-sum-to-n.sh 0.000005 -0.015708
test/regression-evm/test-and0.sh -0.000003 0.037262
test/regression-evm/test-straight-line.sh -0.000001 -0.028716
test/regression-evm/test-branching-no-invalid.sh -0.000000 -0.100793
test/regression-evm/test-addu48u48.sh 0.000001 0.004445
test/regression-evm/test-lemmas.sh 0.000003 -0.000001
test/regression-evm/test-totalSupply.sh 0.000001 -0.101126
test/regression-evm/test-storagevar03.sh -0.000008 -0.003891
test/regression-evm/test-sha3_bigSize.sh 0.000000 0.004061
test/regression-evm/test-pop1.sh 0.000006 0.041642
test/regression-evm/test-dsvalue-peek-pass-rough.sh -0.000007 -0.021683
test/regression-evm/test-straight-line-no-invalid.sh 0.000000 0.000001
test/regression-wasm/test-wrc20.sh -0.000001 0.009371
test/regression-wasm/test-memory.sh -0.000004 0
test/regression-wasm/test-locals.sh -0.000001 0
test/regression-wasm/test-loops.sh -0.000033 -0.000201
test/regression-wasm/test-simple-arithmetic.sh 0.000012 0

@github-actions
Copy link

github-actions bot commented Nov 9, 2021

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-branching-invalid.sh 0.000003 0.023366
test/regression-evm/test-add0.sh 0.000006 0.084527
test/regression-evm/test-sumTo10.sh -0.000003 -0.004999
test/regression-evm/test-mul0.sh 0.000010 0.000014
test/regression-evm/test-sum-to-n.sh 0.000004 -0.010077
test/regression-evm/test-and0.sh 0.000009 -0.004542
test/regression-evm/test-straight-line.sh -0.000000 0.000007
test/regression-evm/test-branching-no-invalid.sh -0.000012 -0.100672
test/regression-evm/test-addu48u48.sh -0.000001 -0.032537
test/regression-evm/test-lemmas.sh 0.000006 -0.030690
test/regression-evm/test-totalSupply.sh -0.000004 -0.000001
test/regression-evm/test-storagevar03.sh -0.000001 -0.005386
test/regression-evm/test-sha3_bigSize.sh 0.000000 0.004059
test/regression-evm/test-pop1.sh 0 -0.061708
test/regression-evm/test-dsvalue-peek-pass-rough.sh 0.000008 0.003890
test/regression-evm/test-straight-line-no-invalid.sh 0.000011 0.000611
test/regression-wasm/test-wrc20.sh -0.000002 0.001522
test/regression-wasm/test-memory.sh -0.000007 -0.000000
test/regression-wasm/test-locals.sh -0.000029 0.000183
test/regression-wasm/test-loops.sh -0.000010 0
test/regression-wasm/test-simple-arithmetic.sh -0.000024 -0.000002

@github-actions
Copy link

github-actions bot commented Nov 10, 2021

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-branching-invalid.sh 0.000000 0.006095
test/regression-evm/test-add0.sh -0.000000 0.050608
test/regression-evm/test-sumTo10.sh -0.000000 -0.003093
test/regression-evm/test-mul0.sh -0.000000 -0.089875
test/regression-evm/test-sum-to-n.sh 0.000004 -0.000024
test/regression-evm/test-and0.sh 0.000000 0.103675
test/regression-evm/test-straight-line.sh 0.000000 -0.093049
test/regression-evm/test-branching-no-invalid.sh 0.000000 0.070001
test/regression-evm/test-addu48u48.sh -0.000000 0.005650
test/regression-evm/test-lemmas.sh 0.000011 0.000368
test/regression-evm/test-totalSupply.sh -0.000001 0.029670
test/regression-evm/test-storagevar03.sh -0.000003 0.003410
test/regression-evm/test-sha3_bigSize.sh -0.000000 -0.000021
test/regression-evm/test-pop1.sh 0.000000 -0.003812
test/regression-evm/test-dsvalue-peek-pass-rough.sh 0.000005 -0.006057
test/regression-evm/test-straight-line-no-invalid.sh 0.000000 -0.000022
test/regression-wasm/test-wrc20.sh 0.000012 0.000112
test/regression-wasm/test-memory.sh 0.000010 0
test/regression-wasm/test-locals.sh -0.000001 0.000001
test/regression-wasm/test-loops.sh 0.000011 0
test/regression-wasm/test-simple-arithmetic.sh 0.000004 -0.000000

@github-actions
Copy link

github-actions bot commented Nov 11, 2021

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-branching-invalid.sh -0.000000 0.023468
test/regression-evm/test-add0.sh -0.000001 0.050697
test/regression-evm/test-sumTo10.sh 0.000000 0.024841
test/regression-evm/test-mul0.sh 0.000001 0.037020
test/regression-evm/test-sum-to-n.sh 0.000003 -0.004367
test/regression-evm/test-and0.sh 0.000000 -0.029961
test/regression-evm/test-straight-line.sh -0.000000 -0.005771
test/regression-evm/test-branching-no-invalid.sh 0.000003 -0.004407
test/regression-evm/test-addu48u48.sh 0.000000 -0.103612
test/regression-evm/test-lemmas.sh 0.000000 -0.025758
test/regression-evm/test-totalSupply.sh -0.000002 0.007000
test/regression-evm/test-storagevar03.sh 0.000001 -0.004673
test/regression-evm/test-sha3_bigSize.sh 0.000000 0.004060
test/regression-evm/test-pop1.sh -0.000000 0.045499
test/regression-evm/test-dsvalue-peek-pass-rough.sh 0.000018 0.015790
test/regression-evm/test-straight-line-no-invalid.sh -0.000000 0.003712
test/regression-wasm/test-wrc20.sh 0.000013 -0.005235
test/regression-wasm/test-memory.sh -0.000034 -0.000087
test/regression-wasm/test-locals.sh -0.000001 0.000001
test/regression-wasm/test-loops.sh -0.000023 0.000002
test/regression-wasm/test-simple-arithmetic.sh 0.000015 0.000000

@github-actions
Copy link

github-actions bot commented Nov 12, 2021

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-branching-invalid.sh 0.000000 -0.000046
test/regression-evm/test-add0.sh -0.000000 -0.000023
test/regression-evm/test-sumTo10.sh -0.000000 -0.017008
test/regression-evm/test-mul0.sh -0.000000 -0.000022
test/regression-evm/test-sum-to-n.sh 0.000005 -0.000024
test/regression-evm/test-and0.sh 0.000000 -0.086252
test/regression-evm/test-straight-line.sh 0.000000 -0.006172
test/regression-evm/test-branching-no-invalid.sh 0.000000 0.022478
test/regression-evm/test-addu48u48.sh -0.000001 -0.002949
test/regression-evm/test-lemmas.sh 0.000012 0.014762
test/regression-evm/test-totalSupply.sh -0.000000 -0.000007
test/regression-evm/test-storagevar03.sh 0.000001 0.001918
test/regression-evm/test-sha3_bigSize.sh -0.000000 -0.000023
test/regression-evm/test-pop1.sh -0.000000 -0.070337
test/regression-evm/test-dsvalue-peek-pass-rough.sh -0.000001 -0.003810
test/regression-evm/test-straight-line-no-invalid.sh 0.000000 0.003711
test/regression-wasm/test-wrc20.sh -0.000005 -0.002435
test/regression-wasm/test-memory.sh -0.000009 0.000000
test/regression-wasm/test-locals.sh 0 -0.000001
test/regression-wasm/test-loops.sh 0.000003 0
test/regression-wasm/test-simple-arithmetic.sh 0.000001 0.000000

@github-actions
Copy link

github-actions bot commented Nov 13, 2021

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-branching-invalid.sh 0.000000 -0.006081
test/regression-evm/test-add0.sh 0.000000 -0.089010
test/regression-evm/test-sumTo10.sh -0.000000 0.026663
test/regression-evm/test-mul0.sh -0.000000 -0.030963
test/regression-evm/test-sum-to-n.sh 0.000002 -0.000001
test/regression-evm/test-and0.sh 0.000000 -0.000022
test/regression-evm/test-straight-line.sh 0.000000 -0.003798
test/regression-evm/test-branching-no-invalid.sh -0.000000 0
test/regression-evm/test-addu48u48.sh 0.000002 0.008502
test/regression-evm/test-lemmas.sh -0.000001 0.070811
test/regression-evm/test-totalSupply.sh 0.000001 0.005170
test/regression-evm/test-storagevar03.sh -0.000002 0.000817
test/regression-evm/test-sha3_bigSize.sh -0.000000 -0.000024
test/regression-evm/test-pop1.sh 0.000000 -0.003809
test/regression-evm/test-dsvalue-peek-pass-rough.sh -0.000008 0.003995
test/regression-evm/test-straight-line-no-invalid.sh 0.000000 0.003711
test/regression-wasm/test-wrc20.sh -0.000004 -0.001489
test/regression-wasm/test-memory.sh -0.000010 0
test/regression-wasm/test-locals.sh -0.000001 -0.000000
test/regression-wasm/test-loops.sh -0.000043 0
test/regression-wasm/test-simple-arithmetic.sh -0.000013 -0.000000

@github-actions
Copy link

github-actions bot commented Nov 15, 2021

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-branching-invalid.sh -0.000000 -0.022986
test/regression-evm/test-add0.sh 0.000000 -0.088991
test/regression-evm/test-sumTo10.sh -0.000000 0.046444
test/regression-evm/test-mul0.sh 0.000000 0.097668
test/regression-evm/test-sum-to-n.sh 0.000009 0.000000
test/regression-evm/test-and0.sh 0.000000 0.092735
test/regression-evm/test-straight-line.sh -0.000000 0.008578
test/regression-evm/test-branching-no-invalid.sh 0.000000 0
test/regression-evm/test-addu48u48.sh 0.000000 0.082707
test/regression-evm/test-lemmas.sh -0.000004 0.011041
test/regression-evm/test-totalSupply.sh -0.000001 -0.027161
test/regression-evm/test-storagevar03.sh 0.000005 -0.000191
test/regression-evm/test-sha3_bigSize.sh -0.000000 0
test/regression-evm/test-pop1.sh -0.000000 -0.003789
test/regression-evm/test-dsvalue-peek-pass-rough.sh 0.000011 0.000164
test/regression-evm/test-straight-line-no-invalid.sh 0.000000 0.003711
test/regression-wasm/test-wrc20.sh 0.000005 0.000191
test/regression-wasm/test-memory.sh -0.000010 0
test/regression-wasm/test-locals.sh 0.000001 0.000001
test/regression-wasm/test-loops.sh 0.000030 0
test/regression-wasm/test-simple-arithmetic.sh -0.000005 0.000001

@github-actions
Copy link

github-actions bot commented Nov 16, 2021

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-branching-invalid.sh 0.000000 -0.000000
test/regression-evm/test-add0.sh -0.000000 0.006015
test/regression-evm/test-sumTo10.sh 0 -0.009380
test/regression-evm/test-mul0.sh 0.000000 0.031903
test/regression-evm/test-sum-to-n.sh -0.000027 0.000043
test/regression-evm/test-and0.sh -0.000000 -0.004774
test/regression-evm/test-straight-line.sh -0.000000 0.047455
test/regression-evm/test-branching-no-invalid.sh -0.000000 0.064678
test/regression-evm/test-addu48u48.sh -0.000001 0.008118
test/regression-evm/test-lemmas.sh 0.000004 0.011177
test/regression-evm/test-totalSupply.sh -0.000022 0.114866
test/regression-evm/test-storagevar03.sh -0.000022 -0.000535
test/regression-evm/test-sha3_bigSize.sh -0.000000 0.004058
test/regression-evm/test-pop1.sh 0 -0.088964
test/regression-evm/test-dsvalue-peek-pass-rough.sh -0.000025 0.000022
test/regression-evm/test-straight-line-no-invalid.sh 0.000000 0.077180
test/regression-wasm/test-wrc20.sh 0.000120 0.007046
test/regression-wasm/test-memory.sh -0.000034 0
test/regression-wasm/test-locals.sh -0.000074 0.000032
test/regression-wasm/test-loops.sh 0.000155 0.000413
test/regression-wasm/test-simple-arithmetic.sh -0.000007 0.000299

@rv-jenkins rv-jenkins merged commit 33c83f9 into master Nov 17, 2021
@rv-jenkins rv-jenkins deleted the _update-deps_kframework_k branch November 17, 2021 14:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@ana-pantilie ana-pantilie ana-pantilie approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

@ana-pantilie ana-pantilie

Labels

automerge

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@rv-jenkins @ana-pantilie