index
:
dexon-solidity
develop
release
DEXON fork of Solidity (https://github.com/dexon-foundation/dsolidity)
LAN-TW
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
libsolidity
Commit message (
Expand
)
Author
Age
Files
Lines
*
Moves blockhash function to global level.
bitshift
2018-03-27
2
-9
/
+21
*
Decode dynamic data.
chriseth
2018-03-21
4
-18
/
+48
*
Move dynamic type removal out of the type system.
chriseth
2018-03-21
4
-18
/
+37
*
Simple size check for old ABI decoder.
chriseth
2018-03-21
3
-32
/
+97
*
Move the old ABI decoder code.
chriseth
2018-03-20
4
-105
/
+106
*
Merge branch 'develop' into externalFunctionsInLibraries
chriseth
2018-03-15
5
-12
/
+22
|
\
|
*
Merge pull request #3725 from ethereum/blockhashNoCall
chriseth
2018-03-15
1
-0
/
+3
|
|
\
|
|
*
Allow ``block.blockhash`` without being called.
chriseth
2018-03-14
1
-0
/
+3
|
*
|
Merge pull request #3722 from ethereum/fixMods
Alex Beregszaszi
2018-03-15
3
-5
/
+16
|
|
\
\
|
|
*
|
Bugfix in virtual lookup for modifiers in libraries.
chriseth
2018-03-13
3
-5
/
+16
|
|
|
/
|
*
/
DocStringParser: Fix error message for empty parameter description.
Daniel Kirchner
2018-03-14
1
-7
/
+3
|
|
/
*
/
Make external library functions accessible.
chriseth
2018-03-14
2
-2
/
+3
|
/
*
[SMTChecker_Bool] Fix PR review comments: method renaming and solAssert
Leonardo Alt
2018-03-13
3
-16
/
+17
*
[SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.
Leonardo Alt
2018-03-13
10
-41
/
+85
*
[SMTChecker] Support to Bool variables
Leonardo Alt
2018-03-13
6
-8
/
+107
*
Support constantinople in evm-version
Alex Beregszaszi
2018-03-13
1
-1
/
+1
*
Properly skip cleanup if only enlarging storage array.
chriseth
2018-03-09
1
-2
/
+2
*
Merge pull request #3611 from ethereum/warn-using-address-overload
Alex Beregszaszi
2018-03-07
1
-0
/
+14
|
\
|
*
Assert that address members are not present on contract types in 0.5.0.
chriseth
2018-03-05
1
-0
/
+4
|
*
Warn if using address overloads on contracts
Alex Beregszaszi
2018-03-05
1
-0
/
+10
*
|
Merge pull request #3664 from ethereum/literalsHexUnitSmallFix
chriseth
2018-03-07
1
-2
/
+2
|
\
\
|
*
|
Use double quotes for suggestion about hex literals and denominations.
Daniel Kirchner
2018-03-07
1
-2
/
+2
*
|
|
Merge pull request #3527 from ethereum/warnLooseAsm
Alex Beregszaszi
2018-03-07
6
-10
/
+63
|
\
\
\
|
*
|
|
Warn about using loose inline assembly features as experimental 0.5.0 feature.
chriseth
2018-03-07
6
-10
/
+63
|
|
/
/
*
|
|
Merge pull request #3663 from ethereum/gasleftEmscripten
chriseth
2018-03-07
1
-0
/
+1
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Add gasleft to FunctionType::richIdentifier().
Daniel Kirchner
2018-03-07
1
-0
/
+1
*
|
|
Merge pull request #2966 from ethereum/useStaticCall
Alex Beregszaszi
2018-03-07
2
-2
/
+11
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Use STATICCALL for pure function calls if EVM version supports it and 0.5.0 i...
chriseth
2018-03-06
2
-2
/
+11
*
|
|
Merge pull request #3549 from ethereum/fixmultidim
Alex Beregszaszi
2018-03-06
2
-6
/
+26
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Fix multi-dimensional arrays in the ABI.
chriseth
2018-03-01
2
-6
/
+26
*
|
|
Merge pull request #3652 from ethereum/gasleft_v2
chriseth
2018-03-06
3
-16
/
+22
|
\
\
\
|
*
|
|
Use StaticAnalyzer to deprecate msg.gas instead of conditionally removing it ...
Daniel Kirchner
2018-03-06
3
-16
/
+22
*
|
|
|
Merge pull request #3640 from AnthonyBroadCrawford/spanning-multiline-message...
chriseth
2018-03-06
1
-2
/
+2
|
\
\
\
\
|
*
|
|
|
Improved messaging when an error spans multiple lines and updated change log ...
Anthony Broad-Crawford
2018-03-06
1
-2
/
+2
*
|
|
|
|
Merge pull request #3599 from ethereum/sendAllGasOnByzantium
chriseth
2018-03-06
1
-10
/
+13
|
\
\
\
\
\
|
*
|
|
|
|
Do not retain any gas in external calls (except if EVM version is set to home...
chriseth
2018-03-06
1
-10
/
+13
*
|
|
|
|
|
Merge pull request #3643 from ethereum/gasleft
chriseth
2018-03-06
4
-5
/
+21
|
\
\
\
\
\
\
|
|
/
/
/
/
/
|
/
|
|
/
/
/
|
|
|
/
/
/
|
|
/
|
|
|
|
*
|
|
|
Style improvements.
Daniel Kirchner
2018-03-06
2
-4
/
+7
|
*
|
|
|
Move msg.gas to global function gasleft(). Closes #2971.
Daniel Kirchner
2018-03-05
4
-6
/
+19
|
|
/
/
/
*
|
|
|
Merge pull request #3600 from ethereum/version050IsAnalysisOnly
chriseth
2018-03-06
1
-0
/
+1
|
\
\
\
\
|
|
_
|
_
|
/
|
/
|
|
|
|
*
|
|
Do not warn about 0.5.0 experimental pragma.
chriseth
2018-03-05
1
-0
/
+1
*
|
|
|
Merge pull request #3642 from leonardoalt/fix_z3-46
chriseth
2018-03-05
1
-0
/
+1
|
\
\
\
\
|
|
/
/
/
|
/
|
|
|
|
*
|
|
This z3 option is necessary for good solving performance
Leonardo Alt
2018-03-04
1
-0
/
+1
|
|
/
/
*
|
|
Merge pull request #3569 from ethereum/evmVersion
chriseth
2018-03-05
19
-66
/
+231
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Use EVM version in gas meter and optimizer.
chriseth
2018-03-05
7
-23
/
+30
|
*
|
Only warn for shift instructions if not using constantinople
Alex Beregszaszi
2018-03-02
2
-9
/
+10
|
*
|
Add constantinople.
chriseth
2018-03-02
1
-3
/
+5
|
*
|
Add TangerineWhistle.
chriseth
2018-03-02
1
-15
/
+24
|
*
|
Provide EVM version to assembly analysis.
chriseth
2018-03-02
7
-14
/
+37
|
*
|
Use EVM version in type checker.
chriseth
2018-03-02
2
-2
/
+9
|
*
|
Provide target EVM version in CompilerContext.
chriseth
2018-03-02
4
-9
/
+19
|
*
|
Store EVM version in settings.
chriseth
2018-03-02
1
-0
/
+1
|
*
|
Add ability to set the target EVM version.
chriseth
2018-03-02
4
-9
/
+114
|
|
/
*
|
Merge pull request #3628 from ethereum/literalsHexUnit
chriseth
2018-03-02
1
-0
/
+17
|
\
\
|
|
/
|
/
|
|
*
Suggest expressions of the form '0x1234 * 1 day' instead of hex numbers with ...
Daniel Kirchner
2018-03-02
1
-2
/
+4
|
*
Deprecate using unit denominations in combination with hex numbers. Closes #3...
Daniel Kirchner
2018-03-01
1
-0
/
+15
*
|
Merge pull request #3624 from ethereum/jsonio-libraries-hex
Alex Beregszaszi
2018-03-01
1
-2
/
+18
|
\
\
|
*
|
Ensure that library addresses supplied are of correct length and hex prefixed...
Alex Beregszaszi
2018-03-01
1
-2
/
+18
|
|
/
*
|
Fix PR comments
Leonardo Alt
2018-03-01
3
-12
/
+0
*
|
Fix PR comments
Leonardo Alt
2018-03-01
6
-23
/
+37
*
|
Supported types listed in SSAVariable
Leonardo Alt
2018-03-01
4
-3
/
+20
*
|
Integer min and max values placed under SymbolicIntVar instead of SMTChecker
Leonardo Alt
2018-03-01
4
-19
/
+9
*
|
[SMTChecker] A little refactoring on SSA vars
Leonardo Alt
2018-03-01
8
-54
/
+395
|
/
*
Merge pull request #3617 from ethereum/jsonio-libraries
chriseth
2018-03-01
1
-3
/
+19
|
\
|
*
Properly validate invalid hex characters in JSONIO libraries
Alex Beregszaszi
2018-02-28
1
-2
/
+14
|
*
Add more comprehensive tests and checks for libraries in JSONIO
Alex Beregszaszi
2018-02-28
1
-1
/
+5
*
|
Merge pull request #3613 from ethereum/require-visibility
chriseth
2018-02-28
1
-6
/
+13
|
\
\
|
|
/
|
/
|
|
*
Issue error if no visibility is specified (on 0.5.0)
Alex Beregszaszi
2018-02-27
1
-6
/
+13
*
|
Merge pull request #3476 from ethereum/scoping
chriseth
2018-02-28
8
-71
/
+236
|
\
\
|
|
/
|
/
|
|
*
Only active variables at the point of their declaration.
chriseth
2018-02-27
6
-30
/
+84
|
*
Enable C99-scoping with the 0.5.0-experimental pragma.
chriseth
2018-02-27
5
-38
/
+53
|
*
Blocks and for loops can be scopes.
chriseth
2018-02-27
6
-6
/
+78
|
*
Scopes do not have to be declarations.
chriseth
2018-02-27
4
-24
/
+47
|
*
Make all lookups recursive by default.
chriseth
2018-02-27
2
-10
/
+11
*
|
Remove ROL/ROR as they are not part of EIP145 anymore
Alex Beregszaszi
2018-02-27
1
-3
/
+1
*
|
Warn on using shift instructions
Alex Beregszaszi
2018-02-27
1
-0
/
+16
|
/
*
Turn throw into a syntax error for 0.5.0
Alex Beregszaszi
2018-02-27
1
-4
/
+12
*
Merge pull request #3589 from ethereum/identifiers
Alex Beregszaszi
2018-02-27
2
-42
/
+63
|
\
|
*
Use new escaping helpers for type identifiers
Alex Beregszaszi
2018-02-27
2
-20
/
+9
|
*
Rename Types::identifier to Types::richIdentifier
Alex Beregszaszi
2018-02-27
2
-35
/
+41
|
*
Add helpers escapeIdentifier to Types
Alex Beregszaszi
2018-02-27
2
-1
/
+27
*
|
Fix: Function types for getters should not have storage pointers.
chriseth
2018-02-26
1
-1
/
+4
*
|
Simplify FunctionType constructors.
chriseth
2018-02-26
1
-42
/
+14
|
/
*
Warn about using events without emit.
chriseth
2018-02-22
2
-1
/
+13
*
Introduce emit statement.
chriseth
2018-02-22
14
-2
/
+120
*
Do not warn about analysis-only experimental features.
chriseth
2018-02-22
1
-2
/
+4
*
Add assertion for boolean literals in Julia-mode
Alex Beregszaszi
2018-02-22
1
-0
/
+5
*
Raise error on oversized number literals in assembly
Alex Beregszaszi
2018-02-22
1
-0
/
+8
*
Merge pull request #3554 from ethereum/reuseScannerOrNot
chriseth
2018-02-21
5
-6
/
+10
|
\
|
*
Expect end of string at end of top-level block for assembly parser.
chriseth
2018-02-21
5
-6
/
+10
*
|
Add new JSON API for better abstraction and for supporting strict JSON parsing
Alexander Arlt
2018-02-21
1
-4
/
+3
|
/
*
Fix shadowing for imports with aliases.
chriseth
2018-02-20
1
-2
/
+3
*
Properly warn about the use of constants in inline assembly in connection wit...
chriseth
2018-02-20
1
-6
/
+6
*
Merge pull request #3135 from federicobond/formatter-instance
chriseth
2018-02-20
2
-50
/
+43
|
\
|
*
Fix scannerFromSourceName use-after-free.
chriseth
2018-02-19
1
-3
/
+3
|
*
Convert static SourceReferenceFormatter functions to member ones
Federico Bond
2018-02-19
2
-49
/
+42
*
|
Added property _documentation_ to Function, Event, and Modifier definition cl...
Emilio Almansi
2018-02-19
1
-0
/
+3
*
|
Minor improvement: check sources
Alexander Arlt
2018-02-17
1
-1
/
+5
|
/
*
Make addmod and mulmod revert if the last argument is zero.
chriseth
2018-02-15
1
-1
/
+5
*
Disallow uninitialized storage pointers as experimental 0.5.0 feature.
chriseth
2018-02-15
1
-1
/
+5
*
Merge pull request #3498 from ethereum/allowthisfselector
chriseth
2018-02-14
3
-0
/
+41
|
\
|
*
Allow `this.f.selector` to be pure.
chriseth
2018-02-13
3
-0
/
+41
*
|
Fix: remove reference.
chriseth
2018-02-13
1
-2
/
+4
*
|
Minor changes.
chriseth
2018-02-13
1
-2
/
+1
*
|
Restructure code for alternative identifier suggestions
Balajiganapathi S
2018-02-13
3
-19
/
+6
*
|
Move string distance function to utils and format error message
Balajiganapathi S
2018-02-13
3
-48
/
+6
*
|
Suggest alternatives when identifier not found.
Balajiganapathi S
2018-02-13
5
-2
/
+95
*
|
Merge pull request #3349 from federicobond/number-improv
Alex Beregszaszi
2018-02-13
2
-2
/
+20
|
\
\
|
|
/
|
/
|
|
*
Always use shortened literal number representation.
chriseth
2018-02-13
2
-9
/
+9
|
*
Avoid output messages size blow-up using huge bignums literals
Federico Bond
2018-02-13
2
-3
/
+21
*
|
Deprecate the var keyword (and mark it an error as experimental 0.5.0 feature)
Jimmy Vogel
2018-02-13
2
-0
/
+16
|
/
*
Fix segfault with undeclared array types
Federico Bond
2018-02-12
1
-0
/
+5
*
Merge pull request #3360 from federicobond/nonfatal-reference-errors
Alex Beregszaszi
2018-02-04
1
-13
/
+20
|
\
|
*
Replace some fatal errors when resolving references with normal ones
Federico Bond
2018-02-03
1
-13
/
+20
*
|
Issue warning for using public visibility for interface functions
Alex Beregszaszi
2018-02-01
1
-0
/
+2
*
|
Prevent libraries from being called.
chriseth
2018-01-19
5
-6
/
+87
|
/
*
Disallow non-functional instructions in parseExpression early
Alex Beregszaszi
2018-01-10
1
-2
/
+5
*
Show restricted instruction warning before argument mismatch issue
Alex Beregszaszi
2018-01-08
1
-11
/
+11
*
Support strict assembly mode in AssemblyStack
Alex Beregszaszi
2018-01-06
2
-1
/
+3
*
Split inline assembly into loose and strict flavours.
chriseth
2018-01-06
10
-34
/
+73
*
Simplify parseElementaryOperation in regards to special instructions
Alex Beregszaszi
2018-01-06
2
-11
/
+18
*
Merge pull request #3382 from ethereum/julia-identifier-parser
chriseth
2018-01-06
1
-1
/
+7
|
\
|
*
Support some restricted tokens (return, byte, address) as identifiers in Julia
Alex Beregszaszi
2018-01-05
1
-1
/
+7
*
|
Properly support library file names containing a colon (such as URLs).
Alex Beregszaszi
2018-01-05
1
-1
/
+1
|
/
*
[SMTChecker] Variables are merged after branches (ite variables)
Leonardo Alt
2018-01-05
2
-13
/
+37
*
Reset source location after using inline assembly.
chriseth
2018-01-04
1
-0
/
+3
*
Merge pull request #3297 from ethereum/separate_expression_and_statement
Alex Beregszaszi
2018-01-04
11
-50
/
+104
|
\
|
*
Separate expression and statement.
chriseth
2017-12-13
11
-50
/
+104
*
|
Merge pull request #3369 from ethereum/jsonio-colon
Alex Beregszaszi
2018-01-04
1
-1
/
+1
|
\
\
|
*
|
Properly handle colons in file names within jsonio
Alex Beregszaszi
2018-01-03
1
-1
/
+1
*
|
|
Improve error message for wrong struct initialization (#3359)
Federico Bond
2018-01-04
1
-1
/
+5
|
/
/
*
|
[SMTChecker] Fix typo in the code (satisifable->satisfiable)
Leonardo Alt
2017-12-19
2
-8
/
+8
*
|
Merge pull request #3342 from ethereum/jsonio-sourcelocation
Alex Beregszaszi
2017-12-18
1
-2
/
+2
|
\
\
|
*
|
Populate the sourceLocation field properly in standard JSON on errors
Alex Beregszaszi
2017-12-18
1
-2
/
+2
*
|
|
Merge pull request #3304 from leonardoalt/smt_checker
chriseth
2017-12-18
3
-8
/
+55
|
\
\
\
|
*
|
|
[SMTChecker] Helper functions to add an expression to the solver conjoined wi...
Leonardo Alt
2017-12-14
2
-5
/
+19
|
*
|
|
[SMTChecker] Keep track of current path conditions
Leonardo Alt
2017-12-14
3
-8
/
+41
|
|
|
/
|
|
/
|
*
|
|
Favour if over switch in ABI coder.
chriseth
2017-12-15
1
-14
/
+14
|
|
/
|
/
|
*
|
Merge pull request #3232 from ethereum/simplifyConstant
chriseth
2017-12-14
4
-48
/
+66
|
\
\
|
|
/
|
/
|
|
*
Re-use `commonType`
chriseth
2017-12-12
1
-1
/
+1
|
*
Simplify ConstantEvaluator.
chriseth
2017-12-12
3
-41
/
+61
|
*
Reduce the types of errors outputted by ConstantEvaluator
Alex Beregszaszi
2017-12-12
1
-8
/
+6
|
*
Improve error message for constant evaluator
Alex Beregszaszi
2017-12-12
2
-2
/
+2
*
|
Merge pull request #3310 from ethereum/limitDecl
Yoichi Hirai
2017-12-12
2
-14
/
+17
|
\
\
|
*
|
Limit number of secondary source locations.
chriseth
2017-12-12
2
-14
/
+17
|
|
/
*
|
Merge pull request #3183 from federicobond/fix-event-parsing
Yoichi Hirai
2017-12-12
1
-9
/
+5
|
\
\
|
|
/
|
/
|
|
*
Fix event parsing. Refs #3175
Federico Bond
2017-11-23
1
-9
/
+5
*
|
Fix struct encoding warning for libraries.
chriseth
2017-12-11
1
-0
/
+1
*
|
Suggest the experimental ABI encoder if using structs as function parameters
Alex Beregszaszi
2017-12-11
1
-0
/
+10
*
|
Suggest the "if" statement too instead of jumps
Alex Beregszaszi
2017-12-06
1
-1
/
+1
*
|
Warn for assembly labels too
Alex Beregszaszi
2017-12-06
1
-2
/
+3
*
|
Split Instruction and FunctionalInstruction in Julia
Alex Beregszaszi
2017-12-05
5
-13
/
+19
*
|
Merge pull request #3032 from ethereum/division
chriseth
2017-12-05
5
-41
/
+164
|
\
\
|
*
|
Fix expression creation problems.
chriseth
2017-11-30
1
-19
/
+30
|
*
|
Fix signed division.
chriseth
2017-11-30
2
-2
/
+20
|
*
|
Unary operators and division.
chriseth
2017-11-30
5
-61
/
+155
*
|
|
Merge pull request #3265 from ethereum/rename_args_to_params
chriseth
2017-12-04
5
-11
/
+11
|
\
\
\
|
*
|
|
Rename arguments to paramaters and returns to returnVariables.
chriseth
2017-12-01
5
-11
/
+11
|
|
/
/
*
/
/
Include missing forward declarations in AsmDataForward
Alex Beregszaszi
2017-11-30
1
-0
/
+3
|
/
/
*
|
Simplify target selection code
Alex Beregszaszi
2017-11-30
1
-18
/
+9
*
|
Rename target selection to use the word artifact
Alex Beregszaszi
2017-11-30
1
-32
/
+32
*
|
Add workaround for bytecode/deployedBytecode selection
Alex Beregszaszi
2017-11-30
1
-2
/
+20
*
|
Limit output according to the selected targets in StandardCompiler
Alex Beregszaszi
2017-11-30
1
-20
/
+32
*
|
Add target selection helpers to StandardCompiler
Alex Beregszaszi
2017-11-30
1
-0
/
+56
*
|
Cleanup and overflow checks for data pointers.
chriseth
2017-11-30
4
-23
/
+47
*
|
ABI decoder.
chriseth
2017-11-30
6
-4
/
+503
*
|
Merge pull request #3220 from ethereum/IuliaIf
chriseth
2017-11-27
11
-5
/
+52
|
\
\
|
*
|
Use if statement in abi functions.
chriseth
2017-11-22
1
-3
/
+3
|
*
|
If statement for Iulia / inline assembly.
chriseth
2017-11-22
10
-2
/
+49
*
|
|
Explain IntIntFun and merge assertion.
chriseth
2017-11-24
1
-3
/
+7
*
|
|
Introduce sorts for smt expressions.
chriseth
2017-11-22
3
-48
/
+37
|
/
/
*
|
Fix problem with non-value-typed variables.
chriseth
2017-11-22
2
-14
/
+16
*
|
For loop.
chriseth
2017-11-22
2
-0
/
+43
*
|
Fix boolean constants.
chriseth
2017-11-22
1
-2
/
+7
*
|
Check for conditions being constant.
chriseth
2017-11-22
4
-27
/
+102
*
|
Tests.
chriseth
2017-11-22
1
-5
/
+0
*
|
Track usage of variables.
chriseth
2017-11-22
4
-70
/
+215
*
|
Handle branches.
chriseth
2017-11-22
2
-54
/
+88
*
|
Improve cyclic constant error message
Alex Beregszaszi
2017-11-22
1
-1
/
+1
*
|
Detect cyclic constant definitions
Balajiganapathi S
2017-11-22
2
-8
/
+15
*
|
Allow constant integer variables as array lengths.
Balajiganapathi S
2017-11-22
2
-0
/
+19
*
|
Show checksummed address always (prepend with 0)
Alex Beregszaszi
2017-11-17
1
-2
/
+5
*
|
Do not try to display checksummed address for too-short/long address literals
Alex Beregszaszi
2017-11-17
3
-3
/
+5
*
|
Improves address literal checksum error message
wadeAlexC
2017-11-17
3
-3
/
+13
*
|
Merge pull request #3209 from ethereum/unimplemented-msgs
chriseth
2017-11-16
2
-3
/
+3
|
\
\
|
*
|
Add explanation to unimplemented assertions
Alex Beregszaszi
2017-11-16
2
-3
/
+3
*
|
|
Merge pull request #3194 from kseo/print-using-for
Alex Beregszaszi
2017-11-16
2
-0
/
+14
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Print using for directive in ASTPrinter
Kwang Yul Seo
2017-11-16
2
-0
/
+14
*
|
|
Merge pull request #3206 from kseo/outdated-comment
Alex Beregszaszi
2017-11-16
4
-4
/
+4
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Update outdated comments
Kwang Yul Seo
2017-11-15
4
-4
/
+4
*
|
|
Merge pull request #3189 from kseo/unused
Alex Beregszaszi
2017-11-16
1
-4
/
+0
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Remove unused method
Kwang Yul Seo
2017-11-12
1
-4
/
+0
|
|
/
*
|
Fix a typo
Kwang Yul Seo
2017-11-14
1
-1
/
+1
*
|
Remove a redundant check
Kwang Yul Seo
2017-11-13
1
-1
/
+1
|
/
*
Merge pull request #3092 from rivenhk/b_2885
chriseth
2017-10-23
1
-0
/
+15
|
\
|
*
updated formatting when source snippets is too long
rivenhk
2017-10-19
1
-3
/
+3
|
*
updating formatting when source snippets is too long
rivenhk
2017-10-18
1
-5
/
+5
|
*
added formatting when source snippets is too long
rivenhk
2017-10-18
1
-0
/
+15
*
|
Merge pull request #3030 from ethereum/smt-variable-types
chriseth
2017-10-20
2
-1
/
+16
|
\
\
|
*
|
SMT enforce variable types
Alex Beregszaszi
2017-10-05
2
-1
/
+16
*
|
|
More detailed errors for invalid array lengths (such as division by zero).
Alex Beregszaszi
2017-10-20
1
-3
/
+20
*
|
|
Merge pull request #3101 from ethereum/compilerstack-header
chriseth
2017-10-19
2
-27
/
+41
|
\
\
\
|
*
|
|
Simplify contract lookup in CompileStack
Alex Beregszaszi
2017-10-19
1
-5
/
+10
|
*
|
|
Implement CompilerStack.lastContractName()
Alex Beregszaszi
2017-10-19
2
-10
/
+19
|
*
|
|
Always require a contract/sourceName in CompilerStack
Alex Beregszaszi
2017-10-19
1
-14
/
+14
*
|
|
|
Merge pull request #3108 from ethereum/remove-callcode
chriseth
2017-10-19
1
-4
/
+12
|
\
\
\
\
|
*
|
|
|
Turn usage of callcode into an error as experimental 0.5.0 feature
Alex Beregszaszi
2017-10-19
1
-4
/
+12
|
|
/
/
/
*
/
/
/
Remove unused variable in Z3
Alex Beregszaszi
2017-10-19
1
-1
/
+1
|
/
/
/
*
|
|
Merge pull request #2925 from ethereum/tuple-value-check
chriseth
2017-10-18
1
-0
/
+6
|
\
\
\
|
*
|
|
Only check tuples for valid rational numbers if they have more than one element.
chriseth
2017-10-18
1
-1
/
+1
|
*
|
|
Validate each tuple literal
Alex Beregszaszi
2017-10-18
1
-0
/
+6
|
|
|
/
|
|
/
|
*
|
|
Do not accept truncated function selectors.
chriseth
2017-10-18
1
-7
/
+4
*
|
|
Catch exception in Z3.
chriseth
2017-10-18
1
-18
/
+27
*
|
|
Remove duplicate >= in Z3
Alex Beregszaszi
2017-10-18
1
-2
/
+1
*
|
|
Missing forward declaration.
chriseth
2017-10-18
1
-0
/
+1
*
|
|
Rename variables in SMT checker.
chriseth
2017-10-18
2
-11
/
+11
|
/
/
*
|
Allocate one byte per memory byte array element instead of 32.
chriseth
2017-10-17
1
-2
/
+9
*
|
Improve Z3 message in cmake
Alex Beregszaszi
2017-10-13
1
-2
/
+2
*
|
Force interface functions as external (0.5.0)
Alex Beregszaszi
2017-10-06
1
-2
/
+10
*
|
Remove obsolete createTypeError in AST
Alex Beregszaszi
2017-10-06
3
-12
/
+1
*
|
Use the proper error reporting interface in ConstantEvaluator
Alex Beregszaszi
2017-10-06
3
-7
/
+13
*
|
Require location keyword for local variables (0.5.0)
Alex Beregszaszi
2017-10-06
1
-5
/
+13
*
|
Merge pull request #2981 from ethereum/no-address-overload
chriseth
2017-10-05
1
-2
/
+5
|
\
\
|
*
|
Do not add members of address to contracts in experimental 0.5.0
Alex Beregszaszi
2017-10-05
1
-2
/
+5
*
|
|
Merge pull request #3020 from ethereum/smt-functioncall
Alex Beregszaszi
2017-10-05
1
-0
/
+10
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
SMT should not crash on typecast/structs
Alex Beregszaszi
2017-10-05
1
-0
/
+10
*
|
|
Merge pull request #2982 from ethereum/encoderFixes
Alex Beregszaszi
2017-10-05
2
-25
/
+18
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
Rename "compacted" to "fromStack".
chriseth
2017-10-04
2
-22
/
+18
|
*
|
ABI encoder fixes and test.
chriseth
2017-09-27
1
-5
/
+2
*
|
|
Merge pull request #3029 from ethereum/tanwisgas
Alex Beregszaszi
2017-10-05
1
-0
/
+3
|
\
\
\
|
*
|
|
Send all gas for 0.5.0.
chriseth
2017-10-05
1
-0
/
+3
|
|
|
/
|
|
/
|
*
|
|
Merge pull request #2968 from ethereum/calldataencodedsize
chriseth
2017-10-05
1
-0
/
+3
|
\
\
\
|
*
|
|
Add some asserts about calldata encoded size.
chriseth
2017-10-04
1
-0
/
+3
*
|
|
|
Merge pull request #2901 from ethereum/compiler-names
chriseth
2017-10-05
3
-1
/
+40
|
\
\
\
\
|
*
|
|
|
Restrict contracts compiled via outputSelection (but not the individual outpu...
Alex Beregszaszi
2017-10-05
1
-0
/
+19
|
*
|
|
|
Provide optional list of contract names to CompilerStack.compile
Alex Beregszaszi
2017-10-05
2
-1
/
+21
|
|
|
/
/
|
|
/
|
|
*
/
|
|
Do not consider shadowing in variable names inside event declarations
Federico Bond
2017-10-05
1
-2
/
+4
|
/
/
/
*
|
|
Merge pull request #2962 from ethereum/optionalDebugInfoAsm
chriseth
2017-10-04
1
-5
/
+16
|
\
\
\
|
*
|
|
Debugging info in CompilerContext.
chriseth
2017-10-04
1
-5
/
+16
*
|
|
|
Merge pull request #3022 from ethereum/assert
Alex Beregszaszi
2017-10-04
3
-3
/
+3
|
\
\
\
\
|
*
|
|
|
Use solAssert and not assert
Alex Beregszaszi
2017-10-04
3
-3
/
+3
*
|
|
|
|
Merge pull request #2990 from ethereum/someMoreSMTStuff
chriseth
2017-10-04
1
-7
/
+0
|
\
\
\
\
\
|
|
/
/
/
/
|
/
|
|
|
|
|
*
|
|
|
Remove leftover couts.
chriseth
2017-09-29
1
-7
/
+0
*
|
|
|
|
Better error message when using fractional number as array size expressions
wadeAlexC
2017-10-04
1
-2
/
+3
*
|
|
|
|
Disallow non-pure constant state variables in 0.5.0
Federico Bond
2017-10-03
1
-5
/
+14
*
|
|
|
|
Merge pull request #2997 from federicobond/duplicate-events
Alex Beregszaszi
2017-10-03
2
-5
/
+27
|
\
\
\
\
\
|
*
|
|
|
|
Extract duplicate function or event finding logic
Federico Bond
2017-09-30
2
-37
/
+14
|
*
|
|
|
|
Emit error when declaring event with same name and arguments twice
Federico Bond
2017-09-30
2
-0
/
+45
*
|
|
|
|
|
Add helpers for isPush/isDup/isSwap
Alex Beregszaszi
2017-10-02
1
-3
/
+3
|
/
/
/
/
/
*
|
|
|
|
Unary + now a synax error (experimental 0.5.0)
Rhett Aultman
2017-09-30
1
-1
/
+8
[next]