Martin Blicha
c1a57ffbfe
[SMTChecker] More precise creation of verification targets.
2020-10-30 19:11:28 +01:00
Leonardo Alt
7d9c080050
Update SMT types docs
2020-10-28 13:31:33 +00: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
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
Alex Beregszaszi
e3e9ce53d7
Set 0.5.x specific example code to be compilable with >0.4.99 <0.6.0 (e.g. 0.5.x only)
2018-09-25 19:04:34 +01:00
Alex Beregszaszi
3ca00c73f9
Update version pragma in all documentation examples
2018-09-25 19:03:25 +01:00
Daniel Kirchner
12aaca1645
Add payable and non-payable state mutability to AddressType.
2018-09-13 15:15:49 +02:00
Daniel Kirchner
cf69433f23
Update documentation.
2018-09-04 13:31:10 +02:00
Daniel Kirchner
db48925907
Add some more documentation.
2018-08-15 17:06:42 +02:00
Chris Ward
0ad646635f
Small clarifications around the 2300 gas stipend from transfer and send
2018-08-01 16:21:29 +01:00
Christian Parpart
396bf11858
enforce interface-functions to be external-declared
...
- libsolidity: Enforce interface-functions must be external-declared.
- Changelog adapted to reflect changes wrt. functions in interfaces.
- test: Adjustments according to prior interface-function changes.
- tests: Adapting SolidityEndToEndTest to interface-function change.
- docs: Adapted documentation to interface-function change.
2018-07-16 12:15:36 +02:00
Christian Parpart
133fbdbf18
documentation: adjustments to not use the "var" keyword
2018-07-03 10:53:09 +02:00
Erik Kundt
2031e8e0c1
Adds review suggestions.
2018-07-02 16:46:54 +02:00
Erik Kundt
e16e37f507
Updates docs to new constructor syntax.
2018-07-02 16:25:54 +02:00
chriseth
eeef82b2d7
Fallback function has to be external: backwards-compatible changes.
2018-06-29 00:23:52 +02:00
chriseth
17493e64ed
Documentation.
2018-06-25 17:17:18 +02:00
