scilla

scilla copied to clipboard

We need a library API that creates a single "product" contract from a few input contracts. The most important functionality is the ability to get a single `cmodule` from a...

jubnzv

Closes #1097 This is unfinished work, because I need to switch to another task at the moment. It is not ready for merging, but we could use it to find...

jubnzv

The Callgraph module is required to finish #1097 and it will be useful in other analyses in the future. I also added a simple `.dot` printer based on the `ocamlgraph`...

jubnzv

Write an audit tool that uses `Callgraph`

2

We could use the `Callgraph` module implemented in #1144 to create a tool that helps auditing smart contracts. Desired functionality: * [ ] A CLI option to don't show pure...

jubnzv

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...

jjcnn

Constraint-based cash flow tracking

1

* Checking that no funds go unaccounted * Uses a dedicated type for Money

ilyasergey

Currently pure terms (`Syntax.expr`) bears only location infor for identifiers, but not for expressions, which makes it difficult to report type errors.

ilyasergey

Re-enable caching of libraries for staging

3

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...

jjcnn

Implement a profiling monad

1

To figure out how time is being spent in different sections of `Eval`, implement a monad for `Eval`. In principle, we should be able to piggyback on the gas monad,...

vaivaswatha

Make `Message` and `Event` non-primitive types and check their structural integrity

3

ilyasergey