 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 MulackalandAlex Beregszaszi
|
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 |
|
|
chriseth
|
8d401ba936
|
Update pragmas.
|
2019-03-05 18:10:09 +01:00 |
|
|
Chris Ward
|
96fae0c220
|
Move FAQ item about truncation checks
Move warning
Updates from feedback
Link to security note and fix link rendering
Move solution to security docs and turn warning to a warning
|
2019-01-22 13:54:58 +02:00 |
|
|
Chris Ward
|
cefc6c433e
|
Update non-existant pragma 0.4.99 to 0.5.0
Use correct syntax for pragma
Change pragma syntax
One more change to pragma syntax
|
2019-01-07 14:20:10 +01:00 |
|
|
chriseth
|
4e69ff2ee5
|
[DOCS] Security updates.
|
2018-09-27 16:19:21 +02:00 |
|
|
chriseth
|
b43e9f27f8
|
Pitfalls regarding over/underflows
|
2018-09-27 14:55:05 +02:00 |
|