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
14,258 Commits 348 Branches 121 Tags 100 MiB
614ae036a2
Commit Graph

14258 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Daniel Kirchner
2849169bff
Merge pull request #6909 from ethereum/yul-delete-operation 
[Sol->Yul] Make IRStorageItem work with dynamic offsets
 2019-06-12 16:46:00 +02:00
Daniel Kirchner
502d22a26e
Merge pull request #6914 from ethereum/boost170 
Use imported targets for boost and update emscripten boost to 1.70.
 2019-06-12 15:26:24 +02:00
Mathias Baumann
9e23d6d05e [Sol->Yul] Compile some tests with yul 2019-06-11 17:44:36 +02:00
Mathias Baumann
6a0976ed5e [Sol->Yul] Refactor shift functions to be consistent 2019-06-11 17:44:36 +02:00
Mathias Baumann
89c435a167 [Sol->Yul] Make IRStorageItem work with dynamic offsets 2019-06-11 17:44:36 +02:00
Daniel Kirchner
91200fdd2e
Merge pull request #6925 from ethereum/keccakTests 
Some keccak tests.
 2019-06-11 15:55:09 +02:00
Daniel Kirchner
644f5c00f5
Merge pull request #6924 from ethereum/testRefactoring 
Some test case refactoring.
 2019-06-11 15:13:45 +02:00
Daniel Kirchner
073777e836 Some keccak tests. 2019-06-11 15:09:52 +02:00
Daniel Kirchner
ba8ad1a1d9 Use the TestCase settings mechanism for object compiler tests. 2019-06-11 14:11:27 +02:00
Daniel Kirchner
547173533c Unify parsing of simple test expectations and require lines to start with `//`. 2019-06-11 14:05:45 +02:00
Daniel Kirchner
bd1f65d609
Merge pull request #6888 from anurag-git/anurag_semantic_test_update 
New semantic tests extracted
 2019-06-11 10:50:10 +02:00
Anurag Dashputre
60332c6469 Extract semantic tests for 
1. Transaction Status
2. Empty Contract
3. Smoke test for Range
 2019-06-09 14:46:02 +02:00
Daniel Kirchner
74b589577b
Merge pull request #6912 from ethereum/bigEndian 
CMake error for big endian systems.
 2019-06-07 16:44:52 +02:00
Daniel Kirchner
a4dfaac53d Changlelog entry. 2019-06-07 10:45:01 +02:00
Daniel Kirchner
9d2f1b0eac Add note about boost 1.70+ and solidity<=0.5.9 to the docs. 2019-06-07 10:42:18 +02:00
Chris Chinchilla
dc085bb897
Merge pull request #6889 from Meshugah/develop 
Brought warning to higher priority than note, etc.
 2019-06-07 09:31:33 +02:00
Vignesh Karthikeyan
f7a8b6da65
Merge pull request #1 from ethereum/develop 
Update
 2019-06-07 00:52:12 +05:30
Vignesh Karthikeyan
1d9b6b5bbf
Added Content and Edited for readability 
The example for signextend requested by @bshastry was added. Codeblock was moved before warning for readability.
 2019-06-07 00:47:08 +05:30
Daniel Kirchner
a4087d4b60
Merge pull request #6916 from ethereum/alsoViaYul 
Allow extracted semantics tests to run with and without yul.
 2019-06-06 21:05:52 +02:00
Daniel Kirchner
dcb6b2cb33 Add back comment and output messages. 2019-06-06 21:03:33 +02:00
Daniel Kirchner
cb9c35f883 Define imported targets manually, if not provided by find_package(Boost). 2019-06-06 21:03:33 +02:00
Daniel Kirchner
8e20a5e59a Allow extracted semantics tests to run both with and without Yul. 2019-06-06 20:19:16 +02:00
Daniel Kirchner
2ec45797b2 Update boost to 1.70 for emscripten and cache a proper installation. 2019-06-06 18:49:34 +02:00
Daniel Kirchner
226f8bb64d Use imported cmake targets for boost. 2019-06-06 18:49:34 +02:00
Daniel Kirchner
a445df63cf Require cmake 3.5. 2019-06-06 18:49:25 +02:00
Daniel Kirchner
5370af50e3 Attempt to workaround for older cmake versions. 2019-06-06 16:16:55 +02:00
Daniel Kirchner
f21d5ab839 CMake error for big endian systems. 2019-06-06 14:08:27 +02:00
Mathias L. Baumann
44c774af4b
Merge pull request #6911 from ethereum/asmCallTrailingComma 
AsmParser: Disallow trailing commas in function call arguments.
 2019-06-06 14:05:11 +02:00
Daniel Kirchner
2dbdddc7e5 Fix argument count for require with message and string literals. 2019-06-06 13:17:08 +02:00
Daniel Kirchner
6368cd4c82 AsmParser: disallow trailing commas in function call arguments. 2019-06-06 13:16:27 +02:00
Leonardo Alt
b7634faa3d Improve error message for delegatecall.value 2019-06-06 12:55:12 +02:00
Leonardo Alt
1221eeebf1 [SMTChecker] Report malformed expressions more precisely 2019-06-06 11:54:29 +02:00
Chris Chinchilla
fc35c139ca
Merge pull request #6874 from ethereum/docs-style-fix-style 
[DOCS] Bring code examples for Style Guide inline with style guide
 2019-06-06 11:23:15 +02:00
Chris Chinchilla
f99d78117e Bring code examples for Style Guide inline with style guide 
Add back accidentally removed public
 2019-06-05 15:25:18 +02:00
Christian Parpart
e7e700be38
Merge pull request #6903 from ethereum/requireGCC5 
Require gcc >= 5.0.
 2019-06-05 15:05:16 +02:00
Leonardo
68e24475e1
Merge pull request #6883 from ethereum/yul-ast-printer-notypes 
yul: AsmPrinter fix when appending type name but no type-name is available
 2019-06-05 13:41:27 +02:00
Christian Parpart
b80cc42a7c yul: AsmPrinter fix when appending type name but no type-name is available. 2019-06-05 11:57:16 +02:00
Daniel Kirchner
5677bedf34 Require gcc >= 5.0. 2019-06-05 11:57:06 +02:00
Leonardo
d01c4195f8
Merge pull request #6893 from ethereum/smt_int_lits 
[SMTChecker] Test that non-Boolean literals are actually integers
 2019-06-05 11:41:01 +02:00
Leonardo Alt
f281c94b42 [SMTChecker] Test that non-Boolean literals are actually integers 2019-06-05 10:51:05 +02:00
Daniel Kirchner
d99c37e1ee
Merge pull request #6891 from ethereum/z3cmake 
Build System: Try to find Z3 using CONFIG_MODE and stock cmake files before manual search.
 2019-06-05 10:46:50 +02:00
Leonardo
3a3316393e
Merge pull request #6897 from ethereum/smt_check_pragma_earlier 
[SMTChecker] Exit early if no pragma
 2019-06-05 10:26:25 +02:00
Leonardo
c39ea56f93
Merge pull request #6896 from ethereum/smt_use_portfolio 
[SMTChecker] Use SMTPortfolio directly
 2019-06-05 10:26:05 +02:00
Leonardo
155af48b9d
Merge pull request #6895 from ethereum/smt_keep_assertions 
[SMTChecker] Keep a copy of assertions that are added to the solvers
 2019-06-05 10:25:45 +02:00
Vignesh Karthikeyan
1978e1d3ff
Added example for signextend 
Added sample assembly code for signextend
 2019-06-05 02:02:40 +05:30
Leonardo
76f509aca1
Merge pull request #6892 from ethereum/smt_implies 
[SMTChecker] Use smtlib's implies instead of !a or b
 2019-06-04 17:59:54 +02:00
Leonardo Alt
4de1e20954 [SMTChecker] Exit early if no pragma 2019-06-04 17:12:15 +02:00
Leonardo Alt
91653526bb [SMTChecker] Use SMTPortfolio directly instead of pointer to SolverInterface 2019-06-04 17:10:52 +02:00
Leonardo Alt
31ef421fff [SMTChecker] Keep a copy of assertions that are added to the solvers 2019-06-04 17:09:04 +02:00
Daniel Kirchner
9f5340fa53 Try to find Z3 using CONFIG_MODE before manual search. 2019-06-04 15:58:03 +02:00