| Commit message (Expand) | Author | Age | Files | Lines |
* | Fix StructDef. Add BoolLiteral. Def NumLiteral, StringLiteral and Identifier. | Nicolai | 2016-07-20 | 1 | -3/+8 |
* | Fix missing quotes in ElementaryTypeName | Nicolai | 2016-07-20 | 1 | -5/+5 |
* | Added ElementaryTypeName, removed explicit recursion | Nicolai | 2016-07-20 | 1 | -1/+8 |
* | Add forStmt to Stmt, removes BasicBinaryOperation, throw expr, explicit rec i... | Nicolai | 2016-07-19 | 1 | -7/+6 |
* | Remove "in", extra semicolons, forced function param. Added "throw". Changes ... | Nicolai | 2016-07-19 | 1 | -9/+9 |
* | grammar.txt: Fixes to EnumDef and ArrayTypeName | Nicolai | 2016-07-19 | 1 | -2/+2 |
* | grammer.txt: inheritable => internal | Nicolai | 2016-07-19 | 1 | -2/+2 |
* | Grammar: tab => spaces | Nicolai Søborg | 2016-07-15 | 1 | -5/+5 |
* | Typos + added missing grammar rules | Nicolai | 2016-07-15 | 1 | -3/+9 |
* | Remove the remains of "expresison" | Nicolai | 2016-07-15 | 2 | -2/+2 |
* | Only warn about unused return in low-level functions. | chriseth | 2016-06-26 | 1 | -6/+15 |
* | Warn about unused return values. | chriseth | 2016-06-26 | 2 | -0/+20 |
* | Merge pull request #640 from chriseth/globalPaths | chriseth | 2016-06-10 | 2 | -16/+88 |
|\ |
|
| * | Allow remappings to change depending on the context. | chriseth | 2016-06-09 | 2 | -16/+88 |
* | | Merge pull request #641 from axic/patch/shift-parser | chriseth | 2016-06-09 | 2 | -1/+3 |
|\ \
| |/
|/| |
|
| * | Include SHR case in ExpressionCompiler::appendShiftOperatorCode | Alex Beregszaszi | 2016-06-08 | 1 | -0/+2 |
| * | Fix Token::isBitOp to exclude shift operators | Alex Beregszaszi | 2016-06-08 | 1 | -1/+1 |
* | | Disallow implementation of abstract function by constructor of derived class. | chriseth | 2016-06-07 | 2 | -1/+7 |
|/ |
|
* | Inaccessible dynamic types | chriseth | 2016-06-02 | 2 | -17/+29 |
* | Fixes for invalid cleanups for small types. | chriseth | 2016-05-20 | 4 | -23/+15 |
* | Merge pull request #565 from VoR0220/fixedDataType | chriseth | 2016-05-20 | 1 | -14/+28 |
|\ |
|
| * | updated docs | VoR0220 | 2016-05-19 | 1 | -4/+13 |
| * | explicit conversion and loosening of binary operations on integer and fixed p... | VoR0220 | 2016-05-19 | 1 | -24/+11 |
| * | current debugging info | VoR0220 | 2016-05-19 | 1 | -2/+20 |
* | | Refactor compiler to avoid weird swap of contexts | chriseth | 2016-05-20 | 4 | -871/+999 |
|/ |
|
* | Merge pull request #545 from chriseth/accessFunLabels | chriseth | 2016-05-18 | 4 | -19/+30 |
|\ |
|
| * | Allow access to functions in inline assembly. | chriseth | 2016-05-12 | 4 | -19/+30 |
* | | fix: error: call of overloaded ‘list(int, <brace-enclosed initializer list>... | moneroexample | 2016-05-17 | 1 | -1/+1 |
|/ |
|
* | Remove unused tests and add asserts for not implemented parts in code generat... | chriseth | 2016-05-11 | 6 | -15/+19 |
* | Simplify interface of RationalNumber. | chriseth | 2016-05-11 | 5 | -24/+25 |
* | Special case for moving sign bit to fractional part. | chriseth | 2016-05-11 | 1 | -5/+10 |
* | Cleanup. | chriseth | 2016-05-11 | 1 | -14/+19 |
* | Disallow explicit fixed->enum, but allow bytes->fixed. | chriseth | 2016-05-11 | 1 | -1/+1 |
* | Some cleanup. | chriseth | 2016-05-11 | 2 | -60/+32 |
* | Replace "unsigned int" by "unsigned". | chriseth | 2016-05-11 | 1 | -9/+9 |
* | Prefer mobileType() to check rational range. | chriseth | 2016-05-11 | 3 | -26/+23 |
* | reorganized tests and fixed mobile types and implicit conversions of rational... | VoR0220 | 2016-05-10 | 2 | -99/+138 |
* | updated algorithm for bit finding...now to figure out literal value | VoR0220 | 2016-05-10 | 5 | -140/+100 |
* | changed algorithm for finding bits | VoR0220 | 2016-05-10 | 1 | -29/+37 |
* | much better way of doing modulus | VoR0220 | 2016-05-10 | 1 | -8/+2 |
* | added bytes conversion tests, resolved that, converted to binary scaling, ref... | VoR0220 | 2016-05-10 | 3 | -61/+69 |
* | fixing modulus and Solidity Name and Type Resolution | VoR0220 | 2016-05-10 | 3 | -12/+10 |
* | rational renaming | VoR0220 | 2016-05-10 | 2 | -4/+4 |
* | changed names for Rational Constants and categories | VoR0220 | 2016-05-10 | 6 | -49/+53 |
* | currently what we have | VoR0220 | 2016-05-10 | 1 | -4/+8 |
* | got exponents up and working with their inverse, changed a few of the tests..... | RJ Catalano | 2016-05-10 | 4 | -52/+53 |
* | size capabilities functioning properly for fixed types | RJ Catalano | 2016-05-10 | 1 | -9/+4 |
* | fixed problem with var...probably a conversion problem for fixed in size capa... | RJ Catalano | 2016-05-10 | 2 | -3/+3 |
* | fix for token bug, also quick fix for the wei and seconds | RJ Catalano | 2016-05-10 | 1 | -1/+1 |
* | Rational implemented...trying to figure out exponential | RJ Catalano | 2016-05-10 | 1 | -52/+15 |
* | initial work for fixed types...potentially needing a constant literal type fo... | RJ Catalano | 2016-05-10 | 10 | -104/+535 |
* | Allow calling internal functions of libraries. | chriseth | 2016-05-04 | 4 | -59/+116 |
* | Remove non-determinism in missing code queue. | chriseth | 2016-05-03 | 4 | -37/+95 |
* | Windows fix. | chriseth | 2016-04-21 | 1 | -1/+1 |
* | Source location for inline assembly. | chriseth | 2016-04-20 | 7 | -69/+149 |
* | Bugfix: static arrays in constructor arguments | chriseth | 2016-04-16 | 1 | -1/+1 |
* | Fix for bug about deleting dynamic array of structs. | chriseth | 2016-04-15 | 1 | -1/+1 |
* | Merge pull request #496 from chriseth/removelog | Bob Summerwill | 2016-04-12 | 4 | -3/+1 |
|\ |
|
| * | Remove log.h from solidity. | chriseth | 2016-04-12 | 4 | -3/+1 |
* | | Make solidity independent from ethcore. | chriseth | 2016-04-07 | 4 | -14/+8 |
|/ |
|
* | Merge pull request #475 from chriseth/byteasm | chriseth | 2016-04-06 | 1 | -0/+4 |
|\ |
|
| * | Allow "byte" in inline assembly. | chriseth | 2016-04-06 | 1 | -0/+4 |
* | | reduce unnecessary solidity:: namespace | Dimitry | 2016-04-04 | 9 | -539/+539 |
* | | return instructionInfo style | Dimitry | 2016-04-04 | 1 | -2/+2 |
* | | enable solidity test | Dimitry | 2016-04-04 | 1 | -1/+1 |
* | | rename namespace for instruction.h/cpp in libevmasm | Dimitry | 2016-04-02 | 12 | -557/+557 |
* | | move libevmcore to solidity | Dimitry | 2016-04-02 | 8 | -8/+8 |
|/ |
|
* | Merge pull request #470 from chriseth/redundancy | Bob Summerwill | 2016-04-01 | 2 | -32/+34 |
|\ |
|
| * | Remove code duplication in source references formatter. | chriseth | 2016-04-01 | 2 | -32/+34 |
* | | Merge pull request #457 from VoR0220/tokenNameAndStringFix | chriseth | 2016-04-01 | 4 | -29/+80 |
|\ \
| |/
|/| |
|
| * | readding conditionals but with slight changes | VoR0220 | 2016-04-01 | 1 | -3/+2 |
| * | solAsserts added and some changes rolled back. | VoR0220 | 2016-03-31 | 2 | -2/+3 |
| * | helper function in scanner and corresponding edits to parserBase | VoR0220 | 2016-03-31 | 3 | -12/+13 |
| * | Got it working exactly like you wanted ;) | VoR0220 | 2016-03-31 | 2 | -25/+76 |
| * | change lexical cast to unsigned int | VoR0220 | 2016-03-31 | 1 | -1/+1 |
| * | Fix for Token::name and token::toString | VoR0220 | 2016-03-31 | 1 | -4/+3 |
* | | Merge pull request #465 from chriseth/fixindexaccess | Bob Summerwill | 2016-04-01 | 1 | -0/+2 |
|\ \ |
|
| * | | Correctly clean higher order bits for index access. | chriseth | 2016-03-31 | 1 | -0/+2 |
| |/ |
|
* / | Do not use source reference if it is empty. | chriseth | 2016-03-31 | 1 | -3/+8 |
|/ |
|
* | Code generation (missing external access and source locations). | chriseth | 2016-03-30 | 18 | -84/+719 |
* | Parsing for inline assembly. | chriseth | 2016-03-30 | 15 | -6/+432 |
* | Move libevmasm and lll. | chriseth | 2016-03-24 | 1 | -1/+1 |
* | Fixed Windows warnings | Bob Summerwill | 2016-03-18 | 2 | -2/+3 |
* | Remove timestamp again and some fixes for ufixed parsing. | chriseth | 2016-03-12 | 2 | -15/+18 |
* | Do not allow value for delegatecall functions. | chriseth | 2016-03-12 | 1 | -1/+1 |
* | added keyword type and some tests, changes in lexical cast | RJ Catalano | 2016-03-12 | 2 | -11/+12 |
* | stylistic change, and got lexical cast to work with an iterator range | RJ Catalano | 2016-03-12 | 2 | -5/+6 |
* | - inline and assembly keywords added | LianaHus | 2016-03-12 | 7 | -15/+17 |
* | changed documentation and using lexical cast | RJ Catalano | 2016-03-12 | 2 | -11/+3 |
* | changed extractUnsigned to handle iterators rather than a string | RJ Catalano | 2016-03-12 | 2 | -5/+5 |
* | changed 1 to 0 in invalid argument catch block | RJ Catalano | 2016-03-12 | 2 | -2/+2 |
* | needed this one string of notation | RJ Catalano | 2016-03-12 | 1 | -0/+1 |
* | added from identifier or keyword handling of fixed types | RJ Catalano | 2016-03-12 | 2 | -6/+37 |
* | fixed keyword added in for token type | RJ Catalano | 2016-03-12 | 1 | -2/+4 |
* | BREAKING: Implement delegatecall and make default for library calls. | chriseth | 2016-03-12 | 6 | -43/+51 |
* | Buildfix. | chriseth | 2016-02-23 | 1 | -3/+1 |
* | Move reusable parser components into base class. | chriseth | 2016-02-23 | 4 | -100/+183 |
* | further optimization, splitting function into pieces | RJ Catalano | 2016-02-19 | 3 | -16/+20 |
* | added const correctness to extract functions in Token | RJ Catalano | 2016-02-19 | 4 | -113/+50 |
* | added two functions in Token to handle long identifiers, redid fromIdentifier... | RJ Catalano | 2016-02-19 | 6 | -58/+142 |
* | tests added and changes made | RJ Catalano | 2016-02-19 | 5 | -76/+84 |
* | changes to redefine the token list, the scanner, and the parser and how they ... | RJ Catalano | 2016-02-19 | 11 | -176/+166 |
* | style fixes | LianaHus | 2016-02-18 | 1 | -12/+14 |
* | Fix segfault when using wrong number of constructor arguments. | chriseth | 2016-02-12 | 1 | -0/+3 |
* | Index access for bytesXX. | chriseth | 2016-02-10 | 4 | -0/+50 |
* | Fix uint178 problem. | chriseth | 2016-01-26 | 1 | -2/+2 |
* | cond-expr: use the mobile type instead of the original type | Lu Guanqun | 2016-01-23 | 1 | -12/+3 |
* | [cond-expr] change the end to end test | Lu Guanqun | 2016-01-23 | 1 | -2/+6 |
* | [cond-expr] add a test for different types | Lu Guanqun | 2016-01-23 | 1 | -1/+1 |
* | [cond-expr] add a test to assign memory to storage | Lu Guanqun | 2016-01-23 | 1 | -2/+6 |
* | [cond-expr] don't allow conditional as left value for the first stage | Lu Guanqun | 2016-01-23 | 1 | -43/+25 |
* | [cond-expr] fixup according to code review | Lu Guanqun | 2016-01-23 | 3 | -4/+11 |
* | [cond-expr] change endVisit() to visit() | Lu Guanqun | 2016-01-23 | 2 | -30/+41 |
* | [cond-expr] make the codegen one instruction less | Lu Guanqun | 2016-01-23 | 1 | -5/+4 |
* | [cond-expr] fix the crash in ExpressionStatement | Lu Guanqun | 2016-01-23 | 1 | -0/+5 |
* | [cond-expr] support conditional expression as lvalue | Lu Guanqun | 2016-01-23 | 1 | -0/+8 |
* | [cond-expr] generate assembly for _ ? _ : _ | Lu Guanqun | 2016-01-23 | 2 | -0/+16 |
* | [cond-expr] add type checker | Lu Guanqun | 2016-01-23 | 2 | -0/+28 |
* | [cond-expr] parse _ ? _ : _ into conditional AST node | Lu Guanqun | 2016-01-23 | 1 | -6/+19 |
* | [cond-expr] add visitor related functions | Lu Guanqun | 2016-01-23 | 5 | -0/+32 |
* | [cond-expr] add an AST node | Lu Guanqun | 2016-01-23 | 3 | -0/+50 |
* | Merge pull request #356 from guanqun/break-not-in-loop | chriseth | 2016-01-21 | 5 | -0/+151 |
|\ |
|
| * | remove the unused line | Lu Guanqun | 2016-01-19 | 1 | -1/+0 |
| * | add another test case for continue not in loop | Lu Guanqun | 2016-01-19 | 1 | -4/+4 |
| * | code changes according to Chris's comments | Lu Guanqun | 2016-01-19 | 3 | -20/+16 |
| * | check whether break/continue is in the loop | Lu Guanqun | 2016-01-15 | 6 | -0/+156 |
* | | Merge pull request #351 from chriseth/autoload | chriseth | 2016-01-19 | 2 | -31/+76 |
|\ \ |
|
| * | | Build fix for MacOS. | chriseth | 2016-01-14 | 1 | -1/+1 |
| * | | Autoload files in solc. | chriseth | 2016-01-12 | 2 | -31/+76 |
* | | | Merge pull request #347 from chriseth/libraryNameClashes | chriseth | 2016-01-18 | 3 | -2/+37 |
|\ \ \ |
|
| * | | | Set error flag to true. | chriseth | 2016-01-14 | 1 | -0/+1 |
| * | | | Detect library name clashes. | chriseth | 2016-01-14 | 3 | -2/+36 |
* | | | | Merge pull request #359 from LianaHus/sol_only_one_array_as_state_var | chriseth | 2016-01-18 | 2 | -6/+14 |
|\ \ \ \ |
|
| * | | | | Update TypeChecker.cpp | Liana Husikyan | 2016-01-16 | 1 | -0/+2 |
| * | | | | fixed assert on EI creation for structs containing only mapping or arrays | LianaHus | 2016-01-16 | 2 | -6/+12 |
| |/ / / |
|
* / / / | Remove unnecesary std::move | Paweł Bylica | 2016-01-15 | 1 | -1/+1 |
|/ / / |
|
* | | | Merge pull request #346 from chriseth/importAliases | chriseth | 2016-01-14 | 3 | -16/+56 |
|\ \ \
| |_|/
|/| | |
|
| * | | Allow aliases during import. | chriseth | 2016-01-11 | 3 | -16/+56 |
| |/ |
|
* | | clarification on dynamic arrays, switcheroo on typepointer, and a documentati... | RJ Catalano | 2016-01-12 | 1 | -1/+1 |
* | | Merge branch 'develop' of https://github.com/ethereum/solidity into develop | RJ Catalano | 2016-01-12 | 1 | -0/+3 |
|\| |
|
| * | Fixed a crash during type checking. | chriseth | 2016-01-08 | 1 | -0/+3 |
* | | final changes to typechecker, the expression compiler, and a couple more test... | RJ Catalano | 2016-01-12 | 2 | -23/+32 |
* | | Update ExpressionCompiler.cpp | RJ | 2016-01-11 | 1 | -14/+16 |
* | | Update ExpressionCompiler.cpp | RJ | 2016-01-11 | 1 | -4/+2 |
* | | Update ExpressionCompiler.cpp | RJ | 2016-01-10 | 1 | -17/+39 |
* | | find common type | RJ | 2016-01-10 | 1 | -2/+11 |
|/ |
|
* | Merge pull request #338 from guanqun/add_paren | chriseth | 2016-01-05 | 2 | -2/+10 |
|\ |
|
| * | support decayed tuple expression as left value | Lu Guanqun | 2016-01-04 | 2 | -2/+10 |
* | | Merge pull request #317 from chriseth/pathsEverywhere | chriseth | 2016-01-04 | 5 | -23/+26 |
|\ \
| |/
|/| |
|
| * | Use paths instead of simple identifiers wherever possible. | chriseth | 2015-12-22 | 5 | -23/+26 |
* | | Merge pull request #308 from chriseth/fixoverloadbug | chriseth | 2015-12-21 | 1 | -0/+2 |
|\ \ |
|
| * | | Fix bug preventing overloads of different array types. | chriseth | 2015-12-18 | 1 | -0/+2 |
* | | | Merge pull request #309 from chriseth/fix_cross_contract_enum_access | chriseth | 2015-12-21 | 2 | -14/+29 |
|\ \ \
| |_|/
|/| | |
|
| * | | Add structs and enums to contract types. | chriseth | 2015-12-18 | 2 | -14/+29 |
| |/ |
|
* | | Merge pull request #311 from guanqun/correct-boolean-literal-position | chriseth | 2015-12-19 | 1 | -0/+1 |
|\ \
| |/
|/| |
|
| * | correct true/false literal's source | Lu Guanqun | 2015-12-18 | 1 | -0/+1 |
* | | Simple aliasing during import. | chriseth | 2015-12-18 | 9 | -52/+140 |
* | | Parse complex import directives. | chriseth | 2015-12-18 | 6 | -28/+93 |
* | | changed error message | RJ Catalano | 2015-12-17 | 1 | -1/+1 |
* | | updated tests and much simpler algorithm for parsing errors | RJ Catalano | 2015-12-17 | 1 | -7/+6 |
* | | added one more test and realized that there was one last change before the pa... | RJ Catalano | 2015-12-17 | 1 | -1/+1 |
* | | Parsing is complete | RJ Catalano | 2015-12-17 | 1 | -3/+3 |
* | | changed a couple of small nuances, made an attempt at fixing the parsing in t... | RJ Catalano | 2015-12-17 | 2 | -12/+8 |
* | | temporary assert added | RJ Catalano | 2015-12-17 | 1 | -0/+1 |
* | | still not able to get types resolved, however it is compiling | RJ Catalano | 2015-12-16 | 1 | -2/+9 |
* | | new tests | RJ Catalano | 2015-12-16 | 1 | -1/+0 |
* | | now is compiling and passing soltest...but I think there may be a few more th... | RJ Catalano | 2015-12-16 | 2 | -5/+9 |
* | | fixed case statements | RJ Catalano | 2015-12-16 | 2 | -1/+3 |
* | | changing Tuple Constructor | RJ Catalano | 2015-12-16 | 1 | -2/+5 |
* | | updated attempt...still a bit more work to do but here's what's current | RJ Catalano | 2015-12-16 | 2 | -2/+4 |
|\ \ |
|
| * | | Inline array declarations complete | RJ Catalano | 2015-12-15 | 2 | -2/+42 |
| |/ |
|
* | | updated attempt, a couple of more things to sort through and change | RJ Catalano | 2015-12-16 | 1 | -4/+6 |
* | | Merge pull request #288 from chriseth/import_contexts | chriseth | 2015-12-15 | 10 | -66/+172 |
|\ \
| |/
|/| |
|
| * | Style. | chriseth | 2015-12-15 | 1 | -4/+4 |
| * | Relative paths in import directives. | chriseth | 2015-12-10 | 6 | -9/+50 |
| * | Source units are independent scopes. | chriseth | 2015-12-10 | 7 | -46/+105 |
| * | Bugfix concerning pointers to moved data. | chriseth | 2015-12-08 | 2 | -21/+27 |
* | | Merge pull request #289 from chriseth/fix_base_constructor_params | chriseth | 2015-12-10 | 1 | -0/+3 |
|\ \ |
|
| * | | Fix: Type checker crash for wrong number of base constructor arguments. | chriseth | 2015-12-10 | 1 | -0/+3 |
| |/ |
|
* / | Fix: Segfaults connected to paramater types. | chriseth | 2015-12-10 | 2 | -4/+4 |
|/ |
|
* | Code generation for calling bound methods. | chriseth | 2015-12-01 | 2 | -4/+41 |
* | Merge pull request #261 from chriseth/dataloc | chriseth | 2015-12-01 | 1 | -20/+24 |
|\ |
|
| * | Bugfix for explicit memory types in libraries. | chriseth | 2015-12-01 | 1 | -20/+24 |
* | | Simplify and optimise stack rotation. | chriseth | 2015-12-01 | 2 | -8/+27 |
|/ |
|
* | Merge pull request #251 from chriseth/bind2 | chriseth | 2015-11-30 | 14 | -292/+430 |
|\ |
|
| * | Also check the object type for bound functions. | chriseth | 2015-11-29 | 4 | -9/+23 |
| * | Add bound functions to types. | chriseth | 2015-11-29 | 5 | -204/+260 |
| * | Added the `using x for y` directive. | chriseth | 2015-11-27 | 8 | -3/+87 |
| * | Resolve type names using regular AST visit. | chriseth | 2015-11-27 | 2 | -82/+66 |
* | | Merge pull request #256 from chriseth/selfdestruct | chriseth | 2015-11-30 | 3 | -3/+5 |
|\ \ |
|
| * | | Introduce selfdestruct alias for suicide. | chriseth | 2015-11-29 | 3 | -3/+5 |
| |/ |
|
* / | Bugfix for constructor unpacking with fixed-size arrays. | chriseth | 2015-11-29 | 1 | -5/+13 |
|/ |
|
* | Convert filter to template function. | chriseth | 2015-11-27 | 2 | -60/+20 |
* | Invalidate cached members if scope changes. | chriseth | 2015-11-26 | 2 | -1/+3 |
* | Do not store elements of a contract by AST node type. | chriseth | 2015-11-26 | 13 | -144/+133 |
* | Make members context-sensitive. | chriseth | 2015-11-26 | 14 | -79/+71 |
* | Fix MSVC errors and warnings. | chriseth | 2015-11-26 | 4 | -6/+7 |
* | Make some functions const. | chriseth | 2015-11-26 | 2 | -4/+4 |
* | Code generation for creating arrays. | chriseth | 2015-11-26 | 3 | -9/+67 |
* | Type checking for creating new arrays. | chriseth | 2015-11-26 | 4 | -6/+30 |
* | Allow "new expressions" also for general type names. | chriseth | 2015-11-26 | 7 | -34/+56 |
* | Fix solidity dependencies. | chriseth | 2015-11-26 | 1 | -1/+1 |
* | Style. | chriseth | 2015-11-25 | 1 | -1/+2 |
* | Again some why3 fixes with regards to separators in blocks. | chriseth | 2015-11-25 | 2 | -26/+34 |
* | Merge pull request #245 from chriseth/buildfixes | chriseth | 2015-11-25 | 1 | -1/+1 |
|\ |
|
| * | Build dependency fixes. | chriseth | 2015-11-24 | 1 | -1/+1 |
* | | Merge pull request #244 from chriseth/fix_stringAlloc | chriseth | 2015-11-24 | 6 | -14/+8 |
|\ \
| |/
|/| |
|
| * | Fixed string inside struct allocation bug. | chriseth | 2015-11-24 | 6 | -14/+8 |
* | | Merge pull request #241 from chriseth/why3VariablesInConditions | chriseth | 2015-11-24 | 2 | -18/+114 |
|\ \
| |/
|/| |
|
| * | Style. | chriseth | 2015-11-23 | 1 | -2/+5 |
| * | addmod and mulmod for why3. | chriseth | 2015-11-23 | 1 | -17/+36 |
| * | Why3: Direct references to variables using `#`. | chriseth | 2015-11-23 | 2 | -1/+75 |
* | | Merge pull request #236 from ethereum/hot_gav | Gav Wood | 2015-11-23 | 3 | -9/+10 |
|\ \
| |/
|/| |
|
| * | Fix up for new API from EIP-1.1. | Gav Wood | 2015-11-21 | 3 | -9/+10 |
* | | Merge pull request #229 from chriseth/fv_storage_types | chriseth | 2015-11-19 | 2 | -20/+70 |
|\ \ |
|
| * | | Formal Verification: State variables. | chriseth | 2015-11-19 | 2 | -20/+70 |
* | | | Merge pull request #227 from chriseth/addmod | chriseth | 2015-11-19 | 3 | -0/+20 |
|\ \ \ |
|
| * | | | Addmod and mulmod. | chriseth | 2015-11-19 | 3 | -0/+20 |
| |/ / |
|
* | | | Merge pull request #204 from ethereum/hot_gav | Gav Wood | 2015-11-19 | 1 | -2/+4 |
|\ \ \
| |/ /
|/| /
| |/ |
|
| * | Minor API change - must provide SealEngine to Executive now. | Gav Wood | 2015-11-19 | 1 | -2/+4 |
* | | Merge pull request #218 from chriseth/fix_overwriteMemory | chriseth | 2015-11-17 | 1 | -3/+13 |
|\ \ |
|
| * | | Fix memory overwrite problem for arrays. | chriseth | 2015-11-17 | 1 | -3/+13 |
* | | | Fix dynamic indexed event arguments - applies sha3. | chriseth | 2015-11-17 | 1 | -5/+18 |
|/ / |
|
* | | Fix problems with statement blocks. | chriseth | 2015-11-11 | 3 | -21/+48 |
* | | style fix | LianaHus | 2015-11-07 | 2 | -12/+14 |
* | | style fixes | LianaHus | 2015-11-07 | 3 | -25/+26 |
* | | fixed test framework | LianaHus | 2015-11-07 | 2 | -10/+8 |
* | | fix | LianaHus | 2015-11-07 | 3 | -35/+60 |
* | | fixed return valu for resolver | LianaHus | 2015-11-07 | 2 | -5/+5 |
* | | added SourceLocations to error reporting for ReferenceResolver | LianaHus | 2015-11-07 | 2 | -15/+18 |
* | | passed SourceLocations instead of nodes to the error reporting function | LianaHus | 2015-11-07 | 5 | -109/+116 |
* | | fixed build | LianaHus | 2015-11-07 | 1 | -3/+4 |
* | | added errors tu ReferencesResolver | LianaHus | 2015-11-07 | 3 | -55/+78 |
|/ |
|
* | Fix: Cope with non-existing commit hash. | chriseth | 2015-11-03 | 1 | -1/+4 |
* | Bugfix: Returning literal strings in tuples. | chriseth | 2015-11-01 | 2 | -2/+6 |
* | Rename error type. | chriseth | 2015-10-28 | 3 | -4/+4 |
* | Preliminary why3 code output. | chriseth | 2015-10-27 | 7 | -19/+682 |
* | Allow docstrings for statements. | chriseth | 2015-10-27 | 7 | -64/+126 |
* | Fix indent. | chriseth | 2015-10-27 | 1 | -3/+3 |
* | Store docstrings in AST annotations. | chriseth | 2015-10-26 | 11 | -335/+509 |
* | Merge pull request #171 from LianaHus/sol_change_expected_error_in_parser | chriseth | 2015-10-23 | 1 | -3/+19 |
|\ |
|
| * | more corrections | LianaHus | 2015-10-23 | 1 | -4/+14 |
| * | modified error msg | LianaHus | 2015-10-23 | 1 | -1/+7 |
* | | Fix override warning. | chriseth | 2015-10-23 | 1 | -1/+1 |
|/ |
|
* | File reorganisation. | chriseth | 2015-10-21 | 59 | -144/+150 |
* | Correctly parse ambiguities like `A.B[10] x` and `x.y[10] = 3`. | chriseth | 2015-10-16 | 2 | -27/+60 |
* | Merge pull request #143 from chriseth/loneStructArray | chriseth | 2015-10-16 | 1 | -0/+10 |
|\ |
|
| * | Fix errors when struct array type is used on its own. | chriseth | 2015-10-16 | 1 | -0/+10 |
* | | Merge pull request #142 from chriseth/fixWarnings | chriseth | 2015-10-16 | 1 | -1/+1 |
|\ \ |
|
| * | | Fix warning. | chriseth | 2015-10-16 | 1 | -1/+1 |
| |/ |
|