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 |
|
Mathias Baumann
|
32b4f18023
|
Print warning for unnamed return parameters and no return statement
|
2020-10-13 13:11:29 +02:00 |
|
Djordje Mijovic
|
1c142c500a
|
[Sol->Yul] Adding documentation section about breaking changes when using ir
Co-authored-by: chriseth <chris@ethereum.org>
|
2020-10-12 15:46:38 +02:00 |
|
Kamil Śliwak
|
e1cc888369
|
Fix checkBaseABICompatibility() to make it actually check return parameters and not just ordinary parameters twice
|
2020-10-12 15:14:56 +02:00 |
|
Kamil Śliwak
|
692e4487ba
|
Expand docs on mixed ABIEncoderV2 and V1 use
|
2020-10-12 13:27:03 +02:00 |
|
Harikrishnan Mulackal
|
b0acf5dc86
|
Merge pull request #10005 from ethereum/bugs-fix-tabs
Docs: convert tabs to spaces
|
2020-10-12 10:03:13 +02:00 |
|
Harikrishnan Mulackal
|
8f2cd82fd9
|
Merge pull request #9968 from ethereum/docs_fixes
[Docs] Updates Index/Home Page of Sol Docs / Adds "Getting Started"
|
2020-10-12 08:54:31 +02:00 |
|
hrkrshnn
|
30652394e5
|
Docs: convert tabs to spaces
|
2020-10-12 08:01:20 +02:00 |
|
chriseth
|
ca86eacfb2
|
Remove traces of errors due to shifts by negative amounts.
|
2020-10-08 20:24:53 +02:00 |
|
chriseth
|
df16515b52
|
Documentation.
|
2020-10-08 18:56:18 +02:00 |
|
chriseth
|
346fe1c6c5
|
Constants at file-level.
|
2020-10-08 18:56:17 +02:00 |
|
franzihei
|
1b5794b755
|
update Solidity docs index page
|
2020-10-08 16:25:26 +02:00 |
|
chriseth
|
b4f6092f90
|
Set release date.
|
2020-10-07 15:40:42 +02:00 |
|
Harikrishnan Mulackal
|
24ba5aa3aa
|
Updating docs on DynamicArrayCleanup bug
|
2020-10-06 16:06:02 +02:00 |
|
chriseth
|
5aee960934
|
Explain generated sources in source mappings.
|
2020-10-01 11:49:47 +02:00 |
|
chriseth
|
fda8bde2d7
|
Stop after parsing.
|
2020-09-30 16:57:49 +02:00 |
|
chriseth
|
da785290ef
|
Merge pull request #9912 from ethereum/prepare072
Prepare release of 0.7.2.
|
2020-09-28 16:14:25 +02:00 |
|
chriseth
|
add9867440
|
Document generated sources.
|
2020-09-28 15:38:28 +02:00 |
|
chriseth
|
26d07d1925
|
Prepare release of 0.7.2.
|
2020-09-28 14:45:39 +02:00 |
|
Harikrishnan Mulackal
|
8339765509
|
[DOCS] Change >=0.7.0 to ^0.7.0
|
2020-09-28 13:02:31 +02:00 |
|
chriseth
|
4ddbd34424
|
Merge pull request #9906 from ethereum/update-docs-pragma
[DOCS] change >0.6.99 <0.8.0 to >=0.7.0
|
2020-09-28 11:40:08 +02:00 |
|
Harikrishnan Mulackal
|
710231e2b1
|
Docs: change >0.6.99 <0.8.0 to >=0.7.0
|
2020-09-28 11:14:45 +02:00 |
|
Bhargava Shastry
|
e2a2276272
|
Contract level checker: Disallow free function redefinition and alias
shadowing another free function
Co-authored-by: chriseth <chris@ethereum.org>
|
2020-09-25 17:09:58 +02:00 |
|
Daniel Kirchner
|
7fa9a9d312
|
Merge pull request #9162 from ethereum/memoryEscalator
Memory Escalator
|
2020-09-21 20:03:38 +02:00 |
|
chriseth
|
71af44b27b
|
Add note about extcodesize check.
|
2020-09-21 11:58:23 +02:00 |
|
Daniel Kirchner
|
976abf4715
|
Easy review fixes.
|
2020-09-17 22:13:27 +02:00 |
|
Daniel Kirchner
|
0eb32b3f60
|
Rephrase documentation of memoryguard
|
2020-09-17 22:13:27 +02:00 |
|
Daniel Kirchner
|
f4b42d1c72
|
Add stack limit evader.
|
2020-09-17 22:13:27 +02:00 |
|
Christian Parpart
|
165f898ba9
|
Release build for Windows.
|
2020-09-17 13:32:32 +02:00 |
|
franzihei
|
711983e53c
|
adding lang design and restructuring
|
2020-09-17 11:46:59 +02:00 |
|
chriseth
|
adccc0608d
|
Merge pull request #9736 from ethereum/yul_smt
Reasoning based optimizer using integers only
|
2020-09-15 18:45:55 +02:00 |
|