Gungy2

RangeError: Maximum call stack size exceeded

3

Building using the plugin runs into the following issue: ``` [vite:dts] Start generate declaration files... error during build: RangeError: Maximum call stack size exceeded at node_modules/@ts-morph/common/dist/typescript.js:51333:53 at Object.trackSymbol (node_modules/@ts-morph/common/dist/typescript.js:51333:53) at...

The following dependencies have been upgraded: - Kotlin from 1.7 to 1.9: this also required a bump in Gradle to 6.9; - Detekt from 1.20 to 1.23: no breaking changes;...

Add additional assertion to UInt_sqrt

4

## Summary This PR fixes issue #1586 by adding an assertion for the `UInt_sqrt` function.

Sqrt fails formal verification

5

**Describe the error** There seems to be a bug in sqrt for formal verification. The following example fails verification (irrespective of the value of `tokensToReturn`. **To Reproduce** ```js const tokensToReturn...

**Describe the error** When calling a remote object method inside a `parallelReduce.api_`, an assumption error that should not be triggered can be seen. **To Reproduce** ```javascript const ctcSol = remote(slbContractAddress,...