chriseth 2410f0ed5a Merge pull request #9135 from ethereum/fixReturnParameterLocation ...

Fixing ICE on calling externally a function that returns calldata pointers

2020-06-10 16:44:38 +02:00

..

analysis

Rename scope to currentContract.

2020-06-09 18:19:09 +02:00

ast

Fixing ICE on calling externally a function that returns calldata pointers

2020-06-10 14:41:45 +02:00

codegen

Index access to fixed bytes and byte arrays.

2020-06-09 10:50:28 +02:00

formal

[SMTChecker] Erase knowledge when array variable is pushed

2020-06-08 10:23:06 +02:00

interface

Add error IDs to JSON

2020-06-10 13:26:51 +02:00

parsing

Shorten a couple of lines

2020-05-21 17:38:47 +02:00

CMakeLists.txt

Create libsmtutil

2020-05-20 12:55:18 +02:00