Commit Graph
100 Commits
Author SHA1 Message Date
Harikrishnan Mulackal 61363d8e21 Merge pull request #10471 from ethereum/yul-interpreter-finetune-execution-steps
Yul interpreter: Smaller execution timeout for tests and additional testcases
2020-12-03 11:38:33 +01:00
hrkrshnn 3efac3eef0 NameSimplifier is removed from steps available to users. 2020-12-02 13:48:01 +01:00
hrkrshnn 5a15a4a6bd Fix a bug in NameSimplifier.
A new name created by NameSimplifier could also be created by NameDispenser, since the knowledge of
the new name was not stored in NameSimplifier.
2020-12-02 13:48:01 +01:00
Harikrishnan Mulackal 6513b1f2ae Merge pull request #10468 from ethereum/force-latest-truffle-for-ens
Force ENS external test to use latest Truffle
2020-12-02 11:24:51 +01:00
Harikrishnan Mulackal 91e67472bf Merge pull request #10383 from ethereum/add-ens-external-tests
External tests: Add ENS contracts
2020-11-30 18:15:15 +01:00
hrkrshnn cf6fe5a777 NameDispenser: Added three public functions.
The private function `illegalName` was converted into a public function.

A new public getter function `usedNames()` returns a reference to `m_usedNames`.

A public function reset that would change all `m_usedNames` to *only* the names that are used in the
AST. Also resets the counter. This will be used before the final NameSimplifier step in the
optimization phase.

The first two functions were added so that `NameSimplifier` could use it instead of traversing the AST
using `NameCollector` to find used names.
2020-11-30 14:02:57 +01:00
Harikrishnan Mulackal 1dd0cd1245 Merge pull request #10366 from ethereum/wasm-string-literal
[wasm] Document what StringLiteral is
2020-11-23 10:20:46 +01:00
Harikrishnan Mulackal 170cfeb1f0 Merge pull request #10205 from ethereum/smt_remove_cli_timeout_tests
Adjust SMTChecker timeout tests
2020-11-06 15:29:57 +01:00
Harikrishnan Mulackal be74479517 Merge pull request #10197 from cakesoft-khushi/new_branch
Update yul.rst
2020-11-04 12:37:39 +01:00
Harikrishnan Mulackal 24cce56215 Merge pull request #10189 from ethereum/underscore-tests
Add syntax and semantic tests for underscore
2020-11-03 17:06:31 +01:00
hrkrshnn adcf9eba8d Fix incorrectly set annotation.requiredLookup 2020-10-30 15:40:06 +01:00
Harikrishnan Mulackal 07e3f60ffc Merge pull request #10095 from ethereum/smt_fix_conditional
[SMTChecker] Fix ICE on conditional with tuples of rationals
2020-10-26 10:15:26 +01:00
Harikrishnan Mulackal dbd5326d0c Commandline test for exp with literal base 2020-10-12 18:54:58 +02:00
Harikrishnan Mulackal 418aa01c5b Optimization for exponentiation when the base is a literal 2020-10-12 18:54:58 +02:00
Harikrishnan Mulackal b0acf5dc86 Merge pull request #10005 from ethereum/bugs-fix-tabs
Docs: convert tabs to spaces
2020-10-12 10:03:13 +02:00
Harikrishnan Mulackal 8f2cd82fd9 Merge pull request #9968 from ethereum/docs_fixes
[Docs] Updates Index/Home Page of Sol Docs / Adds "Getting Started"
2020-10-12 08:54:31 +02:00
hrkrshnn 30652394e5 Docs: convert tabs to spaces 2020-10-12 08:01:20 +02:00
Harikrishnan Mulackal 24ba5aa3aa Updating docs on DynamicArrayCleanup bug 2020-10-06 16:06:02 +02:00
Harikrishnan Mulackal 1bdbc10110 Properly cleanup after copying dynamic-array to storage for packed types 2020-10-06 16:06:02 +02:00
Harikrishnan Mulackal 756e21a888 Merge pull request #9946 from ethereum/viewpure-tests
Add more tests to ViewPureChecker
2020-10-02 14:36:28 +02:00
Harikrishnan Mulackal 7773bb3bd0 Fix typo: storage 2020-10-02 11:44:10 +02:00
Harikrishnan Mulackal fd02ccc68c Implemented events with indexed function as parameter in Yul 2020-09-30 12:11:39 +02:00
Harikrishnan Mulackal 3970412422 Implemented events with function type as one of its indexed parameters 2020-09-30 12:11:38 +02:00
Harikrishnan Mulackal 2b9f040c48 Optimize exp when base is -1 2020-09-29 17:44:09 +02:00
Harikrishnan Mulackal d23aff4cbb Merge pull request #9918 from ethereum/isStateScopeCheck
Make isStateVariable regular scope check.
2020-09-29 09:33:03 +02:00
Harikrishnan Mulackal f1deb41033 Merge pull request #9911 from ethereum/docs-change-pragma
[DOCS] Change >=0.7.0 to ^0.7.0
2020-09-28 13:50:46 +02:00
Harikrishnan Mulackal 8339765509 [DOCS] Change >=0.7.0 to ^0.7.0 2020-09-28 13:02:31 +02:00
Harikrishnan Mulackal 710231e2b1 Docs: change >0.6.99 <0.8.0 to >=0.7.0 2020-09-28 11:14:45 +02:00
Harikrishnan Mulackal ec25e960f9 Merge pull request #9863 from ethereum/signed-exp-tests
Signed exp tests
2020-09-24 15:59:01 +02:00
Harikrishnan Mulackal c314ca3cf2 Tests for signed exponentiation 2020-09-23 16:27:33 +02:00
Harikrishnan Mulackal 64ddf2c699 Verify simplification rule exp(2, X) to shl(X, 1) 2020-09-16 17:36:39 +02:00
Harikrishnan Mulackal b7944477a1 Update UnusedFunctionParameterPruner tests to avoid getting inlined 2020-09-14 17:59:50 +02:00
Harikrishnan Mulackal 3817515015 Merge pull request #9787 from cakesoft-omkar/develop
Update control-structures.rst
2020-09-12 10:25:18 +02:00
Harikrishnan Mulackal d166c2540a Fix typo block 2020-09-07 17:24:03 +02:00
Harikrishnan Mulackal acec8f271d Type Checker: Disallow `virtual` for modifiers in libraries. 2020-09-07 11:17:38 +02:00
Harikrishnan Mulackal 974e35d09c Tests and changelog 2020-09-03 13:15:38 +02:00
Harikrishnan Mulackal e2fd41f097 Implemented UnusedFunctionArgumentPruner 2020-09-03 13:15:38 +02:00
Harikrishnan Mulackal 7ff809dc78 Disallow assigning more than once to immutables during the vardecl 2020-08-28 13:42:54 +02:00
Harikrishnan Mulackal 672f391660 Changed canonicalName() to toString() because of internal functions 2020-08-27 21:09:35 +02:00
Harikrishnan Mulackal c7dc42a794 Disallow `using for` directive for interfaces. 2020-08-27 15:57:51 +02:00
Harikrishnan Mulackal 7826564226 Fix infinite loop for structs in library function parameter 2020-08-27 14:18:07 +02:00
Harikrishnan Mulackal 1c066b1059 Allow type(Contract).name for abstract contracts and interfaces 2020-08-27 13:37:08 +02:00
Harikrishnan Mulackal 6f22899153 Disallow the exponent to be a signed integer literal 2020-08-27 12:08:45 +02:00
Harikrishnan Mulackal 79b2e41252 Fix inheritdoc tags trying to resolve 'empty' elements 2020-08-26 21:28:00 +02:00
Harikrishnan Mulackal 04a599049f Merge pull request #9642 from ethereum/fixTypoTry
Fix typo.
2020-08-19 12:49:18 +02:00
Harikrishnan Mulackal bbf15c9af3 Tests and Changelog 2020-08-19 12:41:29 +02:00
Harikrishnan Mulackal 5c6e7f03b4 Extended LoopInvariantCodeMotion for storage and state 2020-08-19 12:41:29 +02:00
Harikrishnan Mulackal 3cbe65e4f3 Refactor SideEffects struct 2020-08-18 14:53:59 +02:00
Harikrishnan Mulackal 58bfe0b0d2 Tests for refactor-SideEffects 2020-08-14 17:44:19 +02:00
Harikrishnan Mulackal bde0728b9b Force upgrade package-lock 2020-07-23 20:05:14 +05:30
Harikrishnan Mulackal f73b25bb78 Removed specialized errors related to constant state mutability 2020-07-14 12:42:47 +05:30
Harikrishnan Mulackal bb2faf5e49 Updated docs 2020-07-13 19:54:22 +05:30
Harikrishnan Mulackal 6b435b2192 solidity-upgrade: added module to remove visibility of constructors 2020-07-08 18:57:20 +05:30
Harikrishnan Mulackal 849bae2aa7 Natspec: change events() to interfaceEvents() 2020-07-07 17:22:09 +05:30
Harikrishnan Mulackal 40322fa703 Added jumpdest to yul doc. 2020-07-02 16:49:10 +05:30
Harikrishnan Mulackal eeadb5a6b5 Tests, Docs and Changelog 2020-06-30 16:53:41 +05:30
Harikrishnan Mulackal d41eaeba56 Added containsNestedMapping() 2020-06-30 16:15:03 +05:30
Harikrishnan Mulackal 4146ff9fcf NatSpec for events 2020-06-26 15:06:43 +05:30
Harikrishnan Mulackal 231952e01d Merge pull request #9238 from ethereum/docs-yul-fix-immutable-typos
[docs] Fix a few typos in setimmutable/loadimmutable docs
2020-06-22 13:10:41 +05:30
Harikrishnan Mulackal d8263d331e Ignore warnings for yulOptimizer tests 2020-06-09 13:03:57 +02:00
Harikrishnan Mulackal 73e634924e Warn on YUL switch statement with only default statement 2020-06-09 12:32:53 +02:00
Harikrishnan Mulackal 0bc9f772e7 Added an assert for FixedPointType in InlineAssembly 2020-06-02 13:31:10 +05:30
Harikrishnan Mulackal 21e34d7ca9 Fixed seed for randomness, fixed conflicts in errorids 2020-05-26 18:21:47 +05:30
hrkrshnn 37257548d0 Fixed bug when two empty NatSpec comments led to scanning past EOL 2020-05-20 20:26:02 +05:30
hrkrshnn 4a001d568e Removed null members from JSON output 2020-05-20 16:56:33 +05:30
Harikrishnan Mulackal 774edd4670 Error when Mapping type in (non-local) storage is assigned to 2020-05-19 19:12:38 +05:30
Harikrishnan Mulackal 142a6b0d4f Merge pull request #8957 from ethereum/bug-blockdeduplicator
Fixed a bug in BlockDeDuplicator
2020-05-18 14:57:26 +05:30
Harikrishnan Mulackal 4f24a4a735 Merge pull request #8964 from ethereum/ids_fix
Fix typo in correct error ids script
2020-05-18 13:39:38 +05:30
Harikrishnan Mulackal 4a291f8551 Changelog and test 2020-05-18 12:36:01 +05:30
Harikrishnan Mulackal a9fa9429d5 Fixed bug in BlockDeDuplicator 2020-05-18 11:39:45 +05:30
Harikrishnan Mulackal 47e9a13e8a Fix exponentiation bug 2020-05-13 13:53:06 +05:30
Harikrishnan Mulackal 095e17f7f9 Bug that ignored return tag when no other devdoc tags were present 2020-05-12 20:05:22 +05:30
Harikrishnan Mulackal 170291f738 Merge pull request #8904 from ethereum/error-id-ignore-folders
[error_id] Only walk into a given set of directories
2020-05-12 16:20:33 +05:30
Harikrishnan Mulackal c29d76f8f2 Test for function with value setting 2020-05-12 15:21:13 +05:30
Harikrishnan Mulackal bf7ab8d277 Error ids only walk into a given set of directories 2020-05-12 14:58:31 +05:30
Harikrishnan Mulackal c0c5127ed0 Changed a potentially misleading name 2020-05-11 19:05:41 +05:30
Harikrishnan Mulackal 091abcea8c Updated docs for type(X).min and type(X).max 2020-05-11 16:19:55 +05:30
Harikrishnan Mulackal e4e200f29f Changelog and tests 2020-05-11 15:29:05 +05:30
Harikrishnan Mulackal e54c4eecfc implemented type(X).min and type(X).max for all integer types 2020-05-11 14:51:13 +05:30
Harikrishnan Mulackal 4e58c672bb Merge pull request #8855 from ethereum/update-external-repos
Updated external test repos
2020-05-08 22:51:48 +05:30
Harikrishnan Mulackal 704b334cf6 Updated external test repos 2020-05-08 21:39:02 +05:30
Harikrishnan Mulackal 92cf61d4f9 fixed compilation tests and upgraded ext. tests branch 2020-05-05 21:11:15 +05:30
Harikrishnan Mulackal aed6c22318 solidity-upgrade can now change now to block.timestamp 2020-05-05 21:11:15 +05:30
Harikrishnan Mulackal a207613f17 Docs, changelog and tests 2020-05-05 21:11:15 +05:30
Harikrishnan Mulackal b5612f96c9 Deprecated identifier now 2020-05-05 21:11:15 +05:30
Harikrishnan Mulackal dd7d63925a Merge pull request #8806 from ethereum/natspec-constructor
[BREAKING] Natspec constructor and functions have consistent userdoc
2020-05-05 15:47:34 +05:30
hrkrshnn aa65e9423c Uniform output in functions and constructor NatSpec 2020-05-04 12:39:43 +05:30
hrkrshnn d1fd6782bc Note on abstract contract about overriding implemented functions 2020-04-30 19:41:31 +05:30
Harikrishnan Mulackal b13c87f266 Merge pull request #8805 from ethereum/solidity-upgrade-documentation
[BREAKING] Update documentation for solidity-upgrade 0.7.0
2020-04-30 18:27:39 +05:30
hrkrshnn ba538c9f75 Update documentation for solidity-upgrade 0.7.0 2020-04-30 17:20:36 +05:30
hrkrshnn a58b5b2bbe Changed repo to upstream; branches to latest 2020-04-28 16:03:52 +05:30
hrkrshnn bd0b06e8db Tests, Docs and Changelog 2020-04-28 16:03:52 +05:30
hrkrshnn 644ae320a4 Fixed infinite loops 2020-04-27 17:37:18 +05:30
hrkrshnn eb4cff56f7 Upgrade dot syntax for gas and value 2020-04-24 16:22:07 +05:30
hrkrshnn 051eec5c51 Converted warnings for .gas and .value into an error 2020-04-23 21:02:02 +05:30
hrkrshnn 48ff9fd4d6 Tests, Changelog and updated grammar 2020-04-23 17:27:37 +05:30
hrkrshnn e2e32d372f virtual modifiers (in Abstract contracts) allow empty bodies 2020-04-23 17:26:59 +05:30
hrkrshnn 4760b8589d Replaced all instances of lValueRequested to willBeWrittenTo 2020-04-20 12:33:30 +05:30
hrkrshnn 96411711ef Added changelog 2020-04-07 21:17:35 +05:30
hrkrshnn 229587672f TypeChecker error when encoding functions with call options; tests 2020-04-07 21:11:46 +05:30