search

input-output-hk / ouroboros-high-assurance

High-assurance implementation of the Ouroboros protocol family
Apache License 2.0
1 stars 1 forks source link

Replace the mini-protocol framework by a program-based one #58

Closed jeltsch closed 1 year ago

jeltsch commented 1 year ago

This resolves #57.

jeltsch commented 1 year ago

I give this pull request draft status for the time being, since it has turned out that my preliminary implementation of the ping-pong protocol based on this framework doesn’t work with the version above.

jeltsch commented 1 year ago

@javierdiaz72, do you think it would be better to disband the Protocols section and define the individual locales in the subsections to which they are related: protocol_possibilities in Possibilities, protocol_state_machines in State Machines, and protocol_programs in Programs?

javierdiaz72 commented 1 year ago

@javierdiaz72, do you think it would be better to disband the Protocols section and define the individual locales in the subsections to which they are related: protocol_possibilities in Possibilities, protocol_state_machines in State Machines, and protocol_programs in Programs?

Yes, I think it would be clearer that way.

jeltsch commented 1 year ago

@javierdiaz72, I don’t plan to add more commits for now; so you are encouraged to write a review for the present version of this new mini-protocol framework. Please take care to take all commits into account. Thank you. :slightly_smiling_face: