dezzeus

I use the VScode extension and, without user-shown errors, it stopped working after I have updated MacOS over the weekend (v10.14.6 -> 11.1). I don't know how to gather and...

I already have _LLVM_ 5 installed on my _MacOS_ system with _Homebrew_, so I didn't really need _GCC_, but _OpenMP_ doesn't get recognized when you try to build issuing _Cmake_...

[Bug]: Failed to generate IR

1

### Describe the issue: I cannot run the tool as it fails to generate the IR. ### Code example to reproduce the issue: `# within a library:` `function d1(uint256 a,...

devcontainer with docker-in-docker feature doesn't start anymore

7

Devcontainer in VSCode with the docker-in-docker feature stopped working with no apparent reason; The only things that I can think of is that I have updated Docker Desktop (MacOS) and...

In response to [todays discussion on Slack](https://cordaledger.slack.com/archives/C2KGD72UX/p1579072997358000), this is our attempt to provide the missing functionality of sharing the locally generated key (for an account) with the counterparty's (remote) host...