Wp plugin

API Documentation

The Wp API is dynamically registered:

Plugin Internal Documentation

Overview

The WP plugin is dedicated to compute Weakest-Preconditions using different memory models.

It is experimental and still under development.