issues
search
informalsystems
/
cosmwasm-to-quint
Semi-automated modelling and Model-Based Testing for CosmWasm contracts
Apache License 2.0
13
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Avoid useless errors in generated files
#21
bugarela
closed
3 weeks ago
1
Add CTF 01 example
#20
bugarela
closed
1 month ago
0
Write proper README
#19
bugarela
closed
1 month ago
0
Test generation
#18
bugarela
closed
1 month ago
4
Fix criteria for translating a function to an action
#17
bugarela
closed
2 months ago
1
Fix init value for List and nondet value for constructors with no params
#16
bugarela
closed
2 months ago
0
Some non-actions are being translated as actions
#15
bugarela
closed
2 months ago
0
Create github action
#14
bugarela
closed
3 months ago
0
Add CI check for integration tests
#13
bugarela
closed
3 months ago
0
Add snapshot tests for CTF contracts
#12
bugarela
closed
3 months ago
0
Rename quint keywords
#11
bugarela
closed
3 weeks ago
0
Using type-level polymorphism
#10
bugarela
closed
4 months ago
0
Use type-level polymorphism
#9
bugarela
closed
4 months ago
0
Boilerplate fixes for correct wiring
#8
bugarela
closed
4 months ago
0
Increment translation
#7
bugarela
closed
4 months ago
0
Add integration tests
#6
bugarela
closed
3 months ago
0
Update bank balances in `execute_message`
#5
bugarela
closed
4 months ago
0
Provide a proper way of distributing quint libs that are dependencies
#4
bugarela
closed
1 month ago
1
Include `instantiate` actions in the state machine
#3
bugarela
closed
1 month ago
0
Translate stateless crates
#2
bugarela
opened
4 months ago
1
Stub generation
#1
bugarela
closed
4 months ago
0