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
*
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
*
|
|
|
|
Validate array length in type checker
Alex Beregszaszi
2017-09-29
1
-1
/
+1
|
/
/
/
/
*
|
|
|
Pull out helper to apply address member to contract members
Alex Beregszaszi
2017-09-28
2
-4
/
+10
*
|
|
|
Simplify address overloading
Alex Beregszaszi
2017-09-28
2
-30
/
+39
*
|
|
|
Fix overload resolution when conflict is with members of address (balance, tr...
Alex Beregszaszi
2017-09-28
1
-6
/
+28
*
|
|
|
Merge pull request #2986 from ethereum/fixsourcelocationofvariabledecsatement
Alex Beregszaszi
2017-09-28
1
-0
/
+1
|
\
\
\
\
|
*
|
|
|
Fix source location of VariableDeclarationStatement.
chriseth
2017-09-28
1
-0
/
+1
|
|
|
_
|
/
|
|
/
|
|
*
/
|
|
Better readable encoder assembly.
chriseth
2017-09-27
1
-6
/
+28
|
/
/
/
*
|
|
Merge pull request #2975 from ethereum/encode-memory
Alex Beregszaszi
2017-09-27
4
-22
/
+45
|
\
\
\
|
*
|
|
Split encodeToMemory to packedEncode and abiEncode
Alex Beregszaszi
2017-09-27
4
-18
/
+41
|
*
|
|
Make most of the parameters mandatory in encodeToMemory
Alex Beregszaszi
2017-09-27
2
-6
/
+6
*
|
|
|
Order GlobalContext entries
Alex Beregszaszi
2017-09-27
1
-13
/
+13
*
|
|
|
Format GlobalContext for readability
Alex Beregszaszi
2017-09-27
1
-42
/
+25
|
/
/
/
*
|
|
Merge pull request #2978 from ethereum/infer-location
chriseth
2017-09-27
1
-1
/
+1
|
\
\
\
|
*
|
|
Report correct location for inferred types in packed encoding
Alex Beregszaszi
2017-09-27
1
-1
/
+1
|
|
|
/
|
|
/
|
*
/
|
Ensure that address types are always declared as 160bit
Alex Beregszaszi
2017-09-27
5
-14
/
+14
|
/
/
*
|
Merge pull request #2934 from ethereum/fallthrough
chriseth
2017-09-26
2
-53
/
+56
|
\
\
|
|
/
|
/
|
|
*
Simplify switch statements by refactoring internal break statements
Alex Beregszaszi
2017-09-25
2
-24
/
+24
|
*
Avoid switch fallthrough in ExpressionCompiler
Alex Beregszaszi
2017-09-25
1
-26
/
+32
|
*
Avoid switch fallthrough in CompilerUtils
Alex Beregszaszi
2017-09-25
1
-6
/
+3
*
|
Better error message for unexpected trailing comma in parameter lists
wadeAlexC
2017-09-25
1
-0
/
+2
|
/
*
More verbose errors for generated assembly.
chriseth
2017-09-22
1
-2
/
+18
*
Merge pull request #2902 from ethereum/warn-obsolete
chriseth
2017-09-21
1
-0
/
+8
|
\
|
*
Warn about obsolete sha3/suicide calls
Alex Beregszaszi
2017-09-19
1
-0
/
+8
*
|
Limit parser recursion depth further (needed by increased assembly data struc...
Alex Beregszaszi
2017-09-20
1
-1
/
+1
*
|
Support multiple assignment in inline assembly
Alex Beregszaszi
2017-09-20
4
-6
/
+56
*
|
Mark functions static
Alex Beregszaszi
2017-09-20
4
-14
/
+14
*
|
Mark constructors explicit
Alex Beregszaszi
2017-09-20
1
-1
/
+1
*
|
Ensure parameter names match between headers and implementation
Alex Beregszaszi
2017-09-20
5
-14
/
+14
|
/
*
Allow constant byte arrays.
chriseth
2017-09-19
1
-1
/
+1
*
Merge pull request #2910 from ethereum/fallback-restrict-external
chriseth
2017-09-18
1
-0
/
+5
|
\
|
*
Force fallback to be external (experimental 0.5.0 change)
Alex Beregszaszi
2017-09-18
1
-0
/
+5
*
|
Check for interface types of members and cache recursion check.
chriseth
2017-09-16
2
-21
/
+48
*
|
Use "tuple" for struct types in ABI JSON.
chriseth
2017-09-16
1
-1
/
+1
*
|
Implement struct encoder.
chriseth
2017-09-16
5
-8
/
+141
*
|
Fix tests.
chriseth
2017-09-16
2
-2
/
+2
*
|
Structure type json using "components".
chriseth
2017-09-16
1
-8
/
+8
*
|
Fix interface type conversion internal to structs.
chriseth
2017-09-16
2
-2
/
+8
*
|
Function signatures containing structs.
chriseth
2017-09-16
3
-39
/
+84
*
|
Update tests and error messages.
chriseth
2017-09-16
1
-1
/
+1
*
|
Check for recursive structs.
chriseth
2017-09-16
3
-4
/
+33
*
|
Allow structs as part of function interfaces.
chriseth
2017-09-16
3
-10
/
+54
|
/
*
Move ABI encoder into its own function.
chriseth
2017-09-16
5
-66
/
+82
*
Named assembly labels.
chriseth
2017-09-16
5
-18
/
+24
*
Merge pull request #2904 from ethereum/viewPure5
Alex Beregszaszi
2017-09-15
2
-11
/
+24
|
\
|
*
Enforce view with error for experimental 0.5.0.
chriseth
2017-09-14
2
-11
/
+24
*
|
Warn if no visibility is specified on contract functions.
Alex Beregszaszi
2017-09-14
3
-1
/
+15
|
/
*
Add experimental feature 'v0.5.0'
Alex Beregszaszi
2017-09-14
1
-0
/
+2
*
Merge pull request #2473 from ethereum/functiontype-sig
Alex Beregszaszi
2017-09-14
2
-1
/
+13
|
\
|
*
Rename .sig to .selector on function types
Alex Beregszaszi
2017-09-13
2
-2
/
+2
|
*
Add sig member on function type
Alex Beregszaszi
2017-09-13
2
-1
/
+13
*
|
Merge pull request #2848 from ethereum/checkViewPure
chriseth
2017-09-14
10
-4
/
+414
|
\
\
|
*
|
Minor changes from review.
chriseth
2017-09-13
1
-9
/
+3
|
*
|
Rename to invalidInPureFunctions
chriseth
2017-09-13
1
-1
/
+1
|
*
|
Allow constant variables in pure functions.
chriseth
2017-09-06
1
-1
/
+1
|
*
|
Rename and add anonymous namespace.
chriseth
2017-09-06
1
-1
/
+4
|
*
|
Fix tests
chriseth
2017-09-06
1
-5
/
+8
|
*
|
Tone down error message.
chriseth
2017-09-06
1
-2
/
+2
|
*
|
Modifier invocation can be base constructor call
chriseth
2017-09-06
1
-5
/
+7
|
*
|
Analyze assembly.
chriseth
2017-09-06
2
-11
/
+88
|
*
|
Do not report on overriding function and only warn for view.
chriseth
2017-09-06
1
-12
/
+19
|
*
|
Store super function.
chriseth
2017-09-06
4
-0
/
+8
|
*
|
Remove previous warning about pureness not being enforced.
chriseth
2017-09-06
1
-2
/
+0
|
*
|
View-pure checker.
chriseth
2017-09-06
5
-2
/
+320
*
|
|
Limit each duplicate declaration error to 32 references
Alex Beregszaszi
2017-09-13
1
-2
/
+20
|
|
/
|
/
|
*
|
Merge pull request #2852 from ssuman/develop
chriseth
2017-09-12
1
-1
/
+10
|
\
\
|
*
|
Display helpful warning for unused function arguments/return parameters
Suman
2017-09-12
1
-1
/
+10
*
|
|
Do not report overload conflicts for every line excessively
Alex Beregszaszi
2017-09-12
1
-1
/
+5
|
/
/
*
|
Merge pull request #2888 from ethereum/same-declaration-error
Alex Beregszaszi
2017-09-12
1
-10
/
+12
|
\
\
|
*
|
Use secondary source location as a vector in same declaration errors
Alex Beregszaszi
2017-09-12
1
-10
/
+12
*
|
|
Merge pull request #2887 from ethereum/missing-functions-list
chriseth
2017-09-12
1
-5
/
+7
|
\
\
\
|
*
|
|
Show each unimplemented function in secondary source location
Alex Beregszaszi
2017-09-12
1
-5
/
+7
|
|
/
/
*
|
|
Merge pull request #2853 from ethereum/cleanup-asm-stream
chriseth
2017-09-12
6
-21
/
+38
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Introduce assemblyString
Alex Beregszaszi
2017-09-11
6
-17
/
+12
|
*
|
Do not return the stream in asssemblyStream
Alex Beregszaszi
2017-09-11
4
-8
/
+7
|
*
|
Split out the JSON functionality from assembly.stream()
Alex Beregszaszi
2017-09-11
6
-14
/
+37
|
|
/
*
/
Do not show the same error multiple times for events
Alex Beregszaszi
2017-09-12
1
-4
/
+4
|
/
*
Change array too large error message as it is valid for non-calldata too
Alex Beregszaszi
2017-09-06
1
-1
/
+1
*
Merge pull request #2860 from ethereum/noparamsfordefaulted
Alex Beregszaszi
2017-08-31
1
-4
/
+4
|
\
|
*
Remove parameter names for defaulted functions.
chriseth
2017-08-31
1
-4
/
+4
*
|
Use Json::valueToQuotedString directly
Alex Beregszaszi
2017-08-29
1
-4
/
+2
*
|
Remove escape function.
chriseth
2017-08-29
1
-3
/
+11
|
/
*
Merge pull request #2847 from ethereum/codegen-docs
Alex Beregszaszi
2017-08-29
3
-1
/
+25
|
\
|
*
Document more of the codegen features
Alex Beregszaszi
2017-08-29
3
-1
/
+25
*
|
Merge pull request #2833 from ethereum/statemutability-builtins
chriseth
2017-08-29
5
-22
/
+24
|
\
\
|
*
|
Swap declaration/statemutability in FunctionType constructor
Alex Beregszaszi
2017-08-29
4
-11
/
+8
|
*
|
Mark all built in functions with appropriate statemutability
Alex Beregszaszi
2017-08-29
3
-12
/
+17
*
|
|
Move all file specific globals to anonymous namespace
Alex Beregszaszi
2017-08-29
2
-0
/
+10
|
|
/
|
/
|
*
|
Include all overloaded events in ABI
Alex Beregszaszi
2017-08-29
1
-2
/
+10
|
/
*
Mark event non-payable and not view
Alex Beregszaszi
2017-08-28
1
-2
/
+6
*
Merge pull request #2835 from ethereum/compilerstack-docs
Alex Beregszaszi
2017-08-28
1
-5
/
+7
|
\
|
*
Reorder some methods in CompilerStack for readability
Alex Beregszaszi
2017-08-28
1
-5
/
+7
*
|
Merge pull request #2834 from ethereum/fixTypeNameParsing
Alex Beregszaszi
2017-08-28
1
-1
/
+4
|
\
\
|
|
/
|
/
|
|
*
Crash fix, parseTypeName can return null.
chriseth
2017-08-28
1
-1
/
+4
*
|
Merge pull request #2825 from ethereum/contract-unused-natspec
chriseth
2017-08-28
3
-33
/
+0
|
\
\
|
|
/
|
/
|
|
*
Removed unused natspec members of ContractDefinition
Alex Beregszaszi
2017-08-26
3
-33
/
+0
*
|
Merge pull request #2821 from ethereum/errorreporter-copy
Alex Beregszaszi
2017-08-26
1
-0
/
+3
|
\
\
|
|
/
|
/
|
|
*
Add copy constructor to ErrorReporter (since it has assignment operator)
Alex Beregszaszi
2017-08-25
1
-0
/
+3
*
|
Merge pull request #2819 from ethereum/compilerstack-typecheck
chriseth
2017-08-26
1
-19
/
+5
|
\
\
|
*
|
Do not create a new TypeChecker instance for every contract
Alex Beregszaszi
2017-08-25
1
-3
/
+1
|
*
|
Attach natspec before type checking
Alex Beregszaszi
2017-08-25
1
-6
/
+4
|
*
|
Remove duplicate work from CompilerStack.analyze()
Alex Beregszaszi
2017-08-25
1
-10
/
+0
*
|
|
Merge pull request #2820 from ethereum/fallthrough
chriseth
2017-08-26
4
-6
/
+8
|
\
\
\
|
*
|
|
Move the break in switch for readability
Alex Beregszaszi
2017-08-25
1
-3
/
+3
|
*
|
|
Mark to places fall-through
Alex Beregszaszi
2017-08-25
2
-0
/
+2
|
*
|
|
Remove fallthrough from ArrayUtils
Alex Beregszaszi
2017-08-25
1
-3
/
+3
|
|
|
/
|
|
/
|
*
|
|
Merge pull request #2813 from ethereum/tightpack-warn
Alex Beregszaszi
2017-08-25
1
-0
/
+22
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Warn on using literals in tight packing
Alex Beregszaszi
2017-08-25
1
-0
/
+22
*
|
|
Merge pull request #2815 from ethereum/parser-fallthrough
Alex Beregszaszi
2017-08-25
2
-9
/
+14
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
Remove two other fall-through cases in Parser
Alex Beregszaszi
2017-08-25
2
-3
/
+5
|
*
|
Remove fallthrough from literal parsing
Alex Beregszaszi
2017-08-25
1
-6
/
+9
|
|
/
*
/
Cleanup of Common.h
chriseth
2017-08-25
1
-0
/
+1
|
/
*
Remove unused statements from the Natspec headers
Alex Beregszaszi
2017-08-25
2
-28
/
+1
*
Reorder ABI for readability
Alex Beregszaszi
2017-08-25
1
-9
/
+10
*
Rename statemutability to stateMutability in ABI/AST
Alex Beregszaszi
2017-08-24
2
-5
/
+5
*
Consider pure as constant for the AST JSON (to aid static analyzers)
Alex Beregszaszi
2017-08-24
1
-2
/
+2
*
Introduce pure specifier on functions
Alex Beregszaszi
2017-08-24
5
-4
/
+10
*
Merge pull request #2770 from ethereum/recursionInAsm
chriseth
2017-08-24
5
-39
/
+44
|
\
|
*
Reduce max recursion depth.
chriseth
2017-08-22
1
-1
/
+1
|
*
Check recursion depth in assembly parser.
chriseth
2017-08-22
5
-39
/
+44
*
|
Review changes.
chriseth
2017-08-23
5
-24
/
+24
*
|
Use experimental feature pragma for SMT checker.
chriseth
2017-08-23
2
-6
/
+4
*
|
Partial support for if statements.
chriseth
2017-08-23
4
-16
/
+128
*
|
Format numbers more nicely.
chriseth
2017-08-23
1
-11
/
+25
*
|
Refactor Z3 read callback.
chriseth
2017-08-23
6
-133
/
+46
*
|
Rename read file callback.
chriseth
2017-08-23
8
-20
/
+23
*
|
Introduce native Z3 support.
chriseth
2017-08-23
2
-0
/
+244
*
|
Insert abstraction layer.
chriseth
2017-08-23
5
-148
/
+225
*
|
Prepare build system for Z3.
chriseth
2017-08-23
2
-1
/
+18
*
|
Cleanup.
chriseth
2017-08-23
9
-716
/
+686
*
|
Use file to communicate with z3.
chriseth
2017-08-23
3
-14
/
+274
*
|
Rewrite using SMTLIB2 interface.
chriseth
2017-08-23
4
-63
/
+233
*
|
z3 conditions
chriseth
2017-08-23
7
-1
/
+646
*
|
Merge pull request #2757 from ethereum/cmake
Alex Beregszaszi
2017-08-23
1
-21
/
+4
|
\
\
|
*
|
CMake: Cleanup "local" include path
Paweł Bylica
2017-08-23
1
-1
/
+0
|
*
|
CMake: Remove libsolidity <- boost::regex dependency
Paweł Bylica
2017-08-21
1
-1
/
+1
|
*
|
CMake: Make libs dependencies explicit
Paweł Bylica
2017-08-21
1
-1
/
+1
|
*
|
CMake: Simplify libsolidity config
Paweł Bylica
2017-08-18
1
-19
/
+5
|
*
|
CMake: Build static libs by default
Paweł Bylica
2017-08-18
1
-2
/
+0
*
|
|
Merge pull request #2656 from ethereum/performance1
chriseth
2017-08-23
2
-21
/
+31
|
\
\
\
|
*
|
|
Create children node in ASTJsonConverter when neccesary
Alex Beregszaszi
2017-08-21
1
-0
/
+8
|
*
|
|
Avoid some Json copy operations.
chriseth
2017-08-21
2
-21
/
+23
*
|
|
|
Introduce view (and keep constant as an alias)
Alex Beregszaszi
2017-08-23
5
-5
/
+8
*
|
|
|
Merge pull request #2775 from ethereum/coverity
chriseth
2017-08-22
2
-5
/
+4
|
\
\
\
\
|
*
|
|
|
Some smaller issues found by Covertiy Scan
Alex Beregszaszi
2017-08-22
2
-5
/
+4
*
|
|
|
|
Merge pull request #2776 from ethereum/removeVisitsToAbstractASTNode
Alex Beregszaszi
2017-08-22
7
-40
/
+2
|
\
\
\
\
\
|
|
/
/
/
/
|
/
|
|
|
|
|
*
|
|
|
Remove visits to abstract AST class TypeName.
chriseth
2017-08-22
7
-40
/
+2
|
|
|
_
|
/
|
|
/
|
|
*
|
|
|
Merge pull request #2734 from ethereum/reject-create-interface
Alex Beregszaszi
2017-08-22
2
-1
/
+10
|
\
\
\
\
|
|
/
/
/
|
/
|
|
|
|
*
|
|
Check inheritance specifier arguments for interfaces.
chriseth
2017-08-22
1
-5
/
+5
|
*
|
|
Reject the creation of interface with the new statement
Alex Beregszaszi
2017-08-22
2
-0
/
+9
*
|
|
|
Mark a lot of functions static (where possible)
Alex Beregszaszi
2017-08-22
4
-6
/
+6
*
|
|
|
Mark appropriate constructors explicit
Alex Beregszaszi
2017-08-22
9
-10
/
+10
*
|
|
|
Mark a lot of functions const (where possible)
Alex Beregszaszi
2017-08-22
14
-23
/
+23
*
|
|
|
Set variable to nullptr in ASTPrinter
Alex Beregszaszi
2017-08-22
1
-1
/
+1
|
/
/
/
*
|
|
Merge pull request #2773 from ethereum/usingForWithoutLibrary
Alex Beregszaszi
2017-08-22
1
-1
/
+1
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Fix crash related to ``using for`` without a library.
chriseth
2017-08-21
1
-1
/
+1
*
|
|
Merge pull request #2771 from ethereum/unused-includes
Alex Beregszaszi
2017-08-21
2
-3
/
+0
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Remove some unused includes
Alex Beregszaszi
2017-08-21
2
-3
/
+0
|
|
/
*
|
Merge pull request #2748 from ethereum/natspec
chriseth
2017-08-21
3
-38
/
+38
|
\
\
|
*
|
Remove DocumentationType from natspec
Alex Beregszaszi
2017-08-16
3
-38
/
+38
*
|
|
Merge branch 'develop' into library-constructor
chriseth
2017-08-21
2
-0
/
+23
|
\
\
\
|
*
|
|
Be more strict about number literals in assembly.
chriseth
2017-08-21
2
-0
/
+23
|
|
|
/
|
|
/
|
*
/
|
Library cannot have constructors
Alex Beregszaszi
2017-08-21
1
-0
/
+3
|
/
/
*
|
Remove isDeclaredConst() from functions
Alex Beregszaszi
2017-08-17
3
-5
/
+3
*
|
Add statemutability to AST JSON
Alex Beregszaszi
2017-08-17
1
-0
/
+2
*
|
Use state mutability in override error messages
Alex Beregszaszi
2017-08-17
1
-11
/
+10
*
|
Use state mutability in fallback/constructor check
Alex Beregszaszi
2017-08-17
1
-4
/
+14
*
|
FunctionType comparison/identifer to support all statemutability levels
Alex Beregszaszi
2017-08-17
1
-10
/
+4
*
|
Warn about shift of literals.
chriseth
2017-08-16
1
-2
/
+3
|
/
*
Add statemutability field to the ABI
Alex Beregszaszi
2017-08-15
1
-0
/
+3
*
Prevent too deep recursion in parser.
chriseth
2017-08-15
2
-0
/
+82
*
Merge pull request #2704 from ethereum/newEncoder
chriseth
2017-08-14
9
-14
/
+1302
|
\
|
*
Experimental feature switch for ABI encoder.
chriseth
2017-08-14
4
-4
/
+16
|
*
Remove unused magic global feature.
chriseth
2017-08-14
2
-10
/
+2
|
*
Interface for new ABI encoder.
chriseth
2017-08-14
2
-0
/
+40
[next]