Boris Povod

Results 14 issues of Boris Povod

# 🚀 Feature Request ## Motivation Configure timeout for specific test would be nice feature to have, as tests often reaches timeouts. Also, i think it can be useful to...

enhancement

# 🐛 Bug I'm trying to compile module contains while loop and variable defined before loop. Each iteration i change variable value. Yet i'm getting error and it seems a...

bug

# 🐛 Bug ``` error: verification out of resources/timeout (global timeout set to 40s) ┌─ /Volumes/boris-backup/Users/boris/PycharmProjects/U256/sources/u256.move:88:5 │ 88 │ ╭ public fun add(a: U256, b: U256): U256 { 89 │...

bug
move-prover

# 🚀 Feature Request ## Motivation Let's say i have closed source repository contains my Move smart contracts. I want other projects to have a way to integrate their smart...

enhancement
community

# 🐛 Bug The name of Aptos framework dependency after initialization of package using `aptos move init` seems wrong for me, it's `AptosFramework`1, should be `aptos_framework`. Aptos CLI version v0.2.3....

bug
community

There is errors when user using pre-compiled Dove binary: See [screen](https://imgur.com/WOAvtsR) contains error.

bug

The decompiler doesn't work on *.mvt files. **How to reproduce:** Just generate any *.mvt file and try to decompile it, you will get error: ``` status BAD_MAGIC of type Deserialization...