https://github.com/oeb25/vipers

Crates for interacting with the Viper verification infrastructure
https://github.com/oeb25/vipers

Last synced: 17 days ago
JSON representation

Crates for interacting with the Viper verification infrastructure

• Host: GitHub
• URL: https://github.com/oeb25/vipers
• Owner: oeb25
• Created: 2023-02-09T10:18:08.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2023-07-11T09:49:00.000Z (over 1 year ago)
• Last Synced: 2024-05-22T21:32:22.100Z (8 months ago)
• Language: Rust
• Size: 112 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - vipers - crates for interacting with the Viper verification infrastructure. (Projects / Libraries)

README

        
# vipers

> Crates for interacting with the Viper verification infrastructure

## Crates

- `viperserver`: Library for interacting with [viperserver](https://github.com/viperproject/viperserver). Has utilities spawning a server, and a client to connect and perform verifications.

- `silvers`: Library for generating Viper source code by way of an AST.