melhindi

I also got this error message when trying to deploy a new contract with ethconsole on aleth. Running the node with -v 4 gave more insights: ``` 2018-09-10 13:44:17 rpc...

Hi, json-rpc support would be nice. I tried looking at the code to see where msgpack is referenced and how json-rpc would fit it or how the abstraction could be...

Hi, I am running ubuntu 21.04 and I had to do the following to be able to build and install the plugin: - Remove OBS-Studio installed via snap and install...

I can confirm that the error is gone when using the latest (pre-release) build: https://github.com/tlaplus/tlaplus/releases/tag/v1.8.0#latest-tla-files

Hi @faaxm, no worries and thanks for your feedback. I totally understand your concern. Maybe creating a dedicated Repo/project that shows different ways for integrating/installing GRPC in a CMake project...

It would be even faster if pre-compiled binaries could be used: https://github.com/googlecolab/colabtools/issues/4256 Related issue are #22,#201 I also think that the installation/compilation time is too long from a usability perspective...

@lemmy may be a silly question, but I was not able to find the info in your comment or the documentation (e.g., https://lamport.azurewebsites.net/tla/current-tools.pdf): Which TLC flags must I use to...

Hi @lemmy, thanks, that worked. A small "caveat" was that I initially forgot to use the `-simulate` flag and pass the `-Dtlc2.tool.Simulator.extendedStatistics=true` option (hence, the output was initially incomplete) To...

Hi @merlimat, could you pls. have a look at this PR and let me know if I need to change anything to get it merged? Thanks!

Hi, Does this feature also include visualizing the coverage data for profiling, as done in the toolbox and shown below?