ntnsndr/protocol-bicorder
1
0
Fork 0
Code Issues 2 Pull Requests Actions Packages Projects Releases Wiki Activity

Correct analysis #9

New Issue
Closed
opened 2026-04-28 16:07:50 +00:00 by ntnsndr · 1 comment
ntnsndr commented 2026-04-28 16:07:50 +00:00
Owner
Copy Link
Copy Source

The formal/informal analysis doesn't seem to be working. I have been seeing wonky feedback (e.g., a protocol rated very high for hardness but also very high for informality).

The formal/informal analysis doesn't seem to be working. I have been seeing wonky feedback (e.g., a protocol rated very high for hardness but also very high for informality).
ntnsndr commented 2026-06-30 23:42:38 +00:00
Author
Owner
Copy Link
Copy Source

Fixed: fd556d967f

Fixed: https://git.medlab.host/ntnsndr/protocol-bicorder/commit/fd556d967f0fa4df1e7fd3d056aa0c1a5532a0f0
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
ntnsndr (Nathan Schneider)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: ntnsndr/protocol-bicorder#9
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?