Skip to content

Update dependency: deps/k_release #3021

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 17 commits into from
Apr 21, 2022
Merged

Update dependency: deps/k_release #3021

rv-jenkins merged 17 commits into from
Apr 21, 2022

Conversation

@rv-jenkins
Copy link
Contributor

@rv-jenkins rv-jenkins commented Mar 30, 2022

No description provided.

@rv-jenkins rv-jenkins requested a review from ana-pantilie March 30, 2022 18:16
@github-actions
Copy link

github-actions bot commented Mar 30, 2022

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-dsvalue-peek-pass-rough.sh 0.000146 0.051810
test/regression-evm/test-and0.sh 0.002384 -0.000002
test/regression-evm/test-mul0.sh 0.002335 -0.000002
test/regression-evm/test-sum-to-n.sh 0.001457 0.058601
test/regression-evm/test-branching-no-invalid.sh 0.002331 -0.000002
test/regression-evm/test-sumTo10.sh 0.000215 0.167955
test/regression-evm/test-addu48u48.sh 0.000286 0.016601
test/regression-evm/test-sha3_bigSize.sh 0.002980 -0.000002
test/regression-evm/test-lemmas.sh 0.001744 0.048181
test/regression-evm/test-totalSupply.sh 0.000255 0.016908
test/regression-evm/test-branching-invalid.sh 0.002265 -0.000002
test/regression-evm/test-pop1.sh 0.003018 -0.000002
test/regression-evm/test-add0.sh 0.002389 -0.000003
test/regression-evm/test-straight-line.sh 0.002614 0.000012
test/regression-evm/test-storagevar03.sh 0.000390 0.065869
test/regression-evm/test-straight-line-no-invalid.sh 0.002796 -0.000002
test/regression-wasm/test-simple-arithmetic.sh 0.003272 0.077492
test/regression-wasm/test-locals.sh 0.003554 0.094468
test/regression-wasm/test-loops.sh 0.001756 0.079508
test/regression-wasm/test-memory.sh 0.002625 0.079463
test/regression-wasm/test-wrc20.sh 0.000290 0.069716

@github-actions
Copy link

github-actions bot commented Mar 31, 2022

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-mul0.sh 0.000000 0
test/regression-evm/test-sha3_bigSize.sh 0.000029 0
test/regression-evm/test-addu48u48.sh -0.000002 -0.008104
test/regression-evm/test-straight-line.sh 0.000000 0
test/regression-evm/test-add0.sh 0.000005 0
test/regression-evm/test-lemmas.sh 0.000005 -0.000925
test/regression-evm/test-pop1.sh 0.000000 0
test/regression-evm/test-branching-no-invalid.sh -0.000000 0
test/regression-evm/test-sum-to-n.sh -0.000002 0.000150
test/regression-evm/test-and0.sh 0.000000 0
test/regression-evm/test-totalSupply.sh -0.000002 0.001737
test/regression-evm/test-sumTo10.sh -0.000000 -0.043730
test/regression-evm/test-branching-invalid.sh -0.000001 0
test/regression-evm/test-dsvalue-peek-pass-rough.sh 0.000019 -0.000085
test/regression-evm/test-straight-line-no-invalid.sh -0.000000 0
test/regression-evm/test-storagevar03.sh 0.000002 0.000029
test/regression-wasm/test-locals.sh 0.000000 -0.004817
test/regression-wasm/test-loops.sh 0.000024 0
test/regression-wasm/test-simple-arithmetic.sh -0.000007 0
test/regression-wasm/test-wrc20.sh -0.000003 0.000147
test/regression-wasm/test-memory.sh 0.000028 0

@github-actions
Copy link

github-actions bot commented Apr 10, 2022

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-totalSupply.sh 0.000001 -0.000000
test/regression-evm/test-sha3_bigSize.sh -0.000000 0.000018
test/regression-evm/test-lemmas.sh -0.000002 0.000003
test/regression-evm/test-addu48u48.sh -0.000004 0.003147
test/regression-evm/test-branching-no-invalid.sh -0.000000 0.000018
test/regression-evm/test-sumTo10.sh -0.000001 -0.043680
test/regression-evm/test-mul0.sh 0.000000 0
test/regression-evm/test-straight-line-no-invalid.sh 0.000001 0
test/regression-evm/test-straight-line.sh -0.000000 0.000031
test/regression-evm/test-pop1.sh -0.000000 0
test/regression-evm/test-branching-invalid.sh 0.000000 0
test/regression-evm/test-add0.sh -0.000002 0.000027
test/regression-evm/test-dsvalue-peek-pass-rough.sh -0.000002 -0.002927
test/regression-evm/test-and0.sh 0 0
test/regression-evm/test-sum-to-n.sh 0.000004 0.001096
test/regression-evm/test-storagevar03.sh 0.000008 0.000113
test/regression-wasm/test-simple-arithmetic.sh 0.000016 -0.000000
test/regression-wasm/test-loops.sh 0.000002 0
test/regression-wasm/test-memory.sh 0.000002 0
test/regression-wasm/test-wrc20.sh 0.000001 -0.001947
test/regression-wasm/test-locals.sh 0.000000 0

@github-actions
Copy link

github-actions bot commented Apr 11, 2022

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-totalSupply.sh -0.000003 -0.003665
test/regression-evm/test-sha3_bigSize.sh -0.000000 0
test/regression-evm/test-lemmas.sh -0.000005 0.000657
test/regression-evm/test-addu48u48.sh -0.000004 0.016161
test/regression-evm/test-branching-no-invalid.sh -0.000000 0
test/regression-evm/test-sumTo10.sh 0.000000 0.000024
test/regression-evm/test-mul0.sh 0.000008 0
test/regression-evm/test-straight-line-no-invalid.sh 0.000000 0
test/regression-evm/test-straight-line.sh -0.000003 0
test/regression-evm/test-pop1.sh -0.000006 0
test/regression-evm/test-branching-invalid.sh 0 0
test/regression-evm/test-add0.sh 0.000003 0
test/regression-evm/test-dsvalue-peek-pass-rough.sh -0.000009 -0.004111
test/regression-evm/test-and0.sh -0.000000 0
test/regression-evm/test-sum-to-n.sh -0.000010 0.000096
test/regression-evm/test-storagevar03.sh -0.000014 -0.000025
test/regression-wasm/test-simple-arithmetic.sh 0.000004 0
test/regression-wasm/test-loops.sh -0.000025 -0.000000
test/regression-wasm/test-memory.sh 0.000012 0
test/regression-wasm/test-wrc20.sh -0.000003 -0.024633
test/regression-wasm/test-locals.sh 0.000000 0

@github-actions
Copy link

github-actions bot commented Apr 14, 2022

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-totalSupply.sh -0.000007 0.000007
test/regression-evm/test-sha3_bigSize.sh 0.000000 0
test/regression-evm/test-lemmas.sh -0.000003 -0.000152
test/regression-evm/test-addu48u48.sh 0.000001 -0.000001
test/regression-evm/test-branching-no-invalid.sh 0.000000 0
test/regression-evm/test-sumTo10.sh 0.000000 0.045727
test/regression-evm/test-mul0.sh 0 0
test/regression-evm/test-straight-line-no-invalid.sh -0.000000 0
test/regression-evm/test-straight-line.sh 0.000000 0
test/regression-evm/test-pop1.sh -0.000000 0
test/regression-evm/test-branching-invalid.sh 0.000001 0
test/regression-evm/test-add0.sh 0.000000 0
test/regression-evm/test-dsvalue-peek-pass-rough.sh -0.000004 0.005439
test/regression-evm/test-and0.sh 0.000000 0
test/regression-evm/test-sum-to-n.sh 0.000005 -0.004195
test/regression-evm/test-storagevar03.sh -0.000000 -0.000047
test/regression-wasm/test-simple-arithmetic.sh -0.000006 0
test/regression-wasm/test-loops.sh 0.000003 -0.000001
test/regression-wasm/test-memory.sh 0.000001 0
test/regression-wasm/test-wrc20.sh 0.000000 0.023177
test/regression-wasm/test-locals.sh 0 0.000000

@github-actions
Copy link

github-actions bot commented Apr 14, 2022

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-totalSupply.sh 0.000001 -0.000000
test/regression-evm/test-sha3_bigSize.sh -0.000000 0.000018
test/regression-evm/test-lemmas.sh 0.000007 -0.000959
test/regression-evm/test-addu48u48.sh -0.000002 0.001665
test/regression-evm/test-branching-no-invalid.sh 0.000000 0
test/regression-evm/test-sumTo10.sh -0.000000 0.045728
test/regression-evm/test-mul0.sh 0.000000 0
test/regression-evm/test-straight-line-no-invalid.sh 0.000008 0
test/regression-evm/test-straight-line.sh -0.000000 0
test/regression-evm/test-pop1.sh 0.000000 0
test/regression-evm/test-branching-invalid.sh -0.000001 0.000031
test/regression-evm/test-add0.sh 0.000000 0
test/regression-evm/test-dsvalue-peek-pass-rough.sh -0.000007 -0.000656
test/regression-evm/test-and0.sh 0.000000 0
test/regression-evm/test-sum-to-n.sh -0.000002 -0.000827
test/regression-evm/test-storagevar03.sh 0.000005 0.002860
test/regression-wasm/test-simple-arithmetic.sh 0.000001 0
test/regression-wasm/test-loops.sh 0.000004 0
test/regression-wasm/test-memory.sh 0.000004 0
test/regression-wasm/test-wrc20.sh 0.000001 -0.003865
test/regression-wasm/test-locals.sh 0 0.000000

@github-actions
Copy link

github-actions bot commented Apr 18, 2022

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-totalSupply.sh -0.000005 -0.000001
test/regression-evm/test-sha3_bigSize.sh -0.000000 0.000018
test/regression-evm/test-lemmas.sh 0.000003 -0.000082
test/regression-evm/test-addu48u48.sh 0.000001 -0.011198
test/regression-evm/test-branching-no-invalid.sh -0.000001 0.000018
test/regression-evm/test-sumTo10.sh 0.000000 -0.000000
test/regression-evm/test-mul0.sh -0.000001 0.000027
test/regression-evm/test-straight-line-no-invalid.sh -0.000001 0
test/regression-evm/test-straight-line.sh 0.000000 0
test/regression-evm/test-pop1.sh 0.000005 0.000027
test/regression-evm/test-branching-invalid.sh -0.000001 0
test/regression-evm/test-add0.sh -0.000000 0
test/regression-evm/test-dsvalue-peek-pass-rough.sh -0.000009 -0.003671
test/regression-evm/test-and0.sh -0.000001 0.000027
test/regression-evm/test-sum-to-n.sh 0.000002 -0.006971
test/regression-evm/test-storagevar03.sh -0.000009 0.002114
test/regression-wasm/test-simple-arithmetic.sh 0.000022 0.000091
test/regression-wasm/test-loops.sh -0.000035 0
test/regression-wasm/test-memory.sh -0.000051 0.000228
test/regression-wasm/test-wrc20.sh -0.000023 0.003842
test/regression-wasm/test-locals.sh -0.000005 -0.004882

@github-actions
Copy link

github-actions bot commented Apr 19, 2022

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-totalSupply.sh -0.000001 0.003673
test/regression-evm/test-sha3_bigSize.sh -0.000001 0
test/regression-evm/test-lemmas.sh -0.000000 -0.001388
test/regression-evm/test-addu48u48.sh -0.000000 0.000001
test/regression-evm/test-branching-no-invalid.sh -0.000001 0
test/regression-evm/test-sumTo10.sh -0.000000 0
test/regression-evm/test-mul0.sh 0.000001 0
test/regression-evm/test-straight-line-no-invalid.sh 0.000039 0
test/regression-evm/test-straight-line.sh 0.000004 0
test/regression-evm/test-pop1.sh 0 0
test/regression-evm/test-branching-invalid.sh -0.000008 0
test/regression-evm/test-add0.sh 0.000016 0
test/regression-evm/test-dsvalue-peek-pass-rough.sh -0.000001 0.004722
test/regression-evm/test-and0.sh -0.000005 0
test/regression-evm/test-sum-to-n.sh -0.000014 -0.006458
test/regression-evm/test-storagevar03.sh 0.000001 -0.000972
test/regression-wasm/test-simple-arithmetic.sh 0.000006 -0.000149
test/regression-wasm/test-loops.sh 0.000052 -0.000001
test/regression-wasm/test-memory.sh -0.000003 0.000099
test/regression-wasm/test-wrc20.sh -0.000015 -0.019716
test/regression-wasm/test-locals.sh 0.000001 -0.004815

@ana-pantilie ana-pantilie assigned JKTKops and unassigned ana-pantilie Apr 20, 2022
@github-actions
Copy link

github-actions bot commented Apr 20, 2022

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-totalSupply.sh 0.000000 -0.003667
test/regression-evm/test-sha3_bigSize.sh 0.000000 0
test/regression-evm/test-lemmas.sh 0.000004 -0.000271
test/regression-evm/test-addu48u48.sh 0.000002 -0.000007
test/regression-evm/test-branching-no-invalid.sh 0.000014 0.000018
test/regression-evm/test-sumTo10.sh 0 0.000002
test/regression-evm/test-mul0.sh -0.000000 0
test/regression-evm/test-straight-line-no-invalid.sh 0.000026 0
test/regression-evm/test-straight-line.sh 0.000000 0
test/regression-evm/test-pop1.sh -0.000000 0
test/regression-evm/test-branching-invalid.sh 0.000000 0
test/regression-evm/test-add0.sh 0.000001 -0.000027
test/regression-evm/test-dsvalue-peek-pass-rough.sh 0.000008 0.004388
test/regression-evm/test-and0.sh 0.000001 -0.000027
test/regression-evm/test-sum-to-n.sh 0.000007 -0.002513
test/regression-evm/test-storagevar03.sh 0.000002 0.000880
test/regression-wasm/test-simple-arithmetic.sh 0.000008 0
test/regression-wasm/test-loops.sh 0.000028 -0.000049
test/regression-wasm/test-memory.sh 0.000006 -0.000231
test/regression-wasm/test-wrc20.sh 0.000002 0.000861
test/regression-wasm/test-locals.sh 0 0

@github-actions
Copy link

github-actions bot commented Apr 21, 2022

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-totalSupply.sh 0.000004 -0.000001
test/regression-evm/test-sha3_bigSize.sh 0.000000 -0.000018
test/regression-evm/test-lemmas.sh 0.000008 -0.000962
test/regression-evm/test-addu48u48.sh -0.000002 0.000000
test/regression-evm/test-branching-no-invalid.sh 0.000016 0
test/regression-evm/test-sumTo10.sh 0.000000 0.000000
test/regression-evm/test-mul0.sh -0.000001 0
test/regression-evm/test-straight-line-no-invalid.sh -0.000000 0
test/regression-evm/test-straight-line.sh 0 0
test/regression-evm/test-pop1.sh -0.000000 0
test/regression-evm/test-branching-invalid.sh 0 0
test/regression-evm/test-add0.sh -0.000001 0.000027
test/regression-evm/test-dsvalue-peek-pass-rough.sh 0.000005 0.000727
test/regression-evm/test-and0.sh 0.000000 0
test/regression-evm/test-sum-to-n.sh 0.000004 0.000811
test/regression-evm/test-storagevar03.sh -0.000000 -0.001221
test/regression-wasm/test-simple-arithmetic.sh -0.000019 0
test/regression-wasm/test-loops.sh -0.000065 0
test/regression-wasm/test-memory.sh -0.000006 0.000001
test/regression-wasm/test-wrc20.sh -0.000002 0.000474
test/regression-wasm/test-locals.sh 0.000000 0

@github-actions
Copy link

github-actions bot commented Apr 21, 2022

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-totalSupply.sh 0.000001 0.000007
test/regression-evm/test-sha3_bigSize.sh 0.000000 0
test/regression-evm/test-lemmas.sh 0.000012 0.000007
test/regression-evm/test-addu48u48.sh -0.000002 0.000001
test/regression-evm/test-branching-no-invalid.sh -0.000000 0
test/regression-evm/test-sumTo10.sh -0.000001 -0.000001
test/regression-evm/test-mul0.sh 0.000001 -0.000027
test/regression-evm/test-straight-line-no-invalid.sh -0.000005 0
test/regression-evm/test-straight-line.sh 0.000000 -0.000031
test/regression-evm/test-pop1.sh 0.000001 -0.000027
test/regression-evm/test-branching-invalid.sh -0.000001 0
test/regression-evm/test-add0.sh -0.000000 0.000001
test/regression-evm/test-dsvalue-peek-pass-rough.sh -0.000001 -0.005055
test/regression-evm/test-and0.sh 0.000000 0
test/regression-evm/test-sum-to-n.sh 0.000009 0.000910
test/regression-evm/test-storagevar03.sh 0.000003 0.002887
test/regression-wasm/test-simple-arithmetic.sh -0.000004 -0.000001
test/regression-wasm/test-loops.sh 0.000009 0
test/regression-wasm/test-memory.sh -0.000074 0.000155
test/regression-wasm/test-wrc20.sh 0.000001 -0.019284
test/regression-wasm/test-locals.sh 0.000000 -0.000001

@github-actions
Copy link

github-actions bot commented Apr 21, 2022

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-totalSupply.sh 0.000002 -0.000643
test/regression-evm/test-sha3_bigSize.sh -0.000005 0
test/regression-evm/test-lemmas.sh -0.000002 -0.000287
test/regression-evm/test-addu48u48.sh -0.000001 -0.000007
test/regression-evm/test-branching-no-invalid.sh 0 0
test/regression-evm/test-sumTo10.sh -0.000000 -0.000027
test/regression-evm/test-mul0.sh -0.000001 0
test/regression-evm/test-straight-line-no-invalid.sh -0.000000 0.000027
test/regression-evm/test-straight-line.sh 0.000015 0
test/regression-evm/test-pop1.sh 0.000000 0
test/regression-evm/test-branching-invalid.sh 0.000000 0
test/regression-evm/test-add0.sh -0.000001 0.000027
test/regression-evm/test-dsvalue-peek-pass-rough.sh -0.000021 0.003723
test/regression-evm/test-and0.sh -0.000000 0
test/regression-evm/test-sum-to-n.sh -0.000008 -0.001610
test/regression-evm/test-storagevar03.sh 0.000000 0.004824
test/regression-wasm/test-simple-arithmetic.sh -0.000001 -0.000000
test/regression-wasm/test-loops.sh -0.000005 0
test/regression-wasm/test-memory.sh -0.000003 0
test/regression-wasm/test-wrc20.sh -0.000000 0.002103
test/regression-wasm/test-locals.sh 0.000000 0

@github-actions
Copy link

github-actions bot commented Apr 21, 2022

name diff_allocated_bytes diff_max_live_bytes
test/regression-evm/test-totalSupply.sh -0.000002 0.001268
test/regression-evm/test-sha3_bigSize.sh -0.000014 0
test/regression-evm/test-lemmas.sh 0.000003 0.000009
test/regression-evm/test-addu48u48.sh 0.000001 0.000000
test/regression-evm/test-branching-no-invalid.sh 0.000000 0
test/regression-evm/test-sumTo10.sh -0.000000 0
test/regression-evm/test-mul0.sh 0.000001 -0.000027
test/regression-evm/test-straight-line-no-invalid.sh 0.000000 0
test/regression-evm/test-straight-line.sh -0.000002 0
test/regression-evm/test-pop1.sh 0.000000 0
test/regression-evm/test-branching-invalid.sh 0.000000 0
test/regression-evm/test-add0.sh 0.000001 -0.000027
test/regression-evm/test-dsvalue-peek-pass-rough.sh 0.000025 -0.000926
test/regression-evm/test-and0.sh 0.000002 -0.000027
test/regression-evm/test-sum-to-n.sh -0.000000 -0.000574
test/regression-evm/test-storagevar03.sh -0.000002 -0.002375
test/regression-wasm/test-simple-arithmetic.sh -0.000005 0
test/regression-wasm/test-loops.sh -0.000010 -0.000002
test/regression-wasm/test-memory.sh -0.000005 -0.000000
test/regression-wasm/test-wrc20.sh 0.000007 0.000065
test/regression-wasm/test-locals.sh 0.000000 0.000000

@rv-jenkins rv-jenkins merged commit bcb605b into master Apr 21, 2022
@rv-jenkins rv-jenkins deleted the _update-deps_runtimeverification_k branch April 21, 2022 21:14
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

@JKTKops JKTKops

Labels

automerge

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@rv-jenkins @ana-pantilie @JKTKops