jjcnn
jjcnn
When contract is deployed the money that is sent as part of the deployment is currently accepted implicitly and added to the contract balance. However, there is no mechanism for...
There is now a use case for left and right bit shifts: https://github.com/AragonBlack/fundraising/blob/master/apps/bancor-formula/contracts/BancorFormula.sol Implementing shift operations in the standard library using existing Scilla features is pretty tricky, because we don't...
Issue #143 disabled caching of libraries, because the cache needs to contain the typed AST as well as the type mappings of libraries. Caching needs to be re-enabled. This means...
We currently allow message labels with periods in them, e.g. `{ mynamespace.myname : Uint32 0 ; ...}`. This makes no sense, since transition parameters cannot have periods in them, so...
When a contract imports a library (`import X` or `import X as Y`), the name `X` is used to refer to one of two things: - If an init json...
It's currently possible to create a message that contains user-defined labels starting with `_`, such as `_myparam`, or even `_sender`. Such a message will fail during execution, either (in the...
The `ByStr20 with contract field f : Uint128 end` model for address types has some unfortunate quirks: - It connects addresses to `ByStr20`, which unnecessarily ties Scilla to Zilliqa (there...
At the moment we disencentivise comments and unnecessary whitespace in contracts, because 1) we charge gas based on the byte size of the contract, and 2) because there is a...
We currently only support remote reads of the mutable state of a contract, but not of the immutable state (the contract parameters). To support this we need the following: -...
Ilya proposed that we allow procedure libraries to be deployed in a similar fashion as pure library functions. This is not at all trivial to do, since a procedure only...