Alessandro Coglio
Alessandro Coglio
I vote for proposal 1 because so we maintain the currently true fact that - `::` is preceded by a type - `.` is preceded by an expression
I guess another option could be something like ``` u8::MIN u8::MAX u8::BITS ``` (or their lowercase counterparts) if we independently decide to add static member variables to circuit and other...
The current formal model allows proposals/certificates with no transmissions.
I'm not sure which behavior is better. I haven't done a detailed study of the liveness properties of the implementation yet, which is what these behaviors may affect (not safety)....
Indeed, various parts of the code implicitly assume that `RECENT_INTERVAL` is 1. In PR #3495, I've marked all those spots with TODOs. The check `*current_height
The parsing looks good. These are matching changes to the ABNF grammar: ``` operand = ... / program-id ; if not followed by "/" / [ program-id "/" ] %s"checksum"...