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

Put all the HMACs in the same place #157

Open
marsella opened this issue Oct 17, 2024 · 0 comments · May be fixed by #226
Open

Put all the HMACs in the same place #157

marsella opened this issue Oct 17, 2024 · 0 comments · May be fixed by #226
Assignees
@marsella
Labels
improvement Addresses fixes or changes to existing specs

Comments

@marsella
Copy link
Contributor

We have two implementations of HMAC:

  • Primitive/Symmetric/MAC/HMAC.cry
  • Primitive/Keyless/Hash/HMAC.cry

These implement the same thing, so they should live in the same directory.
@marsella marsella added the improvement Addresses fixes or changes to existing specs label Oct 17, 2024
@marsella marsella mentioned this issue Jan 23, 2025
Open
@marsella marsella self-assigned this Jan 24, 2025
marsella added a commit that referenced this issue Jan 24, 2025
@marsella
hmac: put HMACs in the right directory #157
43744c0 
- updates naming to distinguish between the implementations
- minor tidying of docs
- fixes dependency
@marsella marsella linked a pull request Jan 24, 2025 that will close this issue
Open
@marsella marsella linked a pull request Jan 27, 2025 that will close this issue
HMAC: put implementations together #226
Open
marsella added a commit that referenced this issue Jan 27, 2025
@marsella
hmac: fix links in READMEs #157
f3e994e
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@marsella marsella

Labels
improvement Addresses fixes or changes to existing specs
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

HMAC: put implementations together GaloisInc/cryptol-specs
1 participant
@marsella