Skip to content
/ vipers Public

Crates for interacting with the Viper verification infrastructure

Notifications You must be signed in to change notification settings

oeb25/vipers

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

17 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

vipers

Crates for interacting with the Viper verification infrastructure

Crates

  • viperserver: Library for interacting with 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.

About

Crates for interacting with the Viper verification infrastructure

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published