Pancake Verifier Extension

This VS Code extension provides a transpiler from the Pancake language to the Viper language for formal verification.

Features

• Real time translation of Pancake files to Viper files

Installation

The extension installs the Pancake Language Server found here when first installed. In order for the extension to work please set the cakePath variable in the extension's settings.

Known Issues

The extension is currently only available on Linux.