Pavel Zverev

Using state variable comparison in annotations with `mstore` mode

1

Here is a small example: ```solidity contract Sample { uint public a; /// #try a == 1; function foo(uint256 x, uint256 y, uint256 z) pure public returns (uint256) { return...

## Environment Any ## Scenario 1. Have a file `A.sol`, that declares file-level constant `uint constant X = 100;`. 2. Have a file `B.sol`, that imports `A.sol` and aliases it...

## Description Consider following case: ```typescript eq([types.bool, types.bool], [new BoolType(), new BoolType()]) ``` It actually will return `false`. However it does not seem to be bug, as it is intended...

Move AST to standalone tiny package

3

Current package has two goals: - Handle compile routines of Solidity sources. This requires package to rely on [Solc](https://www.npmjs.com/package/solc) compiler, do file system lookups, allow compiler guessing and downloading. -...

## Environment Any ## Scenario 1. Create a Solidity source file `sample.sol` with following contents: ```solidity contract Test { function some(uint a, uint b) pure public returns(uint, uint) { return...