MrChico
MrChico
This example came up as I was writing https://github.com/ethereum/smart-contract-spec-lang/blob/bnfc/examples/deposit/deposit-spec.md#deposit
Huge bikeshedding opportunity on using `=>` or `=` in the function definitions for the `where` header. VOTE NOW
@djrtwo they are similar in the sense that the semantics of both is that the LHS rewrites to the RHS, but their difference is akin to that of big step...
> @MrChico how about > > ``` > behaviour zeroHashN of Arithmetic > interface zeroHashN(uint256 n) > > storage > > zeroHashes[n] |-> _ => h | nth_hash_of(0, 0, h)...
Oh, I see. But where do you define these predicates? Are they left uninterpeted or is there some logic programming conventions here that I'm unaware of? Also, why are they...
`rpow` example: ```sol function rpow(uint x, uint n, uint b) public pure returns (uint z) { assembly { switch x case 0 {switch n case 0 {z := b} default...
After some more discussions, here's some key factors that lead us to tentatively agree on the "functional" format: - It's probably easier to understand for most of our target audience,...
Yeah, it should be more or less semantically equivalent
all good with removing the reference implementation 👍