cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
12,072 Commits 348 Branches 121 Tags 100 MiB
073b03d90c
Commit Graph

12072 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Alex Beregszaszi
5515d70be9
Merge pull request #5481 from ethereum/fix-byecodecompare 
Fix storebytecode.sh for bytecode comparison
 2018-11-22 19:10:35 +00:00
chriseth
ecd059cb92
Merge pull request #5451 from ethereum/bound_function_tests 
Add assert and tests for bound functions
 2018-11-22 18:23:46 +01:00
liangdzou
87d1276dc8 Notify user on successful run without output. 2018-11-22 18:06:29 +01:00
chriseth
a781bda595 Correct style. 2018-11-22 17:15:25 +01:00
Alex Beregszaszi
b0e4ef7a13
Merge pull request #5482 from ethereum/smt_refactor_sort_patch4 
[SMTChecker] Refactor setZeroValue and setUnknownValue
 2018-11-22 16:08:10 +00:00
Leonardo Alt
ec84a7dc9b [SMTChecker] Refactor setZeroValue and setUnknownValue 2018-11-22 16:42:51 +01:00
Alex Beregszaszi
780990516b Fix storebytecode.sh for bytecode comparison 2018-11-22 15:27:38 +00:00
chriseth
62e801ed70 Use callable function for virtual resolution. 2018-11-22 15:48:12 +01:00
chriseth
92ba8a95f6 Make asCallableFunction to never fail and assert abount parameter size if bound instead. 2018-11-22 15:47:45 +01:00
chriseth
9e964852cc Rename 'asMemberFunction' to widen its purpose. 2018-11-22 15:24:45 +01:00
Alex Beregszaszi
be321090e6
Merge pull request #4645 from ethereum/smt-syntax-tests 
Move SMT tests to use isoltest
 2018-11-22 13:59:23 +00:00
Leonardo Alt
06189ae57f Add assert and tests for bound functions 2018-11-22 14:41:39 +01:00
Leonardo Alt
32fe4768a9 Organize smt tests in subdirectories 2018-11-22 13:33:28 +00:00
Leonardo Alt
4a71080ae5 Remove pragma ABIEncoderV2 from smt test 2018-11-22 13:33:28 +00:00
Alex Beregszaszi
109cfcef69 Drop numbering in front of the SMTChecker tests 2018-11-22 13:33:28 +00:00
Alex Beregszaszi
636da48e82 Move most of SMTChecker tests from C++ to isoltest 
But keep divison in C++ because results differ between different solvers
 2018-11-22 13:33:24 +00:00
Alex Beregszaszi
a5411965e6
Merge pull request #5478 from ethereum/smt_refactor_sort_patch3 
[SMTChecker] Add ArraySort and array operations
 2018-11-22 13:10:35 +00:00
Leonardo Alt
20accf1a90 [SMTChecker] Add ArraySort and array operations 2018-11-22 14:04:20 +01:00
Alex Beregszaszi
60fbc32fdf
Merge pull request #5471 from ethereum/smt_refactor_sort_patch2 
Add FunctionSort and refactors the solver interface to create variables
 2018-11-22 09:48:23 +00:00
Leonardo Alt
13a142b039 [SMTChecker] Add FunctionSort and refactors the solver interface to create variables 2018-11-22 10:04:04 +01:00
Alex Beregszaszi
dc748bc771
Merge pull request #5328 from SuperblocksHQ/develop 
Added Superblocks Lab IDE to the generic doc section
 2018-11-22 00:13:19 +00:00
Javier Tarazaga
90b244d102 Added Superblocks Lab IDE to the generic section 2018-11-22 00:10:29 +00:00
chriseth
3a15f88683
Merge pull request #5434 from fulldecent/patch-8 
Qualify that storage slots are shared for contiguous data
 2018-11-22 00:36:34 +01:00
chriseth
b5acc63008
Merge pull request #5427 from ethereum/liblangutil 
Factor out langutil, a new static library that is shared between libyul/libsolidity
 2018-11-22 00:31:01 +01:00
Alex Beregszaszi
7d8c1fc53b
Merge pull request #5473 from ethereum/tests-constructor 
Fix constructor in AuctionRegistrar
 2018-11-21 19:28:13 +00:00
Alex Beregszaszi
7a26ede827 Fix constructor in AuctionRegistrar 2018-11-21 19:21:14 +00:00
Christian Parpart
d67322a186 Introduce namespace langutil in liblangutil directory. 
Also:
- Use {}-style list initialisation for SourceLocation construction
- Introduce new system includes
- Changes the API of the Scanner to take source as value (with move) as opposed to as a reference
 2018-11-21 19:13:44 +00:00
Christian Parpart
80371e2d25 Ensure liblangutil is compiled and linked as its own static library. 2018-11-21 18:58:36 +00:00
Christian Parpart
2518b5314c Splitting out CharStream from Scanner. 2018-11-21 18:58:36 +00:00
Christian Parpart
87821c53c3 Isolating files shared between Yul- and Solidity language frontend. 2018-11-21 18:58:12 +00:00
chriseth
69afd094ac Changelog entry. 2018-11-21 19:28:42 +01:00
chriseth
82055cbb61 Jumps with annotations cannot be functional. 2018-11-21 19:28:41 +01:00
chriseth
2bf5e6fa9c
Merge pull request #5439 from ethereum/docs-faq-types-array-length 
DOCS: Remove length related FAQ item
 2018-11-21 19:26:07 +01:00
chriseth
d47707abad
Merge pull request #2520 from ethereum/lll-with 
LLL: implement the UNSET and WITH keywords
 2018-11-21 18:43:37 +01:00
Alex Beregszaszi
10a2e5d100
Merge pull request #4486 from ethereum/travisEmscriptenMinimal 
Minimal changes to use the same version of emscripten on Travis and Circleci.
 2018-11-21 16:29:53 +00:00
chriseth
fedbe7b7d7
Merge pull request #5436 from ethereum/docs-faq-types-rem-struct 
DOCS: Remove Struct copy FAQ item
 2018-11-21 17:07:32 +01:00
chriseth
6ee764edcb Changelog entry. 2018-11-21 16:59:40 +01:00
Alex Beregszaszi
7c051f1e32 LLL: implement WITH keyword 2018-11-21 15:50:45 +00:00
Alex Beregszaszi
dcfa5f4ea0 LLL: add UNSET to remove a variable 2018-11-21 15:37:11 +00:00
Alex Beregszaszi
2c6e1888eb
Merge pull request #5466 from ethereum/smt_refactor_sort_patch1 
[SMTChecker] Refactor smt::Sort and its usage
 2018-11-21 15:17:58 +00:00
Alex Beregszaszi
c9ee30294c
Merge pull request #5444 from Mordax/issue-5168-rmvirtual 
Removing redundant virtual from override function declaration
 2018-11-21 15:16:08 +00:00
chriseth
8e98885c53
Merge pull request #5355 from ethereum/yul-forloop-pre-rewrite 
[Yul] Implements a pass to rewrite for-loop's pre block into the parent's Block
 2018-11-21 16:10:52 +01:00
Leonardo Alt
01ce43e51b [SMTChecker] Refactor smt::Sort and its usage 2018-11-21 15:46:47 +01:00
mordax
ea8b7d803e Removing redundant virtual from override function declaration 
Remove trailing whitespace

Remove changelog change
 2018-11-21 14:37:32 +00:00
Daniel Kirchner
119aa107da Use emscripten 1.37.21 and boost 1.67.0 on both travis and circle. 2018-11-21 15:24:20 +01:00
Alex Beregszaszi
d3f66ca0fa
Merge pull request #5309 from ethereum/smt_bound_functions 
[SMTChecker] Support bound function calls
 2018-11-19 14:53:26 +00:00
Leonardo Alt
06c3f0953a [SMTChecker] Support bound function calls 2018-11-19 15:29:00 +01:00
Leonardo
5be45e736d
Merge pull request #5307 from ethereum/smt_uf 
[SMTChecker] Uninterpreted functions for blockhash()
 2018-11-17 09:48:22 +01:00
Christian Parpart
f705a45d43
[Yul] Implements a pass to rewrite for-loop's pre block into the parent's Block. 2018-11-16 13:15:41 +01:00
Alex Beregszaszi
460c58fbd1
Merge pull request #5441 from ethereum/github-vm-version 
Ask for target EVM version in issue template
 2018-11-15 12:18:40 +00:00