Rano | Ranadeep

## Is your feature request related to a problem? Please describe I want to restart model exploration from an ITF trace. I have a ITF JSON state, but there is...

## Is your feature request related to a problem? Please describe Apalache simulate still slow if the model is too big. ## Describe the solution you'd like When I use...

no_std support

5

Hey. Thanks for this crate :pray: It'd be useful if we had a `no_std` feature for `lazy-regex`, as `regex` already supports via no-default-features. This should be doable just by refactoring...

I tried this code: ```rs pub fn bar() -> u64 { ::core::default::Default::default() } fn main() {} ``` I expected to see it pass with `unused_qualifications` lints. As it does on...

1. `connect` should reuse an existing session from `tx session start`. 2. `disconnect` should also close a session via `tx session end`. I would rather prefer `connect` and `disconnect` subcommands...

## Improvement Summary [`mock::ConsensusState` from `ibc_proto`](https://docs.rs/ibc-proto/latest/ibc_proto/ibc/mock/struct.ConsensusState.html) doesn't have any commitment root. ## Proposal To avoid any unexpected assumptions, we should also remove commitment_root from [`MockConsensuState` in `ibc-testkit`](https://docs.rs/ibc-testkit/latest/ibc_testkit/testapp/ibc/clients/mock/consensus_state/struct.MockConsensusState.html). The [`ConsensusState::root`](https://docs.rs/ibc-testkit/latest/ibc_testkit/testapp/ibc/clients/mock/consensus_state/struct.MockConsensusState.html#method.root) implementation...

imp(testkit): integration test for packet timeout

2

Closes: #398 ## Description - [x] Packet timeout. - [ ] Packet timeout on channel close. The latest branch from `basecoin-rs` now has non-membership proofs for its IAVL tree. This...

imp(types): glue code between domain types and their corresponding protobuf types

5

## Feature Summary We introduced `ToProto` trait in #995. It did streamline a lot of code, but we can streamline even more. ## Proposal 1. Extend the `ToProto` trait with...

imp(tests): refactor table driven tests

6

## Improvement Summary Currently, some of the rust tests contain a group of table/data-driven tests. These tests will fail if one in the group fails. https://github.com/cosmos/ibc-rs/blob/c83f26aeb87004ca464917e250da62ba3e92238b/crates/ibc/src/applications/transfer/coin.rs#L125-L148 We want to treat...