aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/SolidityNameAndTypeResolution.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* Test for accessing outer inline assembly scope.chriseth2017-06-081-2/+33
* Initial EVM1.5 assembly implementation.chriseth2017-06-081-0/+15
* Merge pull request #2317 from ethereum/keccak256chriseth2017-05-311-4/+4
|\
| * Use keccak256() in tests (and not sha3())Alex Beregszaszi2017-05-301-4/+4
* | Refactor error reportingRhett Aultman2017-05-301-12/+13
|/
* Analyze InlineAssembly for variable useRhett Aultman2017-05-221-0/+14
* Fix tests.chriseth2017-05-031-0/+3
* Cleanup, style and additional test.chriseth2017-05-031-2/+10
* More strict tests.chriseth2017-05-031-7/+7
* Treat returns with expressions as return param useRhett Aultman2017-05-031-0/+16
* Warn on unused local variablesRhett Aultman2017-05-031-31/+154
* Style and stricter tests.chriseth2017-05-021-1/+9
* Deprecate use of unary '+'Rhett Aultman2017-04-291-1/+10
* Fix storage access tests.chriseth2017-04-251-5/+5
* Review comments.chriseth2017-04-251-0/+30
* Make tests comply with stack height checks.chriseth2017-04-251-7/+5
* Use actual type checking phase of assembler.chriseth2017-04-251-1/+1
* More pure tests.chriseth2017-04-251-0/+8
* Test for side-effect free condition.chriseth2017-04-221-0/+13
* Change error message.chriseth2017-04-211-2/+2
* Warn about side-effect free statements.chriseth2017-04-211-15/+43
* Check that contract inheriting from base with unimplemented constructor is ab...chriseth2017-03-221-1/+6
* Disallow private or internal functions in interfacesAlex Beregszaszi2017-03-181-0/+20
* Add more complex tests for interfacesAlex Beregszaszi2017-03-181-0/+17
* Disallow constructor in interfacesAlex Beregszaszi2017-03-181-1/+1
* Disallow enums in interfacesAlex Beregszaszi2017-03-181-0/+10
* Use declared instead of definedAlex Beregszaszi2017-03-181-1/+1
* Add tests for interfacesAlex Beregszaszi2017-03-181-0/+98
* Merge pull request #1698 from ethereum/exp-notationchriseth2017-03-151-24/+0
|\
| * Add tests for scientific notationAlex Beregszaszi2017-03-151-24/+0
* | Mention 'transfer' in warning about unchecked 'send'.chriseth2017-03-151-1/+1
* | Turn non-constant constants error into warning.chriseth2017-03-151-2/+4
* | Disallow constants that are neither value types nor strings.chriseth2017-03-131-2/+18
* | Type checking for pure expressions.chriseth2017-03-131-10/+20
* | Some new tests for constant variables.chriseth2017-03-131-0/+50
* | Merge pull request #1751 from ethereum/warnLiteralExpBaseYoichi Hirai2017-03-111-0/+30
|\ \ | |/ |/|
| * Tests for warning about literal constant base in exponentition.chriseth2017-03-071-0/+30
* | Merge pull request #1747 from ethereum/fixICEInternalConstructorYoichi Hirai2017-03-091-0/+18
|\ \
| * | Test for trying to construct an inconstructible contract before its definition.chriseth2017-03-061-0/+18
| |/
* | Tests for no compound assignment for tuples.chriseth2017-03-081-0/+12
* | Merge pull request #1733 from ethereum/selfReferentialConstantchriseth2017-03-071-8/+41
|\ \
| * | Check for circular references in constant variables.chriseth2017-03-061-8/+13
| * | Tests for cyclic dependencies between constants.chriseth2017-03-061-0/+28
| |/
* / Test for uninitialized mapping.chriseth2017-03-061-0/+24
|/
* Test for declaring variable with empty tuple type.chriseth2017-03-021-0/+13
* Test case for external function type with calldata argument.chriseth2017-03-011-0/+17
* Add type checking test for address methodsAlex Beregszaszi2017-02-241-0/+18
* Test for unbalanced stack due to loading two values from outside.chriseth2017-02-201-0/+13
* Test case.chriseth2017-02-161-0/+16
* Extract scopes into compiler stack.chriseth2017-02-141-1/+2
* Refactor NameAndTypeResolver and SyntaxChecker to allow other entry points.chriseth2017-02-141-1/+1
* Disallow arrays with negative lengthAlex Beregszaszi2017-02-021-0/+10
* Cover both failure casesAlex Beregszaszi2017-02-021-1/+13
* Add more tests for function type conversionAlex Beregszaszi2017-02-011-1/+13
* Add tests for explicity fuction type to address castingAlex Beregszaszi2017-02-011-0/+12
* Refactor json return type generation.chriseth2017-01-271-11/+11
* Warn about invalid checksums of addresses.chriseth2017-01-251-0/+49
* Merge pull request #1245 from ethereum/1215chriseth2017-01-241-0/+58
|\
| * test: add tests about functions and events of the same nameYoichi Hirai2017-01-231-0/+47
| * test: Add a test for #1215Yoichi Hirai2017-01-231-0/+11
* | Add tests for internal constructor.chriseth2017-01-211-0/+26
|/
* test: allow multiple errors in modifier-function overridingYoichi Hirai2017-01-121-2/+6
* analysis: allow some shadowings explicitlyYoichi Hirai2017-01-121-2/+21
* Improve error message when trying to modify constant variablesFederico Bond2016-12-131-0/+11
* Warn about using msg.value in non-payable functionFederico Bond2016-12-091-1/+89
* Merge pull request #1412 from ethereum/disallow-multiple-errorschriseth2016-12-081-25/+113
|\
| * test: either fix tests to raise just one error, or mark them as raising multi...Yoichi Hirai2016-12-051-32/+112
| * test: disallow more than one errors in name and type testsYoichi Hirai2016-12-051-0/+8
* | test: check error messages in parser testsYoichi Hirai2016-12-071-1/+1
|/
* Migrate remaining source code in tests to R literalsFederico Bond2016-12-041-343/+477
* Merge pull request #1462 from ethereum/fix-incorrect-assertionchriseth2016-12-011-1/+1
|\
| * test: more precise expectation about the error for assigning into storage in ...Yoichi Hirai2016-12-011-1/+1
* | test: change retrieveFunctionBySignature to take a constant reference rather ...Yoichi Hirai2016-12-011-7/+7
|/
* test: add a test about explicitly converting a string literal to stringYoichi Hirai2016-11-251-1/+11
* ast: string literals that are not valid UTF are not convertible to stringsYoichi Hirai2016-11-251-1/+1
* test: add a test case converting an invalid UTF-8 into a stringYoichi Hirai2016-11-251-0/+10
* test: various fixesYoichi Hirai2016-11-251-22/+22
* interface: move searchForSubstring out of Error class into a separate fileYoichi Hirai2016-11-241-2/+3
* interface: fix the substring searchYoichi Hirai2016-11-241-2/+2
* test: wrapping the error message checking in a macroYoichi Hirai2016-11-241-272/+294
* test: check the error textsYoichi Hirai2016-11-241-188/+188
* Merge pull request #1425 from ethereum/fixLicensingchriseth2016-11-231-4/+4
|\
| * Fix licensing headersVoR02202016-11-231-4/+4
* | test: add a test case about returning a struct in memory from a libraryYoichi Hirai2016-11-231-0/+11
|/
* test: add a test about external function type taking/returning internal funct...Yoichi Hirai2016-11-161-0/+20
* Disallow payable internal functions.chriseth2016-11-161-0/+36
* delete for function typeschriseth2016-11-161-0/+45
* Tests.chriseth2016-11-161-0/+18
* Fix some type checks and tests for internal / external function parameters.chriseth2016-11-161-4/+28
* Code generator for function types.chriseth2016-11-161-0/+33
* Function types.chriseth2016-11-161-0/+49
* test: add a test conerting an enum into another enum, which should failYoichi Hirai2016-11-121-0/+15
* Fail if parsing fails in type checker tests.chriseth2016-11-091-1/+1
* test: fix a typo in calling_payable testYoichi Hirai2016-11-091-2/+2
* Add tests for #1246Yoichi Hirai2016-10-251-0/+16
* Merge pull request #1264 from ethereum/988chriseth2016-10-251-0/+13
|\
| * test: add tests from #988Yoichi Hirai2016-10-241-0/+13
* | Test.chriseth2016-10-241-3/+16
|/
* Fix crash in throw.chriseth2016-10-241-0/+12
* Merge pull request #1240 from ethereum/1151chriseth2016-10-241-0/+17
|\
| * Add a test for #1151Yoichi Hirai2016-10-201-0/+17
* | test: add a test about accessing an enum member without the name of the enumYoichi Hirai2016-10-211-0/+15
* | test: add tests for #1131Yoichi Hirai2016-10-211-0/+17
* | Add tests for inline assembly in modifiersAlex Beregszaszi2016-10-211-0/+51
* | Add two test cases for unbalanced inline assemblyAlex Beregszaszi2016-10-201-0/+28
|/
* Add tests for constant shiftsAlex Beregszaszi2016-10-201-0/+40
* Add test case for bound types without selfAlex Beregszaszi2016-10-191-0/+19
* Rename dev::sha3 to dev::keccak256Alex Beregszaszi2016-10-061-1/+1
* Fix crash for TypeName[k].chriseth2016-09-161-0/+10
* Tests for constructor visibilityAlex Beregszaszi2016-09-061-0/+10
* Tests for constant constructorsAlex Beregszaszi2016-09-061-0/+11
* Reject constant modifier on the fallback functionAlex Beregszaszi2016-09-061-0/+11
* Tests for payable / private combination.chriseth2016-09-061-0/+20
* Make constant and payable mutually exclusive.chriseth2016-09-061-0/+8
* Change function type to include and propagate payable and constant modifier.chriseth2016-09-061-1/+17
* Merged in changes from chriseth/payableAlex Beregszaszi2016-09-061-1/+63
* Require ";" after "_"chriseth2016-09-051-13/+13
* Fix version pragmas in tests.chriseth2016-09-011-1/+1
* Version pragma.chriseth2016-09-011-16/+35
* Test cases.chriseth2016-08-301-0/+10
* Disallow fallback function to return values.chriseth2016-08-261-0/+10
* Fix tests.chriseth2016-08-171-10/+10
* Require modifiers to contain "_".chriseth2016-08-161-0/+10
* Only warn about unused return in low-level functions.chriseth2016-06-261-1/+49
* Warn about unused return values.chriseth2016-06-261-0/+25
* Tests for implementation by constructor.chriseth2016-06-071-0/+15
* Inaccessible dynamic typeschriseth2016-06-021-0/+2
* Tests for invalid cleanup and missing bool conversion code.chriseth2016-05-201-0/+12
* explicit conversion and loosening of binary operations on integer and fixed p...VoR02202016-05-191-2/+1
* current debugging infoVoR02202016-05-191-0/+39
* Correctly handle unexpected exceptions during tests.chriseth2016-05-111-2/+34
* reorganized tests and fixed mobile types and implicit conversions of rational...VoR02202016-05-101-82/+125
* updated algorithm for bit finding...now to figure out literal valueVoR02202016-05-101-4/+3
* added bytes conversion tests, resolved that, converted to binary scaling, ref...VoR02202016-05-101-24/+62
* fixing modulus and Solidity Name and Type ResolutionVoR02202016-05-101-272/+0
* currently what we haveVoR02202016-05-101-1/+1
* got exponents up and working with their inverse, changed a few of the tests.....RJ Catalano2016-05-101-41/+131
* fixed problem with var...probably a conversion problem for fixed in size capa...RJ Catalano2016-05-101-2/+70
* fix for token bug, also quick fix for the wei and secondsRJ Catalano2016-05-101-1/+1
* Rational implemented...trying to figure out exponentialRJ Catalano2016-05-101-2/+30
* initial work for fixed types...potentially needing a constant literal type fo...RJ Catalano2016-05-101-31/+406
* Modify failing test: Accessor functions are not available anymore in libraries.chriseth2016-05-041-2/+1
* Some more tests.chriseth2016-05-041-0/+14
* Remove log.h from solidity.chriseth2016-04-121-1/+0
* added solidity invalid fixed type testVoR02202016-03-311-0/+12
* Fixed Windows warningsBob Summerwill2016-03-181-1/+1
* added keyword type and some tests, changes in lexical castRJ Catalano2016-03-121-0/+13
* BREAKING: Implement delegatecall and make default for library calls.chriseth2016-03-121-0/+13
* further optimization, splitting function into piecesRJ Catalano2016-02-191-0/+25
* added two functions in Token to handle long identifiers, redid fromIdentifier...RJ Catalano2016-02-191-101/+113
* tests added and changes madeRJ Catalano2016-02-191-101/+131
* changes to redefine the token list, the scanner, and the parser and how they ...RJ Catalano2016-02-191-108/+109
* Test for segfault when using wrong number of constructor arguments.chriseth2016-02-121-0/+15
* Index access for bytesXX.chriseth2016-02-101-0/+13
* cond-expr: add more unit testsLu Guanqun2016-01-231-0/+150
* [cond-expr] don't allow conditional as left value for the first stageLu Guanqun2016-01-231-2/+4
* [cond-expr] add test cases for type resolutionLu Guanqun2016-01-231-0/+24
* Merge pull request #356 from guanqun/break-not-in-loopchriseth2016-01-211-0/+46
|\
| * add another test case for continue not in loopLu Guanqun2016-01-191-0/+15
| * check whether break/continue is in the loopLu Guanqun2016-01-151-0/+31
* | Update SolidityNameAndTypeResolution.cppLiana Husikyan2016-01-161-1/+0
* | Update SolidityNameAndTypeResolution.cppLiana Husikyan2016-01-161-1/+0
* | fixed assert on EI creation for structs containing only mapping or arraysLianaHus2016-01-161-0/+13
|/
* clarification on dynamic arrays, switcheroo on typepointer, and a documentati...RJ Catalano2016-01-121-2/+2
* added documentation and one last test for struct creation inlineRJ Catalano2016-01-121-0/+16
* final changes to typechecker, the expression compiler, and a couple more test...RJ Catalano2016-01-121-0/+25
* Update SolidityNameAndTypeResolution.cppRJ2016-01-111-1/+0
* Update with type resolution tests for arraysRJ2016-01-101-8/+76
* Merge pull request #308 from chriseth/fixoverloadbugchriseth2015-12-211-0/+11
|\
| * Fix bug preventing overloads of different array types.chriseth2015-12-181-0/+11
* | Add structs and enums to contract types.chriseth2015-12-181-0/+15
|/
* forgot about this one...again making this purely about parsing...typechecking...RJ Catalano2015-12-171-2/+2
* making this purely about parsing...type checking will go in a different PRRJ Catalano2015-12-171-2/+2
* new testsRJ Catalano2015-12-161-0/+26
* Also check the object type for bound functions.chriseth2015-11-291-0/+45
* Add bound functions to types.chriseth2015-11-291-0/+93
* Added the `using x for y` directive.chriseth2015-11-271-0/+22
* Type checking for creating new arrays.chriseth2015-11-261-1/+37
* Allow "new expressions" also for general type names.chriseth2015-11-261-0/+18
* Fix segfault during test.chriseth2015-11-161-1/+1
* style fixesLianaHus2015-11-071-2/+2
* fixed test frameworkLianaHus2015-11-071-17/+20
* File reorganisation.chriseth2015-10-211-6/+6
* Correctly parse ambiguities like `A.B[10] x` and `x.y[10] = 3`.chriseth2015-10-161-0/+21
* Some fixes taking other pull requests into account.chriseth2015-10-161-8/+4
* Tuple expressions.chriseth2015-10-151-0/+27
* renaming in test frameworkLianaHus2015-10-151-195/+195
* mainly style fixes/renamingLianaHus2015-10-151-81/+91
* fixLianaHus2015-10-151-2/+0
* fixed new testsLianaHus2015-10-151-22/+14
* errors instead of exceptionsLianaHus2015-10-151-144/+136
* Some further test fixes.chriseth2015-10-131-1/+2
* Some more tests and typos fixed.chriseth2015-10-131-0/+25
* Multi-variable declarations.chriseth2015-10-131-0/+59
* Introduced tuple type and added multi variable declarations to typechriseth2015-10-101-2/+2
* Tests for multi variable declaration.chriseth2015-10-091-0/+8
* Check invalid integer constants for functions accepting arbitrary arguments.chriseth2015-10-081-2/+13
* Resolve binary dependencies properly.chriseth2015-10-071-0/+20
* Allow four indexed arguments for anynomous events.chriseth2015-10-071-0/+18
* Compute canonical names of types for function signatures.chriseth2015-10-061-5/+5
* Report warning in tests if requested.chriseth2015-10-031-13/+11
* -fixed the warning printingLianaHus2015-10-021-3/+3
* added warning for noninitialized references in storage.LianaHus2015-10-021-9/+23
* added testLianaHus2015-10-021-0/+18
* Test that literal strings cannot be assigned to storage pointers.chriseth2015-09-231-0/+10
* Refactoring: Check types outside of AST and recover from some errors.chriseth2015-09-221-210/+251
* style fixLianaHus2015-09-151-6/+6
* moved the testLianaHus2015-09-151-1/+14
* Merge pull request #66 from chriseth/sol_librarieschriseth2015-09-121-0/+49
|\
| * Possibility to call library functions.chriseth2015-09-111-0/+16
| * Parsing and type checking of libraries without inheritance.chriseth2015-09-111-0/+33
* | Merge pull request #69 from LianaHus/sol_enum_too_many_indexed_argschriseth2015-09-111-1/+0
|\ \ | |/ |/|
| * add call for EventDefinition::checkTypeRequirements()LianaHus2015-09-111-1/+0
* | style fixesLianaHus2015-09-111-1/+1
* | added type check if the type of the var decl is one of base contract typeLianaHus2015-09-101-0/+12
|/
* renamed getter functionsLianaHus2015-09-081-27/+27
* Move Solidity tests.chriseth2015-08-201-0/+2201