issues
search
informalsystems
/
atomkraft
Advanced fuzzing via Model Based Testing for Cosmos blockchains
Apache License 2.0
78
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
imp: add bech32 address support for Ethermint chains
#212
GAtom22
closed
1 year ago
1
Bech32 address derivation failing on Ethermint chains
#211
GAtom22
closed
1 year ago
0
Templates init using --template flag
#210
udit-gulati
closed
1 year ago
2
Atomkraft gives Parsing error when apalache not installed
#209
udit-gulati
opened
1 year ago
1
"None" parsing error
#208
tomtau
closed
1 year ago
3
Update CONTRIBUTING.md
#207
ivan-gavran
closed
1 year ago
0
`atomkraft init` should generate a hello world project instead of an empty one
#206
rnbguy
closed
1 year ago
0
`atomkraft init` should generate a `.gitignore` file
#205
rnbguy
closed
1 year ago
0
can't run `atomkraft` without `.atomkraft` directory
#204
rnbguy
closed
1 year ago
4
Improving CONTRIBUTING.md
#203
p-offtermatt
closed
1 year ago
0
Fix: poerty -> poetry
#202
p-offtermatt
closed
1 year ago
0
Fix typos
#201
p-offtermatt
closed
1 year ago
0
Improve location of test files for `test` command
#200
hvanz
opened
1 year ago
0
fix: location of report files
#199
hvanz
closed
1 year ago
0
Fix report directory
#198
hvanz
closed
1 year ago
0
docs: small updates to the installation steps
#197
ivan-gavran
closed
1 year ago
0
vscode plugins question
#196
niuzhi
closed
1 year ago
1
Support for custom modules in Atomkraft
#195
dalmirel
opened
1 year ago
1
ci(release): update moved file
#194
rnbguy
closed
1 year ago
0
refactor(spec): update existing tla specs with apalache type system 1.2
#193
rnbguy
closed
1 year ago
0
ci(test): faster mdx ci runtime
#192
rnbguy
opened
1 year ago
1
Update existing .tla examples to follow the changes in the Apalache typesystem
#191
ivan-gavran
closed
1 year ago
0
Upon starting testnet from Atomkraft " unsupported hash type ripemd160" error is received
#190
dalmirel
opened
1 year ago
1
ci(workflow): manage concurrency queue
#189
rnbguy
opened
1 year ago
0
test(cli): add verbosity for failing tests
#188
rnbguy
closed
1 year ago
1
MDX tests are failing non-deterministically on macOS runner
#187
rnbguy
closed
1 year ago
2
fix: dynamic json parsing of process output
#186
rnbguy
closed
1 year ago
0
fix: use correct coin type
#185
rnbguy
closed
1 year ago
0
Atomkraft with provenance binary (help needed)
#184
llama-del-rey
closed
1 year ago
9
fix: ignore `Tx` events if filter is unset
#183
rnbguy
closed
1 year ago
1
fix: wait for grpc endpoints
#182
rnbguy
closed
1 year ago
1
refactor(cli): use `jinja` over `copier`
#181
rnbguy
closed
1 year ago
2
Stuck at broadcasting when transaction fails
#180
rnbguy
closed
1 year ago
0
ci(release): prep for ci semver release
#179
rnbguy
opened
1 year ago
0
docs(tutorial): update `transfer` tutorial
#178
ivan-gavran
closed
1 year ago
3
Installation instruction for pip are missing
#177
milosevic
closed
1 year ago
1
Populate `.github` directory with useful templates and standard practices
#176
rnbguy
opened
1 year ago
0
refactor: combine multiple trace tests into single file
#175
hvanz
closed
1 year ago
1
Failed GRPC connections with reduced block time
#174
rnbguy
closed
1 year ago
0
Adopt async runtime
#172
rnbguy
opened
1 year ago
0
Failed `simd start` doesn't raise errors
#171
rnbguy
opened
1 year ago
3
Refactor testnet to easily replace Tendermint by Tendermock
#170
hvanz
opened
1 year ago
0
Option to generate test files without running the tests
#169
hvanz
opened
1 year ago
0
Combine multiple trace tests into single file
#168
hvanz
closed
1 year ago
0
Set-up SDK github action to run Authz test suite
#167
tesnimab
closed
1 year ago
2
Simplify `atomkraft init ...` subcommand
#166
rnbguy
closed
1 year ago
0
Replace `block` mode with `sync` when tx broadcasting
#165
rnbguy
closed
1 year ago
0
Use `sync` or `async` instead of `block` to broadcast transaction
#164
rnbguy
closed
1 year ago
0
MDX tests take way too long
#163
rnbguy
opened
1 year ago
1
Support for python 3.8
#162
rnbguy
closed
1 year ago
0
Next