Ilya Sergey comments

Results 17 comments of


                                            Ilya Sergey

Emacs indentation for multi-line constructs

Hmm, okay. Let's keep (2) the way it is.

Emacs indentation for multi-line constructs

4. Here's another formatting issue (obtained after repeatedly pressing tab in one of the test contracts): ``` library CrowdFundingInvoke let one_msg = fun (msg : Message) => let nil_msg =...

Emacs indentation for multi-line constructs

As I can see 4 is now fixed. Thanks.

Implement a tracer/debugger for Scilla evaluation

@vaivaswatha Could you give a rough example of a "trace" you'd like to obtain. Depending on the requirements, this can be done in a more or less intrusive way wrt....

Track in type qualifiers additional information about restricted types in the presence of polymorphism

This depends on #143.

Create a Payment Channel using Scilla

I'm assigning @vaivaswatha and @edisonljh so this would not be forgotten after #66 is done.

Constraint-based cash flow tracking

The aim of this task is to leverage the cash-flow information to automatically check (on demand) most common invariants of contracts, such as “an amount of distributed money is always...