1 file changed
+1
-1
lines changed- secure_contracts_docs/src/README.md-1
- secure_contracts_docs/src/Usage.md+1-2
- secure_contracts_docs/src/api/Developer-installation.md
- secure_contracts_docs/src/api/SlithIR-SSA.md+1-1
- secure_contracts_docs/src/api/api.md+1-1
- secure_contracts_docs/src/api/examples/coin.sol
- secure_contracts_docs/src/api/examples/expected_results_print_basic_information.txt
- secure_contracts_docs/src/api/examples/print_basic_information.py
- secure_contracts_docs/src/api/images/ast.png
- secure_contracts_docs/src/api/images/cfg.png
- secure_contracts_docs/src/api/static_analysis.md+6-6
- secure_contracts_docs/src/printers/Printer-documentation.md+27-20
- secure_contracts_docs/src/tools/Adding-a-new-utility.md-2
- secure_contracts_docs/src/tools/Upgradeability-Checks.md+17-17
0 commit comments