Leo Alt
e72fa7fc10
Add new info severity
2021-09-13 22:48:22 +02:00
chriseth
7977c8c7ce
Authorized Proxies
2021-08-12 15:39:32 +02:00
Josué
71d6e8da2d
tx.origin pointing where exactly is the bug
...
Clarification for preventing more bugs of this kind that have been shown recently.
2021-07-26 13:04:14 +02:00
iskanderandrews
a8e9d7a80d
docs/
...
Enhancing all the .rst doc files by adding highlighting for the code snippets, including the following langs:
1. Solidity
2. bash
3. javascript
4. assembly
2021-06-25 12:33:55 +02:00
jgoodall628
a344fd43bf
Grammar update for security-considerations.rst
2021-06-15 19:51:07 -05:00
Leonardo Alt
569afe711a
SMTChecker tutorial and docs cleanup
2021-03-18 11:09:26 +01:00
Harikrishnan Mulackal
9e58a568a9
Fixed links in Docs
2021-02-08 14:30:09 +01:00
Harikrishnan Mulackal
47d5939dbd
Improved wording in documentation
2021-02-08 14:21:37 +01:00
Harikrishnan Mulackal
9a5a4dfc6c
Added a note about 63/64 rule
...
Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
2021-02-08 14:19:13 +01:00
Mikko Ohtamaa
f6b403581e
Small clean up on call stack section
...
Spelling, clarified what items go to the call stack and how any attack is executed
2021-02-08 12:17:53 +01:00
Leonardo Alt
3b23cadbdc
Add CLI and JSON option to select SMTChecker targets
2021-01-20 17:35:37 +01:00
hrkrshnn
88c99a7538
Tests/Docs: changing type of msg.sender and tx.origin into address
...
And also making the type of address(literal) as non-payable address.
2020-12-14 16:55:48 +01:00
chriseth
5ffee049fa
Merge remote-tracking branch 'origin/develop' into breaking
2020-11-03 14:05:14 +01:00
Martin Blicha
c1a57ffbfe
[SMTChecker] More precise creation of verification targets.
2020-10-30 19:11:28 +01:00
chriseth
e93a84ccd4
Merge remote-tracking branch 'origin/develop' into HEAD
2020-10-28 18:19:31 +01:00
Leonardo Alt
7d9c080050
Update SMT types docs
2020-10-28 13:31:33 +00:00
chriseth
e262f47f21
Documentation.
2020-10-19 16:58:59 +02:00
chriseth
4bdec8107c
Merge remote-tracking branch 'origin/develop' into HEAD
2020-09-29 09:53:50 +02:00
Harikrishnan Mulackal
8339765509
[DOCS] Change >=0.7.0 to ^0.7.0
2020-09-28 13:02:31 +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
Mathias Baumann
b72fb1333b
Adjust docs example to work with v0.8.0
2020-09-08 13:36:16 +02:00
Kamil Śliwak
46524cf164
docs: Update external links to github repos that were moved
2020-08-31 12:46:45 +02:00
chriseth
479d7a059f
Documentation.
2020-07-07 12:16:18 +02:00
chriseth
74b9b094c0
Merge remote-tracking branch 'origin/develop' into HEAD
2020-05-20 17:22:47 +02:00
chriseth
d422a406ba
Merge pull request #8983 from ethereum/develop
...
Merge develop into breaking.
2020-05-19 18:05:28 +02:00
Alexander Arlt
af8bb5fb60
Allow natspec comments on state variables.
2020-05-19 11:01:52 -05:00
Leonardo Alt
5d6dd68766
Update docs
2020-05-18 17:09:46 +02:00
Leonardo Alt
d4d26c02e4
Assume that push will not overflow
2020-05-18 16:35:56 +02:00
chriseth
257bc6a416
Merge remote-tracking branch 'origin/develop' into breaking
2020-05-14 13:04:46 +02:00
chriseth
d33b67b3c2
Add license tags to documentation snippets.
2020-05-13 22:16:34 +02:00
chriseth
1fe55370f4
Merge remote-tracking branch 'origin/develop' into HEAD
2020-04-28 13:02:06 +02:00
Leonardo Alt
1cb68b1be7
Add internal function calls to CHC docs
2020-04-22 20:15:01 +02:00
chriseth
7d68f9f6c3
Merge remote-tracking branch 'origin/develop' into breaking
2020-03-24 13:35:41 +01:00
Erik Kundt
50c22f0800
Adds script which compiles docs example with minimum compiler version.
2020-03-18 19:27:38 +01:00
chriseth
9d92c9fbf1
Merge remote-tracking branch 'origin/develop' into HEAD
2020-03-11 18:44:06 +01:00
Leonardo Alt
1b17815808
SMTChecker docs test may issue a warning
2020-03-10 15:41:49 +01:00
chriseth
06ad5b3200
Merge remote-tracking branch 'origin/develop' into HEAD
2020-02-27 15:06:36 +01:00
chriseth
981ed5f773
Documentation for function call options.
2020-01-23 21:20:01 +01:00
Erik Kundt
fe1676203d
Updates documentation to 0.7.0.
2020-01-10 18:56:38 +01:00
chriseth
d6d953f829
Merge pull request #8027 from ethereum/v06-pragma
...
[DOCS] Update pragma versions for 0.6.0
2019-12-17 16:57:19 +01:00
Chris Chinchilla
f46218cad9
Update pragma versions for 0.6.0
2019-12-16 17:36:44 +01:00
Leonardo Alt
082f598e5e
Docs security considerations
2019-12-16 17:15:38 +01:00
Leonardo Alt
27346318a2
[SMTChecker] Add model checking engines to docs
2019-12-10 18:02:48 +01:00
Erik Kundt
a69a344d70
Adjusts documentation to read-only array length.
2019-11-19 21:11:14 +01:00
Daniel Kirchner
3321fc56ea
Split fallback function and introduce "fallback()" and "receive()" syntax.
2019-11-04 17:17:58 +01:00
Erik Kundt
ec53899a10
Fixes source extraction from docs.
2019-10-23 22:13:24 +02:00
Leonardo Alt
df0b54d7c7
[DOCS] Clearing mappings
2019-09-17 11:58:00 +02:00
Guy
2734eae6fb
Added a reference to an extended list of security recommendations.
2019-05-22 10:56:25 +03:00
Chris Ward
dfeb1dec9e
Add rounding warning
...
Move warning
2019-04-04 16:41:07 +02:00
Leonardo Alt
9a612d1250
[SMTChecker] Docs
2019-03-27 16:31:51 +01:00