solana installation and usage #339
Conversation
|
Note that I've included two scripts |
| Use the password to login to Certora following the link in the email. | ||
|
|
||
| 3. Next, install Python3.8.16 or newer on your machine. | ||
| If you already have Python3 installed, you can check the version: ``python3 --version``. |
There was a problem hiding this comment.
I think that double backtick is for .rst files, for .md one should be good.
| If you already have Python3 installed, you can check the version: ``python3 --version``. | |
| If you already have Python3 installed, you can check the version: `python3 --version`. |
| "programs/manifest/**/*.rs", | ||
| "programs/manifest/justfile", | ||
| "programs/manifest/Cargo.toml" |
There was a problem hiding this comment.
Are we allowed to use manifest as public example?
There was a problem hiding this comment.
True, let's rather add a minimal example from https://github.com/1arie1/solana-program-examples-audit/tree/certora-audit/basics/counter/
There was a problem hiding this comment.
manifest is just a name. You can change it. In any case, manifest is public and also we are not including the code
| # used by OSX, ignore otherwise | ||
| export CPATH := env_var_or_default("CPATH", "/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include") | ||
|
|
||
| # magic llvm flags |
There was a problem hiding this comment.
toli
| # magic llvm flags | |
| # llvm flags |
| { | ||
| "files": [ | ||
| "solana_contract.so" | ||
| ], | ||
| "process": "sbf", | ||
| "optimistic_loop": false, | ||
| "rule": "rule_solvency" |
There was a problem hiding this comment.
This does not have summaries or inlining. Is that OK?
There was a problem hiding this comment.
Given that summaries and inlining should be abandoned from a user perspective soon, I think it's even better if we don't add an example with it. If it's not required, that's even better.
There was a problem hiding this comment.
Sorry, I miss that. Currently, we need them.
Naming convention:
Before requesting review:
spelling_wordlist.txtREADME.mdfor information about style and markdown syntaxJira ticket: TODO
Link to generated documentation: TODO