 Leonardo Alt
|
b1577f5e46
|
[SMTChecker] Fix ICE in array of structs type
|
2019-12-03 01:12:30 +01:00 |
|
 Paweł Bylica
|
cdcfea73ab
|
EVMHost: Remove unneeded methods
|
2019-12-02 23:22:27 +01:00 |
|
|
Paweł Bylica
|
0bd80ed958
|
EVMHost: Mark methods as final
|
2019-12-02 23:22:27 +01:00 |
|
|
Paweł Bylica
|
19f54857a6
|
EVMHost: Make m_currentAddress private
|
2019-12-02 23:22:27 +01:00 |
|
|
Paweł Bylica
|
eacc1753fd
|
EVMHost: Remove unnecessary State struct
|
2019-12-02 23:22:27 +01:00 |
|
|
Paweł Bylica
|
7a0f311032
|
EVMHost: Use evmc::MockedAccount
|
2019-12-02 23:22:10 +01:00 |
|
|
Paweł Bylica
|
635e2fc9d3
|
EVMHost: Reuse tx_context from MockedHost
|
2019-12-02 23:04:02 +01:00 |
|
|
Paweł Bylica
|
2683c83ad2
|
EVMHost: Use recorded_logs from MockedHost
|
2019-12-02 23:04:02 +01:00 |
|
 Alex Beregszaszi
|
1718250248
|
EVMHost: use evmc::MockedHost
|
2019-12-02 23:04:02 +01:00 |
|
 Daniel Kirchner
|
05baa23e8a
|
Require unimplemented functions to be virtual.
|
2019-12-02 21:59:00 +01:00 |
|
|
Alex BeregszasziandPaweł Bylica
|
c4012eee33
|
Update EVMHost to EVMC 7.1.0
Co-authored-by: Paweł Bylica <chfast@gmail.com>
|
2019-12-02 21:26:42 +01:00 |
|
|
Alex Beregszaszi
|
aba2ee0f68
|
Update EVMC to 7.1.0
|
2019-12-02 21:26:42 +01:00 |
|
|
Alex Beregszaszi
|
2a62425f0a
|
EVMHost: mark precompiles as existing accounts in the constructor
|
2019-12-02 20:49:33 +01:00 |
|
|
Paweł Bylica
|
578d69983d
|
EVMHost: Mark precompiles implementation as static methods
|
2019-12-02 20:41:50 +01:00 |
|
|
Alex Beregszaszi
|
fca0f6e2c1
|
Disable EndToEnd/snark test on <Byzantium (given the precompiles were introduced after)
|
2019-12-02 19:37:09 +01:00 |
|
|
Daniel Kirchner
|
77a9e91443
|
Enable yul optimizer by default.
|
2019-12-02 19:30:14 +01:00 |
|
|
Alex Beregszaszi
|
ddf6e067ed
|
EVMHost: disallow Byzantium precompiles on earlier EVM versions
|
2019-12-02 19:11:18 +01:00 |
|
 Erik Kundt
|
28ebe967a2
|
Force Gnosis PM fork of 0.6.0
|
2019-12-02 18:10:39 +01:00 |
|
|
Erik Kundt
|
1fbcf7bd8b
|
Override Truffle version in Gnosis safe-contracts.
|
2019-12-02 18:10:39 +01:00 |
|
|
Erik Kundt
|
f13fa7ed82
|
Adjusts solc-js test to earlier override of soljson.
|
2019-12-02 18:10:39 +01:00 |
|
|
Erik Kundt
|
40b58adcdb
|
Fixes solc path override in Truffle config.
|
2019-12-02 18:10:39 +01:00 |
|
|
Erik Kundt
|
3f00a0fc8c
|
Fixes wrong URL of Zeppelin fork.
|
2019-12-02 18:10:39 +01:00 |
|
|
Erik Kundt
|
9f1348d7c7
|
Switches to Colony dappsys fork.
|
2019-12-02 18:10:39 +01:00 |
|
 chriseth
|
c61ed0b22d
|
Merge pull request #7797 from ethereum/allowTranslationInAssemblyMode
Allow EVM to EWasm translation in assembly mode.
|
2019-12-02 13:15:06 +01:00 |
|
|
Leonardo
|
a7d481fb94
|
Merge pull request #7851 from ethereum/smt_fix_function_type
[SMTChecker] Fix ICE for arrays and mappings of functions.
|
2019-11-30 13:15:08 +01:00 |
|
|
Alex Beregszaszi
|
805d4d5a57
|
LLL: fix test cases after chaind/selfbalance was added
|
2019-11-30 11:56:22 +01:00 |
|
|
Leonardo
|
767ce4417f
|
Merge pull request #7850 from ethereum/smt_fix_typetype
[SMTChecker] Fix visit to IndexAccess that has type Type
|
2019-11-29 18:18:26 +01:00 |
|
|
Leonardo Alt
|
5adc2a40b9
|
[SMTChecker] Fix ICE for arrays and mappings of functions.
|
2019-11-29 18:06:44 +01:00 |
|
|
Leonardo Alt
|
9eda95caf9
|
[SMTChecker] Fix visit to IndexAccess that has type Type
|
2019-11-29 17:20:50 +01:00 |
|
|
Leonardo Alt
|
c09da092d2
|
[SMTChecker] Fix constructors with local vars
|
2019-11-29 16:59:15 +01:00 |
|
|
Leonardo Alt
|
84f806e75d
|
Reenable push tests via Yul
|
2019-11-29 16:52:13 +01:00 |
|
|
Daniel Kirchner
|
edd80a986d
|
Update emscripten to 1.39.3
|
2019-11-29 12:55:02 +01:00 |
|
|
Daniel Kirchner
|
909296582f
|
Remove zeppelin truffle workaround
|
2019-11-28 21:31:12 +01:00 |
|
|
Daniel Kirchner
|
025a696bb0
|
Fix unrelated test failure.
|
2019-11-28 20:01:36 +01:00 |
|
|
Daniel Kirchner
|
7d1b0c6023
|
Fix Yul IR push
|
2019-11-28 18:11:38 +01:00 |
|
|
chriseth
|
bee2b9e120
|
Commandline test.
|
2019-11-28 16:22:24 +01:00 |
|
|
Leonardo Alt
|
a352abe00d
|
[SMTChecker] Add support to constructors
|
2019-11-28 14:43:23 +01:00 |
|
|
chriseth
|
f7fc42d8c3
|
Merge pull request #7826 from ethereum/develop
Merge develop into develop_060
|
2019-11-28 13:37:19 +01:00 |
|
|
chriseth
|
301215f186
|
Merge pull request #7461 from sifmelcara/licm
[YulOpt] Implement loop-invariant code motion
|
2019-11-28 12:00:19 +01:00 |
|
 mingchuan
|
db60d123d0
|
[YulOpt] Implement loop-invariant code motion
|
2019-11-28 11:59:29 +01:00 |
|
|
Leonardo Alt
|
240ff30878
|
[SMTChecker] Do not visit the name of a modifier invocation
|
2019-11-27 22:34:33 +01:00 |
|
|
chriseth
|
1ebcc757e1
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-11-27 19:14:08 +01:00 |
|
|
chriseth
|
d207ae5dc7
|
Merge pull request #7798 from ethereum/evmc-literals
Use EVMC literals in EVMCHost
|
2019-11-27 19:12:07 +01:00 |
|
|
chriseth
|
80978293ab
|
Merge pull request #7818 from ethereum/evmc_vm
test: Use evmc::VM directly
|
2019-11-27 19:11:12 +01:00 |
|
|
Paweł Bylica
|
38a20190f4
|
test: Use evmc::VM directly
The evmc::VM works as a RAII wrapper similarly to unique_ptr, so there is no point in using additional unique_ptr.
|
2019-11-27 18:53:02 +01:00 |
|
 Mathias Baumann
|
7bc6645218
|
Disallow use of virtual and private together
|
2019-11-27 18:52:41 +01:00 |
|
|
chriseth
|
0bb88dabb7
|
Restrict usage of plain "new".
|
2019-11-27 17:55:11 +01:00 |
|
|
chriseth
|
9e9b643b93
|
Tune the suite.
|
2019-11-27 11:56:11 +01:00 |
|
|
Alex Beregszaszi
|
e8b37c3bb5
|
Use EVMC literals in EVMCHost
|
2019-11-26 22:20:45 +01:00 |
|
|
Alex Beregszaszi
|
f14b7c7051
|
Update truffle* tests to use solc-js master_060
|
2019-11-26 19:11:28 +01:00 |
|