index
:
dexon-solidity
develop
release
DEXON fork of Solidity (https://github.com/dexon-foundation/dsolidity)
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
test
Commit message (
Expand
)
Author
Age
Files
Lines
*
Take special functions that require literals into account.
chriseth
2019-01-08
3
-7
/
+7
*
Merge pull request #5752 from ethereum/addDialect
chriseth
2019-01-08
4
-35
/
+46
|
\
|
*
Make the dialect available everywhere.
chriseth
2019-01-07
4
-35
/
+46
*
|
Move actual test files.
androlo
2019-01-07
100
-23
/
+23
*
|
Unify json and non-json commandline tests.
chriseth
2019-01-07
1
-18
/
+14
*
|
Use directories for tests.
androlo
2019-01-07
1
-17
/
+16
|
/
*
Merge pull request #5710 from ethereum/moveTests
chriseth
2019-01-07
1
-39
/
+47
|
\
|
*
Move functions to the top.
androlo
2018-12-21
1
-39
/
+47
*
|
Merge pull request #5711 from ethereum/printCommandOnError
chriseth
2019-01-07
1
-0
/
+4
|
\
\
|
*
|
Print command.
chriseth
2018-12-20
1
-0
/
+4
*
|
|
Merge pull request #5741 from ethereum/fix-5730-SourceLocation
chriseth
2019-01-07
3
-0
/
+20
|
\
\
\
|
*
|
|
Adds new test for SourceReferenceExtractor to extract multiline location with...
Christian Parpart
2019-01-07
3
-0
/
+20
|
|
|
/
|
|
/
|
*
/
|
Use rematerializer if variable is unreferenced or value is "cheap".
chriseth
2019-01-07
18
-123
/
+137
|
/
/
*
|
Only select directories to skip the README.
androlo
2018-12-20
1
-8
/
+5
*
|
Formatting.
chriseth
2018-12-20
1
-48
/
+61
|
/
*
Merge pull request #5681 from ethereum/limitOutput
chriseth
2018-12-20
9
-3
/
+59
|
\
|
*
Do not include empty JSON objects in output.
chriseth
2018-12-19
4
-4
/
+6
|
*
Tests.
chriseth
2018-12-19
6
-0
/
+54
*
|
make use of C++ `= default` constructor declarations as well as more non-stat...
Christian Parpart
2018-12-19
5
-8
/
+1
*
|
liblangutil: SourceLocation to default initialize data members (w/o the use o...
Christian Parpart
2018-12-19
4
-22
/
+22
|
/
*
Merge pull request #5637 from ethereum/better-json-error-reporting
chriseth
2018-12-19
45
-0
/
+252
|
\
|
*
Json: Provide better error messages for wrong types
Mathias Baumann
2018-12-19
45
-0
/
+252
*
|
Move unsatisfied_version test from SolidityNameAndTypeResolution to SolidityP...
Alex Beregszaszi
2018-12-18
2
-12
/
+8
*
|
Fail if parsing failed in AnalysisFramework
Alex Beregszaszi
2018-12-18
1
-1
/
+1
*
|
Add version pragma parsing to Parser
Alex Beregszaszi
2018-12-18
1
-0
/
+9
|
/
*
Only generate sort/search code when interface functions exist
Mathias Baumann
2018-12-18
2
-5
/
+48
*
Merge pull request #5388 from ethereum/smt_mapping
chriseth
2018-12-17
16
-0
/
+218
|
\
|
*
Clear all mapping knowledge after array variable assignment
Leonardo Alt
2018-12-14
1
-1
/
+4
|
*
[SMTChecker] Support to mapping
Leonardo Alt
2018-12-14
16
-0
/
+215
*
|
Merge pull request #5613 from ethereum/yulStringLiterals
chriseth
2018-12-17
1
-3
/
+3
|
\
\
|
*
|
Use C++ user-defined literals for creating YulString constants.
Daniel Kirchner
2018-12-13
1
-3
/
+3
*
|
|
Add gnosis safe as external test.
chriseth
2018-12-15
1
-0
/
+3
|
|
/
|
/
|
*
|
Remove VarDeclPropagator.
chriseth
2018-12-13
10
-108
/
+3
*
|
Do not create unassigned variables.
chriseth
2018-12-13
15
-47
/
+46
*
|
Add variable declaration initializer.
chriseth
2018-12-13
6
-0
/
+99
*
|
Consider return variables to be zero initially.
chriseth
2018-12-13
3
-34
/
+64
*
|
Merge pull request #5644 from ethereum/noInlineIntoLarge
chriseth
2018-12-13
4
-151
/
+246
|
\
\
|
*
|
Do not inline into already big functions.
chriseth
2018-12-13
4
-151
/
+246
*
|
|
Merge pull request #5651 from ethereum/cmdlineJsonTests
chriseth
2018-12-13
2
-3
/
+8
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Remove pre-release warning from standard json cmdline tests.
Daniel Kirchner
2018-12-13
2
-3
/
+8
*
|
|
Merge pull request #5641 from ethereum/supportUnassigned
chriseth
2018-12-13
6
-6
/
+50
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Support unassigned variables in the SSA value tracker and the data flow analy...
chriseth
2018-12-13
6
-6
/
+50
*
|
|
Merge pull request #5624 from ethereum/standard_json_unknown_keys
chriseth
2018-12-13
22
-9
/
+155
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
Disallow unknown JSON keys in standard-json
Leonardo Alt
2018-12-13
22
-9
/
+155
*
|
|
Merge pull request #4951 from ethereum/alethUpdates
chriseth
2018-12-13
5
-44
/
+11
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Add tolerance to gas meter tests.
Daniel Kirchner
2018-12-13
1
-5
/
+7
|
*
|
Test updates for recent versions of aleth.
Daniel Kirchner
2018-12-11
4
-39
/
+4
*
|
|
Merge pull request #5630 from ethereum/warn_functions_empty_body
chriseth
2018-12-13
35
-75
/
+0
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
Disable state mutability warning for functions with empty body
Leonardo Alt
2018-12-12
31
-45
/
+0
|
*
|
Disable unused var warning for functions with empty body
Leonardo Alt
2018-12-12
15
-30
/
+0
*
|
|
Refactoring of the ControlFlowGraph and use for detecting all uninitialized s...
Daniel Kirchner
2018-12-12
22
-46
/
+122
|
/
/
*
|
Codegen for object access.
chriseth
2018-12-12
11
-16
/
+192
*
|
Merge pull request #5454 from ethereum/smt_math_functions
chriseth
2018-12-12
6
-18
/
+35
|
\
\
|
*
|
[SMTChecker] Use SymbolicFunctionVariable for uninterpreted functions
Leonardo Alt
2018-12-11
6
-18
/
+35
|
|
/
*
|
Merge pull request #4779 from ethereum/optimise-string-literals
chriseth
2018-12-12
6
-1
/
+114
|
\
\
|
|
/
|
/
|
|
*
Tests for gas costs.
chriseth
2018-12-11
6
-1
/
+114
*
|
Add tests for implcit conversions from literals to fixed-point numbers.
Yi Huang
2018-12-11
3
-1
/
+18
*
|
Have only one source where testsuits are defined
Mathias Baumann
2018-12-10
3
-96
/
+87
|
/
*
Tests for stack reusing code generator.
chriseth
2018-12-10
1
-0
/
+353
*
Adds more detailed type errors and tests.
Erik Kundt
2018-12-07
5
-15
/
+21
*
Adds an additional message to failing type conversions.
Erik Kundt
2018-12-07
5
-10
/
+25
*
Merge pull request #4936 from ethereum/binSelect
chriseth
2018-12-07
6
-0
/
+194
|
\
|
*
Gas tests for the binary search dispatch routine.
chriseth
2018-12-06
6
-0
/
+194
*
|
Add structural simplifier as optimization step for Yul.
Daniel Kirchner
2018-12-07
12
-11
/
+87
*
|
Add tests.
chriseth
2018-12-06
14
-3
/
+417
*
|
Merge pull request #5554 from ethereum/cp-SourceReferenceFormatter-refactor
chriseth
2018-12-06
8
-20
/
+16
|
\
\
|
|
/
|
/
|
|
*
liblangutil: refactor SourceReferenceFormatter, splitting out retrieval and m...
Christian Parpart
2018-12-06
8
-20
/
+16
*
|
Extend capabilities of the generic commandline test.
chriseth
2018-12-06
19
-13
/
+25
*
|
Merge pull request #5514 from corollari/develop
chriseth
2018-12-06
2
-1
/
+2
|
\
\
|
*
|
Update test
Albert
2018-12-06
1
-1
/
+1
|
*
|
Fix #5470
Albert
2018-12-06
1
-0
/
+1
*
|
|
Remove `w` parameter for toHex.
chriseth
2018-12-06
4
-6
/
+6
|
/
/
*
|
add a 'readable' format for large hex values
Kevin Kelley
2018-12-06
8
-10
/
+154
*
|
Tests for SSAValueTracker ignoring function call on rhs
Mathias Baumann
2018-12-06
2
-0
/
+26
*
|
Merge pull request #5593 from ethereum/issue-5384
chriseth
2018-12-06
1
-0
/
+14
|
\
\
|
*
|
Test for unhandled default values in expression simplifier
Mathias Baumann
2018-12-05
1
-0
/
+14
*
|
|
Merge pull request #5592 from ethereum/fix-issue-5446
chriseth
2018-12-05
1
-1
/
+1
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
Relax assertion about jumps in loose mode
Mathias Baumann
2018-12-05
1
-1
/
+1
|
|
/
*
|
Merge pull request #5390 from ethereum/smt_one_loop
chriseth
2018-12-05
17
-8
/
+177
|
\
\
|
|
/
|
/
|
|
*
[SMTChecker] Loops are unrolled once
Leonardo Alt
2018-12-04
17
-8
/
+177
*
|
Builtin functions for yul analysis.
chriseth
2018-12-04
1
-0
/
+19
*
|
Tests for parser for builtins.
chriseth
2018-12-04
1
-0
/
+17
*
|
Use dialect option in yul parser tests.
chriseth
2018-12-04
1
-11
/
+13
*
|
Merge pull request #5573 from ethereum/builtins
chriseth
2018-12-04
4
-10
/
+10
|
\
\
|
*
|
Introduce the concept of builtin functions.
chriseth
2018-12-04
4
-10
/
+10
|
|
/
*
/
Properly recurse in ForLoopInitRewriter
Daniel Kirchner
2018-12-04
2
-5
/
+53
|
/
*
Do not stop if there is more than one error.
chriseth
2018-12-04
1
-1
/
+2
*
Improve yul error messages around number of arguments and variables.
chriseth
2018-12-04
2
-6
/
+3
*
Fix internal compiler error for unimplemented base contract function.
Anurag Dashputre
2018-12-03
2
-0
/
+20
*
Merge pull request #5341 from ethereum/optimizeAssemblyCommandline
chriseth
2018-12-03
1
-4
/
+39
|
\
|
*
Improves assembly output commandline tests.
Erik Kundt
2018-12-01
1
-2
/
+28
|
*
Adds tests for --optimize in assembly mode.
Erik Kundt
2018-12-01
1
-4
/
+13
*
|
Merge pull request #5557 from ethereum/fixInterfaceImplementedByPublicStateVa...
chriseth
2018-12-03
5
-0
/
+33
|
\
\
|
*
|
Public state variables are implementing external functions.
chriseth
2018-12-03
5
-0
/
+33
|
|
/
*
|
Merge pull request #5537 from ethereum/cp-SourceLocation-related-refactoring
chriseth
2018-12-01
12
-101
/
+111
|
\
\
|
|
/
|
/
|
|
*
liblangutil: SourceLocation: Retricts == and != operator
Christian Parpart
2018-12-01
1
-1
/
+2
|
*
liblangutil: Scanner: remove superfluous sourceName field (it's in CharStream...
Christian Parpart
2018-12-01
4
-17
/
+17
|
*
liblangutil: SourceLocation: adds (shared) pointer to underlying CharStream s...
Christian Parpart
2018-12-01
4
-26
/
+35
|
*
liblangutil: extends CharStream to know about the respective (file-)name (and...
Christian Parpart
2018-11-29
9
-75
/
+75
*
|
Test.
chriseth
2018-11-30
2
-0
/
+26
*
|
Merge pull request #5550 from ethereum/moveSomeTests
chriseth
2018-11-30
11
-0
/
+0
|
\
\
|
*
|
Move inline array tests.
chriseth
2018-11-30
11
-0
/
+0
*
|
|
Merge pull request #5548 from ethereum/fixMemberAccess
chriseth
2018-11-30
2
-0
/
+27
|
\
\
\
|
*
|
|
Fix bug related to state variables of function type accessed via base contract.
chriseth
2018-11-30
2
-0
/
+27
|
|
/
/
*
/
/
Disallow inline arrays of mapping type.
chriseth
2018-11-30
1
-0
/
+8
|
/
/
*
|
Report deprecation error on functions sha3 and suicide also without call.
Leonardo Alt
2018-11-29
7
-2
/
+58
*
|
Fix ICE when function type struct parameter has field of non-existent type
Leonardo Alt
2018-11-29
2
-0
/
+19
*
|
Merge pull request #5526 from ethereum/fixGetterNewCoder
chriseth
2018-11-29
4
-0
/
+32
|
\
\
|
|
/
|
/
|
|
*
Tests.
chriseth
2018-11-28
4
-0
/
+32
*
|
Remove boost test checks from SMTCheckerJSONTest
Leonardo Alt
2018-11-28
1
-31
/
+56
|
/
*
Tests.
chriseth
2018-11-27
1
-0
/
+257
*
Use yul parser in assembly stack.
chriseth
2018-11-27
1
-3
/
+6
*
Merge pull request #5382 from ethereum/libraryMappingPublic
chriseth
2018-11-27
8
-14
/
+88
|
\
|
*
Allow mapping arguments for public and external library functions.
Daniel Kirchner
2018-11-26
8
-14
/
+88
*
|
Changelog entry and tests.
chriseth
2018-11-26
2
-0
/
+11
*
|
Tests.
Daniel Kirchner
2018-11-26
9
-0
/
+166
|
/
*
Merge pull request #5486 from ethereum/allowExternalPublicOverride
chriseth
2018-11-26
4
-1
/
+32
|
\
|
*
Changelog entry and tests.
chriseth
2018-11-26
4
-1
/
+32
*
|
Merge pull request #5494 from ethereum/scanner-error-handling
chriseth
2018-11-26
8
-11
/
+16
|
\
\
|
*
|
Adapting tests to Scanner's lexical error diagnostics change.
Christian Parpart
2018-11-24
8
-30
/
+32
|
*
|
adapt to latest code changes
Lazaridis
2018-11-24
8
-23
/
+26
*
|
|
Merge pull request #5497 from ethereum/langutil-SourceReferenceFormatter
chriseth
2018-11-26
6
-7
/
+7
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
Moving SourceReferenceFormatter into langutil namespace.
Christian Parpart
2018-11-24
6
-7
/
+7
|
|
/
*
/
decouple TestCase class from test/libsolidity
Lazaridis
2018-11-25
6
-5
/
+5
|
/
*
Merge pull request #5491 from ethereum/libyul-as-library
chriseth
2018-11-24
9
-80
/
+64
|
\
|
*
Isolating libyul library API into its own namespace `yul`.
Christian Parpart
2018-11-23
8
-55
/
+42
|
*
CMake: Isolate libyul into its own static library
Christian Parpart
2018-11-23
1
-1
/
+1
|
*
Reorder some include files and group <libyul/>'s together (as much as possible)
Christian Parpart
2018-11-23
3
-9
/
+6
|
*
Rewrite header paths to adapt to recent `git mv` of libsolidity/inlineasm to ...
Christian Parpart
2018-11-23
6
-16
/
+16
*
|
Add SMTChecker tests for standard JSON
Leonardo Alt
2018-11-23
11
-2
/
+255
|
/
*
Merge pull request #5451 from ethereum/bound_function_tests
chriseth
2018-11-23
4
-0
/
+43
|
\
|
*
Add assert and tests for bound functions
Leonardo Alt
2018-11-22
4
-0
/
+43
*
|
Organize smt tests in subdirectories
Leonardo Alt
2018-11-22
46
-0
/
+0
*
|
Remove pragma ABIEncoderV2 from smt test
Leonardo Alt
2018-11-22
1
-6
/
+8
*
|
Drop numbering in front of the SMTChecker tests
Alex Beregszaszi
2018-11-22
46
-0
/
+0
*
|
Move most of SMTChecker tests from C++ to isoltest
Alex Beregszaszi
2018-11-22
47
-593
/
+489
|
/
*
Merge pull request #5427 from ethereum/liblangutil
chriseth
2018-11-22
37
-56
/
+86
|
\
|
*
Introduce namespace `langutil` in liblangutil directory.
Christian Parpart
2018-11-22
27
-25
/
+52
|
*
Isolating files shared between Yul- and Solidity language frontend.
Christian Parpart
2018-11-22
25
-35
/
+38
*
|
Fix constructor in AuctionRegistrar
Alex Beregszaszi
2018-11-22
1
-1
/
+1
|
/
*
LLL: implement WITH keyword
Alex Beregszaszi
2018-11-21
1
-0
/
+13
*
Merge pull request #5444 from Mordax/issue-5168-rmvirtual
Alex Beregszaszi
2018-11-21
2
-6
/
+6
|
\
|
*
Removing redundant virtual from override function declaration
mordax
2018-11-21
2
-6
/
+6
*
|
Merge pull request #5355 from ethereum/yul-forloop-pre-rewrite
chriseth
2018-11-21
5
-1
/
+75
|
\
\
|
|
/
|
/
|
|
*
[Yul] Implements a pass to rewrite for-loop's pre block into the parent's Block.
Christian Parpart
2018-11-16
5
-1
/
+75
*
|
[SMTChecker] Support bound function calls
Leonardo Alt
2018-11-19
4
-0
/
+78
*
|
[SMTChecker] Implement uninterpreted functions and use it for blockhash()
Leonardo Alt
2018-11-15
1
-2
/
+6
|
/
*
Do not perform cleanup on unsigned integers when loading from calldata.
chriseth
2018-11-15
1
-1
/
+1
*
Merge pull request #5410 from ethereum/lll-build
chriseth
2018-11-14
4
-3
/
+12
|
\
|
*
Move LLL tests into a single directory
Alex Beregszaszi
2018-11-14
2
-0
/
+0
|
*
Do not build tests for LLL if disabled
Alex Beregszaszi
2018-11-14
2
-3
/
+12
*
|
Fix commandline tests.
chriseth
2018-11-14
1
-1
/
+1
|
/
*
Use latest solcjs and replace compileStandard by compile.
chriseth
2018-11-13
1
-1
/
+12
*
Remove old libsolc API (compileJSON, compileJSONMulti, compileJSONCallback)
Alex Beregszaszi
2018-11-13
2
-141
/
+4
*
LLL: ensure assembly tests have the correct arguments
Alex Beregszaszi
2018-11-13
1
-168
/
+168
*
LLL: add test which has a sub assembly without a forced STOP
Alex Beregszaszi
2018-11-13
1
-0
/
+14
*
LLL bytecode is padded by STOP in tests
Alex Beregszaszi
2018-11-13
1
-239
/
+239
*
LLL: do not wrap opcode tests into sequence
Alex Beregszaszi
2018-11-13
1
-239
/
+239
*
Update tests.
chriseth
2018-11-13
1
-66
/
+66
*
Merge pull request #5406 from ethereum/uninitializedStorageUnimplemented
chriseth
2018-11-13
2
-0
/
+8
|
\
|
*
Ignore unimplemented functions for storage returns.
Daniel Kirchner
2018-11-13
2
-0
/
+8
*
|
Merge pull request #5333 from ethereum/joinPerformance
chriseth
2018-11-13
1
-0
/
+654
|
\
\
|
*
|
Remove variables that go out of scope from data structure.
chriseth
2018-11-13
1
-139
/
+170
|
*
|
Use map join algorithm for performance.
chriseth
2018-11-13
1
-0
/
+623
|
|
/
*
/
Deterministic YulStringRepository using string hashes.
Daniel Kirchner
2018-11-13
3
-11
/
+10
|
/
*
Remove trailing whitespace.
chriseth
2018-11-12
2
-2
/
+2
*
Refactor of bool TypeChecker::visit(FunctionCall const& _functionCall).
Kristofer Peterson
2018-11-10
3
-1
/
+11
*
Merge pull request #5128 from ethereum/breakUnbreak
chriseth
2018-11-09
4
-5
/
+74
|
\
|
*
Test case that shows that break/unbreak are more or less inverse.
chriseth
2018-11-09
4
-5
/
+74
*
|
Reset yul string repository.
chriseth
2018-11-09
1
-0
/
+2
*
|
Merge pull request #5265 from ethereum/cleanupsha3
chriseth
2018-11-09
4
-4
/
+4
|
\
\
|
|
/
|
/
|
|
*
Renamed SHA3.{h,cpp} files.
chriseth
2018-10-18
4
-4
/
+4
*
|
Remove side-effect-free statements.
chriseth
2018-11-09
2
-3
/
+9
*
|
Merge pull request #5325 from ethereum/fixDataFlow
chriseth
2018-11-08
2
-0
/
+104
|
\
\
|
*
|
Fix data flow analyzer for function definitions.
chriseth
2018-11-08
2
-0
/
+104
*
|
|
Merge pull request #5365 from ethereum/improveNameDispenser
chriseth
2018-11-08
13
-63
/
+63
|
\
\
\
|
*
|
|
Use single counter for name dispenser for performance reasons.
chriseth
2018-11-08
13
-63
/
+63
*
|
|
|
Merge pull request #5366 from ethereum/addVarDecl
chriseth
2018-11-08
1
-1
/
+5
|
\
\
\
\
|
*
|
|
|
Add VarDeclPropagator to full suite and interactive optimizer.
chriseth
2018-11-08
1
-1
/
+5
|
|
|
/
/
|
|
/
|
|
*
|
|
|
Merge pull request #5351 from ethereum/functionTypeConversion
chriseth
2018-11-08
13
-0
/
+128
|
\
\
\
\
|
*
|
|
|
Function type conversion test cases.
Daniel Kirchner
2018-11-08
13
-0
/
+128
*
|
|
|
|
Merge pull request #5348 from ethereum/boostRationalNegativeDenominatorFix
chriseth
2018-11-08
1
-0
/
+5
|
\
\
\
\
\
|
|
_
|
/
/
/
|
/
|
|
|
|
|
*
|
|
|
Fix negative denominator in ``boost::rational`` during exponentiation.
Daniel Kirchner
2018-11-06
1
-0
/
+5
|
|
/
/
/
*
|
|
|
Merge pull request #5327 from ethereum/rematerializerSmall
chriseth
2018-11-08
1
-1
/
+5
|
\
\
\
\
|
|
_
|
/
/
|
/
|
|
|
|
*
|
|
Add rematerializer to interactive optimizer.
chriseth
2018-10-28
1
-1
/
+5
*
|
|
|
Performance: Replace string by special single-copy YulString class.
chriseth
2018-11-08
1
-4
/
+4
*
|
|
|
Eliminate `byte`-typedef and use `uint8_t` in all their places instead.
Christian Parpart
2018-11-07
3
-154
/
+154
|
|
/
/
|
/
|
|
*
|
|
Remove uses of boost::rational with negative denominator, which breaks with b...
Daniel Kirchner
2018-11-06
1
-2
/
+0
*
|
|
Fixes crash while encoding too large arrays.
Erik Kundt
2018-10-30
3
-0
/
+26
*
|
|
Yul: Implements empty-var-decl-propagation
Christian Parpart
2018-10-26
9
-0
/
+105
|
/
/
*
|
Merge pull request #5273 from ethereum/interactiveOpt
chriseth
2018-10-25
2
-0
/
+228
|
\
\
|
*
|
Add redundant assign and ssa.
chriseth
2018-10-24
1
-1
/
+10
|
*
|
Interactive optimizer tool.
chriseth
2018-10-24
2
-0
/
+219
*
|
|
Merge pull request #5283 from ethereum/smt_fixed_bytes
chriseth
2018-10-25
3
-8
/
+16
|
\
\
\
|
*
|
|
Grouping of symbolic variables in the same file and support to FixedBytes
Leonardo Alt
2018-10-25
3
-8
/
+16
|
|
/
/
*
|
|
Merge pull request #5242 from ethereum/someChecks
chriseth
2018-10-25
4
-0
/
+44
|
\
\
\
|
*
|
|
Added some tests.
chriseth
2018-10-24
4
-0
/
+44
*
|
|
|
Merge pull request #5271 from ethereum/fullSuite
chriseth
2018-10-25
2
-0
/
+29
|
\
\
\
\
|
*
|
|
|
Full suite tests.
chriseth
2018-10-25
2
-0
/
+29
|
|
|
/
/
|
|
/
|
|
*
|
|
|
Merge pull request #5296 from ethereum/setPragmaToArbitrary
chriseth
2018-10-25
92
-2012
/
+52
|
\
\
\
\
|
|
/
/
/
|
/
|
|
|
|
*
|
|
Remove pragma changer.
chriseth
2018-10-24
1
-2
/
+0
|
*
|
|
Set pragma to arbitrary.
chriseth
2018-10-24
52
-52
/
+52
|
*
|
|
Only run zeppelin as external tests.
chriseth
2018-10-24
39
-1958
/
+0
*
|
|
|
Merge pull request #5272 from ethereum/smt_special_vars
chriseth
2018-10-24
10
-17
/
+128
|
\
\
\
\
|
*
|
|
|
Add gasleft constraint and use full member access name
Leonardo Alt
2018-10-23
2
-0
/
+14
|
*
|
|
|
[SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash
Leonardo Alt
2018-10-19
9
-17
/
+114
|
|
|
/
/
|
|
/
|
|
*
|
|
|
Redundant assign eliminator.
chriseth
2018-10-24
20
-0
/
+413
|
|
/
/
|
/
|
|
*
|
|
Refactor `solidity::Token` into an `enum class` with `TokenTraits` helper nam...
Christian Parpart
2018-10-22
1
-3
/
+3
|
/
/
*
|
Merge pull request #5256 from ethereum/lvalueCleanup
chriseth
2018-10-19
1
-0
/
+18
|
\
\
|
*
|
Add a test for delete x.length
chriseth
2018-10-18
1
-0
/
+18
*
|
|
Merge pull request #5267 from ethereum/ssatransform
chriseth
2018-10-19
12
-0
/
+314
|
\
\
\
|
*
|
|
SSA transform - first step.
chriseth
2018-10-19
12
-0
/
+314
|
|
|
/
|
|
/
|
*
|
|
Merge pull request #5260 from ethereum/flattenMore
chriseth
2018-10-19
1
-0
/
+22
|
\
\
\
|
*
|
|
Flatten more.
chriseth
2018-10-18
1
-0
/
+22
|
|
|
/
|
|
/
|
*
|
|
Merge pull request #5258 from ethereum/coverage2
chriseth
2018-10-19
2
-0
/
+56
|
\
\
\
|
*
|
|
Add some simplification tests for operations.
chriseth
2018-10-18
2
-0
/
+56
|
|
/
/
*
|
|
Merge pull request #5213 from Mordax/issue-5103
chriseth
2018-10-19
1
-0
/
+15
|
\
\
\
|
*
|
|
Added test for flipping signs on signed type edge case
mordax
2018-10-16
1
-0
/
+15
*
|
|
|
Merge pull request #5270 from ethereum/inlineFlexible
chriseth
2018-10-19
1
-1
/
+1
|
\
\
\
\
|
*
|
|
|
Make full inliner more flexible.
chriseth
2018-10-18
1
-1
/
+1
|
|
|
_
|
/
|
|
/
|
|
*
|
|
|
Fix a bug in CSE where a variable that was already out of scope was used.
chriseth
2018-10-18
1
-1
/
+1
*
|
|
|
Test case that shows a CSE bug related to scopes.
chriseth
2018-10-18
1
-0
/
+25
|
/
/
/
*
|
|
Merge pull request #5240 from ethereum/limitDispenserSize
chriseth
2018-10-18
3
-6
/
+40
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
Limit size of generated names and add convenience constructors.
chriseth
2018-10-17
3
-6
/
+40
*
|
|
Merge pull request #5232 from ethereum/inlineHeuristic
chriseth
2018-10-17
3
-0
/
+97
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Use metrics in the full inliner.
chriseth
2018-10-17
3
-0
/
+97
*
|
|
Handle externally supplied variables correctly in disambiguator.
chriseth
2018-10-17
1
-1
/
+1
|
/
/
*
|
Inline each function separately.
chriseth
2018-10-16
2
-41
/
+16
*
|
Test for crash via inlining.
chriseth
2018-10-16
1
-0
/
+84
*
|
New full inliner.
chriseth
2018-10-16
10
-56
/
+124
*
|
Add a "full simplify" test that applies multiple elementary transforms.
chriseth
2018-10-16
17
-0
/
+198
*
|
New simplifier via broken expressions.
chriseth
2018-10-16
1
-1
/
+1
*
|
Merge pull request #5225 from mestorlx/issue5007
chriseth
2018-10-16
1
-0
/
+8
|
\
\
|
|
/
|
/
|
|
*
fix issue##5007
mestorlx
2018-10-16
1
-0
/
+8
*
|
Merge pull request #5226 from ethereum/chriseth-patch-3
chriseth
2018-10-16
1
-1
/
+2
|
\
\
|
*
|
Correct include path
chriseth
2018-10-16
1
-1
/
+2
*
|
|
Merge pull request #5222 from ethereum/yul-block-flattener
chriseth
2018-10-16
5
-0
/
+93
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Yul: Introduces a block flattening pass + tests
Christian Parpart
2018-10-16
5
-0
/
+93
|
|
/
*
/
Bug fix: Add missing include in test/Options.h; otherwise compiler does not r...
Bhargava Shastry
2018-10-15
1
-1
/
+1
|
/
*
[SMTChecker] Inline calls to internal functions
Leonardo Alt
2018-10-15
22
-7
/
+290
*
Merge pull request #5221 from ethereum/splitRenamingLeftovers
chriseth
2018-10-15
1
-1
/
+1
|
\
|
*
Some renaming leftovers.
chriseth
2018-10-15
1
-1
/
+1
*
|
Merge pull request #5208 from mestorlx/bug4156
chriseth
2018-10-15
3
-0
/
+43
|
\
\
|
|
/
|
/
|
|
*
Updated MAXIMUM_STRING_DISTANCE to non static maximumStringDistance taking in...
mestorlx
2018-10-13
3
-0
/
+43
*
|
Renaming namespace dev::julia to dev::yul.
Christian Parpart
2018-10-15
7
-13
/
+13
*
|
Renaming libjulia to libyul
Christian Parpart
2018-10-15
119
-30
/
+30
*
|
Merge pull request #5149 from ethereum/fix_assertion_on_inval_tuple_call
chriseth
2018-10-15
2
-0
/
+16
|
\
\
|
*
|
Fixes invalid function calls to literals inside tuple assignment's LHS.
Christian Parpart
2018-10-15
2
-0
/
+16
|
|
/
*
/
Also substitute variables in CSE.
chriseth
2018-10-12
1
-0
/
+27
|
/
*
Merge pull request #5127 from ethereum/exprUnbreaker
chriseth
2018-10-12
17
-0
/
+236
|
\
[next]