Skip to content

Conversation

BigBlueHat
Copy link
Member

@BigBlueHat BigBlueHat commented Mar 3, 2025

Fixes #61.

@msporny
Copy link
Member

msporny commented Mar 3, 2025

Merging as this statement is needed to be manually added per the last VCWG meeting.

@msporny msporny merged commit 017772d into main Mar 3, 2025
2 checks passed
Copy link
Member

@iherman iherman left a comment

Choose a reason for hiding this comment

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

I wonder whether some explanation would be helpful here. Tradeverifyd made a claim, which is fine, but they are not part of the formal test suite results because… what?

My understanding is that they had difficulties to combine the structure of their implementation with the particulars of the test suite and its runner. Which is a perfectly valid argument, and better make it clear in this comment imho, to avoid unnecessary questions.

@iherman
Copy link
Member

iherman commented Mar 3, 2025

Ouch. That was merged before I could comment. @msporny @BigBlueHat @brentzundel, can you still look at my comment above?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

add Tradeverifyd to the implementation report

3 participants