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
11,894 Commits 348 Branches 121 Tags 100 MiB
56d5dd4668
Commit Graph

11894 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Lazaridis
56d5dd4668 decouple TestCase class from test/libsolidity 2018-11-25 02:34:59 +02:00
chriseth
2e861bf1a0
Merge pull request #5472 from ethereum/assemblyAnnotationOutput 
Jumps with annotations cannot be functional.
 2018-11-23 17:02:03 +01:00
chriseth
9a94e503da
Merge pull request #5491 from ethereum/libyul-as-library 
Libyul as static library (version 3 ;( )
 2018-11-23 17:01:18 +01:00
Christian Parpart
8dd0338d12 Remove superfluous libyul/ASTDataForward.h and include libyul/AsmDataForward directly instead. 2018-11-23 14:29:05 +01:00
Christian Parpart
ec47c8946b
Isolating libyul library API into its own namespace yul. 2018-11-23 14:29:00 +01:00
Christian Parpart
4fb15c9327
Merge pull request #5492 from ethereum/audit-NULL-to-nullptr 
Replace all occurrences of NULL with nullptr.
 2018-11-23 13:53:55 +01:00
Christian Parpart
58a744f06d
Replace all occurrences of NULL with nullptr. 2018-11-23 12:57:31 +01:00
Christian Parpart
3734f40d31 CMake: Isolate libyul into its own static library 2018-11-23 12:37:37 +01:00
Christian Parpart
713d94476e Reorder some include files and group <libyul/>'s together (as much as possible) 2018-11-23 12:37:19 +01:00
Alex Beregszaszi
616ef8bca8
Merge pull request #3073 from ethereum/smtlib2_via_standardio 
Inject SMTLIB2 queries and responses via standard-json-io.
 2018-11-23 11:23:27 +00:00
Leonardo Alt
0ff4cbe51b Add SMTChecker tests for standard JSON 2018-11-23 10:51:06 +00:00
Christian Parpart
0f4ed52a71
Rewrite header paths to adapt to recent git mv of libsolidity/inlineasm to libyul 2018-11-23 11:18:57 +01:00
Christian Parpart
10e6d2897d
Moving files from libsolidity/inlineasm/*.{cpp,h} to libyul/. 2018-11-23 11:16:52 +01:00
Leonardo Alt
6251a289dd Testing with smtlib2 interface always there 2018-11-23 09:43:49 +01:00
Leonardo Alt
dee0c4ded8 Error message stays in the SMTChecker 2018-11-23 09:43:49 +01:00
Leonardo Alt
f3c2309c73 Display better error message in SMTLib2 2018-11-23 09:43:49 +01:00
Leonardo Alt
f44be616c9 Renaming json fields smtlib2queries and smtlib2responses 2018-11-23 09:43:49 +01:00
chriseth
54bed454f6 Rename function and warn if responses are supplied for Z3. 2018-11-23 09:43:49 +01:00
chriseth
bb10be789c Inject SMTLIB2 queries and responses via standard-json-io. 2018-11-23 09:43:49 +01:00
chriseth
9217fbb58d
Merge pull request #5489 from ethereum/chriseth-patch-1 
Style
 2018-11-22 22:05:36 +01:00
chriseth
d686807153 Style 2018-11-22 21:13:02 +01:00
chriseth
c095440fb7
Merge pull request #5490 from ethereum/fixBytecode 
Fix bytecode report file.
 2018-11-22 21:09:18 +01:00
chriseth
3672506de9 Fix bytecode report file. 2018-11-22 21:03:24 +01:00
chriseth
c6b550bd53
Merge pull request #5488 from lazaridiscom/patch-3 
Mention third party licenses
 2018-11-22 20:53:36 +01:00
chriseth
640e3ca596 Update paths to CharStream, Scanner and Token files. 2018-11-22 20:37:24 +01:00
Lazaridis
958f2a5b40 Mention third party licenses. 2018-11-22 20:35:53 +01:00
Alex Beregszaszi
3e44115c69
Merge pull request #4958 from liangdzou/issue_4494_error_out_when_no_output_required 
Error out if no output artifacts are requested.
 2018-11-22 19:21:34 +00:00
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
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
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