cerc-io/solidity
15
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
19,833 Commits 348 Branches 121 Tags 100 MiB
15fe07bebe
Commit Graph

96 Commits

Author SHA1 Message Date
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
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