chriseth
|
6fff408d82
|
Fix lexer rules wrt leading zeros.
|
2020-12-14 14:17:16 +01:00 |
|
Kamil Śliwak
|
0f6f4314b6
|
Fix code snippets in docs not passing tests on versions matching their pragmas
|
2020-12-12 04:52:16 +01:00 |
|
Daniel Kirchner
|
7308abc084
|
Allow loading Z3 dynamically at runtime.
|
2020-12-10 16:47:47 +01:00 |
|
Daniel Kirchner
|
e691b7402a
|
Move standard-json "modelCheckerSettings" key to "settings.modelChecker".
|
2020-12-09 15:53:32 +01:00 |
|
Daniel Kirchner
|
1b88a8c845
|
Update compiler version requirements in the docs.
|
2020-12-07 18:26:51 +01:00 |
|
Daniel Kirchner
|
804e98a136
|
Rephrase.
|
2020-12-07 11:29:09 +01:00 |
|
Daniel Kirchner
|
c39a5e2b7a
|
Fix accidental repetition in ir breaking changes docs.
|
2020-12-07 11:24:13 +01:00 |
|
Djordje Mijovic
|
2839a1b0bf
|
[Sol->Yul] Documenting difference in initialization order in case of inheritance.
Co-authored-by: Leonardo <leo@ethereum.org>
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2020-12-04 16:32:56 +01:00 |
|
chriseth
|
61fd76cb27
|
Fix documentation about revert data.
|
2020-12-03 18:47:16 +01:00 |
|
Jaime
|
34816206a5
|
docs - add clarification to struct initialization in previous versions
|
2020-11-28 20:26:54 +00:00 |
|
midinas
|
c6daf30b7d
|
Update docs abi-spec.rst
Fixed description of enum.
|
2020-11-24 16:44:35 -10:00 |
|
Kamil Śliwak
|
8044ea602c
|
installing-solidity.rst: Capitalize headers and the project name
|
2020-11-23 20:29:30 +01:00 |
|
Kamil Śliwak
|
c58341022f
|
installing-solidity.rst: Add a section about Static binaries and solc-bin
|
2020-11-23 20:29:30 +01:00 |
|
Kamil Śliwak
|
be5143bbec
|
installing-solidity.rst: Add a link to ccache
|
2020-11-23 20:29:30 +01:00 |
|
Kamil Śliwak
|
5f0372c5b8
|
installing-solidity.rst: Put information about macOS packages in a separate section
|
2020-11-23 20:29:30 +01:00 |
|
chriseth
|
0326367b22
|
Documentation.
|
2020-11-23 14:30:17 +01:00 |
|
chriseth
|
bb9688e0fe
|
Grammar for fallback returning.
|
2020-11-23 14:22:37 +01:00 |
|
chriseth
|
377f9233ae
|
Clarify access of free functions.
|
2020-11-23 12:28:29 +01:00 |
|
franzihei
|
f74c0b9206
|
updating team meeting time and fix bullet list in index
|
2020-11-23 10:32:09 +01:00 |
|
Đorđe Mijović
|
5c92c2eb81
|
Merge pull request #10327 from ritzdorf/patch-3
Differences in struct layout between memory and storage
|
2020-11-19 14:41:09 +01:00 |
|
ritzdorf
|
c68efc6e03
|
Differences in layout between memory and storage
- More explicit description with two examples
- Moved index pointer to correct file
|
2020-11-19 11:29:20 +01:00 |
|
Kamil Śliwak
|
5560239cf5
|
Replace links to readthedocs.io with ones using the new domain
|
2020-11-18 15:20:34 +01:00 |
|
chriseth
|
05b8d55900
|
Sort changelog.
|
2020-11-18 12:39:49 +01:00 |
|
chriseth
|
2665eaa4fa
|
Support .offset and .length for calldata bytes and string arrays.
|
2020-11-18 01:45:56 +01:00 |
|
Alex Beregszaszi
|
9a5fc1118f
|
Document coreutils as a testing dependency
|
2020-11-17 23:09:15 +00:00 |
|
Kamil Śliwak
|
b7694b9a14
|
docs: Gather information about linker in one place and reorganize the section a bit
|
2020-11-16 21:37:36 +01:00 |
|
Kamil Śliwak
|
1ff00488bb
|
docs: Add information about metadata difference resulting from manual linking
|
2020-11-16 21:26:47 +01:00 |
|
Kamil Śliwak
|
aba04c7afa
|
docs: Remove the outdated information about linked library name length limitation
|
2020-11-16 21:26:47 +01:00 |
|
Alex Beregszaszi
|
a3381d7260
|
Add settings.viaIR to standard json
|
2020-11-12 22:38:44 +00:00 |
|
Eric Bouchut
|
950245e384
|
Fix typos: onlyOwner not mixed case
Fix the modifier name `onlyowner` using lowercase where mixedCase is expected.
|
2020-11-04 18:02:32 +01:00 |
|
Harikrishnan Mulackal
|
be74479517
|
Merge pull request #10197 from cakesoft-khushi/new_branch
Update yul.rst
|
2020-11-04 12:37:39 +01:00 |
|
DELL
|
058721a0b7
|
Typo error
|
2020-11-04 16:31:12 +05:30 |
|
Leonardo
|
62535c2fd4
|
Merge pull request #10181 from ethereum/smt_user_timeout
[SMTChecker] User timeout option
|
2020-11-04 10:55:28 +00:00 |
|
chriseth
|
631570c547
|
Documentation.
|
2020-11-03 13:31:51 +01:00 |
|
Leonardo Alt
|
d03ddeb0fa
|
[SMTChecker] User timeout option
|
2020-11-03 10:46:11 +00:00 |
|
cakesoft-khushi
|
3d65bbed70
|
Update installing-solidity.rst
|
2020-11-02 18:02:36 +05:30 |
|
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 |
|
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 |
|
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 |
|
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
|
b4771f2a1c
|
Clarify evaluation of arguments to require.
|
2020-10-22 18:07:02 +02:00 |
|
chriseth
|
8a1a8117e9
|
Set release data and sort changelog.
|
2020-10-19 15:03:06 +02:00 |
|
Leonardo Alt
|
b67ade5163
|
Move modelCheckerSettings out of settings in StandardCompiler
|
2020-10-19 10:39:06 +01:00 |
|
Leonardo Alt
|
4e49135318
|
Add CLI option to choose model checker engine
|
2020-10-16 15:01:47 +01:00 |
|
chriseth
|
89bdad2096
|
Merge pull request #10043 from ethereum/emptyArrayCopy
Fix empty array copy bug.
|
2020-10-15 17:07:54 +02:00 |
|
chriseth
|
38abadf502
|
Fix empty array copy bug.
|
2020-10-15 16:48:08 +02:00 |
|
Djordje Mijovic
|
6f7947cfa5
|
[Sol->Yul] Optimizing delete struct.
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2020-10-14 13:35:15 +02:00 |
|