Skip to content

v0.1.5

Latest
Latest
Compare
Choose a tag to compare
@allisterb allisterb released this 03 Mar 19:56
· 85 commits to master since this release
v0.1.5
6237160

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.

Assets 4