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.

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

docs: add a table for alternative implementations #229

Merged
merged 1 commit into from
Aug 29, 2023

Conversation

rootulp
Copy link
Collaborator

@rootulp rootulp commented Aug 28, 2023

Motivation: #84 (comment)

Note this PR doesn't describe the status of "feature parity" b/c I'm not sure what status that would be for nmt-rs. Seems like we can add that later.

Motivation: #84 (comment)

Note this PR doesn't describe the status of "feature parity"  b/c I'm not sure what status that would be for nmt-rs. Seems like we can add that later.
@rootulp rootulp added the documentation Improvements or additions to documentation label Aug 28, 2023
@rootulp rootulp self-assigned this Aug 28, 2023
@rootulp rootulp enabled auto-merge (squash) August 28, 2023 20:01
@codecov
Copy link

codecov bot commented Aug 28, 2023

Codecov Report

Merging #229 (47cc6ff) into master (9d22de9) will not change coverage.
Report is 1 commits behind head on master.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #229   +/-   ##
=======================================
  Coverage   65.20%   65.20%           
=======================================
  Files           6        6           
  Lines         891      891           
=======================================
  Hits          581      581           
  Misses        293      293           
  Partials       17       17           
Files Changed Coverage Δ
pb/proof.pb.go 0.72% <ø> (ø)

@rootulp rootulp requested a review from staheri14 August 29, 2023 17:27
@rootulp rootulp merged commit e63158e into master Aug 29, 2023
7 checks passed
@rootulp rootulp deleted the rp/alternative-implementations branch August 29, 2023 18:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants