nisedo

Hi, It would be great to have the ability to configure a shortcut to toggle (open/close) the sidebar. Thank you!

Add storage_variables printer

3

Add a printer for storage variables, which serves the same purpose as the entry-points printer: `slither . --print storage-variables`

## Summary This PR fixes the failing Linter and Medusa CI workflow by addressing the issues

Fixes #43 Renames files in contracts/util/ to match their contract/interface names: - PropertiesHelper.sol → PropertiesAsserts.sol - Hevm.sol → IHevm.sol Updates all import statements across the codebase and README documentation.

- Add test_ERC721_external_burnRevertOnTransferFromZeroAddress test - Rename test_ERC721_external_burnRevertOnTransfer to test_ERC721_external_burnRevertOnTransferFromPreviousOwner for consistency - External properties now match internal properties with 6 tests each Resolves #58

The `usedId` mapping was declared but never properly utilized. Since the `counter++` mechanism already ensures unique token IDs are minted, `usedId` was redundant and has been removed. Changes: - Remove...

## Summary This PR improves the default UI experience with two changes: ### 1. Close Shapes Panel by Default - The Shapes panel (left sidebar) is now closed by default...

**Current behavior:** The Shapes panel (left sidebar) automatically opens every time: - VSCode window reloads (e.g., using "Developer: Reload Window") - A diagram is opened for the first time -...

## Summary The `add_refers_to` method in `LocalIRVariable` was failing with an `AssertionError` during SSA generation when the rvalue was a `TopLevelVariable` (file-level constant/immutable). This fix expands the assertion to accept...

Add storage variables and contract inheritance to `entry-points` printer

1

## Summary Enhances the `entry-points` printer to display state variables and contract inheritance alongside function entry points, providing a complete view of contract storage and entry points. ## Changes ###...