Alex Beregszaszi
|
f74cff622d
|
Properly explain all the analsys steps in CompilerStack
|
2018-07-31 00:39:18 +01:00 |
|
chriseth
|
bc13365a7b
|
Merge pull request #4569 from ethereum/grammar-assembly
Update grammar.txt for inline assembly
|
2018-07-30 16:54:59 +02:00 |
|
chriseth
|
7cf5cd6050
|
Merge pull request #4608 from ethereum/lll-namespace
Replace dev::eth namespace with dev::lll in LLL
|
2018-07-30 16:47:55 +02:00 |
|
Alex Beregszaszi
|
9d09e21b6c
|
Merge pull request #4619 from ethereum/2167-docs-memory-type
Clarify what ‘memory type’ is
|
2018-07-30 15:02:28 +01:00 |
|
Chris Ward
|
6c3a2f8e9b
|
Clarify what ‘memory type’ is
Use RST links
|
2018-07-30 15:48:06 +02:00 |
|
Alex Beregszaszi
|
c2faed7705
|
Add --disassemble to lllc help output
|
2018-07-28 12:00:36 +01:00 |
|
Alex Beregszaszi
|
7c509137cf
|
Replace dev::eth namespace with dev::lll in LLL
|
2018-07-28 12:00:36 +01:00 |
|
Alex Beregszaszi
|
705cbbc19a
|
Merge pull request #4606 from ethereum/smtportfolio
Import dev::solidity namespace in SMTPortfolio
|
2018-07-28 00:50:44 +01:00 |
|
Alex Beregszaszi
|
179427fd65
|
Import dev::solidity namespace in SMTPortfolio
|
2018-07-27 23:17:17 +01:00 |
|
Alex Beregszaszi
|
e56a88be37
|
Merge pull request #4604 from ethereum/smtlib-typo
Fix unterminated parentheses typo in SMTLib2
|
2018-07-27 17:34:13 +01:00 |
|
Alex Beregszaszi
|
dea0567e06
|
Fix unterminated parentheses typo in SMTLib2
Found by @leonardoalt
|
2018-07-27 17:33:53 +01:00 |
|
Alex Beregszaszi
|
2794a22d84
|
Merge pull request #4351 from ethereum/smt_portfolio
[SMTChecker] SMTPortfolio: use all SMT solvers available
|
2018-07-27 17:07:56 +01:00 |
|
Leonardo Alt
|
55c1fb60b4
|
[SMTChecker] Add CheckResult::CONFLICTING
|
2018-07-27 16:16:26 +01:00 |
|
Leonardo Alt
|
87a38e1abe
|
[SMTChecker] SMTPortfolio: use all SMT solvers available
|
2018-07-27 16:15:34 +01:00 |
|
Alex Beregszaszi
|
5faa60e883
|
Merge pull request #4593 from ethereum/smt_timeout
Set query timeout in SMT
|
2018-07-27 15:42:55 +01:00 |
|
Leonardo Alt
|
b356f6a7f9
|
Setting timeout to Z3 and CVC4
|
2018-07-27 16:01:48 +02:00 |
|
Alex Beregszaszi
|
c633ebe2e6
|
Merge pull request #4599 from ethereum/smt_sat_model
SMTChecker: Only ask for a model if it's SAT
|
2018-07-27 13:56:30 +01:00 |
|
Leonardo Alt
|
06dbcb3afe
|
Only ask for a model if it's SAT
|
2018-07-27 14:13:22 +02:00 |
|
Alex Beregszaszi
|
bc51b0f6c2
|
Merge pull request #4594 from ethereum/fix-build-for-paths-with-spaces
Fixes building Solidity when base directory contains spaces.
|
2018-07-27 13:00:58 +01:00 |
|
Christian Parpart
|
4c5ea49881
|
Fixes building Solidity when base directory contains spaces.
closes #4521
|
2018-07-27 09:41:05 +02:00 |
|
Alex Beregszaszi
|
61b94b7ea4
|
Merge pull request #4556 from ethereum/library-data-locations
Add tests for data locations within libraries
|
2018-07-25 18:03:30 +01:00 |
|
Alex Beregszaszi
|
5a1b6856b4
|
Merge pull request #4561 from ethereum/scanner-tests
Add comprehensive tests for the scanner
|
2018-07-25 17:02:40 +01:00 |
|
Alex Beregszaszi
|
05e608d778
|
Merge pull request #4562 from ethereum/parser-tests
Add comprehensive tests for the parser
|
2018-07-25 16:38:54 +01:00 |
|
Alex Beregszaszi
|
d04c2e069d
|
Merge pull request #4545 from ethereum/stringutils
Update stringutils to upstream
|
2018-07-25 16:35:12 +01:00 |
|
Alex Beregszaszi
|
84e0676db8
|
Fix upstream issues in stringutils
|
2018-07-25 13:56:14 +01:00 |
|
Alex Beregszaszi
|
2ecb7a2f72
|
Update stringutils to upstream 3c63f18
|
2018-07-25 13:55:47 +01:00 |
|
Alex Beregszaszi
|
afccf15f03
|
Merge pull request #4555 from ethereum/asm-syntax-tests
Add more comprehensive tests for embedded inline assembly LValue/RValue access
|
2018-07-25 13:50:49 +01:00 |
|
Alex Beregszaszi
|
b079f34c65
|
Scanner tests for all shifts
|
2018-07-25 12:59:28 +01:00 |
|
Alex Beregszaszi
|
aee13d709c
|
Scanner tests for all escapes
|
2018-07-25 12:59:24 +01:00 |
|
Alex Beregszaszi
|
e94eb1ed6e
|
Merge pull request #4549 from ethereum/deprecate-abi
Mention that constant and payable are deprecated in the ABI spec
|
2018-07-25 12:38:17 +01:00 |
|
Alex Beregszaszi
|
61a8b098e6
|
Mention that constant and payable are deprecated in the ABI spec
|
2018-07-25 11:23:44 +01:00 |
|
Alex Beregszaszi
|
76bc04244a
|
Clarify relation between stateMutability and payable/constant
|
2018-07-25 11:23:41 +01:00 |
|
Alex Beregszaszi
|
ae15b52d93
|
Merge pull request #4565 from ethereum/smt-stringutils-crash
Add assert for both branches in mergeVariables in SMTChecker
|
2018-07-25 11:08:47 +01:00 |
|
Alex Beregszaszi
|
7b5e912874
|
Add syntax tests for import statements
|
2018-07-25 11:01:41 +01:00 |
|
Alex Beregszaszi
|
49573bad46
|
Add syntax test for illegal pragma key
|
2018-07-25 11:01:41 +01:00 |
|
Alex Beregszaszi
|
fa68e0019f
|
Add syntax test for location specifier redeclarations
|
2018-07-25 11:01:41 +01:00 |
|
Alex Beregszaszi
|
008eb1c2c9
|
Add syntax test for empty emit statement
|
2018-07-25 11:01:41 +01:00 |
|
Alex Beregszaszi
|
640b8af802
|
Add syntax tests for assembly block type (evmasm)
|
2018-07-25 11:01:41 +01:00 |
|
Alex Beregszaszi
|
ee85430f93
|
Add tests for data locations within libraries
|
2018-07-25 10:55:23 +01:00 |
|
Alex Beregszaszi
|
ab3978723a
|
Add more tests for inlineasm/AsmAnalyzer
|
2018-07-25 10:45:31 +01:00 |
|
Alex Beregszaszi
|
d647761058
|
Add more comprehensive tests for embedded inline assembly LValue/RValue access
|
2018-07-25 10:45:31 +01:00 |
|
Alex Beregszaszi
|
167fe7c370
|
Merge pull request #4572 from ethereum/cmake-boost-tests
Do not include single-header boost_unit_test
|
2018-07-25 10:42:44 +01:00 |
|
Alex Beregszaszi
|
4a61cb5b59
|
Merge pull request #4554 from ethereum/indexing-tests
Add comprehensive syntax tests for indexed access
|
2018-07-25 10:37:30 +01:00 |
|
Alex Beregszaszi
|
ff8e930054
|
Merge pull request #4570 from ethereum/cleanup-catch-statements
More consistent catch statements
|
2018-07-25 10:31:57 +01:00 |
|
Paweł Bylica
|
f31989c022
|
Do not include single-header boost_unit_test
Do not mix 2 different usage variants of boost_unit_test. If you link with static libs do not include the single-header variant.
See https://www.boost.org/doc/libs/1_67_0/libs/test/doc/html/boost_test/usage_variants.html#boost_test.usage_variants.single_header
|
2018-07-25 09:17:53 +02:00 |
|
Alex Beregszaszi
|
a5a61a0b77
|
More consistent catch statements
Also take const& in all cases.
|
2018-07-25 01:18:09 +01:00 |
|
Alex Beregszaszi
|
582ab4eab4
|
grammar: rename AssemblyLocalBinding to AssemblyVariableDeclaration
|
2018-07-25 00:08:42 +01:00 |
|
Alex Beregszaszi
|
258e8caa59
|
grammar: introduce AssemblyExpression and use it in Assignment/LocalBinding
|
2018-07-25 00:08:08 +01:00 |
|
Alex Beregszaszi
|
ed4022fbca
|
grammar: support all assignment stataments in inline assembly
|
2018-07-25 00:05:19 +01:00 |
|
Alex Beregszaszi
|
d30a6de942
|
Add better warning on binary operation on non-integer types in SMT Checker
|
2018-07-24 23:23:54 +01:00 |
|