chriseth
00d81929b1
Merge pull request #6576 from ethereum/isoltest-evmversion-comparator
...
Allow additional EVMVersion comparators in isoltest
2019-04-25 17:37:46 +02:00
chriseth
169b555a22
Merge pull request #6507 from ethereum/smt_address_members
...
[SMTChecker] Address members
2019-04-25 17:29:42 +02:00
chriseth
ec0b78595d
[Yul] Wasm dialect.
2019-04-25 17:27:17 +02:00
Erik Kundt
15d753a3e0
Allows additional EVMVersion comparators in isoltest.
2019-04-25 17:13:17 +02:00
chriseth
cdf60c3be8
Merge pull request #6593 from ethereum/catchFatalErrorsInAnalysis
...
[Yul] Catch fatal errors in analysis.
2019-04-25 17:08:46 +02:00
chriseth
bf104f718f
Increase code cost for branching statements.
2019-04-25 17:08:11 +02:00
chriseth
fbe225a9b2
Merge pull request #6579 from ethereum/supportDotInIdentifier
...
Support period as part of identifiers for Yul and Inline Assembly.
2019-04-25 16:57:58 +02:00
chriseth
f9ec1231b6
Support period as part of identifiers for Yul and Inline Assembly.
2019-04-25 16:48:16 +02:00
chriseth
309d3e65cf
Merge pull request #6585 from ethereum/fixInvalidFunctionTags
...
Fix invalid function tags
2019-04-25 16:30:37 +02:00
Leonardo Alt
fc482de695
[SMTChecker] Support address members
2019-04-25 16:24:36 +02:00
chriseth
5b991c1e59
Fix use of uninitialized functions stored in storage.
2019-04-25 15:40:48 +02:00
chriseth
96688717a2
Merge pull request #6521 from ethereum/type_conv_yul-6479
...
Yul Generation: conversions
2019-04-25 14:29:37 +02:00
chriseth
d5c54e9107
[Yul] Catch fatal errors in analysis.
2019-04-25 11:34:56 +02:00
chriseth
b6bb3ae482
Merge pull request #6555 from sifmelcara/break-for-loop
...
[Yul] Disallow function definitions inside for loop init blocks
2019-04-25 11:20:44 +02:00
chriseth
f26cdea6ca
Disallow Yul function definitions inside for loop init blocks.
2019-04-25 10:32:00 +02:00
chriseth
eea425a3f6
Merge pull request #6588 from ethereum/ossfuzz-nightly-ci-enhancement
...
Updated script to treat libFuzzer errors as failures
2019-04-25 09:25:01 +02:00
Mathias Baumann
1ef213cc15
Sol -> Yul: Implement explicit cast
2019-04-24 22:52:17 +02:00
Mathias Baumann
441369d5f1
Sol -> Yul Generator: Mark "return" as unimplemented
2019-04-24 22:52:17 +02:00
Mathias Baumann
944ac6fb6d
Sol -> Yul Generation: Implicit conversions
2019-04-24 22:52:17 +02:00
chriseth
6292adbde6
Merge pull request #6580 from ethereum/doNotGenerateInstructionsAsNmes
...
Prevent instructions to be generated as names.
2019-04-24 22:07:05 +02:00
Bhargava Shastry
98815fb98a
Updated script to treat libFuzzer errors as failures
2019-04-24 19:52:47 +02:00
chriseth
0af8d758a5
Prevent instructions to be generated as names.
2019-04-24 14:35:21 +02:00
chriseth
f124bacebc
Merge pull request #6568 from ethereum/fixDeepFor
...
Disable redundent assign eliminator for deeply nested loops.
2019-04-24 13:49:18 +02:00
chriseth
eac0048176
Merge pull request #6569 from ethereum/fix_ossfuzz_regression_workflow
...
Add ossfuzz builder to nightly workflow
2019-04-23 13:21:22 +02:00
Bhargava Shastry
60df49bd81
Add ossfuzz builder to nightly workflow
2019-04-23 10:47:16 +02:00
chriseth
4bb1d640da
Merge pull request #6565 from ethereum/docs-turkish
...
[DOCS] Add Turkish translation
2019-04-23 10:26:36 +02:00
mingchuan
5d93c492fe
[Yul] More accurate error messages for break/continue
2019-04-23 10:15:19 +02:00
chriseth
aad4373da4
Disable redundent assign eliminator for deeply nested loops.
2019-04-23 09:50:25 +02:00
Chris Ward
2322b4f504
Add Turkish translation
2019-04-23 13:15:39 +10:00
Chris Chinchilla
13518820c7
Merge pull request #6454 from ethereum/docs-high-s-clar
...
[DOCS] Explain high s value
2019-04-23 13:04:55 +10:00
chriseth
2a716ad577
Merge pull request #6122 from fulldecent/patch-10
...
[DOCS] Add NatSpec documentation
2019-04-19 00:59:18 +02:00
William Entriken
916e151f46
Add NatSpec documentation.
2019-04-19 00:54:08 +02:00
chriseth
4312f6ec23
Merge pull request #6475 from ethereum/ossfuzz-regression-ci
...
ossfuzz regression ci
2019-04-19 00:44:05 +02:00
chriseth
424c6f5639
Merge pull request #6550 from ethereum/smt_this
...
[SMTChecker] Support this as address
2019-04-19 00:42:33 +02:00
chriseth
1d5559c350
Merge pull request #6554 from ethereum/add-ternary-ops
...
ossfuzz: Generate addmod and mulmod builtin functions
2019-04-19 00:41:57 +02:00
Leonardo
f8b1326712
Merge pull request #6539 from ethereum/fix-dup-case-literals
...
ossfuzz: Fixes buggy generation of duplicate case literals
2019-04-19 00:40:26 +02:00
Leonardo Alt
dd1afeba52
[SMTChecker] Support this as address
2019-04-18 17:56:52 +02:00
chriseth
f077b15357
Merge pull request #6537 from ethereum/activateASAN
...
Run ASAN on all PRs and also run commandline tests.
2019-04-18 17:15:48 +02:00
chriseth
b02fbc5d02
Merge pull request #6503 from ethereum/inlineAsm-yul
...
Inline asm yul
2019-04-18 17:15:09 +02:00
Mathias Baumann
3d061c83d7
IR: Generate inline asm blocks
2019-04-18 16:49:19 +02:00
chriseth
a9283d1110
Merge pull request #6553 from ethereum/scannerStyle
...
Style cleanup.
2019-04-18 15:58:52 +02:00
chriseth
a018147c66
Merge pull request #6462 from rocky/soltest-enhancements
...
Soltest enhancements
2019-04-18 15:20:56 +02:00
Bhargava Shastry
836c466f09
ossfuzz: Generate addmod and mulmod builtin functions
2019-04-18 14:21:02 +02:00
Bhargava Shastry
68b7f40184
ossfuzz: Fixes buggy generation of duplicate case literals
2019-04-18 14:12:23 +02:00
rocky
b06b996461
soltest.sh, EthOptions.cmake, and CODING_STYLE.md tweaks
...
solidity.sh:
* introduce SOLIDITY_BUILD_DIR env var for soltest.sh,
* add --help output
EthOptions.cmake: more complete configuration information
CODING_STYLE.md: note existence of .editorconfig
contributing.rst: note that tests are Boost C++ unit tests
2019-04-18 07:53:28 -04:00
chriseth
bdbe1e55b3
Merge pull request #6552 from dm4/fix-typo
...
[libyul] fix typo
2019-04-18 13:20:12 +02:00
chriseth
2c991acff0
Style cleanup.
2019-04-18 13:17:24 +02:00
dm4
b2c812c794
[libyul] fix typo
2019-04-18 19:07:06 +08:00
chriseth
fce19bde58
Merge pull request #6545 from ethereum/smt_contracts
...
[SMTChecker] Support contract type
2019-04-18 13:01:18 +02:00
chriseth
0bfd587363
Merge pull request #6527 from rocky/move-SemVerHandler
...
Move SemVerHandler to analysis to parsing to increase modularity...
2019-04-18 13:00:45 +02:00