Hernán Vanzetto

From https://github.com/informalsystems/atomkraft/pull/199#discussion_r1032401187 : We always create a single `test_*` file in tests directory for each `test trace` ... call. So for a directory passed as a trace, it will create...

This is for preparing Atomkraft before integrating Tendermock. Once Tendermock is ready, we may still want to use in some ocassions the chain binary with Tendermint. We need to identify...

`atomkraft test trace ...` currently generates a python test file from a trace and runs `pytest` on it. - We could add an option `--only-generate` (or a similar name) to...

Create an ADR document for the module MC Executor in the following diagram. 

[`TmEventSubscribe`](https://github.com/informalsystems/atomkraft/blob/dev/atomkraft/chain/utils.py#L48) could block indefinitely if it never receives an event.

Closes #20 [Rendered document](https://github.com/informalsystems/atomkraft/blob/hernan/adr-mc-executor/docs/src/adr/03adr-mc-executor.md)

On [ADR-105](https://github.com/cometbft/cometbft/pull/1032), it was decided to move the list of senders from the `mempoolTx` entries in `CList` to the mempool reactor. This was implemented in #1010. The interface of `CheckTx`...

- Present problem to solve - If they are convinced, give a hint of the preliminary design (writeup not there yet! prepare some slides) - When presenting (preliminary) design, focus...

Tracking issue for improvements and fixes to the rechecking mechanism in the mempool. Bugs: - [x] #1827 - [x] #2225 - [ ] #2907 Potential improvements - [X] #895 -...

### Summary The following is a list of issues and PRs to refactor parts of the mempool reactor and implementation with the goal of preparing the code to introduce future...