atomkraft

atomkraft copied to clipboard

Support for custom modules in Atomkraft

1

Currently Atomkraft is having implemented GRPC broadcasting only for Cosmos SDK modules and x/wasmd module trough terra_sdk. That is, the mechanism of easily creating tx and broadcasting them to the...

dalmirel

Atomkraft gives Parsing error when apalache not installed

1

Ref: ``` (env) uditgulati@Udits-MacBook-Air transfer % atomkraft --debug model simulate --model-path models/transfer.tla --max-trace 4 --length 3 --traces-dir simulation_traces Parsing error 💥 Parse error at /Users/uditgulati/Documents/transfer/models/transfer.tla: None ``` Atomkraft should check...

udit-gulati

Closes #6. [Rendered version of ADR-01](https://github.com/informalsystems/atomkraft/blob/andrey/adr-cli/docs/src/01adr-principles-architecture.md), to facilitate early feedback.

andrey-kuprianov

support integration with strangelove-ventures/ibctest

4

Should be relatively straight forward to package up atomkraft in a docker container and pass in arguments for it to connect to target nodes that were configured/deployed by https://github.com/strangelove-ventures/ibctest

ebuchman

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...

hvanz

Keypath variable in reactor is ignored in trace execution

2

I am integrating another smart contract example in Atomkraft. I created a reactor stub (comments removed for clarity). ``` import logging from typing import Dict import pytest from atomkraft.chain import...

djpesic

MDX tests take way too long

1

MDX tests take too long to set up OCaml and to build `ocaml-mdx-test` binary. If the caches are not hit, [it takes 11 mins on ubuntu and 20 mins on...

rnbguy

Async runtime provides a friendlier interface to handle concurrent tasks. Python's [`asyncio`](https://docs.python.org/3/library/asyncio.html) library reduces the code burden and offers more straightforward methods. The main cost is tagging methods with `async`...

rnbguy

- [ ] Issue templates - [ ] Pull request template - [ ] dependabot.yml Ref: https://github.com/devspace/awesome-github-templates

rnbguy

Upon starting testnet from Atomkraft " unsupported hash type ripemd160" error is received

1

Environment: - Ubuntu 22.04 with python 3.10.6 version (as default) - atomkraft 0.1.1 - openssl 3.0 version Once I tried to run the testnet for osmosisd and simd with: `atomkraft...

dalmirel