Skip to content
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

Update dependency: deps/k_release #156

Merged
merged 32 commits into from
Sep 27, 2023
Merged

Update dependency: deps/k_release #156

merged 32 commits into from
Sep 27, 2023

Conversation

rv-jenkins
Copy link
Contributor

No description provided.

@rv-jenkins rv-jenkins requested a review from ehildenb July 13, 2023 11:47
devops added 26 commits July 13, 2023 16:46
deps/k_release: Set Version 6.0.24
f65b41c
deps/k_release: Set Version 6.0.25
ee49167
deps/k_release: Set Version 6.0.27
4e69fdd
deps/k_release: Set Version 6.0.33
f947bc7
deps/k_release: Set Version 6.0.36
7a1e473
deps/k_release: Set Version 6.0.44
09027da
deps/k_release: Set Version 6.0.48
e099b84
deps/k_release: Set Version 6.0.50
9fa6cb2
deps/k_release: Set Version 6.0.52
74d1c95
deps/k_release: Set Version 6.0.58
4d88dc1
deps/k_release: Set Version 6.0.59
3b752bd
deps/k_release: Set Version 6.0.60
80fb811
deps/k_release: Set Version 6.0.61
b93c1f9
deps/k_release: Set Version 6.0.62
80a2d69
deps/k_release: Set Version 6.0.63
a95748b
deps/k_release: Set Version 6.0.67
2feb4f1
deps/k_release: Set Version 6.0.68
2f3d7b4
deps/k_release: Set Version 6.0.69
adc6ee4
deps/k_release: Set Version 6.0.84
2750580
deps/k_release: Set Version 6.0.87
fd3065a
deps/k_release: Set Version 6.0.93
777a7af
deps/k_release: Set Version 6.0.94
8271525
deps/k_release: Set Version 6.0.95
4142ad3
deps/k_release: Set Version 6.0.97
eac2b0e
deps/k_release: Set Version 6.0.99
97c5fd9
deps/k_release: Set Version 6.0.102
88c392b
@ehildenb ehildenb mentioned this pull request Sep 27, 2023
Closed
@rv-jenkins rv-jenkins merged commit 1aa2e24 into master Sep 27, 2023
1 check passed
@rv-jenkins rv-jenkins deleted the _update-deps/runtimeverification/k branch September 27, 2023 20:22
ehildenb added a commit that referenced this pull request Sep 29, 2023
@ehildenb
Revert "Update dependency: deps/k_release (#156)"
c28f76c 
This reverts commit 1aa2e24.
@ehildenb ehildenb mentioned this pull request Sep 29, 2023
Merged
rv-jenkins pushed a commit that referenced this pull request Sep 30, 2023
@ehildenb
Revert K update which breaks #sender in KEVM, add test of #sender (#159)
c095983 
* tests/krypto-hooks/ecdsa/sender: add testing harness for #sender

* tests/krypto-hooks/ecdsa/sender: add test of #sender

* Revert "Update dependency: deps/k_release (#156)"

This reverts commit 1aa2e24.

* tests/krypto-hooks/ecdsa/sender.pgm.out: adjust output to be correct
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ehildenb ehildenb ehildenb approved these changes

Assignees

@ehildenb ehildenb

Labels
automerge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@rv-jenkins @ehildenb