Rano | Ranadeep

Hmm. After reading your replies, I am agreeing with you. I should have communicated with the Apalache team about this. Let's talk more in sync about whether we need to...

@llama-del-rey, there is no current work to fix this. We will probably rewrite some parts of the code in async to make this happen :slightly_smiling_face:

Cosmos GRPC [supports reflections](https://docs.cosmos.network/main/run-node/interact-node#grpcurl). One can leverage it to _load_ proto files from live GRPC endpoints without access to source protobufs. The following examples uses [`grpculrl`](https://github.com/fullstorydev/grpcurl) on CLI. We need...

@djordjepesic1991 great PR! I see you modified some other parts of the repo. - `src/atomkraft_informal.egg-info` - `examples/cosmwasm/counter` Can I exclude them?

Thanks for the issue, Mirel :ok_hand: Looks like it is coming from terra.py. Somehow I couldn't reproduce this error at `atomkraft chain testnet` but when running `atomkraft test trace`. I...

You're right. Up for a PR on `modelator` repo? :slightly_smiling_face:

wow. I was not aware of crypto-com's « starport ». Thanks :pray: In 2023, we are planning tons of useful features - and IBC is definitely one of them. So...

Reflecting on this. This can break on some unknown chain repo. But we can whitelist some chain repo at particular commits/tags for easier setup. ``` atomkraft chain setup cosmos-sdk/v0.45.8 ```

I need this feature to write tests for methods used in chain subcommand. If this PR is rejected, I will still need it. I will put it somewhere like `test.utils`...

great work @djordjepesic-ethernal ! 👏👍🏽 please do share your fuzzer when it's finished. Also don't worry about different traces with same session. We can add support for it in Atomkraft's...