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
Leonardo Alt
d9ce9cab99
[SMTChecker] Use smtlib's implies instead of \!a or b
2019-06-04 14:23:44 +02:00
Chris Chinchilla
95e6b2e40d
Merge pull request #6875 from ethereum/docs-style-fixes-values
...
[DOCS] Bring value types code examples inline with style guide
2019-06-04 12:32:49 +03:00
Vignesh Karthikeyan
3d40152102
Brought warning to high priority
...
Update functions.rst
Update for warning over note priority
Updated units-and-global-variables.rst
Updated file for warning over note priority
Updated control-structures.rst
Updated priority of warning over note
Updated assembly.rst
Updated priority of warning over code
Updated introduction-to-smart-contracts.rst
Updated priority of warning over note
Update installing-solidity.rst
Corrected control-structures.rst
Corrected white space error
Corrected whitespace
Corrected whitespace introduction to smart contract
2019-06-04 14:46:26 +05:30
Chris Chinchilla
69e4e69e69
Bring value types code examples inline with style guide
2019-05-30 14:37:17 +02:00
Chris Chinchilla
dd04a35c0e
Merge pull request #6871 from fulldecent/patch-10
...
Learn how to spell section
2019-05-30 14:13:40 +02:00
William Entriken
f1be1b2758
Learn how to spell section
2019-05-29 21:02:03 -04:00
chriseth
cce79ea67b
Merge pull request #6867 from ethereum/docs-style-fix-usingfor
...
[DOCS] Bring Using For code examples inline with style guide
2019-05-29 20:08:19 +02:00
chriseth
00f24555d9
Merge pull request #6868 from ethereum/docs-style-fix-control-struct
...
[DOCS] Update code examples in control structures doc to match style guide
2019-05-29 20:07:09 +02:00
chriseth
30bc7ae15a
Merge pull request #6863 from ethereum/protofuzzer-fix-dup-caselit-bug
...
Do not enclose string literal within double quotes before conversion …
2019-05-29 20:06:03 +02:00
chriseth
885d56888f
Merge pull request #6869 from ethereum/docs-style-fix-misc
...
[DOCS] Bring code examples for miscellaneous doc in line with style guide
2019-05-29 16:47:14 +02:00
Chris Ward
66fe9731fc
Bring code examples in line with style guide
2019-05-29 16:26:23 +02:00
Chris Ward
bebc479fb5
Update code examples to match style guide
...
Remove visibility
2019-05-29 16:21:18 +02:00
Chris Ward
b015d2cd40
Bring code examples inline with style guide
...
Remove visibility
2019-05-29 16:17:34 +02:00
Bhargava Shastry
f57439035a
Do not enclose string literal within double quotes before conversion to u256
2019-05-29 15:52:31 +02:00
chriseth
c9e2d388b5
Merge pull request #6848 from ethereum/invertibleRelation
...
Implement references using InvertibleRelation as data structure.
2019-05-29 13:34:10 +02:00
chriseth
ff8898b8db
Merge pull request #6860 from ethereum/release
...
Merge release back into develop.
2019-05-28 20:39:05 +02:00
chriseth
d5b121e762
Merge pull request #6859 from ethereum/incrementVersion0510
...
Set version to 0.5.10
2019-05-28 20:38:31 +02:00
chriseth
c68bc34e94
Merge pull request #6858 from ethereum/develop
...
Merge develop into release for 0.5.9 (2)
2019-05-28 18:49:01 +02:00
chriseth
4eb1722176
Merge pull request #6857 from ethereum/revertRecoveringParser
...
Revert "Add Steve Johnson-style parser recovery rules:"
2019-05-28 18:47:25 +02:00
chriseth
4ee703e6e5
Revert "Add Steve Johnson-style parser recovery rules:"
...
This reverts commit 97f8ee0d1b
.
2019-05-28 18:09:24 +02:00
chriseth
feab4065c3
Set version to 0.5.10
2019-05-28 17:31:06 +02:00