Daniel Kirchner
|
dfbdb6c007
|
Fix failing command line tests.
|
2019-06-12 19:04:02 +02:00 |
|
Daniel Kirchner
|
2dc405e948
|
Fix command line tests script to properly report errors.
|
2019-06-12 19:03:45 +02:00 |
|
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 |
|
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 |
|