Daniel T

No warning for missing label if a statement is immediately preceded by an if or either statement that contains a goto, call, return, or labeled statement within it

5

Hi, I believe I've found a bug which has caused me some trouble. Suspected problem: The way that Pluscal translates actions which contain a `call` to a procedure immediately followed...

ICS28: Reflect that downtime slashing is not allowed after doublesign slashing in spec

2

See mirror issue - https://github.com/cosmos/interchain-security/issues/220 Problem: the behavior allowed by the spec is different from the impl although we established that the impl has the correct design, so we should...

In the code, completion is deferred to end block. - https://github.com/cosmos/interchain-security/pull/188/files#r913167507 It shouldn't make a difference because the packets are not visible until after EndBlock anyway but this should be...

[BUG] Log message is not ideal on exhausting state space that is the image of View

9

## Description When you generate multiple counterexamples with --max-error=k, and a View operator, if it is not possible to generate at least k counterexamples then the log contains this line...

ICS28: Reflect that unbonding maturations occur after Staking.EndBlock in spec

2

Mirror issue - https://github.com/cosmos/interchain-security/issues/299#issuecomment-1227411907 Long story short, in the code unbonding maturations complete after Staking.EndBlock but in the spec they happen before.

[BUG] Confusing naming of sections 'HOWTOs/Tutorials' in docs book

2

## Description The two section names HOWTOs and Tutorials kind of mean the same thing and it is not clear how they differ.

Hi `parquetx.NewGenericReader` takes an `io.ReaderAt` as input but later makes further assumptions on the interface https://github.com/segmentio/parquet-go/blob/674602166e6d91f883e85ceba8ef3f13c9e9c86a/reader.go#L154-L168 so the function is not actually usable with an `io.ReaderAt`. Thanks

In InMemoryTorrentStorage ``` private ByteBuffer getBuffer(Torrent torrent) { ByteBuffer buffer = buffers.get(torrent); if (buffer == null) { buffer = ByteBuffer.allocateDirect((int) torrent.getTorrentSize()); buffers.put(torrent, buffer); } return buffer; } ``` to ```...

Is whatsapp support planned? (Using the Messages API)?

Using https://pkg.go.dev/github.com/vonage/[email protected]#SMSClient.Send I have received 'unexpected EOF' in the `error` value on several occasions. I cannot replicate.