xermicus

Results 59 issues of xermicus

First of all this blog post series is pure joy. Thank you very much for creating and maintaining this! During the paging introduction chapter I noticed a race condition. It...

Thank you @ethwu :-) good catch!

This came up in #927, I'll open an issue so I won't forget this. The idea is to have a `--release` flag for compilation, similar to what cargo does. This...

enhancement

While browsing the solidity docs I came across its [SMT based checks](https://docs.soliditylang.org/en/latest/smtchecker.html). I think we could implement this as well in the future.

enhancement

Call `seal_debug_message` in `assert_failure`, to get messages from `require()` into the debug message buffer.

substrate

define and implement minimal API that provides send, select, ... so various networking modules can be implemented using the OS networking API (bsd sockets, freertos+tcp, ...). we should also have...

While warming up with the stack I created a little rock paper scissors game smart contract. I'm polishing it now and would appreciate some early feedback :blush: This is not...

A-examples

Solang was developed against Substrate v3.0 and older versions of both the npm polkadot api and the contract metadata crate. They need to be updated to the latest versions, and...

bug
substrate

Since in `ink!` constructors also have names. This is another precondition for making #989 happen: * Allow to give constructors a name. We need a name for `ink_metadata`. We can...

substrate

This is an idea I had a while ago. Don't have time for now so this issue serves just as a reminder: We could try to make use of [concolic...

enhancement