chriseth
|
c36a3bd683
|
Merge pull request #5283 from ethereum/smt_fixed_bytes
[SMTChecker] Support FixedBytes
|
2018-10-25 13:01:01 +02:00 |
|
chriseth
|
f714b0dd7c
|
Merge pull request #5242 from ethereum/someChecks
Some well-formedness checks for the Yul AST.
|
2018-10-25 12:44:28 +02:00 |
|
chriseth
|
4076875927
|
Merge pull request #5271 from ethereum/fullSuite
[Yul] Full suite tests.
|
2018-10-25 12:44:10 +02:00 |
|
chriseth
|
d335539891
|
Merge pull request #5296 from ethereum/setPragmaToArbitrary
Set pragma to arbitrary
|
2018-10-25 12:42:15 +02:00 |
|
Leonardo Alt
|
d8cbf321da
|
Grouping of symbolic variables in the same file and support to FixedBytes
|
2018-10-25 09:30:48 +02:00 |
|
chriseth
|
60f1d52f59
|
Full suite tests.
|
2018-10-24 18:02:08 +02:00 |
|
chriseth
|
1424beda79
|
Remove pragma changer.
|
2018-10-24 14:52:55 +02:00 |
|
chriseth
|
9e6356a763
|
Set pragma to arbitrary.
|
2018-10-24 14:52:55 +02:00 |
|
chriseth
|
eded236e67
|
Only run zeppelin as external tests.
|
2018-10-24 14:52:55 +02:00 |
|
chriseth
|
01566c2e1a
|
Merge pull request #5272 from ethereum/smt_special_vars
[SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash
|
2018-10-24 14:34:17 +02:00 |
|
chriseth
|
8d01db7c2d
|
Merge pull request #5292 from ethereum/redundantAssignEliminator
[Yul] Redundant assign eliminator.
|
2018-10-24 14:29:59 +02:00 |
|
chriseth
|
a9a414bd0f
|
Added some tests.
|
2018-10-24 14:29:33 +02:00 |
|
chriseth
|
b3911798b3
|
Redundant assign eliminator.
|
2018-10-24 13:24:25 +02:00 |
|
chriseth
|
f5f977eaf5
|
Merge pull request #5288 from ethereum/docs-external-call-tx-faq
DOCS: Move FAQ item regarding contract to contract calls and tx
|
2018-10-23 15:16:38 +02:00 |
|
Chris Ward
|
0d4bdfbbb0
|
Move FAQ item regarding contract to contract calls and resulting transaction
|
2018-10-23 13:30:58 +02:00 |
|
Christian Parpart
|
a2f5087d13
|
Merge pull request #5286 from ethereum/refactor-token-as-enum-class
refactor `libsolidity::Token` into a strongly typed enum
|
2018-10-23 01:50:15 +02:00 |
|
Leonardo Alt
|
e2cf5f6ed9
|
Add gasleft constraint and use full member access name
|
2018-10-22 18:19:11 +02:00 |
|
Christian Parpart
|
f112377dd4
|
Refactor solidity::Token into an enum class with TokenTraits helper namespace
|
2018-10-22 17:00:51 +02:00 |
|
chriseth
|
19be6cd818
|
Some well-formedness checks for the Yul AST.
|
2018-10-22 15:52:26 +02:00 |
|
Leonardo Alt
|
b46b827c30
|
[SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash
|
2018-10-19 15:52:16 +02:00 |
|
chriseth
|
c13b5280c1
|
Merge pull request #5256 from ethereum/lvalueCleanup
Lvalue cleanup
|
2018-10-19 11:20:12 +02:00 |
|
chriseth
|
c676b009e1
|
Merge pull request #5267 from ethereum/ssatransform
SSA transform - first step.
|
2018-10-19 11:10:08 +02:00 |
|
chriseth
|
5c274a9251
|
Merge pull request #5260 from ethereum/flattenMore
Flatten more.
|
2018-10-19 11:08:46 +02:00 |
|
chriseth
|
0ebe572f7d
|
Merge pull request #5258 from ethereum/coverage2
Add some simplification tests for operations.
|
2018-10-19 11:04:56 +02:00 |
|
chriseth
|
fed7a7d61a
|
Merge pull request #5257 from ethereum/assertAboutRemoved
Assert about some removed language concepts in the code generator.
|
2018-10-19 11:04:29 +02:00 |
|
chriseth
|
99dc869eb9
|
Merge pull request #5259 from ethereum/cleanup8
Cleanup in some base utils
|
2018-10-18 19:16:31 +02:00 |
|
chriseth
|
4987c12ac3
|
Merge pull request #5213 from Mordax/issue-5103
Tests for flipping signs on signed type edge case
|
2018-10-18 19:02:35 +02:00 |
|
chriseth
|
7dffb0f3ee
|
Merge pull request #5270 from ethereum/inlineFlexible
Make full inliner more flexible.
|
2018-10-18 19:02:04 +02:00 |
|
chriseth
|
52ffe5262e
|
Merge pull request #5269 from ethereum/cseBugfix
Bugfix in common subexpression eliminator related to scopes.
|
2018-10-18 18:58:46 +02:00 |
|
chriseth
|
465845b7a7
|
SSA transform - first step.
|
2018-10-18 18:56:22 +02:00 |
|
chriseth
|
b2725aa913
|
Make full inliner more flexible.
|
2018-10-18 14:57:09 +02:00 |
|
chriseth
|
48749146da
|
Fix a bug in CSE where a variable that was already out of scope was used.
|
2018-10-18 14:55:51 +02:00 |
|
chriseth
|
c34fa43d5b
|
Test case that shows a CSE bug related to scopes.
|
2018-10-18 14:54:23 +02:00 |
|
chriseth
|
0690aae09d
|
Remove mostly unused writeFile implementation.
|
2018-10-18 12:50:06 +02:00 |
|
chriseth
|
e8a2d57075
|
Flatten more.
|
2018-10-18 00:58:15 +02:00 |
|
chriseth
|
bda154440c
|
Add some simplification tests for operations.
|
2018-10-18 00:10:39 +02:00 |
|
chriseth
|
7609e2871e
|
Merge pull request #5240 from ethereum/limitDispenserSize
[Yul] Limit name length created by dispenser
|
2018-10-17 22:54:38 +02:00 |
|
chriseth
|
c578b21e7c
|
Merge pull request #5251 from ethereum/smt_refactor_expr_types
[SMTChecker] Refactor expressions to use SymbolicVariable
|
2018-10-17 22:54:00 +02:00 |
|
chriseth
|
97d01d9b47
|
Assert about some removed language concepts in the code generator.
|
2018-10-17 22:26:40 +02:00 |
|
chriseth
|
c14dfeb8c5
|
Removed unreachable cases in LValue.cpp.
|
2018-10-17 22:17:33 +02:00 |
|
chriseth
|
56425bb2b1
|
Add a test for delete x.length
|
2018-10-17 22:07:05 +02:00 |
|
chriseth
|
1aca175d62
|
Merge pull request #5249 from ethereum/remove-links
DOCS: Add new resources section seperate from docs index
|
2018-10-17 19:53:20 +02:00 |
|
Chris Ward
|
271a56b7db
|
Add new resources section seperate from docs index
|
2018-10-17 19:49:28 +02:00 |
|
chriseth
|
3d1ca07e9b
|
Merge pull request #3047 from ethereum/abi-strict
Add strict encoding mode to the ABI spec
|
2018-10-17 19:14:00 +02:00 |
|
Leonardo Alt
|
070471d8d4
|
Fix possibly effectless map emplace
|
2018-10-17 19:00:38 +02:00 |
|
Leonardo Alt
|
c92d3b537d
|
[SMTChecker] Refactor expressions such that they also use SymbolicVariable
|
2018-10-17 18:36:24 +02:00 |
|
Leonardo
|
3db1ce0e14
|
Merge pull request #5235 from ethereum/smt_refactor_types
[SMTChecker] Refactoring types
|
2018-10-17 18:35:48 +02:00 |
|
chriseth
|
9d00f710bc
|
Merge pull request #5224 from bshastry/compilerwarn-fix
Fix compiler warning
|
2018-10-17 17:23:22 +02:00 |
|
chriseth
|
c6a6e9ac5d
|
Merge pull request #5232 from ethereum/inlineHeuristic
[Yul] Add simple inlining heuristic
|
2018-10-17 17:22:46 +02:00 |
|
chriseth
|
fb0ec1c562
|
Merge pull request #5245 from ethereum/chriseth-patch-2
Add Ethfiddle
|
2018-10-17 17:22:15 +02:00 |
|