chriseth
|
2c0fe6b5c9
|
Merge pull request #6602 from ethereum/ossfuzz-ci-fix-log-parsing
Fix log parsing error
|
2019-04-29 10:12:32 +02:00 |
|
chriseth
|
d763e09f07
|
Merge pull request #6547 from ethereum/wasmPrototype
[Yul] Wasm dialect.
|
2019-04-29 10:11:14 +02:00 |
|
chriseth
|
578d618065
|
Merge pull request #6594 from ethereum/adjustCodeMetric
Increase code cost for branching statements.
|
2019-04-29 09:48:59 +02:00 |
|
chriseth
|
e6926504ef
|
Add link to "source-verify".
|
2019-04-29 09:15:05 +02:00 |
|
Erik Kundt
|
c02257207b
|
Removes assert on magic ABI functions during codegen.
|
2019-04-26 15:01:35 +02:00 |
|
Bhargava Shastry
|
91d9e52d7d
|
Fix log parsing error
|
2019-04-26 11:47:46 +02:00 |
|
Leonardo Alt
|
371b37b660
|
Fix direct call to base class overloaded functions
|
2019-04-26 09:34:15 +02:00 |
|
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 |
|