Leonardo Alt
|
d03ddeb0fa
|
[SMTChecker] User timeout option
|
2020-11-03 10:46:11 +00:00 |
|
Djordje Mijovic
|
73fcd9b5f0
|
Moving some array tests to semanticTests
|
2020-11-03 11:34:22 +01:00 |
|
Djordje Mijovic
|
18a464f4f4
|
Moving some tests to semantic tests.
|
2020-11-03 11:00:52 +01:00 |
|
chriseth
|
22b31054b6
|
Merge pull request #10174 from ethereum/storeInternalFunctions
Implement internal functions in storage.
|
2020-11-03 09:56:12 +01:00 |
|
Đorđe Mijović
|
e0529989da
|
Merge pull request #10180 from ethereum/convertDuringStoring
[SolYul] Convert properly during storing.
|
2020-11-03 08:42:14 +01:00 |
|
chriseth
|
129b095b09
|
Implement internal functions in storage.
|
2020-11-02 23:10:03 +01:00 |
|
chriseth
|
49bd3f2af4
|
Convert properly during storing.
|
2020-11-02 21:15:34 +01:00 |
|
Leonardo
|
c83d8fae41
|
Merge pull request #10120 from ethereum/smt_fix_push_lvalue
[SMTChecker] Fix internal error when array.push() is used as = LHS
|
2020-11-02 14:07:20 +00:00 |
|
Leonardo Alt
|
e38d0db683
|
[SMTChecker] Fix internal error when array.push() is used as LHS of assignment
|
2020-11-02 13:32:53 +00:00 |
|
chriseth
|
1e812e7acc
|
Merge pull request #10171 from RishiGondkar/patch-1
Update README.md
|
2020-11-02 13:43:11 +01:00 |
|
chriseth
|
0ad8273033
|
Merge pull request #10175 from cakesoft-khushi/cakesoft-khushi-patch-1
Update installing-solidity.rst
|
2020-11-02 13:42:30 +01:00 |
|
Leonardo
|
b2f0c329e8
|
Merge pull request #10139 from ethereum/smt_fix_inherited_vars
[SMTChecker] Fix inherited state vars for BMC
|
2020-11-02 12:33:27 +00:00 |
|
cakesoft-khushi
|
3d65bbed70
|
Update installing-solidity.rst
|
2020-11-02 18:02:36 +05:30 |
|
Leonardo Alt
|
94e2506132
|
Fix inherited state vars for BMC
|
2020-11-02 11:42:39 +00:00 |
|
Leonardo
|
7f1f192f8d
|
Merge pull request #10149 from blishko/issue-10034
[SMTChecker] Creating Verification targets in two stages.
|
2020-11-02 11:41:49 +00:00 |
|
chriseth
|
fc5d303c24
|
Merge pull request #10164 from ethereum/ewasm-docs
Mark ewasm output as supported
|
2020-11-02 10:19:36 +01:00 |
|
RishiGondkar
|
be1d7e27c6
|
Update README.md
Fixed a few errors in the wordings of README.md file
|
2020-11-02 08:58:22 +05:30 |
|
Alex Beregszaszi
|
883d4629cd
|
Mark ewasm output as supported
And use proper Ewasm name capitalization
|
2020-10-30 19:45:04 +00:00 |
|
Martin Blicha
|
c1a57ffbfe
|
[SMTChecker] More precise creation of verification targets.
|
2020-10-30 19:11:28 +01:00 |
|
hrkrshnn
|
adcf9eba8d
|
Fix incorrectly set annotation.requiredLookup
|
2020-10-30 15:40:06 +01:00 |
|
chriseth
|
be02db4950
|
Merge pull request #10083 from ethereum/copyByteArray
Copy byte array
|
2020-10-29 19:14:55 +01:00 |
|
chriseth
|
ef503f180c
|
New test.
|
2020-10-29 18:53:15 +01:00 |
|
chriseth
|
6ec5612f35
|
Enable more tests.
|
2020-10-29 18:53:15 +01:00 |
|
chriseth
|
1066af3b98
|
Copy byte array to storage.
|
2020-10-29 18:53:15 +01:00 |
|
chriseth
|
14d7ca49c0
|
Rename function.
|
2020-10-29 18:53:15 +01:00 |
|
chriseth
|
b6f7640801
|
Merge pull request #10146 from ethereum/stop-after-parsing-script
Fix test/stopAfterParseTests.sh for macos.
|
2020-10-29 18:15:22 +01:00 |
|
chriseth
|
ace810b078
|
Merge pull request #10137 from ethereum/fixedBytesOps
[Sol->Yul] Bit operations for fixed bytes types.
|
2020-10-29 18:04:07 +01:00 |
|
chriseth
|
f215042cf6
|
Fix style.
|
2020-10-29 17:35:55 +01:00 |
|
chriseth
|
26e3954d5c
|
Merge pull request #10153 from ethereum/yul-move-astimport
Move AsmJsonImporter from libsolidity to libyul
|
2020-10-29 16:42:27 +01:00 |
|
Alex Beregszaszi
|
1e7dcb0bbf
|
Use yulAssert instead of astAssert
|
2020-10-29 14:21:12 +00:00 |
|
Alex Beregszaszi
|
e4133815e9
|
Remove explicit yul:: namespacing in AsmJsonImporter
|
2020-10-29 14:07:43 +00:00 |
|
Alex Beregszaszi
|
1ab6340828
|
Move AsmJsonImporter from libsolidity to libyul
It is next to AsmJsonConverter now and interdependencies are shrunk.
|
2020-10-29 14:06:34 +00:00 |
|
Đorđe Mijović
|
3bb35d80ff
|
Merge pull request #10150 from ethereum/isoltestStorageEmpty
Empty storage option for isoltest.
|
2020-10-29 15:02:36 +01:00 |
|
chriseth
|
3b8c038647
|
Empty storage option for isoltest.
|
2020-10-29 13:55:07 +01:00 |
|
chriseth
|
80071d59c5
|
Merge pull request #10135 from ethereum/ewasm-oob
[ewasm] Terminate on out-of-bounds access in EwasmInterpreter
|
2020-10-29 11:55:47 +01:00 |
|
Alex Beregszaszi
|
bcd31daf94
|
[ewasm] Terminate on out-of-bounds access in EwasmInterpreter
|
2020-10-29 10:26:41 +00:00 |
|
Alexander Arlt
|
ff7c47a1f3
|
Fix test/stopAfterParseTests.sh for macos.
|
2020-10-28 17:59:56 -05:00 |
|
chriseth
|
f42280f5c9
|
Merge pull request #10140 from ethereum/isoltestfunctioncallkind
Refactor isoltest function call kind.
|
2020-10-28 19:56:26 +01:00 |
|
chriseth
|
d00ef95a72
|
Refactor isoltest function call kind.
|
2020-10-28 19:04:24 +01:00 |
|
chriseth
|
d190c4f1d4
|
Merge pull request #10130 from ethereum/docs-abi-encoding-interval-corrections
[docs] Interval corrections in ABI encoding spec
|
2020-10-28 18:13:42 +01:00 |
|
chriseth
|
0c12b2e53a
|
Bit operations for fixed bytes types.
|
2020-10-28 18:04:54 +01:00 |
|
chriseth
|
2dbb283ff5
|
Merge pull request #10136 from ethereum/fixMoveBug
Fix move bug.
|
2020-10-28 18:00:30 +01:00 |
|
chriseth
|
b18d5ab257
|
Fix move bug.
|
2020-10-28 17:21:08 +01:00 |
|
Đorđe Mijović
|
cfc1eb0029
|
Merge pull request #10132 from ethereum/smt_docs_types
Update SMT types docs
|
2020-10-28 16:30:58 +01:00 |
|
Leonardo Alt
|
7d9c080050
|
Update SMT types docs
|
2020-10-28 13:31:33 +00:00 |
|
Kamil Śliwak
|
cfc878f8a5
|
docs/abi-spec.rst: There are 256 possible values for uint8 enums
|
2020-10-28 13:33:30 +01:00 |
|
Kamil Śliwak
|
bc85439576
|
docs/abi-spec.rst: Note about zero-length fixed-size arrays
|
2020-10-28 13:33:17 +01:00 |
|
chriseth
|
7b26c099b3
|
Merge pull request #10122 from ethereum/ewasm-interpreter
[ewasm] Fix EwasmBuiltinInterpreter to follow the specs
|
2020-10-28 13:11:44 +01:00 |
|
chriseth
|
fb40f29594
|
Merge pull request #10133 from ethereum/asm-error-codes
Split error codes for EVM opcodes
|
2020-10-28 13:00:23 +01:00 |
|
Alex Beregszaszi
|
6b2942e7f0
|
[ewasm] Properly touch memory in EwasmInterpreter
|
2020-10-28 11:57:18 +00:00 |
|