aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity
Commit message (Collapse)AuthorAgeFilesLines
* Fixes for invalid cleanups for small types.chriseth2016-05-204-23/+15
|
* Merge pull request #565 from VoR0220/fixedDataTypechriseth2016-05-201-14/+28
|\ | | | | Fixed data typename fixes and documentation
| * updated docsVoR02202016-05-191-4/+13
| | | | | | | | | | | | types reference
| * explicit conversion and loosening of binary operations on integer and fixed ↵VoR02202016-05-191-24/+11
| | | | | | | | | | | | point types...still other problems fixed some spaces and deleted lines from failing test
| * current debugging infoVoR02202016-05-191-2/+20
| |
* | Refactor compiler to avoid weird swap of contextschriseth2016-05-204-871/+999
|/
* Merge pull request #545 from chriseth/accessFunLabelschriseth2016-05-184-19/+30
|\ | | | | Allow access to functions in inline assembly.
| * Allow access to functions in inline assembly.chriseth2016-05-124-19/+30
| |
* | fix: error: call of overloaded ‘list(int, <brace-enclosed initializer ↵moneroexample2016-05-171-1/+1
|/ | | | | | | | | | | | | | | | list>)’ Issue: https://github.com/ethereum/solidity/issues/574 Compilation of webthree-umbrella on Arch with gcc 6.1 results in the following error: /home/mwo/webthree-umbrella/solidity/libsolidity/analysis/NameAndTypeResolver.cpp:299:51: error: call of overloaded ‘list(int, <brace-enclosed initializer list>)’ is ambiguous list<list<ContractDefinition const*>> input(1, {}); This can be overcome by explicitly specifying initial value, for example: list<list<ContractDefinition const*>> input(1, list<ContractDefinition const*>{})
* Remove unused tests and add asserts for not implemented parts in code ↵chriseth2016-05-116-15/+19
| | | | | | | | | | | | generation. quick fix on christian's rational change so that ubuntu will stop yelling be more specific with rational declaration for Windows sake rational in namespace correction for windows
* Simplify interface of RationalNumber.chriseth2016-05-115-24/+25
|
* Special case for moving sign bit to fractional part.chriseth2016-05-111-5/+10
|
* Cleanup.chriseth2016-05-111-14/+19
|
* Disallow explicit fixed->enum, but allow bytes->fixed.chriseth2016-05-111-1/+1
|
* Some cleanup.chriseth2016-05-112-60/+32
|
* Replace "unsigned int" by "unsigned".chriseth2016-05-111-9/+9
|
* Prefer mobileType() to check rational range.chriseth2016-05-113-26/+23
|
* reorganized tests and fixed mobile types and implicit conversions of ↵VoR02202016-05-102-99/+138
| | | | | | | | rationals and fixed point types one final tweak check for null types
* updated algorithm for bit finding...now to figure out literal valueVoR02202016-05-105-140/+100
| | | | | | | | | | | | tiny fixups changed location of the check got rid of extra space and fixed a couple of things added binary results bits change back literal value
* changed algorithm for finding bitsVoR02202016-05-101-29/+37
|
* much better way of doing modulusVoR02202016-05-101-8/+2
|
* added bytes conversion tests, resolved that, converted to binary scaling, ↵VoR02202016-05-103-61/+69
| | | | | | | | | | | | refactored the find algo to prevent large numbers and take into account integer bytes think we're good on solidity type name resolution now removed couts updates to documentation and more removed couts along with literal value implementation forgot semicolons
* fixing modulus and Solidity Name and Type ResolutionVoR02202016-05-103-12/+10
| | | | | | minor fixes current attempts at binary fixup
* rational renamingVoR02202016-05-102-4/+4
|
* changed names for Rational Constants and categoriesVoR02202016-05-106-49/+53
|
* currently what we haveVoR02202016-05-101-4/+8
|
* got exponents up and working with their inverse, changed a few of the ↵RJ Catalano2016-05-104-52/+53
| | | | | | | | | | | | | | | | | | | | | | | | | | | | tests....something is working that likely shouldn't be slight changes to how to flip the rational negative around...still trying to figure it out tests added updated tests odd differences in trying soltest from solc binary, let me know if you can replicate test not working for odd reason fixed test problem with fixed literals...still need a way to log this error broken up the tests, added some, changed some things in types and began compiler work moar tests and prepping for rebuilding much of the types.cpp file further fixing infinite loop still happening but it's somewhere in the fixedPoint methodd fractional bits needed algo improved! Eliminated 2 errors Corrected problems with the previous commit. No infinite loops. Actually appear to have corrected an error
* size capabilities functioning properly for fixed typesRJ Catalano2016-05-101-9/+4
|
* fixed problem with var...probably a conversion problem for fixed in size ↵RJ Catalano2016-05-102-3/+3
| | | | | | | | capabilities adding fixed type tests Removing bitshift and regrouping fixed type tests together
* 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-52/+15
|
* initial work for fixed types...potentially needing a constant literal type ↵RJ Catalano2016-05-1010-104/+535
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | for this notation Rational implemented...trying to figure out exponential fix for token bug, also quick fix for the wei and seconds fixed problem with var...probably a conversion problem for fixed in size capabilities adding fixed type tests Removing bitshift and regrouping fixed type tests together size capabilities functioning properly for fixed types got exponents up and working with their inverse, changed a few of the tests....something is working that likely shouldn't be slight changes to how to flip the rational negative around...still trying to figure it out tests added updated tests odd differences in trying soltest from solc binary, let me know if you can replicate test not working for odd reason fixed test problem with fixed literals...still need a way to log this error broken up the tests, added some, changed some things in types and began compiler work moar tests and prepping for rebuilding much of the types.cpp file further fixing initial work for fixed types...potentially needing a constant literal type for this
* Allow calling internal functions of libraries.chriseth2016-05-044-59/+116
| | | | | | | | | | | | Internal functions of libraries can be called as if the library were a base contract of the calling contract. As the calling convention for internal functions is to not create a new call context, the code of these functions will be pulled into the context of the caller, duplicating their code. This might pull in code of further internal or even private functions. The use case for such functions is to allow libraries which can operate on memory types such that these types can also be modified in place.
* Remove non-determinism in missing code queue.chriseth2016-05-034-37/+95
|
* Windows fix.chriseth2016-04-211-1/+1
|
* Source location for inline assembly.chriseth2016-04-207-69/+149
|
* Bugfix: static arrays in constructor argumentschriseth2016-04-161-1/+1
|
* Fix for bug about deleting dynamic array of structs.chriseth2016-04-151-1/+1
|
* Merge pull request #496 from chriseth/removelogBob Summerwill2016-04-124-3/+1
|\ | | | | Remove log.h from solidity.
| * Remove log.h from solidity.chriseth2016-04-124-3/+1
| |
* | Make solidity independent from ethcore.chriseth2016-04-074-14/+8
|/
* Merge pull request #475 from chriseth/byteasmchriseth2016-04-061-0/+4
|\ | | | | Allow "byte" in inline assembly.
| * Allow "byte" in inline assembly.chriseth2016-04-061-0/+4
| |
* | reduce unnecessary solidity:: namespaceDimitry2016-04-049-539/+539
| |
* | return instructionInfo styleDimitry2016-04-041-2/+2
| |
* | enable solidity testDimitry2016-04-041-1/+1
| |
* | rename namespace for instruction.h/cpp in libevmasmDimitry2016-04-0212-557/+557
| |
* | move libevmcore to solidityDimitry2016-04-028-8/+8
|/
* Merge pull request #470 from chriseth/redundancyBob Summerwill2016-04-012-32/+34
|\ | | | | Remove code duplication in source references formatter.
| * Remove code duplication in source references formatter.chriseth2016-04-012-32/+34
| |
* | Merge pull request #457 from VoR0220/tokenNameAndStringFixchriseth2016-04-014-29/+80
|\ \ | |/ |/| Fix for Token::name and token::toString
| * readding conditionals but with slight changesVoR02202016-04-011-3/+2
| |
| * solAsserts added and some changes rolled back.VoR02202016-03-312-2/+3
| |
| * helper function in scanner and corresponding edits to parserBaseVoR02202016-03-313-12/+13
| |
| * Got it working exactly like you wanted ;)VoR02202016-03-312-25/+76
| |
| * change lexical cast to unsigned intVoR02202016-03-311-1/+1
| |
| * Fix for Token::name and token::toStringVoR02202016-03-311-4/+3
| |
* | Merge pull request #465 from chriseth/fixindexaccessBob Summerwill2016-04-011-0/+2
|\ \ | | | | | | Clean higher order bits before array index access.
| * | Correctly clean higher order bits for index access.chriseth2016-03-311-0/+2
| |/
* / Do not use source reference if it is empty.chriseth2016-03-311-3/+8
|/
* Code generation (missing external access and source locations).chriseth2016-03-3018-84/+719
|
* Parsing for inline assembly.chriseth2016-03-3015-6/+432
|
* Move libevmasm and lll.chriseth2016-03-241-1/+1
|
* Fixed Windows warningsBob Summerwill2016-03-182-2/+3
|
* Remove timestamp again and some fixes for ufixed parsing.chriseth2016-03-122-15/+18
|
* Do not allow value for delegatecall functions.chriseth2016-03-121-1/+1
|
* added keyword type and some tests, changes in lexical castRJ Catalano2016-03-122-11/+12
|
* stylistic change, and got lexical cast to work with an iterator rangeRJ Catalano2016-03-122-5/+6
|
* - inline and assembly keywords addedLianaHus2016-03-127-15/+17
| | | | - some style fixes
* changed documentation and using lexical castRJ Catalano2016-03-122-11/+3
|
* changed extractUnsigned to handle iterators rather than a stringRJ Catalano2016-03-122-5/+5
|
* changed 1 to 0 in invalid argument catch blockRJ Catalano2016-03-122-2/+2
|
* needed this one string of notationRJ Catalano2016-03-121-0/+1
|
* added from identifier or keyword handling of fixed typesRJ Catalano2016-03-122-6/+37
|
* fixed keyword added in for token typeRJ Catalano2016-03-121-2/+4
|
* BREAKING: Implement delegatecall and make default for library calls.chriseth2016-03-126-43/+51
|
* Buildfix.chriseth2016-02-231-3/+1
|
* Move reusable parser components into base class.chriseth2016-02-234-100/+183
|
* further optimization, splitting function into piecesRJ Catalano2016-02-193-16/+20
| | | | generating strings on the fly, changed name, and added two tests
* added const correctness to extract functions in TokenRJ Catalano2016-02-194-113/+50
| | | | | | | | | | optimizations added in more elegant solution created for m declaration ubuntu wants to get rid of 0 <= first statement...so I will change returnToken to token
* added two functions in Token to handle long identifiers, redid ↵RJ Catalano2016-02-196-58/+142
| | | | fromIdentifierOrKeyword, and made complementary changes in scanner and parser
* tests added and changes madeRJ Catalano2016-02-195-76/+84
| | | | | | fixed some silly problems in Token.cpp windows error fix
* changes to redefine the token list, the scanner, and the parser and how they ↵RJ Catalano2016-02-1911-176/+166
| | | | | | | | pass around variable types of different sizes not ready for change to FixedPoint just yet made this more const correct and added a switch statement for easier reading
* style fixesLianaHus2016-02-181-12/+14
|
* Fix segfault when using wrong number of constructor arguments.chriseth2016-02-121-0/+3
|
* Index access for bytesXX.chriseth2016-02-104-0/+50
|
* Fix uint178 problem.chriseth2016-01-261-2/+2
|
* cond-expr: use the mobile type instead of the original typeLu Guanqun2016-01-231-12/+3
|
* [cond-expr] change the end to end testLu Guanqun2016-01-231-2/+6
|
* [cond-expr] add a test for different typesLu Guanqun2016-01-231-1/+1
|
* [cond-expr] add a test to assign memory to storageLu Guanqun2016-01-231-2/+6
|
* [cond-expr] don't allow conditional as left value for the first stageLu Guanqun2016-01-231-43/+25
|
* [cond-expr] fixup according to code reviewLu Guanqun2016-01-233-4/+11
|
* [cond-expr] change endVisit() to visit()Lu Guanqun2016-01-232-30/+41
|
* [cond-expr] make the codegen one instruction lessLu Guanqun2016-01-231-5/+4
|
* [cond-expr] fix the crash in ExpressionStatementLu Guanqun2016-01-231-0/+5
|
* [cond-expr] support conditional expression as lvalueLu Guanqun2016-01-231-0/+8
|
* [cond-expr] generate assembly for _ ? _ : _Lu Guanqun2016-01-232-0/+16
|
* [cond-expr] add type checkerLu Guanqun2016-01-232-0/+28
|
* [cond-expr] parse _ ? _ : _ into conditional AST nodeLu Guanqun2016-01-231-6/+19
|
* [cond-expr] add visitor related functionsLu Guanqun2016-01-235-0/+32
|
* [cond-expr] add an AST nodeLu Guanqun2016-01-233-0/+50
|
* Merge pull request #356 from guanqun/break-not-in-loopchriseth2016-01-215-0/+151
|\ | | | | check whether break/continue is in the loop
| * remove the unused lineLu Guanqun2016-01-191-1/+0
| |
| * add another test case for continue not in loopLu Guanqun2016-01-191-4/+4
| |
| * code changes according to Chris's commentsLu Guanqun2016-01-193-20/+16
| |
| * check whether break/continue is in the loopLu Guanqun2016-01-156-0/+156
| |
* | Merge pull request #351 from chriseth/autoloadchriseth2016-01-192-31/+76
|\ \ | | | | | | Automatically load imported files in solc.
| * | Build fix for MacOS.chriseth2016-01-141-1/+1
| | |
| * | Autoload files in solc.chriseth2016-01-122-31/+76
| | |
* | | Merge pull request #347 from chriseth/libraryNameClasheschriseth2016-01-183-2/+37
|\ \ \ | | | | | | | | Detect library name clashes
| * | | Set error flag to true.chriseth2016-01-141-0/+1
| | | |
| * | | Detect library name clashes.chriseth2016-01-143-2/+36
| | | |
* | | | Merge pull request #359 from LianaHus/sol_only_one_array_as_state_varchriseth2016-01-182-6/+14
|\ \ \ \ | | | | | | | | | | fixed ICError when creating EI for structs containing only mapping or arrays
| * | | | Update TypeChecker.cppLiana Husikyan2016-01-161-0/+2
| | | | |
| * | | | fixed assert on EI creation for structs containing only mapping or arraysLianaHus2016-01-162-6/+12
| |/ / /
* / / / Remove unnecesary std::movePaweł Bylica2016-01-151-1/+1
|/ / /
* | | Merge pull request #346 from chriseth/importAliaseschriseth2016-01-143-16/+56
|\ \ \ | |_|/ |/| | Allow aliases during import.
| * | Allow aliases during import.chriseth2016-01-113-16/+56
| |/
* | clarification on dynamic arrays, switcheroo on typepointer, and a ↵RJ Catalano2016-01-121-1/+1
| | | | | | | | documentation test added
* | Merge branch 'develop' of https://github.com/ethereum/solidity into developRJ Catalano2016-01-121-0/+3
|\|
| * Fixed a crash during type checking.chriseth2016-01-081-0/+3
| |
* | final changes to typechecker, the expression compiler, and a couple more ↵RJ Catalano2016-01-122-23/+32
| | | | | | | | tests for good measure
* | Update ExpressionCompiler.cppRJ2016-01-111-14/+16
| |
* | Update ExpressionCompiler.cppRJ2016-01-111-4/+2
| |
* | Update ExpressionCompiler.cppRJ2016-01-101-17/+39
| |
* | find common typeRJ2016-01-101-2/+11
|/
* Merge pull request #338 from guanqun/add_parenchriseth2016-01-052-2/+10
|\ | | | | support syntax "(x) = 3"
| * support decayed tuple expression as left valueLu Guanqun2016-01-042-2/+10
| |
* | Merge pull request #317 from chriseth/pathsEverywherechriseth2016-01-045-23/+26
|\ \ | |/ |/| Use paths instead of simple identifiers wherever possible.
| * Use paths instead of simple identifiers wherever possible.chriseth2015-12-225-23/+26
| |
* | Merge pull request #308 from chriseth/fixoverloadbugchriseth2015-12-211-0/+2
|\ \ | | | | | | Fix bug preventing overloads of different array types.
| * | Fix bug preventing overloads of different array types.chriseth2015-12-181-0/+2
| | |
* | | Merge pull request #309 from chriseth/fix_cross_contract_enum_accesschriseth2015-12-212-14/+29
|\ \ \ | |_|/ |/| | Add structs and enums to contract types.
| * | Add structs and enums to contract types.chriseth2015-12-182-14/+29
| |/
* | Merge pull request #311 from guanqun/correct-boolean-literal-positionchriseth2015-12-191-0/+1
|\ \ | |/ |/| correct true/false literal's source
| * correct true/false literal's sourceLu Guanqun2015-12-181-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Before: Literal, token: true value: true Type: bool Source: "true;" After: Literal, token: true value: true Type: bool Source: "true" Extra token is removed.
* | Simple aliasing during import.chriseth2015-12-189-52/+140
| |
* | Parse complex import directives.chriseth2015-12-186-28/+93
| |
* | changed error messageRJ Catalano2015-12-171-1/+1
| |
* | updated tests and much simpler algorithm for parsing errorsRJ Catalano2015-12-171-7/+6
| |
* | added one more test and realized that there was one last change before the ↵RJ Catalano2015-12-171-1/+1
| | | | | | | | parser is perfect
* | Parsing is completeRJ Catalano2015-12-171-3/+3
| |
* | changed a couple of small nuances, made an attempt at fixing the parsing in ↵RJ Catalano2015-12-172-12/+8
| | | | | | | | the inline arrays case (fails), and added test for inline arrays per Chriseth request
* | temporary assert addedRJ Catalano2015-12-171-0/+1
| |
* | still not able to get types resolved, however it is compilingRJ Catalano2015-12-161-2/+9
| |
* | new testsRJ Catalano2015-12-161-1/+0
| |
* | now is compiling and passing soltest...but I think there may be a few more ↵RJ Catalano2015-12-162-5/+9
| | | | | | | | things to do
* | fixed case statementsRJ Catalano2015-12-162-1/+3
| |
* | changing Tuple ConstructorRJ Catalano2015-12-161-2/+5
| |
* | updated attempt...still a bit more work to do but here's what's currentRJ Catalano2015-12-162-2/+4
|\ \
| * | Inline array declarations completeRJ Catalano2015-12-152-2/+42
| |/
* | updated attempt, a couple of more things to sort through and changeRJ Catalano2015-12-161-4/+6
| |
* | Merge pull request #288 from chriseth/import_contextschriseth2015-12-1510-66/+172
|\ \ | |/ |/| Do not clutter importee when importing.
| * Style.chriseth2015-12-151-4/+4
| |
| * Relative paths in import directives.chriseth2015-12-106-9/+50
| |
| * Source units are independent scopes.chriseth2015-12-107-46/+105
| |
| * Bugfix concerning pointers to moved data.chriseth2015-12-082-21/+27
| |
* | Merge pull request #289 from chriseth/fix_base_constructor_paramschriseth2015-12-101-0/+3
|\ \ | | | | | | Fix: Type checker crash for wrong number of base constructor arguments.
| * | Fix: Type checker crash for wrong number of base constructor arguments.chriseth2015-12-101-0/+3
| |/
* / Fix: Segfaults connected to paramater types.chriseth2015-12-102-4/+4
|/ | | | parameterTypes does not return by const reference anymore.
* Code generation for calling bound methods.chriseth2015-12-012-4/+41
|
* Merge pull request #261 from chriseth/datalocchriseth2015-12-011-20/+24
|\ | | | | Bugfix for explicit memory types in libraries.
| * Bugfix for explicit memory types in libraries.chriseth2015-12-011-20/+24
| |
* | Simplify and optimise stack rotation.chriseth2015-12-012-8/+27
|/
* Merge pull request #251 from chriseth/bind2chriseth2015-11-3014-292/+430
|\ | | | | Bind library functions to types.
| * Also check the object type for bound functions.chriseth2015-11-294-9/+23
| |
| * Add bound functions to types.chriseth2015-11-295-204/+260
| |
| * Added the `using x for y` directive.chriseth2015-11-278-3/+87
| |
| * Resolve type names using regular AST visit.chriseth2015-11-272-82/+66
| |
* | Merge pull request #256 from chriseth/selfdestructchriseth2015-11-303-3/+5
|\ \ | | | | | | Introduce selfdestruct alias for suicide.
| * | Introduce selfdestruct alias for suicide.chriseth2015-11-293-3/+5
| |/
* / Bugfix for constructor unpacking with fixed-size arrays.chriseth2015-11-291-5/+13
|/
* Convert filter to template function.chriseth2015-11-272-60/+20
|
* Invalidate cached members if scope changes.chriseth2015-11-262-1/+3
|
* Do not store elements of a contract by AST node type.chriseth2015-11-2613-144/+133
|
* Make members context-sensitive.chriseth2015-11-2614-79/+71
|
* Fix MSVC errors and warnings.chriseth2015-11-264-6/+7
|
* Make some functions const.chriseth2015-11-262-4/+4
|
* Code generation for creating arrays.chriseth2015-11-263-9/+67
|
* Type checking for creating new arrays.chriseth2015-11-264-6/+30
|
* Allow "new expressions" also for general type names.chriseth2015-11-267-34/+56
| | | | | | | Breaking change: If you want to send value with a contract creation, you have to use parentheses now: `(new ContractName).value(2 ether)(arg1, arg2)`
* Fix solidity dependencies.chriseth2015-11-261-1/+1
|
* Style.chriseth2015-11-251-1/+2
|
* Again some why3 fixes with regards to separators in blocks.chriseth2015-11-252-26/+34
|
* Merge pull request #245 from chriseth/buildfixeschriseth2015-11-251-1/+1
|\ | | | | Build dependency fixes.
| * Build dependency fixes.chriseth2015-11-241-1/+1
| |
* | Merge pull request #244 from chriseth/fix_stringAllocchriseth2015-11-246-14/+8
|\ \ | |/ |/| Fix for memory allocation bug.
| * Fixed string inside struct allocation bug.chriseth2015-11-246-14/+8
| |
* | Merge pull request #241 from chriseth/why3VariablesInConditionschriseth2015-11-242-18/+114
|\ \ | |/ |/| Why3 variables in conditions
| * Style.chriseth2015-11-231-2/+5
| |
| * addmod and mulmod for why3.chriseth2015-11-231-17/+36
| |
| * Why3: Direct references to variables using `#`.chriseth2015-11-232-1/+75
| |
* | Merge pull request #236 from ethereum/hot_gavGav Wood2015-11-233-9/+10
|\ \ | |/ |/| Fix up for new API from EIP-1.1.
| * Fix up for new API from EIP-1.1.Gav Wood2015-11-213-9/+10
| |
* | Merge pull request #229 from chriseth/fv_storage_typeschriseth2015-11-192-20/+70
|\ \ | | | | | | Formal Verification: State variables.
| * | Formal Verification: State variables.chriseth2015-11-192-20/+70
| | |
* | | Merge pull request #227 from chriseth/addmodchriseth2015-11-193-0/+20
|\ \ \ | | | | | | | | Addmod and mulmod.
| * | | Addmod and mulmod.chriseth2015-11-193-0/+20
| |/ /
* | | Merge pull request #204 from ethereum/hot_gavGav Wood2015-11-191-2/+4
|\ \ \ | |/ / |/| / | |/ The Big Refactor
| * Minor API change - must provide SealEngine to Executive now.Gav Wood2015-11-191-2/+4
| |
* | Merge pull request #218 from chriseth/fix_overwriteMemorychriseth2015-11-171-3/+13
|\ \ | | | | | | Fix memory overwrite problem for arrays.
| * | Fix memory overwrite problem for arrays.chriseth2015-11-171-3/+13
| | |
* | | Fix dynamic indexed event arguments - applies sha3.chriseth2015-11-171-5/+18
|/ /
* | Fix problems with statement blocks.chriseth2015-11-113-21/+48
| |
* | style fixLianaHus2015-11-072-12/+14
| |
* | style fixesLianaHus2015-11-073-25/+26
| |
* | fixed test frameworkLianaHus2015-11-072-10/+8
| |
* | fixLianaHus2015-11-073-35/+60
| |
* | fixed return valu for resolverLianaHus2015-11-072-5/+5
| |
* | added SourceLocations to error reporting for ReferenceResolverLianaHus2015-11-072-15/+18
| |
* | passed SourceLocations instead of nodes to the error reporting functionLianaHus2015-11-075-109/+116
| |
* | fixed buildLianaHus2015-11-071-3/+4
| |
* | added errors tu ReferencesResolverLianaHus2015-11-073-55/+78
|/
* Fix: Cope with non-existing commit hash.chriseth2015-11-031-1/+4
|
* Bugfix: Returning literal strings in tuples.chriseth2015-11-012-2/+6
|
* Rename error type.chriseth2015-10-283-4/+4
|
* Preliminary why3 code output.chriseth2015-10-277-19/+682
|
* Allow docstrings for statements.chriseth2015-10-277-64/+126
|
* Fix indent.chriseth2015-10-271-3/+3
|
* Store docstrings in AST annotations.chriseth2015-10-2611-335/+509
|
* Merge pull request #171 from LianaHus/sol_change_expected_error_in_parserchriseth2015-10-231-3/+19
|\ | | | | Sol change "expected" errors in parser
| * more correctionsLianaHus2015-10-231-4/+14
| |
| * modified error msgLianaHus2015-10-231-1/+7
| |
* | Fix override warning.chriseth2015-10-231-1/+1
|/
* File reorganisation.chriseth2015-10-2159-144/+150
|
* Correctly parse ambiguities like `A.B[10] x` and `x.y[10] = 3`.chriseth2015-10-162-27/+60
|
* Merge pull request #143 from chriseth/loneStructArraychriseth2015-10-161-0/+10
|\ | | | | Fix errors when struct array type is used on its own.
| * Fix errors when struct array type is used on its own.chriseth2015-10-161-0/+10
| |
* | Merge pull request #142 from chriseth/fixWarningschriseth2015-10-161-1/+1
|\ \ | | | | | | Fix warning.
| * | Fix warning.chriseth2015-10-161-1/+1
| |/
* | Merge pull request #141 from chriseth/fixExternalTypeschriseth2015-10-161-14/+11
|\ \ | | | | | | Do not include function in interface list if there are errors.
| * | Do not include function in interface list if there are errors.chriseth2015-10-161-14/+11
| |/
* / Do not catch InternalCompilerErrors as part of fatal error handling.chriseth2015-10-164-9/+15
|/ | | | InternalCompilerErrors always have to end the whole compilation process because a serious inconsistency was detected.
* Merge pull request #132 from chriseth/tupleExpressionchriseth2015-10-1620-105/+532
|\ | | | | Tuple expressions and destructuring assignments
| * Fixed indentation.chriseth2015-10-161-2/+3
| |
| * Some fixes taking other pull requests into account.chriseth2015-10-161-3/+2
| |
| * MacOS fix.chriseth2015-10-151-2/+2
| |
| * Fix compiler warnings.chriseth2015-10-151-1/+3
| |
| * Wildcards.chriseth2015-10-154-30/+29
| |
| * Destructuring assignments.chriseth2015-10-1510-100/+347
| |
| * Tuple expressions.chriseth2015-10-1514-17/+196
| |
* | Merge pull request #136 from LianaHus/sol_error_types_refuctoringchriseth2015-10-161-9/+3
|\ \ | |/ |/| changed the way of reporting error during contract checking
| * changed the way of reporting error during contract checkingLianaHus2015-10-161-9/+3
| |
* | Merge pull request #130 from LefterisJP/dynamic_array_pushchriseth2015-10-153-24/+95
|\ \ | |/ |/| Dynamic array push
| * push() for byte arrays also properly implementedLefteris Karapetsas2015-10-151-4/+6
| |
| * Working implementation of arraypushLefteris Karapetsas2015-10-151-12/+10
| | | | | | | | | | ByteArrayPush() gets a test but is ignored for now, since there are still some issues with its implementation
| * Implement Dynamic array push and fix testLefteris Karapetsas2015-10-153-17/+72
| | | | | | | | | | Still a work in progress. There is a disturbance in the stack at the moment and that's why there are some cout statements left for debugging.
| * WIP - Expression compiler for array pushLefteris Karapetsas2015-10-151-15/+31
| |
* | missing constLianaHus2015-10-152-2/+2
| |
generated by cgit (git 2.34.1) at 2024-11-18 03:19:14 +0800