Skip to content
This repository was archived by the owner on Jan 9, 2026. It is now read-only.

remove hash shims#1158

Merged
rsoeldner merged 20 commits intomasterfrom
rsoeldner/hash-shim
Apr 12, 2023
Merged

remove hash shims#1158
rsoeldner merged 20 commits intomasterfrom
rsoeldner/hash-shim

Conversation

@rsoeldner
Copy link
Copy Markdown
Member

No description provided.

@rsoeldner rsoeldner force-pushed the rsoeldner/hash-shim branch from 93a32b9 to 173df7a Compare March 2, 2023 20:14
@rsoeldner rsoeldner added the FV Formal verification label Mar 2, 2023
@rsoeldner rsoeldner requested a review from jwiegley March 7, 2023 20:33
@rsoeldner rsoeldner marked this pull request as ready for review March 7, 2023 20:33
@rsoeldner rsoeldner force-pushed the rsoeldner/hash-shim branch from 6a91538 to 1c6f852 Compare March 8, 2023 06:02
@rsoeldner rsoeldner requested a review from emilypi March 21, 2023 07:30
Copy link
Copy Markdown
Contributor

@emilypi emilypi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looking good - I'll take another pass on semantics today, but otherwise 👍

@rsoeldner rsoeldner requested a review from sirlensalot as a code owner March 24, 2023 20:47
@rsoeldner rsoeldner merged commit eb7afb9 into master Apr 12, 2023
@rsoeldner rsoeldner deleted the rsoeldner/hash-shim branch April 12, 2023 05:32
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

FV Formal verification

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants