Anton Trunov

The current plan is to use more of Scilla’s API, clean it up a bit and release it on opam as a library, not just as a set of binaries....

@vaivaswatha I guess we could update the installation instructions with a Docker-based setup and show e.g. how the VS Code plugin and the Scilla Emacs mode could be used with...

Just to give more context on this: - There are 970 unique Scilla contracts in the contract dump - It's 428743 lines of code in total (average contract size is...

Is this still an issue?

I'm not sure, I guess we would need to run an experiment to have a definite answer.

The more filtering options this contract map tool supports the better. Remote reads also should be marked explicitly.

Related issue #577, if we refactor the signature to ``` procedure Procedure(arg1: Type1, arg2: Type2, arg3: Type3, value: ListType) ```

I get a bunch of errors in the case you described: ``` ulimit -s 128 -n 1024; dune exec tests/testsuite.exe -- -print-diff true .................................................................................................................................................................... ..................................................................................................................................................................... ..................................................................................................................................................................... ..................................................................................................................................................................... ..................................................................................................................................................................... ..................................................................................................................................................................... ........................................................................................................................................FFF...FFFFF.F.FFF...

> PS: Does you workflow look the same when working on the compiler or do you have an easier/faster way? Could you expand your question? I don't really understand it....

@simonelnahas I simply make changes and run `make test` (with occasional `make gold` to fix tests or introduce new tests)