v0.1.5

Release notes

Smart contract base library for verifier should finally be in a usable state (verifier is still broken on non-Windows though 😢). Add summarize analyzer. If you specify a .csproj file for static analysis it will be automatically compiled. All external tools included in release archive. See wiki for more in-depth information and documentation.

Requirements

• NET 6.0
• libgdiplus (on *nix/MacOs, for graph drawing)

Windows

1. Create a directory e.g. Silver
2. Unzip contents of zip file to this directory

Linux and macOS

1. Untar archive.
2. Change to directory silver

After installation compile and analyze one of the example projects e.g. ./silver compile examples/AddressMapper/AddressMapper.csproj or silver dis examples/AddressMapper/AddressMapper.csproj. On Windows you can verify one of the example projects e.g. silver verify examples\SimpleVerifiableContracts\SimpleVerifiableContracts.csproj or silver compile examples\SimpleVerifiableContracts\SimpleVerifiableContracts.csproj --verify

See silver help for all commands and options.

v0.1.4

Release notes

Fix issues with method and property references in Roslyn analyzer and compiler. All external tools included in release archive.

Requirements

• NET 6.0
• libgdiplus (on *nix/MacOs, for graph drawing)

Windows

1. Create a directory e.g. Silver
2. Unzip contents of zip file to this directory

Linux and macOS

1. Untar archive.
2. Change to directory silver

After installation compile and analyze one of the example projects e.g. ./silver compile examples/AddressMapper/AddressMapper.csproj or silver dis examples/AddressMapper/AddressMapper.csproj. On Windows you can compile and verify one of the example projects e.g. silver compile examples\AddressMapper\AddressMapper.csproj --verify and silver verify examples\AddressMapper\bin\Debug\netcoreapp2.1\ssc\AddressMapper.dll

0.1.2

Release notes

Filter on class and method names in disassembler.

Requirements

• NET 6.0
• libgdiplus (on *nix/MacOs, for graph drawing)

Windows

1. Create a directory e.g. Silver
2. Unzip contents of zip file to this directory
3. Switch to this directory and run silver install from this directory to install external tools.

Linux

1. Untar archive.
2. Change to silver directory and run ./silver install to install external tools

After installation compile and analyze one of the example projects e.g. ./silver compile examples/AddressMapper/AddressMapper.csproj and silver dis examples/AddressMapper/bin/Debug/netcoreapp2.1/AddressMapper.dll. On Windows you can compile and verify one of the example projects e.g. silver compile examples\AddressMapper\AddressMapper.csproj --verify and silver verify examples\AddressMapper\bin\Debug\netcoreapp2.1\ssc\AddressMapper.dll

v0.1.1

Release notes

Fix bug in disassembler. Add install sct tool.

Requirements

• NET 6.0
• Mono (on *nix/MacOs)
• libgdiplus (on *nix/MacOs, for graph drawing)

Windows

1. Create a directory e.g. Silver
2. Unzip contents of zip file to this directory
3. Switch to this directory and run silver install from this directory to install external tools.

Linux

1. Untar archive.
2. Change to Silver directory and run ./silver install to install external tools

After installation compile and analyze one of the example projects e.g. ./silver compile examples/AddressMapper/AddressMapper.csproj and silver dis examples/AddressMapper/bin/Debug/netcoreapp2.1/AddressMapper.dll. On Windows you can compile and verify one of the example projects e.g. silver compile examples\AddressMapper\AddressMapper.csproj --verify and silver verify examples\AddressMapper\bin\Debug\netcoreapp2.1\ssc\AddressMapper.dll

Known issues

• Verifier is known to be broken on non-Windows platforms but all other functions like the compiler and static analyzer should work.

v0.1.0

Release notes

First release.

Requirements

• NET 6.0
• Mono (on *nix/MacOs)
• libgdiplus (on *nix/MacOs, for graph drawing)

Windows

1. Create a directory e.g. Silver
2. Unzip contents of zip file to this directory
3. Switch to this directory and run silver from the install directory

Linux

1. Untar archive
2. Change to Silver directory and run ./silver

After installation compile and verify one of the example projects e.g. ./silver compile examples\AddressMapper\AddressMapper.csproj --verify and silver verify examples\AddressMapper\bin\Debug\netcoreapp2.1\ssc\AddressMapper.dll

Known issues

• Verifier is known to be broken on non-Windows platforms but all other functions like the compiler and static analyzer should work.